1; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s
2
3define float @test1(float %A, float %B) {
4; CHECK-LABEL: test1
5; CHECK: %Z = fadd fast float %A, %B
6; CHECK: ret float %Z
7	%W = fadd fast float %B, -5.0
8	%Y = fadd fast float %A, 5.0
9	%Z = fadd fast float %W, %Y
10	ret float %Z
11}
12