Member predicate Make :: Definition :: definesAt
Holds if this SSA definition defines v
at index i
in basic block bb
.
Phi nodes are considered to be at index -1
, while normal variable writes
are at the index of the control flow node they wrap.
predicate
definesAt
(
SourceVariable
v
,
BasicBlock
bb
,
int
i
)