[MLIR] Make store to load fwd condition less conservative
authorUday Bondhugula <uday@polymagelabs.com>
Thu, 27 May 2021 19:38:30 +0000 (01:08 +0530)
committerUday Bondhugula <uday@polymagelabs.com>
Wed, 16 Jun 2021 19:56:38 +0000 (01:26 +0530)
commit54384d172397402a3ad606ef990af488f344eb19
tree0237d3d01ff1b02adfe8fa7e87da0e5cffbfa7f3
parent51d43bbc4662202d7f694c43b968fb289a56a355
[MLIR] Make store to load fwd condition less conservative

Make store to load fwd condition for -memref-dataflow-opt less
conservative. Post dominance info is not really needed. Add additional
check for common cases.

Differential Revision: https://reviews.llvm.org/D104174
mlir/lib/Dialect/Affine/Transforms/AffineScalarReplacement.cpp
mlir/test/Dialect/Affine/scalrep.mlir