llvm::nonStrictlyPostDominate

In case that two BBs ThisBlock and OtherBlock are control flow equivalent but they do not strictly dominate and post-dominate each other, we determine if ThisBlock is reached after OtherBlock in the control flow.

Synopsis

Declared in <llvm/Transforms/Utils/CodeMoverUtils.h>

bool
nonStrictlyPostDominate(
    BasicBlock const* ThisBlock,
    BasicBlock const* OtherBlock,
    DominatorTree const* DT,
    PostDominatorTree const* PDT);

Parameters

NameDescription
ThisBlockLLVM Basic Block Representation
OtherBlockLLVM Basic Block Representation
DTConcrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
PDTPostDominatorTree Class - Concrete subclass of DominatorTree that is used to compute the post-dominator tree.