; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s

define float @test1(float %A, float %B) {
; CHECK-LABEL: test1
; CHECK: %Z = fadd fast float %A, %B
; CHECK: ret float %Z
	%W = fadd fast float %B, -5.0
	%Y = fadd fast float %A, 5.0
	%Z = fadd fast float %W, %Y
	ret float %Z
}