Member predicate BooleanSplitting::SsaBooleanSplitSubKind::canReachCorrelatedCondition
Holds if basic block bb
can reach a condition correlated with a
split of this kind.
predicate canReachCorrelatedCondition(PreBasicBlock bb)
Holds if basic block bb
can reach a condition correlated with a
split of this kind.
predicate canReachCorrelatedCondition(PreBasicBlock bb)