test/inductionvars.ll

   1 implementation
   2
   3 int "looptest"(int %i, int %j)
   4 begin
   5         %whichLoop = setlt int %i, %j
   6         br bool %whichLoop, label %Loop1Header, label %Loop2Header
   7
   8 Loop1Header:
   9         %i1 = add int 0, 0             ; %i1 = 0
  10         br label %L1Top
  11 L1Top:
  12         %i2 = phi int [%i1, %Loop1Header], [%i3, %L1Body]
  13         %L1Done = seteq int %i2, %j
  14         br bool %L1Done, label %L1End, label %L1Body
  15 L1Body:
  16         %i3 = add int %i2, 2
  17         br label %L1Top
  18 L1End:
  19         %v0 = add int %i2, %j         ; %v0 = 3 * %j
  20         br label %Merge
  21
  22 Loop2Header:
  23         %m1 = add int 0, 0
  24         %k1 = add int 0, %i
  25         br label %L2Top
  26 L2Top:
  27         %k2 = phi int [%k1, %Loop2Header], [%k3, %L2Body]
  28         %m2 = phi int [%m1, %Loop2Header], [%m3, %L2Body]
  29         %L2Done = seteq int %k2, 0
  30         br bool %L2Done, label %L2End, label %L2Body
  31 L2Body:
  32         %k3 = sub int %k2, 1
  33         %m3 = add int %m2, %j
  34         br label %L2Top
  35 L2End:
  36         %v1 = add int %m2, %k2
  37         br label %Merge
  38
  39 Merge:
  40         %v2 = phi int [%v0, %L1End], [%v1, %L2End]
  41         ret int %v2
  42 end
  43
  44 int "main"()
  45 begin
  46         call int %looptest(int 0, int 12)
  47         ret int %0
  48 end
  49