; 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 | |
} |