[Mlir-commits] [mlir] [MLIR] Unconditionally take min of max lhs/rhs value in inferRemU (PR #110169)

[Krzysztof Drewniak]

================
@@ -266,6 +266,18 @@ func.func @remui_base(%arg0 : index, %arg1 : index ) -> i1 {
     func.return %3 : i1
 }
 
+// CHECK-LABEL: func @remui_base_maybe_zero
+// CHECK: %[[true:.*]] = arith.constant true
+// CHECK: return %[[true]]
+func.func @remui_base_maybe_zero(%arg0 : index, %arg1 : index ) -> i1 {
+    %c4 = arith.constant 4 : index
+
+    %0 = arith.minui %arg1, %c4 : index
+    %1 = arith.remui %arg0, %0 : index
+    %2 = arith.cmpi ult, %1, %c4 : index
+    func.return %2 : i1
+}    
----------------
krzysz00 wrote:

Re "why not a canonicalization" - in LLVM terms, this feels like an `InstCombine` type of rewrite and not an `InstSimplify` one, and `-canonicalize` is meant to be rather cheap like `InstSimplify`.

https://github.com/llvm/llvm-project/pull/110169