test/intervals.ll

   1 implementation
   2
   3 ;; This is a simple nested loop to test interval construction
   4
   5 int "loop test"(int %i, int %j)
   6 begin
   7 Start:
   8         %j1 = add int 0, 0
   9         br label %L1Header
  10
  11 L1Header:
  12         %j2 = phi int [%j1, %Start], [%j3, %L2Done]
  13
  14         %i1 = add int 0, 0             ; %i1 = 0
  15         br label %L2Body
  16 L2Body:
  17         %i2 = phi int [%i1, %L1Header], [%i3, %L2Body]
  18         %i3 = add int %i2, 1
  19         %L2Done = seteq int %i3, 10
  20         br bool %L2Done, label %L2Done, label %L2Body
  21 L2Done:
  22         %j3 = add int %j2, %i3
  23         %L1Done = seteq int %j3, 100
  24         br bool %L1Done, label %L1Done, label %L1Header
  25
  26 L1Done:
  27         ret int %j3
  28 end
  29