[Mlir-commits] [mlir] [SCF] Make loop prefectching safe for overflow (PR #172066)

[Thomas Raoux]

================
@@ -283,7 +283,8 @@ LogicalResult LoopPipelinerInternal::emitPrologue(RewriterBase &rewriter) {
           arith::MulIOp::create(
               rewriter, loc, step,
               arith::ConstantOp::create(rewriter, loc,
-                                        rewriter.getIntegerAttr(t, i))));
+                                        rewriter.getIntegerAttr(t, i))),
+          arith::IntegerOverflowFlags::nsw);
----------------
ThomasRaoux wrote:

how can `lb + i * step` overflow?

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