3 ;; Test live variable analysis:
4 ;; -- a simple nested loop
5 ;; -- a function call with arguments and return value
7 int "LoopTest"(int %i, int %j)
14 %j2 = phi int [%j1, %Start], [%j3, %L2Done]
16 %i1 = add int 0, 0 ; %i1 = 0
19 %wl = phi int [%j, %L1Header], [%wl, %L2Body] ;; Useless PHI
20 %i2 = phi int [%i1, %L1Header], [%i3, %L2Body]
22 %L2Done = seteq int %i3, 10
23 br bool %L2Done, label %L2Done, label %L2Body
25 %j3 = add int %j2, %i3
26 %L1Done = seteq int %j3, 100
27 br bool %L1Done, label %L1Done, label %L1Header
30 %recurse = call int %LoopTest(int %j3, int %j3)