test/Transforms/TailCallElim/ackermann.ll

   1 ; This function contains two tail calls, which should be eliminated
   2 ; RUN: llvm-upgrade < %s | llvm-as | \
   3 ; RUN:   opt -tailcallelim -stats -disable-output |& grep {2 tailcallelim}
   4
   5 int %Ack(int %M.1, int %N.1) {
   6 entry:
   7         %tmp.1 = seteq int %M.1, 0              ; <bool> [#uses=1]
   8         br bool %tmp.1, label %then.0, label %endif.0
   9
  10 then.0:
  11         %tmp.4 = add int %N.1, 1                ; <int> [#uses=1]
  12         ret int %tmp.4
  13
  14 endif.0:
  15         %tmp.6 = seteq int %N.1, 0              ; <bool> [#uses=1]
  16         br bool %tmp.6, label %then.1, label %endif.1
  17
  18 then.1:
  19         %tmp.10 = add int %M.1, -1              ; <int> [#uses=1]
  20         %tmp.8 = call int %Ack( int %tmp.10, int 1 )            ; <int> [#uses=1]
  21         ret int %tmp.8
  22
  23 endif.1:
  24         %tmp.13 = add int %M.1, -1              ; <int> [#uses=1]
  25         %tmp.17 = add int %N.1, -1              ; <int> [#uses=1]
  26         %tmp.14 = call int %Ack( int %M.1, int %tmp.17 )                ; <int> [#uses=1]
  27         %tmp.11 = call int %Ack( int %tmp.13, int %tmp.14 )             ; <int> [#uses=1]
  28         ret int %tmp.11
  29 }
  30