Merge pull request #161 from Xilinx/tina.FXML-4447-divsi-remsi

[FXML-4447] Convert divsi/remsi to emitc
Xilinx · Apr 12, 2024 · 0a55349 · 0a55349
2 parents 62450d3 + a0dc549
commit 0a55349
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/mlir/lib/Conversion/ArithToEmitC/ArithToEmitC.cpp b/mlir/lib/Conversion/ArithToEmitC/ArithToEmitC.cpp
@@ -288,6 +288,8 @@ void mlir::populateArithToEmitCPatterns(TypeConverter &typeConverter,
     ArithConstantOpConversionPattern,
     ArithOpConversion<arith::AddFOp, emitc::AddOp>,
     ArithOpConversion<arith::DivFOp, emitc::DivOp>,
+    ArithOpConversion<arith::DivSIOp, emitc::DivOp>,
+    ArithOpConversion<arith::RemSIOp, emitc::RemOp>,
     ArithOpConversion<arith::MulFOp, emitc::MulOp>,
     ArithOpConversion<arith::SubFOp, emitc::SubOp>,
     ArithOpConversion<arith::AddIOp, emitc::AddOp>,

diff --git a/mlir/test/Conversion/ArithToEmitC/arith-to-emitc.mlir b/mlir/test/Conversion/ArithToEmitC/arith-to-emitc.mlir
@@ -44,6 +44,10 @@ func.func @arith_integer_ops(%arg0: i32, %arg1: i32) {
   %1 = arith.subi %arg0, %arg1 : i32
   // CHECK: emitc.mul %arg0, %arg1 : (i32, i32) -> i32
   %2 = arith.muli %arg0, %arg1 : i32
+  // CHECK: emitc.div %arg0, %arg1 : (i32, i32) -> i32
+  %3 = arith.divsi %arg0, %arg1 : i32
+  // CHECK: emitc.rem %arg0, %arg1 : (i32, i32) -> i32
+  %4 = arith.remsi %arg0, %arg1 : i32
 
   return
 }