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

[llvmlistbot at llvm.org]

================
@@ -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
+}    
----------------
goldsteinn wrote:

What do you mean by that? And sorry for no alive2 link. Didn't know it was used by MLIR (given that alive2 verifies llvm-ir).

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