3 ;; This is a simple nested loop to test interval construction
5 int "loop test"(int %i, int %j)
12 %j2 = phi int [%j1, %Start], [%j3, %L2Done]
14 %i1 = add int 0, 0 ; %i1 = 0
17 %wl = phi int [%j, %L1Header], [%wl, %L2Body] ;; Useless PHI
18 %i2 = phi int [%i1, %L1Header], [%i3, %L2Body]
20 %L2Done = seteq int %i3, 10
21 br bool %L2Done, label %L2Done, label %L2Body
23 %j3 = add int %j2, %i3
24 %L1Done = seteq int %j3, 100
25 br bool %L1Done, label %L1Done, label %L1Header