Member predicate Node :: hasIndexInBlock
Holds if this node is at index i
in basic block block
.
Note: Phi nodes are considered to be at index -1
.
predicate
hasIndexInBlock
(
IRBlock
block
,
int
i
)