GATE 2015 · Session-1
Consider the following control-flow fragment and standard live-variable analysis.
text
Which variables are live at the exit of basic block B1?
B1: if condition goto B2 else goto B3
B2: v = r + u
s = 0
goto B4
B3: q = r - u
s = 1
goto B4