Skip to content

Commit 774e3c1

Browse files
authored
[NFC] Recover tests for divsi and remsi (#191)
1 parent 69cc7e1 commit 774e3c1

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

mlir/test/Conversion/ArithToEmitC/arith-to-emitc.mlir

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -61,6 +61,22 @@ func.func @arith_integer_ops(%arg0: i32, %arg1: i32) {
6161

6262
// -----
6363

64+
func.func @arith_signed_integer_div(%arg0: i32, %arg1: i32) {
65+
// CHECK: emitc.div %arg0, %arg1 : (i32, i32) -> i32
66+
%0 = arith.divsi %arg0, %arg1 : i32
67+
return
68+
}
69+
70+
// -----
71+
72+
func.func @arith_signed_integer_rem(%arg0: i32, %arg1: i32) {
73+
// CHECK: emitc.rem %arg0, %arg1 : (i32, i32) -> i32
74+
%0 = arith.remsi %arg0, %arg1 : i32
75+
return
76+
}
77+
78+
// -----
79+
6480
// CHECK-LABEL: arith_integer_ops_signed_nsw
6581
func.func @arith_integer_ops_signed_nsw(%arg0: i32, %arg1: i32) {
6682
// CHECK: emitc.add %arg0, %arg1 : (i32, i32) -> i32

0 commit comments

Comments
 (0)