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