llvm-project
1b0e2e1d - [mlir][SCF] Skip dynamic front-peeling for non-index loops (#218238)

Commit
13 days ago
[mlir][SCF] Skip dynamic front-peeling for non-index loops (#218238) `peelForLoopFirstIteration` computes the new lower bound with an `affine.apply` whose operands are the loop's lower bound and step. `affine.apply` requires operands of type `index`, while `scf.for` also permits signless integer IV and bounds, so the operation can be constructed with operands that it does not accept. This is the same underlying issue as #216631 / #217909, in the sibling "peel front" path. Skip the front-peeling path when the loop induction variable is not `index`, mirroring the guard added in #217909. The existing constant-bounds path is unaffected. --------- Signed-off-by: Federico Bruzzone <federico.bruzzone.i@gmail.com>
Parents
Loading