[PATCH] D140513: [VPlan] Switch default graph traits to be recursive, update VPDomTree.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: Ayal, gilr, rengolin.
Herald added subscribers: tschuett, psnobl, rogfer01, bollu, hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added subscribers: pcwang-thead, vkmr.
Herald added a project: LLVM.

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 <https://reviews.llvm.org/D140512>.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D140513

Files:
  llvm/lib/Transforms/Vectorize/VPlan.h
  llvm/lib/Transforms/Vectorize/VPlanCFG.h
  llvm/lib/Transforms/Vectorize/VPlanHCFGBuilder.cpp
  llvm/unittests/Transforms/Vectorize/CMakeLists.txt
  llvm/unittests/Transforms/Vectorize/VPDomTreeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D140513.484705.patch
Type: text/x-patch
Size: 14619 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221221/11af4eb0/attachment.bin>