Module Make::Logic

Holds if def evaluating to v controls the basic block bb. That is, execution of bb implies that def evaluated to v.

Holds if def evaluating to v controls the control-flow branch edge from bb1 to bb2. That is, following the edge from bb1 to bb2 implies that def evaluated to v.

A guard. This may be any expression whose value determines subsequent control flow. It may also be a switch case, which as a guard is considered to evaluate to either true or false depending on whether the case matches.

Provides utility predicates for working with GuardValues.

Extends a BarrierGuard input predicate with wrapped invocations.

Extends a BarrierGuard input predicate with wrapped invocations.

Holds if guard evaluating to v implies that e is guaranteed to be null if isNull is true, and non-null if isNull is false.