[(IsBoolCompositeAttribute<"ceil_mode", "false"> $attrs),
                    (IsBoolCompositeAttribute<"count_include_pad", "false"> $attrs),
                    (IsStrCompositeAttribute<"divisor_override", "py_None"> $attrs),
                    (HasSameOrValidPadding $old_val)]>;

// Replaces an aten.avg_pool2d with (T -> tfl.pad -> tfl.average_pool_2d  -> T).
def LegalizeAvgPool2dWithPadComposite: Pat<

        (TFL_GeluOp $inputs, ConstBoolAttrFalse),
        [(IsStrCompositeAttribute<"approximate", "none"> $attrs)]>;

def LegalizeCompositeApproximateAtenGELU : Pat<
        (MHLO_CompositeOp:$composite
          (variadic $inputs),
          ConstantStrAttr<StrAttr, "aten.gelu.default">, $attrs, $_, $_),
        (TFL_GeluOp $inputs, ConstBoolAttrTrue),

  IsCompositeAttribute<attr_name, BoolAttr, val>;

// Receives a composite DictionaryAttr as an argument and checks if has a
// StrAttr with the name `attr_name` and value `val`.
class IsStrCompositeAttribute <string attr_name, string val>:
  IsCompositeAttribute<attr_name, StrAttr, "\"" # val # "\"">;