"$0.getType().cast<ShapedType>(),"
    "$1.getType().cast<ShapedType>())">;

// Constraint that checks if all values in offset between two
// attributes are non-negative.
def HasNonNegativeOffset : Constraint<CPred<"TFL::HasNonNegativeOffset($0, $1)">>;

// Constraint that checks if all values in list attribute are non-negative.
def HasNonNegativeValues : Constraint<CPred<"TFL::HasNonNegativeValues($0)">>;

                            mlir::IntegerType::get(begin.getContext(), 32)),
      llvm::ArrayRef(offsets));
}

// Check if the offset between two dense attribute values is non-negative.
inline bool HasNonNegativeOffset(Attribute begin, Attribute end) {
  return HasNonNegativeValues(GetOffSet(begin, end));
}

// Return true if the permutation value only swaps the last two dimensions

    ConstBoolAttrFalse),
  (TFL_SliceOp $input,
    (Arith_ConstantOp $begin),
    (Arith_ConstantOp (GetOffSet $begin, $end))),
  [(IsAllOnesConstant $stride),
   (HasNonNegativeValues $begin),
   (HasNonNegativeOffset $begin, $end)]>;

def GetNumElementsOrOne: NativeCodeCall<"GetNumElementsOrOne($0.getType())">;

def ReshapeValueDroppingLastDim : NativeCodeCall<
  "ReshapeValueDroppingLastDim($_builder, $0)">;