test/Transforms/LCSSA/basictest.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
   2 ; RUN:   grep {X3.lcssa = phi i32}
   3 ; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
   4 ; RUN:   grep {X4 = add i32 3, %X3.lcssa}
   5
   6 void %lcssa(bool %S2) {
   7 entry:
   8         br label %loop.interior
   9
  10 loop.interior:          ; preds = %entry
  11         br bool %S2, label %if.true, label %if.false
  12
  13 if.true:
  14         %X1 = add int 0, 0
  15         br label %post.if
  16
  17 if.false:
  18         %X2 = add int 0, 1
  19         br label %post.if
  20
  21 post.if:
  22         %X3 = phi int [%X1, %if.true], [%X2, %if.false]
  23         br bool %S2, label %loop.exit, label %loop.interior
  24
  25 loop.exit:
  26         %X4 = add int 3, %X3
  27         ret void
  28 }