Class SsaHelper

Common SSA logic for standard SSA and range-analysis SSA.

Import path

import cpp

Direct supertypes

Indirect supertypes

float

Known direct subtypes

Predicates

custom_phi_node	Override to insert a custom phi node for variable `v` at the start of basic block `b`.
getAUse	Holds if SSA variable `(v, def)` reaches `result`, where `result` is an access of `v`.
phi_node	Holds if there is a phi node for variable `v` at the start of basic block `b`.
ssaDefinitionReachesEndOfBB	Holds if SSA variable `(v, def)` reaches the end of block `b`.
ssa_defn	Holds if `v` is defined, for the purpose of SSA, at `node`, which is at position `index` in block `b`. This includes definitions from phi nodes.
toString	Gets a string representation of the SSA variable represented by the pair `(node, v)`.

Inherited predicates

abs	Returns the absolute value of the receiver (or INT_MIN when the receiver is INT_MIN)	from int
acos	Returns the inverse cosine of the receiver	from int
asin	Returns the inverse sine of the receiver	from int
atan	Returns the inverse tangent of the receiver	from int
bitAnd	Returns the bitwise and of the receiver and the argument	from int
bitNot	Returns the bitwise complement of the receiver	from int
bitOr	Returns the bitwise or of the receiver and the argument	from int
bitShiftLeft	Returns the bitwise left shift of the receiver by the argument	from int
bitShiftRight	Returns the unsigned bitwise right shift of the receiver by the argument	from int
bitShiftRightSigned	Returns the signed bitwise right shift of the receiver by the argument	from int
bitXor	Returns the bitwise xor of the receiver and the argument	from int
ceil	Returns the smallest integer greater than or equal to the receiver	from float
copySign	Returns the floating point number with the magnitude of the receiver and the sign of the argument.	from float
cos	Returns the cosine of the receiver	from int
cosh	Returns the hyperbolic cosine of the receiver	from int
exp	Returns e (the base of the natural logarithm) raised to the power of the receiver	from int
floor	Returns the largest integer that is not greater than the receiver	from float
gcd	Returns the greatest common divisor of the receiver and the argument, or zero if both receiver and argument are zero, or INT_MIN if the greatest common divisor is INT_MAX+1	from int
log	Returns the natural logarithm of the receiver	from int
log	Returns the logarithm of the receiver in the given base	from int
log	Returns the logarithm of the receiver in the given base	from int
log10	Returns the base-10 logarithm of the receiver	from int
log2	Returns the base-2 logarithm of the receiver	from int
maximum	Returns the larger of the receiver and the argument	from int
maximum	Returns the larger of the receiver and the argument	from int
minimum	Returns the smaller of the receiver and the argument	from int
minimum	Returns the smaller of the receiver and the argument	from int
nextAfter	Returns the number adjacent to the receiver in the direction of the argument.	from float
nextDown	Returns the number adjacent to the receiver in the direction of negative infinity.	from float
nextUp	Returns the number adjacent to the receiver in the direction of positive infinity.	from float
pow	Returns the receiver raised to the given power	from int
pow	Returns the receiver raised to the given power	from int
signum	Returns the sign of the receiver: zero if it is zero, 1.0 if it is greater than zero, -1.0 if it is less than zero.	from float
sin	Returns the sine of the receiver	from int
sinh	Returns the hyperbolic sine of the receiver	from int
sqrt	Returns the square root of the receiver	from int
tan	Returns the tangent of the receiver	from int
tanh	Returns the hyperbolic tangent of the receiver	from int
toBigInt	Returns the receiver’s value as an arbitrary-precision signed integer	from int
toString	Returns a string representation of the receiver (in decimal)	from int
toUnicode	Returns the unicode character for the receiver seen as a unicode code point	from int
ulp	Returns the ULP (unit in last place) of the receiver.	from float

Charpred

SsaHelper