Issue operator/ for integer division

python/dune/perftool/loopy/target.py

@@ -38,6 +38,14 @@ class DuneExpressionToCExpressionMapper(ExpressionToCExpressionMapper):
         else:
             return ExpressionToCExpressionMapper.map_subscript(self, expr, type_context)
 
+    def map_floor_div(self, expr, enclosing_prec):
+        # Loopy generates floor divs via a macro int_floor_div_pos_b
+        # I have no idea why it does this and would like to generate
+        # operator/ instead. At some point, I should ask Andreas about
+        # the intention of that macro. Returning expr will pass this into
+        # the CExpressionToCodeMapper as is => operator/.
+        return expr
+
 
 class DuneCExpressionToCodeMapper(CExpressionToCodeMapper):
     def map_remainder(self, expr, enclosing_prec):