| ssaDefReachesEndOfBlock | Holds if the SSA definition of v at def reaches the end of basic block bb, at which point it is still live, without crossing another SSA definition of v.
|
| ssaDefReachesRank | Holds if the SSA definition def reaches rank index rnk in its own basic block bb.
|
| ssaDefReachesRead | Holds if the SSA definition of v at def reaches a read at index i in basic block bb, without crossing another SSA definition of v.
|
| ssaDefReachesReadWithinBlock | Holds if the SSA definition of v at def reaches index i in its own basic block bb, without crossing another SSA definition of v.
|
| ssaRef | Holds if the ith node of basic block bb is a reference to v, either a read (when k is Read()) or an SSA definition (when k is Def()).
|
| uncertainWriteDefinitionInput | |