[all-commits] [llvm/llvm-project] eff269: [MLIR][Affine][LICM] Mark users of `iter_args` var...

[Vinayaka Bandishti via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eff269fc9f8b8c79e08e8295aa22da8950bcc341
      https://github.com/llvm/llvm-project/commit/eff269fc9f8b8c79e08e8295aa22da8950bcc341
  Author: Vinayaka Bandishti <vinayaka at polymagelabs.com>
  Date:   2021-05-25 (Tue, 25 May 2021)

  Changed paths:
    M mlir/lib/Dialect/Affine/Transforms/AffineLoopInvariantCodeMotion.cpp
    M mlir/test/Dialect/Affine/affine-loop-invariant-code-motion.mlir

  Log Message:
  -----------
  [MLIR][Affine][LICM] Mark users of `iter_args` variant

Prevent users of `iter_args` of an affine for loop from being hoisted
out of it. Otherwise, LICM leads to a violation of the SSA dominance
(as demonstrated in the added test case).

Fixes: https://bugs.llvm.org/show_bug.cgi?id=50103

Reviewed By: bondhugula, ayzhuang

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