isPotentiallyReachable overloads

Synopses

Declared in <llvm/Analysis/CFG.h>

Determine whether block 'To' is reachable from 'From', returning true if uncertain.

bool
isPotentiallyReachable(
    BasicBlock const* From,
    BasicBlock const* To,
    SmallPtrSetImpl<BasicBlock*> const* ExclusionSet = nullptr,
    DominatorTree const* DT = nullptr,
    LoopInfo const* LI = nullptr,
    CycleInfo const* CI = nullptr);

» more...

Determine whether instruction 'To' is reachable from 'From', without passing through any blocks in ExclusionSet, returning true if uncertain.

bool
isPotentiallyReachable(
    Instruction const* From,
    Instruction const* To,
    SmallPtrSetImpl<BasicBlock*> const* ExclusionSet = nullptr,
    DominatorTree const* DT = nullptr,
    LoopInfo const* LI = nullptr,
    CycleInfo const* CI = nullptr);

» more...

Return Value

True if To may be reachable from From, or if reachability cannot be disproved.

Parameters

Name

Description

From

Basic block that starts the reachability search.

To

Basic block that is the reachability target.

ExclusionSet

Optional set of blocks that may not be traversed.

DT

Optional dominator tree used to prune the search.

LI

Optional loop info used to prune the search.

CI

Optional cycle info used to prune the search.

Created with MrDocs