make Affine parallel and yield ops MemRefsNormalizable
authorAdam Straw <26910851+adstraw@users.noreply.github.com>
Tue, 23 Feb 2021 18:16:36 +0000 (10:16 -0800)
committerJeremy Bruestle <jeremy.bruestle@intel.com>
Tue, 23 Feb 2021 18:16:47 +0000 (10:16 -0800)
commitaf8adea155a14b99381532fc22122b7218e65db4
tree4cf7fe665b5330de65ac7a6a13252815b2851cf0
parent18b9fc48f1b64061699533740dd6218c982f5b58
make Affine parallel and yield ops MemRefsNormalizable

Affine parallel ops may contain and yield results from MemRefsNormalizable ops in the loop body.  Thus, both affine.parallel and affine.yield should have the MemRefsNormalizable trait.

Reviewed By: bondhugula

Differential Revision: https://reviews.llvm.org/D96821
mlir/include/mlir/Dialect/Affine/IR/AffineOps.td
mlir/lib/Transforms/NormalizeMemRefs.cpp
mlir/test/Transforms/normalize-memrefs.mlir