¶bool nonStrictlyPostDominate(
    const llvm::BasicBlock* ThisBlock,
    const llvm::BasicBlock* OtherBlock,
    const llvm::DominatorTree* DT,
    const llvm::PostDominatorTree* PDT)

Description

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

Declared at: llvm/include/llvm/Transforms/Utils/CodeMoverUtils.h:70

Parameters

const llvm::BasicBlock* ThisBlock

const llvm::BasicBlock* OtherBlock

const llvm::DominatorTree* DT

const llvm::PostDominatorTree* PDT