A Phi-function as specified in classic SSA form.
Gets the name of the primary QL class for this element.
Gets a use of this definition as defined by the
Gets an input variable for this phi node.
Gets the basic block that succeeds this phi node.
Gets the input variable for this phi node on the edge
Gets the location of a control flow node that is indicative of this definition. Since definitions may occur on edges of the control flow graph, the given location may be imprecise. Distinct
Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.
Gets the variable which is the common and complete input to all pi-nodes that are themselves inputs to this phi-node. For example:
Gets the source variable for which this a definition, either explicit or implicit.
Holds if forall incoming edges in the flow graph, there is an input variable
Holds if this definition reaches the end of
Gets a textual representation of this element.