Added -reg2mem pass to handle imperfectly nested loops

kumasento / polymer

Bridging polyhedral analysis tools to the MLIR framework

MIT License

99 stars 20 forks source link

Added -reg2mem pass to handle imperfectly nested loops #57

Closed kumasento closed 3 years ago

kumasento commented 3 years ago

This PR implements the -reg2mem pass in polymer-opt, which demotes all the live-in SSA values for the body of a affine.for operation to memory. See #56 for more information.

This PR also fix an unresolved test in export-scop (fixes #5 )

This PR should fix #56 .