test/Transforms/LICM/sink_multiple_exits.ll

   1 ; This testcase ensures that we can sink instructions from loops with
   2 ; multiple exits.
   3 ;
   4 ; RUN: llvm-upgrade < %s | llvm-as | opt -licm | llvm-dis | \
   5 ; RUN:    %prcontext mul 1 | grep {Out\[12\]:}
   6
   7 int %test(int %N, bool %C) {
   8 Entry:
   9         br label %Loop
  10 Loop:
  11         %N_addr.0.pn = phi int [ %dec, %ContLoop ], [ %N, %Entry ]
  12         %tmp.6 = mul int %N, %N_addr.0.pn
  13         %tmp.7 = sub int %tmp.6, %N
  14         %dec = add int %N_addr.0.pn, -1
  15         br bool %C, label %ContLoop, label %Out1
  16 ContLoop:
  17         %tmp.1 = setne int %N_addr.0.pn, 1
  18         br bool %tmp.1, label %Loop, label %Out2
  19 Out1:
  20         ret int %tmp.7
  21 Out2:
  22         ret int %tmp.7
  23 }