llvm-project
78f2beb7 - [mlir][scf] Add unsignedCmp to scf.parallel and use it in the tiling in-bound check (#226130)

Commit
4 days ago
[mlir][scf] Add unsignedCmp to scf.parallel and use it in the tiling in-bound check (#226130) This change mirrors `scf.for` where `scf.parallel` gets an `unsignedCmp` unit attribute, and every pass that rebuilds or lowers a `scf.parallel` has to respect it: - Propagate where a loop is rebuilt from another, such as parallel loop tiling, parallel loop fusion (which also refuses to fuse loops of different signedness), parallel-to-nested-fors and SCF-to-CF lowering. - Decline where the bound arithmetic assumes signed values, such as SCF-to-GPU, SCF-to-OpenMP, async-parallel-for and the parallel-loop-collapsing test pass. Fixes #223233
Author
Parents
Loading