[all-commits] [llvm/llvm-project] 86bbbb: [mlir] Extended Dominance analysis with a function...

[Marcel Koester via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 86bbbb317bce06e4a8cd084c85663b10147eff65
      https://github.com/llvm/llvm-project/commit/86bbbb317bce06e4a8cd084c85663b10147eff65
  Author: Marcel Koester <marcel.koester at dfki.de>
  Date:   2020-03-27 (Fri, 27 Mar 2020)

  Changed paths:
    M mlir/include/mlir/Analysis/Dominance.h
    M mlir/lib/Analysis/Dominance.cpp
    A mlir/test/Analysis/test-dominance.mlir
    M mlir/test/lib/Transforms/CMakeLists.txt
    A mlir/test/lib/Transforms/TestDominance.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [mlir] Extended Dominance analysis with a function to find the nearest common dominator of two given blocks.

The Dominance analysis currently misses a utility function to find the nearest common dominator of two given blocks. This is required for a huge variety of different control-flow analyses and transformations. This commit adds this function and moves the getNode function from DominanceInfo to DominanceInfoBase, as it also works for post dominators.

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