1 ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s 2 3 define 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
