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