tree e9ece92fa9b4e647e229f7166118036815a1b190
parent b6c5245ad1fe91720c414fcf69530f62b8bd4935
author Uday Bondhugula <bondhugula@google.com> 1552413129 -0700
committer jpienaar <jpienaar@google.com> 1553904927 -0700

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