Adds dependence analysis support for iteration domains with local variables ...
authorAndy Davis <andydavis@google.com>
Thu, 4 Apr 2019 17:35:51 +0000 (10:35 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Fri, 5 Apr 2019 14:41:02 +0000 (07:41 -0700)
commit55014813e33a3ce8757e899dc9d39f5d394798ec
tree9d74c1d572e19e0d35dbf2d03b6769ce2b0e60a3
parent76cb20532636eb52300970d2b3eb00101b3821a1
Adds dependence analysis support for iteration domains with local variables (enables dependence analysis of loops with non-unit step).

--

PiperOrigin-RevId: 241957023
mlir/lib/Analysis/AffineAnalysis.cpp
mlir/lib/Analysis/AffineStructures.cpp
mlir/test/Transforms/memref-dependence-check.mlir