#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 Y, P1, P2, P3, P4, P5, P6, P7, Q1, Q2, Q3, Q4, Q5, Q6, Q7, Q8, Q9, AX,
      BX;
  P1 = 1.0;
  P2 = 3.5156229;
  P3 = 3.0899424;
  P4 = 1.2067429;
  P5 = 0.2659732;
  P6 = 0.360768e-1;
  P7 = 0.45813e-2;
  Q1 = 0.39894228;
  Q2 = 0.1328592e-1;
  Q3 = 0.225319e-2;
  Q4 = -0.157565e-2;
  Q5 = 0.916281e-2;
  Q6 = -0.2057706e-1;
  Q7 = 0.2635537e-1;
  Q8 = -0.1647633e-1;
  Q9 = 0.392377e-2;
  if (fabs(X) < 3.75) {
    Y = (X / 3.75) * (X / 3.75);
    return (P1 + Y * (P2 + Y * (P3 + Y * (P4 + Y * (P5 + Y * (P6 + Y * P7))))));
  } else {
    AX = fabs(X);
    Y = 3.75 / AX;
    BX = exp(AX) / sqrt(AX);
    AX = Q1 +
         Y * (Q2 +
              Y * (Q3 +
                   Y * (Q4 +
                        Y * (Q5 + Y * (Q6 + Y * (Q7 + Y * (Q8 + Y * Q9)))))));
    return (AX * BX);
  }
}


