Annotating loops to indicate if they are point/tile loops

kumasento / polymer

Bridging polyhedral analysis tools to the MLIR framework

MIT License

99 stars 20 forks source link

Open kumasento opened 3 years ago

kumasento commented 3 years ago

Currently covered by 25afb44482845e39c5157145fc98a249b22ff381

Approach: IVs directly used by a scop.stmt caller are point loop IVs. This is assumed by the Pluto algorithm.

[ ] Can it work before canonicalization?
[x] How to deal with complex arithmetic of loop indvars before calling scop.stmt?