[Mlir-commits] [mlir] [mlir][InferIntRangeCommon] Fix Division by Zero Crash (PR #151637)

[Krzysztof Drewniak]

================
@@ -224,6 +224,15 @@ func.func @ceil_divui(%arg0 : index) -> i1 {
     func.return %7 : i1
 }
 
+// CHECK-LABEL: func @ceil_divui_by_zero_issue_131273
+// CHECK-NEXT: return
+func.func @ceil_divui_by_zero_issue_131273() {
+    %0 = test.with_bounds {smax = 0 : i32, smin = -1 : i32, umax = 0 : i32, umin = -1 : i32} : i32
----------------
krzysz00 wrote:

Can you fix this rest so that umin <=(unsigned) umax?

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