Module MakeUtils

Holds if inp is an input to phi along a back edge.

Gets a condition that tests whether v equals e + delta.

Holds if guard controls the position controlled with the value testIsTrue.

Holds if rix is the number of input edges to phi.

Holds if inp is an input to phi along edge and this input has index r in an arbitrary 1-based numbering of the input edges to phi.

Gets an expression that equals v - d.

Holds if v is an SsaExplicitUpdate that equals e + delta.

Holds if e1 + delta equals e2.

A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.

A basic block in which an SSA variable is read.

An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.