projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6254a42) | patch
Add memref dimension bounds as upper/lower bounds on MemRefRegion constraints...
authorAndy Davis <andydavis@google.com>
Thu, 9 May 2019 15:36:02 +0000 (08:36 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sat, 11 May 2019 02:25:53 +0000 (19:25 -0700)
commit0412bf6f09892557218b035039e0ab1e567cc1eb
tree9d95b88521b5647adb6f9a400075c9b8543accaatree | snapshot
parent6254a42d583283a0e5d45c319c58934c46ff6160commit | diff
Add memref dimension bounds as upper/lower bounds on MemRefRegion constraints, to guard against potential over-approximation from projection.

--

PiperOrigin-RevId: 247431201
mlir/include/mlir/Analysis/Utils.h diff | blob | history
mlir/include/mlir/IR/StandardTypes.h diff | blob | history
mlir/lib/Analysis/Utils.cpp diff | blob | history
mlir/lib/IR/StandardTypes.cpp diff | blob | history
mlir/test/Transforms/dma-generate.mlir diff | blob | history
mlir/test/Transforms/loop-tiling.mlir diff | blob | history
Domain: System / Toolchain;