llvm/test/Transforms/GVNSink/fpmath.ll

   1 ; RUN: opt -S < %s -passes=gvn-sink | FileCheck %s
   2
   3 ; CHECK-LABEL: sink
   4 ; CHECK-NOT: fneg
   5 ; CHECK: = phi
   6 ; CHECK: fneg
   7 define float @sink(float %a, float %b, i1 %cmp) {
   8 entry:
   9   br i1 %cmp, label %if.then, label %if.else
  10
  11 if.then:
  12   %sub = fsub float %a, %b
  13   %neg0 = fneg float %sub
  14   br label %if.end
  15
  16 if.else:
  17   %add = fadd float %a, %b
  18   %neg1 = fneg float %add
  19   br label %if.end
  20
  21 if.end:
  22   %phi = phi float [ %neg0, %if.then ], [ %neg1, %if.else ]
  23   ret float %phi
  24 }