Adds MemRefDependenceCheck analysis pass, plus multiple dependence check tests.
Adds equality constraints to dependence constraint system for accesses using dims/symbols where the defining operation of the dim/symbol is a constant.

PiperOrigin-RevId: 219814740
6 files changed
tree: 82cd0b1b9b7171b426df62363aaab831354ef160
  1. g3doc/
  2. include/
  3. lib/
  4. test/
  5. tools/
  6. utils/
  7. .clang-format
  8. LICENSE.TXT