test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | grep "%X.1.lcssa" &&
   2 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | not grep "%X.1.lcssa1"
   3
   4 declare bool %c1()
   5 declare bool %c2()
   6
   7 int %foo() {
   8 entry:
   9   br label %loop_begin
  10
  11 loop_begin:
  12   br bool true, label %loop_body.1, label %loop_exit2
  13
  14 loop_body.1:
  15   %X.1 = add int 0, 1
  16   %rel.1 = call bool %c1()
  17   br bool %rel.1, label %loop_exit, label %loop_body.2
  18
  19 loop_body.2:
  20   %rel.2 = call bool %c2()
  21   br bool %rel.2, label %loop_exit, label %loop_begin
  22
  23 loop_exit:
  24   ret int %X.1
  25
  26 loop_exit2:
  27   ret int 1
  28 }