Member predicate Ssa::Definition::getARead
Gets a control-flow node that reads the value of this SSA definition.
Example:
def m b # defines b_0
i = 0 # defines i_0
puts i # reads i_0
puts i + 1 # reads i_0
if b # reads b_0
i = 1 # defines i_1
puts i # reads i_1
puts i + 1 # reads i_1
else
i = 2 # defines i_2
puts i # reads i_2
puts i + 1 # reads i_2
end
# defines i_3 = phi(i_1, i_2)
puts i # reads i3
end