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-as < %s | opt -licm | llvm-dis | %prcontext mul 1 | grep 'Out[12]:'
   5
   6 int %test(int %N, bool %C) {
   7 Entry:
   8         br label %Loop
   9 Loop:
  10         %N_addr.0.pn = phi int [ %dec, %ContLoop ], [ %N, %Entry ]
  11         %tmp.6 = mul int %N, %N_addr.0.pn
  12         %tmp.7 = sub int %tmp.6, %N
  13         %dec = add int %N_addr.0.pn, -1
  14         br bool %C, label %ContLoop, label %Out1
  15 ContLoop:
  16         %tmp.1 = setne int %N_addr.0.pn, 1
  17         br bool %tmp.1, label %Loop, label %Out2
  18 Out1:
  19         ret int %tmp.7
  20 Out2:
  21         ret int %tmp.7
  22 }