[all-commits] [llvm/llvm-project] f5c5fd: [MLIR] Correct block merge bug

[William Moses via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f5c5fd1c50bf2475262007dc8071f3a6a19f0a18
      https://github.com/llvm/llvm-project/commit/f5c5fd1c50bf2475262007dc8071f3a6a19f0a18
  Author: William S. Moses <gh at wsmoses.com>
  Date:   2020-11-20 (Fri, 20 Nov 2020)

  Changed paths:
    M mlir/lib/Transforms/Utils/RegionUtils.cpp
    M mlir/test/Transforms/canonicalize-block-merge.mlir

  Log Message:
  -----------
  [MLIR] Correct block merge bug

Block merging in MLIR will incorrectly merge blocks with operations whose values are used outside of that block. This change forbids this behavior and provides a test where it is illegal to perform such a merge.

Reviewed By: rriddle

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