kumasento / polymer

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

Reduce redundant load operations in generated MLIR code #32

Closed kumasento closed 3 years ago

kumasento commented 4 years ago

https://github.com/kumasento/polymer/blob/master/test/polymer-opt/InvariantScopTransform/arith.mlir

In this test case, there are several load operations being duplicated. We should remove them by adding a new pass that assumes load operations are non-volatile.

kumasento commented 3 years ago

The latest algorithm in impact should potentially fix this problem.