test/Transforms/LCSSA/basictest.ll

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