Update addSliceBounds to deal with loops with floor's/mod's.
authorUday Bondhugula <bondhugula@google.com>
Sat, 2 Mar 2019 01:06:25 +0000 (17:06 -0800)
committerjpienaar <jpienaar@google.com>
Fri, 29 Mar 2019 23:53:50 +0000 (16:53 -0700)
commit62e3e2c57c3229b3102cc711001eec57fb966364
treed65811cb9188aea6f6e3e346d9cc28b6683959eb
parentf37651c708d7ce1bc110e3f8b3f3507f06601c3e
Update addSliceBounds to deal with loops with floor's/mod's.

- This change only impacts the cost model for fusion, given the way
  addSliceBounds was being used. It so happens that the output in spite of this
  CL's fix is the same; however, the assertions added no longer fail. (an
  invalid/inconsistent memref region was being used earlier).

PiperOrigin-RevId: 236405030
mlir/lib/Analysis/AffineStructures.cpp
mlir/lib/Analysis/Utils.cpp