blob: f51c0c17fe7d2f8c8c6690727e2cc1837454a7bf [file] [log] [blame]
; RUN: opt -reassociate %s -S | FileCheck %s
define float @foo(float %a,float %b, float %c) {
; CHECK: %mul3 = fmul float %a, %b
; CHECK-NEXT: fmul fast float %c, 2.000000e+00
; CHECK-NEXT: fadd fast float %factor, %b
; CHECK-NEXT: fmul fast float %tmp1, %a
; CHECK-NEXT: fadd fast float %tmp2, %mul3
; CHECK-NEXT: ret float
%mul1 = fmul fast float %a, %c
%mul2 = fmul fast float %a, %b
%mul3 = fmul float %a, %b
%mul4 = fmul fast float %a, %c
%add1 = fadd fast float %mul1, %mul3
%add2 = fadd fast float %mul4, %mul2
%add3 = fadd fast float %add1, %add2
ret float %add3
}