Class Splitting::BooleanSplitting::BooleanSplitSubKind

A sub-classification of Boolean splits.

Direct supertypes

Known direct subtypes

Predicates

canReachCorrelatedCondition

Holds if basic block bb can reach a condition correlated with a split of this kind.

correlatesConditions

Holds if the branch taken by condition cb1 should be recorded in this split, and the recorded value determines the branch taken by a later condition cb2, possibly inverted.

getEnclosingCallable

Gets the callable that this Boolean split kind belongs to.

getLocation

Gets the location of this Boolean split kind.

startsSplit

Holds if control flow element cfe starts a split of this kind.

toString

Gets a textual representation of this Boolean split kind.