2001-06-21 01:05:53 +02:00
|
|
|
implementation
|
|
|
|
|
|
|
|
|
|
;; This is a simple nested loop to test interval construction
|
|
|
|
|
|
|
|
|
|
int "loop test"(int %i, int %j)
|
|
|
|
|
begin
|
|
|
|
|
Start:
|
|
|
|
|
%j1 = add int 0, 0
|
|
|
|
|
br label %L1Header
|
|
|
|
|
|
|
|
|
|
L1Header:
|
|
|
|
|
%j2 = phi int [%j1, %Start], [%j3, %L2Done]
|
|
|
|
|
|
|
|
|
|
%i1 = add int 0, 0 ; %i1 = 0
|
|
|
|
|
br label %L2Body
|
|
|
|
|
L2Body:
|
2001-06-24 06:06:23 +02:00
|
|
|
%wl = phi int [%j, %L1Header], [%wl, %L2Body] ;; Useless PHI
|
2001-06-21 01:05:53 +02:00
|
|
|
%i2 = phi int [%i1, %L1Header], [%i3, %L2Body]
|
|
|
|
|
%i3 = add int %i2, 1
|
|
|
|
|
%L2Done = seteq int %i3, 10
|
|
|
|
|
br bool %L2Done, label %L2Done, label %L2Body
|
|
|
|
|
L2Done:
|
|
|
|
|
%j3 = add int %j2, %i3
|
|
|
|
|
%L1Done = seteq int %j3, 100
|
|
|
|
|
br bool %L1Done, label %L1Done, label %L1Header
|
|
|
|
|
|
|
|
|
|
L1Done:
|
|
|
|
|
ret int %j3
|
|
|
|
|
end
|
|
|
|
|
|
