class IsIntSplatValueEqual<string type, string x> : Constraint<CPred<
  "IsSplatValueEqual<"# type #">($0, "# x #")">>;

// Checks if two values are integer constants and their values are equal.
class AreIntSplatValuesEqual<string type> : Constraint<CPred<
  "AreSplatValuesEqual<"# type #">($0, $1)">>;

// Returns defining op of this value.
def GetDefiningOp :  NativeCodeCall<"$0.getDefiningOp()">;