[all-commits] [llvm/llvm-project] bb2f87: [mlir] Fix missing check on nested op values in LICM

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bb2f87af0ac9ad8cc0efcb523e108e715ee9ab93
      https://github.com/llvm/llvm-project/commit/bb2f87af0ac9ad8cc0efcb523e108e715ee9ab93
  Author: Nicolas Vasilache <ntv at google.com>
  Date:   2022-01-05 (Wed, 05 Jan 2022)

  Changed paths:
    M mlir/lib/Transforms/LoopInvariantCodeMotion.cpp
    M mlir/test/Transforms/loop-invariant-code-motion.mlir

  Log Message:
  -----------
  [mlir] Fix missing check on nested op values in LICM

LICM checks that nested ops depend only on values defined outside
before performing hoisting.
However, it specifically omits to check for terminators which can
lead to SSA violations.
This revision fixes the incorrect behavior.

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