x86 assembly (clang, -O0):
<BESSI0>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  0xf48(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  0xf33(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xf1e(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xf09(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xef4(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xedf(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0xeca(%rip),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xeb5(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xea0(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  0xe8b(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xe76(%rip),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xe61(%rip),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  0xe4c(%rip),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xe37(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xe1f(%rip),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  0xe07(%rip),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x10(%rbp),%xmm1
movaps 0xe7b(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xddf(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    12db <BESSI0+0x1bb>
movsd  -0x10(%rbp),%xmm0
movsd  0xdc8(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xdb7(%rip),%xmm2
divsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x20(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm5
movsd  -0x18(%rbp),%xmm4
movsd  -0x38(%rbp),%xmm7
movsd  -0x18(%rbp),%xmm6
movsd  -0x40(%rbp),%xmm9
movsd  -0x18(%rbp),%xmm8
movsd  -0x48(%rbp),%xmm11
movsd  -0x18(%rbp),%xmm10
movsd  -0x50(%rbp),%xmm12
mulsd  %xmm12,%xmm10
addsd  %xmm11,%xmm10
mulsd  %xmm10,%xmm8
addsd  %xmm9,%xmm8
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    141d <BESSI0+0x2fd>
movsd  -0x10(%rbp),%xmm0
movaps 0xda9(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  0xd05(%rip),%xmm0
divsd  -0xa0(%rbp),%xmm0
ff
movsd  %xmm0,-0x18(%rbp)
movsd  -0xa0(%rbp),%xmm0
ff
call   1030 <exp@plt>
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0x58(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x60(%rbp),%xmm3
movsd  -0x18(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm5
movsd  -0x18(%rbp),%xmm4
movsd  -0x70(%rbp),%xmm7
movsd  -0x18(%rbp),%xmm6
movsd  -0x78(%rbp),%xmm9
movsd  -0x18(%rbp),%xmm8
movsd  -0x80(%rbp),%xmm11
movsd  -0x18(%rbp),%xmm10
movsd  -0x88(%rbp),%xmm13
ff ff
movsd  -0x18(%rbp),%xmm12
movsd  -0x90(%rbp),%xmm15
ff ff
movsd  -0x18(%rbp),%xmm14
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm0,%xmm14
movsd  -0xb0(%rbp),%xmm0
ff
addsd  %xmm15,%xmm14
mulsd  %xmm14,%xmm12
addsd  %xmm13,%xmm12
mulsd  %xmm12,%xmm10
addsd  %xmm11,%xmm10
mulsd  %xmm10,%xmm8
addsd  %xmm9,%xmm8
mulsd  %xmm8,%xmm6
addsd  %xmm7,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xc0,%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
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca double
%22 = alloca double
store double %0, double* %3
store double 1.000000e+00, double* %5
store double 0x400C1FFEE6248CA7, double* %6
store double 0x4008B833B89430A4, double* %7
store double 0x3FF34ED1A4A2E218, double* %8
store double 0x3FD105B474E732AA, double* %9
store double 3.607680e-02, double* %10
store double 4.581300e-03, double* %11
store double 0x3FD988453365DE00, double* %12
store double 0x3F8B35A5FF2D9D1C, double* %13
store double 2.253190e-03, double* %14
store double -1.575650e-03, double* %15
store double 9.162810e-03, double* %16
store double 0xBF9512271EFDC716, double* %17
store double 0x3F9AFCE6F0E55AE3, double* %18
store double 0xBF90DF2BCA084C55, double* %19
store double 3.923770e-03, double* %20
%23 = load double, double* %3
%24 = call double @llvm.fabs.f64(double %23)
%25 = fcmp olt double %24, 3.750000e+00
br i1 %25, label %26, label %51
26: ; preds = %1
%27 = load double, double* %3
%28 = fdiv double %27, 3.750000e+00
%29 = load double, double* %3
%30 = fdiv double %29, 3.750000e+00
%31 = fmul double %28, %30
store double %31, double* %4
%32 = load double, double* %5
%33 = load double, double* %4
%34 = load double, double* %6
%35 = load double, double* %4
%36 = load double, double* %7
%37 = load double, double* %4
%38 = load double, double* %8
%39 = load double, double* %4
%40 = load double, double* %9
%41 = load double, double* %4
%42 = load double, double* %10
%43 = load double, double* %4
%44 = load double, double* %11
%45 = call double @llvm.fmuladd.f64(double %43, double %44, double %42)
%46 = call double @llvm.fmuladd.f64(double %41, double %45, double %40)
%47 = call double @llvm.fmuladd.f64(double %39, double %46, double %38)
%48 = call double @llvm.fmuladd.f64(double %37, double %47, double %36)
%49 = call double @llvm.fmuladd.f64(double %35, double %48, double %34)
%50 = call double @llvm.fmuladd.f64(double %33, double %49, double %32)
store double %50, double* %2
br label %89
51: ; preds = %1
%52 = load double, double* %3
%53 = call double @llvm.fabs.f64(double %52)
store double %53, double* %21
%54 = load double, double* %21
%55 = fdiv double 3.750000e+00, %54
store double %55, double* %4
%56 = load double, double* %21
%57 = call double @exp(double %56)
%58 = load double, double* %21
%59 = call double @sqrt(double %58)
%60 = fdiv double %57, %59
store double %60, double* %22
%61 = load double, double* %12
%62 = load double, double* %4
%63 = load double, double* %13
%64 = load double, double* %4
%65 = load double, double* %14
%66 = load double, double* %4
%67 = load double, double* %15
%68 = load double, double* %4
%69 = load double, double* %16
%70 = load double, double* %4
%71 = load double, double* %17
%72 = load double, double* %4
%73 = load double, double* %18
%74 = load double, double* %4
%75 = load double, double* %19
%76 = load double, double* %4
%77 = load double, double* %20
%78 = call double @llvm.fmuladd.f64(double %76, double %77, double %75)
%79 = call double @llvm.fmuladd.f64(double %74, double %78, double %73)
%80 = call double @llvm.fmuladd.f64(double %72, double %79, double %71)
%81 = call double @llvm.fmuladd.f64(double %70, double %80, double %69)
%82 = call double @llvm.fmuladd.f64(double %68, double %81, double %67)
%83 = call double @llvm.fmuladd.f64(double %66, double %82, double %65)
%84 = call double @llvm.fmuladd.f64(double %64, double %83, double %63)
%85 = call double @llvm.fmuladd.f64(double %62, double %84, double %61)
store double %85, double* %21
%86 = load double, double* %21
%87 = load double, double* %22
%88 = fmul double %86, %87
store double %88, double* %2
br label %89
89: ; preds = %51, %26
%90 = load double, double* %2
ret double %90
}

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 0x3FF34ED1A4A2E218)
%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 %27
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 = tail call double @llvm.fmuladd.f64(double %14, double %21, double -1.575650e-03)
%23 = tail call double @llvm.fmuladd.f64(double %14, double %22, double 2.253190e-03)
%24 = tail call double @llvm.fmuladd.f64(double %14, double %23, double 0x3F8B35A5FF2D9D1C)
%25 = tail call double @llvm.fmuladd.f64(double %14, double %24, double 0x3FD988453365DE00)
%26 = fmul double %25, %17
br label %27
27: ; preds = %13, %4
%28 = phi double [ %12, %4 ], [ %26, %13 ]
ret double %28
}