// Returns True if the operand type is RankedTensorType and valid.
def HasValidRankedTensor : Constraint<CPred<
  "$0.getType().isa<RankedTensorType>() && "
  "$0.getType().cast<RankedTensorType>().getNumDynamicDims() <= 1">>;

// Check if the truncated shape of the lhs is equal to the shape of rhs
def IsPrefixTruncatedShapeEqualTo : Constraint<CPred<
  "GetShape($0, true) == GetShape($1)">>;