Revert "[MLIR][TORCH] Add E2E support for aten.ge.float_int op"

This reverts commit 1f102cc400.

include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td

@@ -6643,30 +6643,6 @@ def Torch_AtenLtFloatIntOp : Torch_Op<"aten.lt.float_int", [
   }];
 }
 
-def Torch_AtenGeFloatIntOp : Torch_Op<"aten.ge.float_int", [
-    AllowsTypeRefinement,
-    HasValueSemantics,
-    ReadOnly
-  ]> {
-  let summary = "Generated op for `aten::ge.float_int : (float, int) -> (bool)`";
-  let arguments = (ins
-    Torch_FloatType:$a,
-    Torch_IntType:$b
-  );
-  let results = (outs
-    Torch_BoolType:$result
-  );
-  let hasCustomAssemblyFormat = 1;
-  let extraClassDefinition = [{
-    ParseResult AtenGeFloatIntOp::parse(OpAsmParser &parser, OperationState &result) {
-      return parseDefaultTorchOp(parser, result, 2, 1);
-    }
-    void AtenGeFloatIntOp::print(OpAsmPrinter &printer) {
-      printDefaultTorchOp(printer, *this, 2, 1);
-    }
-  }];
-}
-
 def Torch_Aten__And__BoolOp : Torch_Op<"aten.__and__.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,

lib/Conversion/TorchToStd/TorchToStd.cpp

@@ -16,7 +16,6 @@
 #include "mlir/Dialect/Tensor/IR/Tensor.h"
 #include "mlir/Dialect/Traits.h"
 #include "mlir/Transforms/DialectConversion.h"
-#include "torch-mlir/Conversion/Utils/Utils.h"
 #include "torch-mlir/Dialect/Torch/IR/TorchDialect.h"
 #include "torch-mlir/Dialect/Torch/IR/TorchOps.h"
 #include "torch-mlir/Dialect/TorchConversion/IR/TorchConversionDialect.h"
@@ -95,7 +94,7 @@ public:
 } // namespace
 
 namespace {
-// Lowers aten float and float_int comparison ops.
+// Lowers aten float comparison ops.
 template <typename AtenOp, arith::CmpFPredicate Pred>
 class ConvertAtenFloatComparisonOp : public OpConversionPattern<AtenOp> {
 public:
@@ -104,9 +103,8 @@ public:
   matchAndRewrite(AtenOp op,
                   typename OpConversionPattern<AtenOp>::OpAdaptor adaptor,
                   ConversionPatternRewriter &rewriter) const override {
-    Value lhs = adaptor.a(), rhs = adaptor.b();
+    rewriter.replaceOpWithNewOp<arith::CmpFOp>(op, Pred, adaptor.a(),
-    rhs = convertScalarToDtype(rewriter, op.getLoc(), rhs, lhs.getType());
+                                               adaptor.b());
-    rewriter.replaceOpWithNewOp<arith::CmpFOp>(op, Pred, lhs, rhs);
     return success();
   }
 };
@@ -211,13 +209,10 @@ public:
     patterns.add<
         ConvertAtenIntComparisonOp<AtenGtIntOp, arith::CmpIPredicate::sgt>>(
         typeConverter, context);
-    target.addIllegalOp<AtenGeFloatOp, AtenGeFloatIntOp>();
+    target.addIllegalOp<AtenGeFloatOp>();
     patterns.add<
         ConvertAtenFloatComparisonOp<AtenGeFloatOp, arith::CmpFPredicate::UGE>>(
         typeConverter, context);
-    patterns.add<ConvertAtenFloatComparisonOp<AtenGeFloatIntOp,
-                                              arith::CmpFPredicate::UGE>>(
-        typeConverter, context);
     target.addIllegalOp<ValueTensorLiteralOp>();
     patterns.add<ConvertTorchTensorLiteralOp>(typeConverter, context);
 

python/torch_mlir/dialects/torch/importer/jit_ir/build_tools/torch_ods_gen.py

@@ -497,7 +497,6 @@ def emit_ops(emitter_td: TextEmitter, registry: Registry):
     emit("aten::ge.float : (float, float) -> (bool)", has_folder=True)
     emit("aten::lt.float : (float, float) -> (bool)", has_folder=True)
     emit("aten::lt.float_int : (float, int) -> (bool)")
-    emit("aten::ge.float_int : (float, int) -> (bool)")
     emit("aten::__and__.bool : (bool, bool) -> (bool)")
     emit("aten::ne.bool : (bool, bool) -> (bool)", has_folder=True)
     emit("aten::__is__ : (t1, t2) -> (bool)", has_folder=True)

python/torch_mlir_e2e_test/test_suite/scalar_comparison.py

@@ -88,23 +88,3 @@ class GeFloatModule(torch.nn.Module):
 @register_test_case(module_factory=lambda: GeFloatModule())
 def GeFloatModule_basic(module, tu: TestUtils):
     module.forward(torch.randn(()), torch.randn(()))
-
-# ==============================================================================
-
-class GeFloatIntModule(torch.nn.Module):
-    def __init__(self):
-        super().__init__()
-
-    @export
-    @annotate_args([
-        None,
-        ([], torch.float64, True),
-        ([], torch.int64, True),
-    ])
-    def forward(self, lhs, rhs):
-        return float(lhs) >= int(rhs)
-
-
-@register_test_case(module_factory=lambda: GeFloatIntModule())
-def GeFloatIntModule_basic(module, tu: TestUtils):
-    module.forward(torch.randn(()), torch.randint(-100, 100, ()))

test/Conversion/TorchToStd/basic.mlir

@@ -179,17 +179,3 @@ func @torch.aten.ge.float(%arg0: !torch.float, %arg1: !torch.float) -> !torch.bo
   %0 = torch.aten.ge.float %arg0, %arg1 : !torch.float, !torch.float -> !torch.bool
   return %0 : !torch.bool
 }
-
-// CHECK-LABEL:   func @torch.aten.ge.float_int(
-// CHECK-SAME:                            %[[LHS:.*]]: !torch.float,
-// CHECK-SAME:                            %[[RHS:.*]]: !torch.int) -> !torch.bool {
-// CHECK:           %[[LHS_F64:.*]] = torch_c.to_f64 %[[LHS]]
-// CHECK:           %[[RHS_I64:.*]] = torch_c.to_i64 %[[RHS]]
-// CHECK:           %[[RHS_F64:.*]] = arith.sitofp %[[RHS_I64]] : i64 to f64
-// CHECK:           %[[CMP:.*]] = arith.cmpf uge, %[[LHS_F64]], %[[RHS_F64]] : f64
-// CHECK:           %[[CMP_TORCH_BOOL:.*]] = torch_c.from_i1 %[[CMP]]
-// CHECK:           return %[[CMP_TORCH_BOOL]] : !torch.bool
-func @torch.aten.ge.float_int(%arg0: !torch.float, %arg1: !torch.int) -> !torch.bool {
-  %0 = torch.aten.ge.float_int %arg0, %arg1 : !torch.float, !torch.int -> !torch.bool
-  return %0 : !torch.bool
-}