commit 9afb4ea80bc34b86b3b0c2087b02755388fe2ec3
author Uday Bondhugula <bondhugula@google.com> Tue Mar 12 10:52:09 2019 -0700
committer jpienaar <jpienaar@google.com> Fri Mar 29 17:15:27 2019 -0700
tree e9ece92fa9b4e647e229f7166118036815a1b190
parent b6c5245ad1fe91720c414fcf69530f62b8bd4935

Fix misc bugs / TODOs / other improvements to analysis utils

- fix for getConstantBoundOnDimSize: floordiv -> ceildiv for extent
- make getConstantBoundOnDimSize also return the identifier upper bound
- fix unionBoundingBox to correctly use the divisor and upper bound identified by
  getConstantBoundOnDimSize
- deal with loop step correctly in addAffineForOpDomain (covers most cases now)
- fully compose bound map / operands and simplify/canonicalize before adding
  dim/symbol to FlatAffineConstraints; fixes false positives in -memref-bound-check; add
  test case there
- expose mlir::isTopLevelSymbol from AffineOps

PiperOrigin-RevId: 238050395