kumasento / polymer

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

[Reg2Mem] fixed issues lead to absent scratchpad #102

Closed kumasento closed 2 years ago

kumasento commented 2 years ago

Resolve this dataflow pattern.

+---load A[i] ---+
|     |          |
|     |          |
|     v       dominating
|   mulf         |
|     |          |
|     |          v
|     +----->store A[i]
|     |          +
|     |       dominating
|     v          |
+-->addf <-------+
      |
      +----->store A[i]