Rename SDBMPositiveExpr to SDBMTermExpr
authorAlex Zinenko <zinenko@google.com>
Wed, 11 Sep 2019 17:18:01 +0000 (10:18 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Wed, 11 Sep 2019 17:18:29 +0000 (10:18 -0700)
commite15356f8edab9ce4b4edbaf2e988d6b38adb59cc
treefff1f150a9212ad711c4947847f50bd1710febad
parent9037f28cb4e19d311478dbe2596edda64c37f5af
Rename SDBMPositiveExpr to SDBMTermExpr

This better reflects how this kind of expressions is used and avoids the
potential confusion since the expression can take negative values.  Term
expressions comprise dimensions, symbols and stripe expressions.  In an SDBM
domain, a stripe expression always corresponds to a variable, input or
temporary.  This expression can appear anywhere an input variable can,
including on the LHS of other stripe expressions.

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