[all-commits] [llvm/llvm-project] bf9e0d: [VPlan] Switch default graph traits to be recursiv...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bf9e0da1a5fcb3a850c8aa1686bd38888261b065
      https://github.com/llvm/llvm-project/commit/bf9e0da1a5fcb3a850c8aa1686bd38888261b065
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/VPlanCFG.h
    M llvm/lib/Transforms/Vectorize/VPlanDominatorTree.h
    M llvm/lib/Transforms/Vectorize/VPlanHCFGBuilder.cpp
    M llvm/unittests/Transforms/Vectorize/VPDomTreeTest.cpp

  Log Message:
  -----------
  [VPlan] Switch default graph traits to be recursive, update VPDomTree.

This updates the GraphTraits specialization for VPBlockBase to recurse
through VPRegionBlocks.

This in turn enables using VPDominatorTree to query dominance between
any block in a plan. This should enable additional use cases, including
improvements to def-use verification and porting IR-based transforms
that rely on the dominator tree.

Specifically, this change means that for regions, the entry and exit
blocks dominate the successors of the region.

Depends on D140512 and D142162.

Reviewed By: Ayal

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