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