[MLIR] Add affine.if canonicalization to compose in affine.apply ops
authorUday Bondhugula <uday@polymagelabs.com>
Tue, 19 Jul 2022 05:49:55 +0000 (11:19 +0530)
committerUday Bondhugula <uday@polymagelabs.com>
Fri, 22 Jul 2022 04:26:24 +0000 (09:56 +0530)
commitfd156f5d4ab3fcf813dbd76273bcbffdd4d22b87
tree3b2a9c86464d9500a575273012e305cb8bec35cf
parent62f7888d6d9d98481a1373db1d7804b49c69ec12
[MLIR] Add affine.if canonicalization to compose in affine.apply ops

Add affine.if canonicalization to compose affine.apply ops into its set
and operands. This eliminates affine.apply ops feeding into affine.if
ops.

Differential Revision: https://reviews.llvm.org/D130242
mlir/include/mlir/IR/IntegerSet.h
mlir/lib/Dialect/Affine/IR/AffineOps.cpp
mlir/test/Dialect/Affine/canonicalize.mlir