[all-commits] [llvm/llvm-project] 332f0b: Affine expr simplification for add of const multip...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 332f0b3cd4848a6c8aeaa663e0cd536b10aefc98
      https://github.com/llvm/llvm-project/commit/332f0b3cd4848a6c8aeaa663e0cd536b10aefc98
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2020-03-17 (Tue, 17 Mar 2020)

  Changed paths:
    M mlir/include/mlir/IR/AffineExpr.h
    M mlir/lib/IR/AffineExpr.cpp
    M mlir/test/Dialect/AffineOps/canonicalize.mlir
    M mlir/test/IR/affine-map.mlir

  Log Message:
  -----------
  Affine expr simplification for add of const multiple of same expression

- Detect "c_1 * expr + c_2 * expr" as (c_1 + c_2) * expr
- subsumes things like 'expr - expr' and "expr * -1 + expr" as 0.
- change AffineConstantExpr ctor to allow default null init

Signed-off-by: Uday Bondhugula <uday at polymagelabs.com>

Differential Revision: https://reviews.llvm.org/D76233