kumasento / polymer

Bridging polyhedral analysis tools to the MLIR framework
MIT License
99 stars 20 forks source link

Robust mapping from old iterator names to new scatnames #35

Closed kumasento closed 3 years ago

kumasento commented 3 years ago

Currently we simply use a formula to calculates the mapping, which could fail for many cases.

A good way is to derive the mapping from the scattering relation.

This should help fixing #28