llvm/test/Transforms/SCCP/apfloat-basictest.ll

   1 ; This is a basic correctness check for constant propagation. The fneg
   2 ; instruction should be eliminated.
   3
   4 ; RUN: opt < %s -passes=sccp -S | FileCheck %s
   5
   6 define double @test(i1 %B) {
   7         br i1 %B, label %BB1, label %BB2
   8 BB1:
   9         %Val = fneg double 42.0
  10         br label %BB3
  11 BB2:
  12         br label %BB3
  13 BB3:
  14         %Ret = phi double [%Val, %BB1], [1.0, %BB2]
  15         ret double %Ret
  16 ; CHECK-LABEL: @test(
  17 ; CHECK: [[PHI:%.*]] = phi double [ -4.200000e+01, %BB1 ], [ 1.000000e+00, %BB2 ]
  18 }
  19
  20 define double @test1(i1 %B) {
  21         br i1 %B, label %BB1, label %BB2
  22 BB1:
  23         %Div = fdiv double 1.0, 1.0
  24         %Val = fneg double %Div
  25         br label %BB3
  26 BB2:
  27         br label %BB3
  28 BB3:
  29         %Ret = phi double [%Val, %BB1], [1.0, %BB2]
  30         ret double %Ret
  31 ; CHECK-LABEL: @test1(
  32 ; CHECK: [[PHI:%.*]] = phi double [ -1.000000e+00, %BB1 ], [ 1.000000e+00, %BB2 ]
  33 }