[all-commits] [llvm/llvm-project] 023f24: [mlir] Fix post-dominance between blocks of differ...

[Thomas via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 023f2400f2b4176ada736597950e089e5b72a173
      https://github.com/llvm/llvm-project/commit/023f2400f2b4176ada736597950e089e5b72a173
  Author: Thomas Raoux <thomasraoux at google.com>
  Date:   2020-11-11 (Wed, 11 Nov 2020)

  Changed paths:
    M mlir/lib/IR/Dominance.cpp
    M mlir/test/Analysis/test-dominance.mlir
    M mlir/test/lib/Transforms/TestDominance.cpp

  Log Message:
  -----------
  [mlir] Fix post-dominance between blocks of different regions.

If block A and B are in different regions and region of A is not an ancestor of
B, either A is included in region of B or the two regions are disjoint. In both
case A doesn't post-dominate B.

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