#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 */
double exp(double);
double fabs(double);
double sqrt(double);
double bessi0(double x) {
  double ax, ans, a;
  double y;
  if ((ax = fabs(x)) < 3.75) {
    y = x / 3.75;
    y *= y;
    ans =
        1.0 +
        y * (3.5156229 +
             y * (3.0899424 +
                  y * (1.2067492 +
                       y * (0.2659732 + y * (0.360768e-1 + y * 0.45813e-2)))));
  } else {
    y = 3.75 / ax;
    ans = (exp(ax) / sqrt(ax));
    a = y * (0.916281e-2 +
             y * (-0.2057706e-1 +
                  y * (0.2635537e-1 + y * (-0.1647633e-1 + y * 0.392377e-2))));
    ans = ans * (0.39894228 + y * (0.1328592e-1 +
                                   y * (0.225319e-2 + y * (-0.157565e-2 + a))));
  }
  return ans;
}


x86 assembly (clang, -O0):
<bessi0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm1
movaps 0xf57(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  %xmm1,-0x10(%rbp)
movsd  0xeb6(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1209 <bessi0+0xe9>
movsd  -0x8(%rbp),%xmm0
movsd  0xe9f(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  -0x28(%rbp),%xmm4
movsd  -0x28(%rbp),%xmm5
movsd  0xed9(%rip),%xmm6
mulsd  %xmm6,%xmm5
movsd  0xed5(%rip),%xmm6
addsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm4
movsd  0xeb5(%rip),%xmm5
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
movsd  0xe9d(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xe85(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xe6d(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe55(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1309 <bessi0+0x1e9>
movsd  0xdef(%rip),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1030 <exp@plt>
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  -0x28(%rbp),%xmm4
movsd  0xdda(%rip),%xmm5
mulsd  %xmm5,%xmm4
movsd  0xdd6(%rip),%xmm5
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm3
movsd  0xdb6(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd9e(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xd86(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  0xd55(%rip),%xmm4
addsd  -0x20(%rbp),%xmm4
mulsd  %xmm4,%xmm3
movsd  0xd3c(%rip),%xmm4
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd24(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
movsd  0xd0c(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bessi0>:
sub    $0x18,%rsp
movapd 0xed4(%rip),%xmm2
andpd  %xmm0,%xmm2
movsd  0xed8(%rip),%xmm1
ucomisd %xmm2,%xmm1
jbe    11a3 <bessi0+0x83>
divsd  0xeca(%rip),%xmm0
mulsd  %xmm0,%xmm0
movsd  0xf0e(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xf0a(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xf06(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xf02(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xefe(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xefa(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xef6(%rip),%xmm1
movapd %xmm1,%xmm0
add    $0x18,%rsp
ret
divsd  %xmm2,%xmm1
movsd  %xmm1,0x10(%rsp)
movapd %xmm2,%xmm0
movapd %xmm2,(%rsp)
call   1030 <exp@plt>
movapd (%rsp),%xmm1
movapd %xmm0,%xmm3
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
jb     11d4 <bessi0+0xb4>
sqrtsd %xmm1,%xmm1
jmp    11eb <bessi0+0xcb>
movapd %xmm1,%xmm0
movsd  %xmm3,(%rsp)
call   1040 <sqrt@plt>
movsd  (%rsp),%xmm3
movapd %xmm0,%xmm1
movsd  0xe25(%rip),%xmm0
movsd  0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm0
addsd  0xe1b(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe17(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe13(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe0f(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe0b(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xe07(%rip),%xmm0
divsd  %xmm1,%xmm3
mulsd  %xmm2,%xmm0
addsd  0xdff(%rip),%xmm0
mulsd  %xmm2,%xmm0
addsd  0xdfb(%rip),%xmm0
mulsd  %xmm3,%xmm0
add    $0x18,%rsp
ret

LLVM IR (-O0):
define double @bessi0(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca double
store double %0, double* %2
%7 = load double, double* %2
%8 = call double @llvm.fabs.f64(double %7)
store double %8, double* %3
%9 = fcmp olt double %8, 3.750000e+00
br i1 %9, label %10, label %28
10: ; preds = %1
%11 = load double, double* %2
%12 = fdiv double %11, 3.750000e+00
store double %12, double* %6
%13 = load double, double* %6
%14 = load double, double* %6
%15 = fmul double %14, %13
store double %15, double* %6
%16 = load double, double* %6
%17 = load double, double* %6
%18 = load double, double* %6
%19 = load double, double* %6
%20 = load double, double* %6
%21 = load double, double* %6
%22 = call double @llvm.fmuladd.f64(double %21, double 4.581300e-03, double 3.607680e-02)
%23 = call double @llvm.fmuladd.f64(double %20, double %22, double 0x3FD105B474E732AA)
%24 = call double @llvm.fmuladd.f64(double %19, double %23, double 0x3FF34ED83FC7962C)
%25 = call double @llvm.fmuladd.f64(double %18, double %24, double 0x4008B833B89430A4)
%26 = call double @llvm.fmuladd.f64(double %17, double %25, double 0x400C1FFEE6248CA7)
%27 = call double @llvm.fmuladd.f64(double %16, double %26, double 1.000000e+00)
store double %27, double* %4
br label %56
28: ; preds = %1
%29 = load double, double* %3
%30 = fdiv double 3.750000e+00, %29
store double %30, double* %6
%31 = load double, double* %3
%32 = call double @exp(double %31)
%33 = load double, double* %3
%34 = call double @sqrt(double %33)
%35 = fdiv double %32, %34
store double %35, double* %4
%36 = load double, double* %6
%37 = load double, double* %6
%38 = load double, double* %6
%39 = load double, double* %6
%40 = load double, double* %6
%41 = call double @llvm.fmuladd.f64(double %40, double 3.923770e-03, double 0xBF90DF2BCA084C55)
%42 = call double @llvm.fmuladd.f64(double %39, double %41, double 0x3F9AFCE6F0E55AE3)
%43 = call double @llvm.fmuladd.f64(double %38, double %42, double 0xBF9512271EFDC716)
%44 = call double @llvm.fmuladd.f64(double %37, double %43, double 9.162810e-03)
%45 = fmul double %36, %44
store double %45, double* %5
%46 = load double, double* %4
%47 = load double, double* %6
%48 = load double, double* %6
%49 = load double, double* %6
%50 = load double, double* %5
%51 = fadd double -1.575650e-03, %50
%52 = call double @llvm.fmuladd.f64(double %49, double %51, double 2.253190e-03)
%53 = call double @llvm.fmuladd.f64(double %48, double %52, double 0x3F8B35A5FF2D9D1C)
%54 = call double @llvm.fmuladd.f64(double %47, double %53, double 0x3FD988453365DE00)
%55 = fmul double %46, %54
store double %55, double* %4
br label %56
56: ; preds = %28, %10
%57 = load double, double* %4
ret double %57
}

LLVM IR (-O2):
define double @bessi0(double %0) {
%2 = tail call double @llvm.fabs.f64(double %0)
%3 = fcmp olt double %2, 3.750000e+00
br i1 %3, label %4, label %13
4: ; preds = %1
%5 = fdiv double %0, 3.750000e+00
%6 = fmul double %5, %5
%7 = tail call double @llvm.fmuladd.f64(double %6, double 4.581300e-03, double 3.607680e-02)
%8 = tail call double @llvm.fmuladd.f64(double %6, double %7, double 0x3FD105B474E732AA)
%9 = tail call double @llvm.fmuladd.f64(double %6, double %8, double 0x3FF34ED83FC7962C)
%10 = tail call double @llvm.fmuladd.f64(double %6, double %9, double 0x4008B833B89430A4)
%11 = tail call double @llvm.fmuladd.f64(double %6, double %10, double 0x400C1FFEE6248CA7)
%12 = tail call double @llvm.fmuladd.f64(double %6, double %11, double 1.000000e+00)
br label %28
13: ; preds = %1
%14 = fdiv double 3.750000e+00, %2
%15 = tail call double @exp(double %2)
%16 = tail call double @sqrt(double %2)
%17 = fdiv double %15, %16
%18 = tail call double @llvm.fmuladd.f64(double %14, double 3.923770e-03, double 0xBF90DF2BCA084C55)
%19 = tail call double @llvm.fmuladd.f64(double %14, double %18, double 0x3F9AFCE6F0E55AE3)
%20 = tail call double @llvm.fmuladd.f64(double %14, double %19, double 0xBF9512271EFDC716)
%21 = tail call double @llvm.fmuladd.f64(double %14, double %20, double 9.162810e-03)
%22 = fmul double %14, %21
%23 = fadd double %22, -1.575650e-03
%24 = tail call double @llvm.fmuladd.f64(double %14, double %23, double 2.253190e-03)
%25 = tail call double @llvm.fmuladd.f64(double %14, double %24, double 0x3F8B35A5FF2D9D1C)
%26 = tail call double @llvm.fmuladd.f64(double %14, double %25, double 0x3FD988453365DE00)
%27 = fmul double %26, %17
br label %28
28: ; preds = %13, %4
%29 = phi double [ %12, %4 ], [ %27, %13 ]
ret double %29
}