#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int fa_mpeg_round(int);
int log2(float);
float sqrt(int);
int fa_estimate_sf(float T, int K, float beta, float a2, float a4, float miu,
                   float miuhalf) {
  float ratio;
  float diff;
  int sf;
  float t;
  diff = a4 * miu - a2 * a2 * miuhalf * miuhalf;
  t = K * a2 * miuhalf + beta * (sqrt(2 * K * diff));
  if (t > 0) {
    ratio = T / t;
    sf = fa_mpeg_round((8. / 3.) * (log2(ratio)));
  } else {
    sf = 0;
  }
  return sf;
}


x86 assembly (clang, -O0):
<fa_estimate_sf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  %xmm3,-0x14(%rbp)
movss  %xmm4,-0x18(%rbp)
movss  %xmm5,-0x1c(%rbp)
movss  -0x14(%rbp),%xmm0
movss  -0x18(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
mulss  -0x10(%rbp),%xmm1
mulss  -0x1c(%rbp),%xmm1
mulss  -0x1c(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
cvtsi2ssl -0x8(%rbp),%xmm0
mulss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%eax
shl    $0x1,%eax
cvtsi2ss %eax,%xmm0
mulss  -0x24(%rbp),%xmm0
cvttss2si %xmm0,%edi
call   1050 <sqrt@plt>
movss  -0x38(%rbp),%xmm1
movss  -0x34(%rbp),%xmm2
movaps %xmm0,%xmm3
movss  -0x30(%rbp),%xmm0
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    123a <fa_estimate_sf+0x10a>
movss  -0x4(%rbp),%xmm0
divss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
call   1030 <log2@plt>
cvtsi2sd %eax,%xmm1
movsd  0xddb(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1040 <fa_mpeg_round@plt>
mov    %eax,-0x28(%rbp)
jmp    1241 <fa_estimate_sf+0x111>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fa_estimate_sf>:
sub    $0x18,%rsp
movss  %xmm1,0x14(%rsp)
movss  %xmm0,0x8(%rsp)
xorps  %xmm0,%xmm0
cvtsi2ss %edi,%xmm0
mulss  %xmm2,%xmm0
movss  %xmm0,0xc(%rsp)
mulss  %xmm2,%xmm2
movss  %xmm5,0x10(%rsp)
mulss  %xmm5,%xmm2
mulss  %xmm5,%xmm2
mulss  %xmm4,%xmm3
add    %edi,%edi
xorps  %xmm0,%xmm0
cvtsi2ss %edi,%xmm0
subss  %xmm2,%xmm3
mulss  %xmm3,%xmm0
cvttss2si %xmm0,%edi
call   1050 <sqrt@plt>
movss  0xc(%rsp),%xmm1
mulss  0x14(%rsp),%xmm0
mulss  0x10(%rsp),%xmm1
addss  %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm1
jbe    11ca <fa_estimate_sf+0x9a>
movss  0x8(%rsp),%xmm0
divss  %xmm1,%xmm0
call   1030 <log2@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xe43(%rip),%xmm0
cvttsd2si %xmm0,%edi
add    $0x18,%rsp
jmp    1040 <fa_mpeg_round@plt>
xor    %eax,%eax
add    $0x18,%rsp
ret

LLVM IR (-O0):
define i32 @fa_estimate_sf(float %0, i32 %1, float %2, float %3, float %4, float %5, float %6) {
%8 = alloca float
%9 = alloca i32
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = alloca float
%17 = alloca i32
%18 = alloca float
store float %0, float* %8
store i32 %1, i32* %9
store float %2, float* %10
store float %3, float* %11
store float %4, float* %12
store float %5, float* %13
store float %6, float* %14
%19 = load float, float* %12
%20 = load float, float* %13
%21 = load float, float* %11
%22 = load float, float* %11
%23 = fmul float %21, %22
%24 = load float, float* %14
%25 = fmul float %23, %24
%26 = load float, float* %14
%27 = fmul float %25, %26
%28 = fneg float %27
%29 = call float @llvm.fmuladd.f32(float %19, float %20, float %28)
store float %29, float* %16
%30 = load i32, i32* %9
%31 = sitofp i32 %30 to float
%32 = load float, float* %11
%33 = fmul float %31, %32
%34 = load float, float* %14
%35 = load float, float* %10
%36 = load i32, i32* %9
%37 = mul nsw i32 2, %36
%38 = sitofp i32 %37 to float
%39 = load float, float* %16
%40 = fmul float %38, %39
%41 = fptosi float %40 to i32
%42 = call float @sqrt(i32 %41)
%43 = fmul float %35, %42
%44 = call float @llvm.fmuladd.f32(float %33, float %34, float %43)
store float %44, float* %18
%45 = load float, float* %18
%46 = fcmp ogt float %45, 0.000000e+00
br i1 %46, label %47, label %57
47: ; preds = %7
%48 = load float, float* %8
%49 = load float, float* %18
%50 = fdiv float %48, %49
store float %50, float* %15
%51 = load float, float* %15
%52 = call i32 @log2(float %51)
%53 = sitofp i32 %52 to double
%54 = fmul double 0x4005555555555555, %53
%55 = fptosi double %54 to i32
%56 = call i32 @fa_mpeg_round(i32 %55)
store i32 %56, i32* %17
br label %58
57: ; preds = %7
store i32 0, i32* %17
br label %58
58: ; preds = %57, %47
%59 = load i32, i32* %17
ret i32 %59
}

LLVM IR (-O2):
define i32 @fa_estimate_sf(float %0, i32 %1, float %2, float %3, float %4, float %5, float %6) {
%8 = fneg float %3
%9 = fmul float %8, %3
%10 = fmul float %9, %6
%11 = fmul float %10, %6
%12 = tail call float @llvm.fmuladd.f32(float %4, float %5, float %11)
%13 = sitofp i32 %1 to float
%14 = fmul float %13, %3
%15 = shl nsw i32 %1, 1
%16 = sitofp i32 %15 to float
%17 = fmul float %12, %16
%18 = fptosi float %17 to i32
%19 = tail call float @sqrt(i32 %18)
%20 = fmul float %19, %2
%21 = tail call float @llvm.fmuladd.f32(float %14, float %6, float %20)
%22 = fcmp ogt float %21, 0.000000e+00
br i1 %22, label %23, label %30
23: ; preds = %7
%24 = fdiv float %0, %21
%25 = tail call i32 @log2(float %24)
%26 = sitofp i32 %25 to double
%27 = fmul double %26, 0x4005555555555555
%28 = fptosi double %27 to i32
%29 = tail call i32 @fa_mpeg_round(i32 %28)
br label %30
30: ; preds = %7, %23
%31 = phi i32 [ %29, %23 ], [ 0, %7 ]
ret i32 %31
}