Class RangeSsa
The SSA logic comes in two versions: the standard SSA and range-analysis RangeSSA. This class provides the range-analysis SSA logic.
Import path
import cpp
Direct supertypes
Predicates
custom_phi_node | Add a phi node on the out-edge of a guard. |
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 |
getAUse | Holds if SSA variable | from SsaHelper |
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 |
phi_node | Holds if there is a phi node for variable | from SsaHelper |
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 |
ssaDefinitionReachesEndOfBB | Holds if SSA variable | from SsaHelper |
ssa_defn | Holds if | from SsaHelper |
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 | Gets a string representation of the SSA variable represented by the pair | from SsaHelper |
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 |