SDBM: support sum expressions on the LHS of stripe expressions
authorAlex Zinenko <zinenko@google.com>
Wed, 18 Sep 2019 09:16:59 +0000 (02:16 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Wed, 18 Sep 2019 09:17:34 +0000 (02:17 -0700)
commit5709aeb9930776bfaee81bb51d9b2c0b0142c395
tree0c15cba779d34d7a4c2373869e9cc83a042b7844
parenta15e0ce1ba5fa049052b92583abb196f49f1e70c
SDBM: support sum expressions on the LHS of stripe expressions

Introduce support for applying the stripe operator to sum expressions, as in
  (x + A) # B = x + A - (x + A) mod B.
This is required to represent a combination of tiling and padding in the SDBM
framework, and is a valid SDBM construct that was not originally supported.

PiperOrigin-RevId: 269758807
mlir/include/mlir/Dialect/SDBM/SDBMExpr.h
mlir/lib/Dialect/SDBM/SDBM.cpp
mlir/lib/Dialect/SDBM/SDBMExpr.cpp
mlir/unittests/SDBM/SDBMTest.cpp