llvm/test/Transforms/SCCP/apint-basictest2.ll

   1 ; This is a basic correctness check for constant propagation.  The add
   2 ; instruction and phi instruction should be eliminated.
   3
   4 ; RUN: opt < %s -passes=sccp -S | not grep phi
   5 ; RUN: opt < %s -passes=sccp -S | not grep add
   6
   7 define i128 @test(i1 %B) {
   8         br i1 %B, label %BB1, label %BB2
   9 BB1:
  10         %Val = add i128 0, 1
  11         br label %BB3
  12 BB2:
  13         br label %BB3
  14 BB3:
  15         %Ret = phi i128 [%Val, %BB1], [1, %BB2]
  16         ret i128 %Ret
  17 }