[Mlir-commits] [mlir] [mlir][arith] Add `overflow<zero>` to `arith.remsi` (PR #237021)

Federico Bruzzone llvmlistbot at llvm.org
Fri Oct 30 03:58:15 PDT 2026


================
@@ -1,6 +1,24 @@
 // RUN: mlir-opt %s | mlir-opt | FileCheck %s
 // RUN: mlir-opt %s --mlir-print-op-generic | mlir-opt | FileCheck %s
 
+// CHECK-LABEL: @remsi_overflow_zero
+func.func @remsi_overflow_zero(%a: i32, %b: i32) -> i32 {
+  // CHECK: arith.remsi %{{.*}}, %{{.*}} overflow<zero> : i32
----------------
FedericoBruzzone wrote:

The other existing tests in this file don't have this check. Should we keep it?

The same goes for the test below, `remsi_overflow_zero_shaped`.

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


More information about the Mlir-commits mailing list