projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ef5fc5) | patch
Analysis support for floordiv/mod's in loop bounds/
authorUday Bondhugula <bondhugula@google.com>
Fri, 1 Mar 2019 17:48:22 +0000 (09:48 -0800)
committerjpienaar <jpienaar@google.com>
Fri, 29 Mar 2019 23:52:04 +0000 (16:52 -0700)
commit932e4fb29f2ae29afc03704dc80b6f7c8a388003
treef9752d19612a02a2f8ae85c5619a114187795011tree | snapshot
parent6ef5fc582ea8989297822e321bb6e39b29f7da69commit | diff
Analysis support for floordiv/mod's in loop bounds/

- handle floordiv/mod's in loop bounds for all analysis purposes
- allows fusion slicing to be more powerful
- add simple test cases based on -memref-bound-check
- fusion based test cases in follow up CLs

PiperOrigin-RevId: 236328551
mlir/lib/Analysis/AffineStructures.cpp diff | blob | history
mlir/test/Transforms/memref-bound-check.mlir diff | blob | history
Domain: System / Toolchain;