Member predicate Ssa::Definition::getALastRead
Gets a last control-flow node that reads the value of this SSA definition. That is, a read that can reach the end of the enclosing CFG scope, or another SSA definition for the source variable, without passing through any other read.
Example:
def m b # defines b_0
i = 0 # defines i_0
puts i
puts i + 1 # last read of i_0
if b # last read of b_0
i = 1 # defines i_1
puts i
puts i + 1 # last read of i_1
else
i = 2 # defines i_2
puts i
puts i + 1 # last read of i_2
end
# defines i_3 = phi(i_1, i_2)
puts i # last read of i3
end