#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 Gamma(double);
double exp(double);
double fabs(double);
double floor(double);
double log(double);
double besselpoly(double a, double lambda, double nu) {
  int m, factor = 0;
  double Sm, relerr, Sol;
  double sum = 0.0;
  if (a == 0.0) {
    if (nu == 0.0)
      return 1.0 / (lambda + 1);
    else
      return 0.0;
  }
  if ((nu < 0) && (floor(nu) == nu)) {
    nu = -nu;
    factor = ((int)nu) % 2;
  }
  Sm = exp(nu * log(a)) / (Gamma(nu + 1) * (lambda + nu + 1));
  m = 0;
  do {
    sum += Sm;
    Sol = Sm;
    Sm *= -a * a * (lambda + nu + 1 + 2 * m) /
          ((nu + m + 1) * (m + 1) * (lambda + nu + 1 + 2 * m + 2));
    m++;
    relerr = fabs((Sm - Sol) / Sm);
  } while (relerr > 1.0e-17 && m < 1000);
  if (!factor)
    return sum;
  else
    return -sum;
}


x86 assembly (clang, -O0):
<besselpoly>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11c6 <besselpoly+0x86>
jp     11c6 <besselpoly+0x86>
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11b9 <besselpoly+0x79>
jp     11b9 <besselpoly+0x79>
movsd  0xe62(%rip),%xmm1
addsd  -0x18(%rbp),%xmm1
movsd  0xe55(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f0 <besselpoly+0x2b0>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f0 <besselpoly+0x2b0>
xorps  %xmm0,%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    1220 <besselpoly+0xe0>
movsd  -0x20(%rbp),%xmm0
call   1060 <floor@plt>
ucomisd -0x20(%rbp),%xmm0
jne    1220 <besselpoly+0xe0>
jp     1220 <besselpoly+0xe0>
movsd  -0x20(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x20(%rbp)
cvttsd2si -0x20(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %edx,-0x28(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1050 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x58(%rbp),%xmm0
mulsd  %xmm1,%xmm0
call   1040 <exp@plt>
movsd  %xmm0,-0x50(%rbp)
movsd  0xdae(%rip),%xmm0
addsd  -0x20(%rbp),%xmm0
call   1030 <Gamma@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
addsd  -0x20(%rbp),%xmm2
movsd  0xd8a(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movl   $0x0,-0x24(%rbp)
movsd  -0x30(%rbp),%xmm0
addsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
addsd  -0x20(%rbp),%xmm1
movsd  0xd26(%rip),%xmm2
addsd  %xmm2,%xmm1
mov    -0x24(%rbp),%eax
shl    $0x1,%eax
cvtsi2sd %eax,%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  -0x20(%rbp),%xmm1
cvtsi2sdl -0x24(%rbp),%xmm2
addsd  %xmm2,%xmm1
movsd  0xcfa(%rip),%xmm2
addsd  %xmm2,%xmm1
mov    -0x24(%rbp),%eax
add    $0x1,%eax
cvtsi2sd %eax,%xmm2
mulsd  %xmm2,%xmm1
movsd  -0x18(%rbp),%xmm2
addsd  -0x20(%rbp),%xmm2
movsd  0xcd6(%rip),%xmm3
addsd  %xmm3,%xmm2
mov    -0x24(%rbp),%eax
shl    $0x1,%eax
cvtsi2sd %eax,%xmm3
addsd  %xmm3,%xmm2
movsd  0xcc4(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x40(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movaps 0xca7(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
xor    %eax,%eax
movsd  0xc7f(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x59(%rbp)
jbe    13ab <besselpoly+0x26b>
cmpl   $0x3e8,-0x24(%rbp)
setl   %al
mov    %al,-0x59(%rbp)
mov    -0x59(%rbp),%al
test   $0x1,%al
jne    128e <besselpoly+0x14e>
cmpl   $0x0,-0x28(%rbp)
jne    13cf <besselpoly+0x28f>
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f0 <besselpoly+0x2b0>
movsd  -0x48(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<besselpoly>:
push   %rbp
push   %rbx
sub    $0x48,%rsp
movapd %xmm0,%xmm3
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm3
jne    117b <besselpoly+0x3b>
jp     117b <besselpoly+0x3b>
ucomisd %xmm0,%xmm2
jne    12eb <besselpoly+0x1ab>
jp     12eb <besselpoly+0x1ab>
movsd  0xeb2(%rip),%xmm0
addsd  %xmm0,%xmm1
divsd  %xmm1,%xmm0
jmp    12eb <besselpoly+0x1ab>
movapd %xmm3,0x10(%rsp)
movsd  %xmm1,0x28(%rsp)
movapd %xmm2,%xmm0
movapd %xmm2,(%rsp)
call   1060 <floor@plt>
movapd (%rsp),%xmm1
xor    %ebx,%ebx
xorpd  %xmm2,%xmm2
ucomisd %xmm1,%xmm2
jbe    11cd <besselpoly+0x8d>
ucomisd %xmm1,%xmm0
jne    11cd <besselpoly+0x8d>
jp     11cd <besselpoly+0x8d>
xorpd  0xe4a(%rip),%xmm1
movapd %xmm1,(%rsp)
cvttsd2si %xmm1,%ebp
mov    %ebp,%eax
shr    $0x1f,%eax
add    %ebp,%eax
and    $0xfffffffe,%eax
sub    %eax,%ebp
jmp    11cf <besselpoly+0x8f>
xor    %ebp,%ebp
movapd 0x10(%rsp),%xmm0
call   1050 <log@plt>
mulsd  (%rsp),%xmm0
call   1040 <exp@plt>
movapd %xmm0,0x30(%rsp)
movapd (%rsp),%xmm0
addsd  0xe29(%rip),%xmm0
call   1030 <Gamma@plt>
movapd 0x30(%rsp),%xmm3
movsd  0xe15(%rip),%xmm11
movsd  0x28(%rsp),%xmm12
movapd (%rsp),%xmm2
addsd  %xmm2,%xmm12
addsd  %xmm11,%xmm12
mulsd  %xmm12,%xmm0
divsd  %xmm0,%xmm3
movapd 0xdce(%rip),%xmm1
movapd 0x10(%rsp),%xmm0
xorpd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
xorpd  %xmm0,%xmm0
movsd  0xddb(%rip),%xmm8
movapd 0xdba(%rip),%xmm9
movsd  0xdd1(%rip),%xmm10
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movapd %xmm3,%xmm4
xorps  %xmm5,%xmm5
cvtsi2sd %ebx,%xmm5
addsd  %xmm3,%xmm0
addsd  %xmm12,%xmm5
movapd %xmm1,%xmm3
xorps  %xmm6,%xmm6
cvtsi2sd %eax,%xmm6
mulsd  %xmm5,%xmm3
addsd  %xmm2,%xmm6
addsd  %xmm11,%xmm6
lea    0x1(%rax),%ecx
xorps  %xmm7,%xmm7
cvtsi2sd %ecx,%xmm7
mulsd  %xmm6,%xmm7
addsd  %xmm8,%xmm5
mulsd  %xmm7,%xmm5
divsd  %xmm5,%xmm3
mulsd  %xmm4,%xmm3
movapd %xmm3,%xmm5
subsd  %xmm4,%xmm5
divsd  %xmm3,%xmm5
andpd  %xmm9,%xmm5
ucomisd %xmm10,%xmm5
jbe    12df <besselpoly+0x19f>
add    $0x2,%ebx
cmp    $0x3e7,%eax
mov    %ecx,%eax
jb     1270 <besselpoly+0x130>
test   %ebp,%ebp
je     12eb <besselpoly+0x1ab>
xorpd  0xd15(%rip),%xmm0
add    $0x48,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define double @besselpoly(double %0, double %1, double %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
store i32 0, i32* %9
store double 0.000000e+00, double* %13
%14 = load double, double* %5
%15 = fcmp oeq double %14, 0.000000e+00
br i1 %15, label %16, label %24
16: ; preds = %3
%17 = load double, double* %7
%18 = fcmp oeq double %17, 0.000000e+00
br i1 %18, label %19, label %23
19: ; preds = %16
%20 = load double, double* %6
%21 = fadd double %20, 1.000000e+00
%22 = fdiv double 1.000000e+00, %21
store double %22, double* %4
br label %117
23: ; preds = %16
store double 0.000000e+00, double* %4
br label %117
24: ; preds = %3
%25 = load double, double* %7
%26 = fcmp olt double %25, 0.000000e+00
br i1 %26, label %27, label %38
27: ; preds = %24
%28 = load double, double* %7
%29 = call double @llvm.floor.f64(double %28)
%30 = load double, double* %7
%31 = fcmp oeq double %29, %30
br i1 %31, label %32, label %38
32: ; preds = %27
%33 = load double, double* %7
%34 = fneg double %33
store double %34, double* %7
%35 = load double, double* %7
%36 = fptosi double %35 to i32
%37 = srem i32 %36, 2
store i32 %37, i32* %9
br label %38
38: ; preds = %32, %27, %24
%39 = load double, double* %7
%40 = load double, double* %5
%41 = call double @log(double %40)
%42 = fmul double %39, %41
%43 = call double @exp(double %42)
%44 = load double, double* %7
%45 = fadd double %44, 1.000000e+00
%46 = call double @Gamma(double %45)
%47 = load double, double* %6
%48 = load double, double* %7
%49 = fadd double %47, %48
%50 = fadd double %49, 1.000000e+00
%51 = fmul double %46, %50
%52 = fdiv double %43, %51
store double %52, double* %10
store i32 0, i32* %8
br label %53
53: ; preds = %107, %38
%54 = load double, double* %10
%55 = load double, double* %13
%56 = fadd double %55, %54
store double %56, double* %13
%57 = load double, double* %10
store double %57, double* %12
%58 = load double, double* %5
%59 = fneg double %58
%60 = load double, double* %5
%61 = fmul double %59, %60
%62 = load double, double* %6
%63 = load double, double* %7
%64 = fadd double %62, %63
%65 = fadd double %64, 1.000000e+00
%66 = load i32, i32* %8
%67 = mul nsw i32 2, %66
%68 = sitofp i32 %67 to double
%69 = fadd double %65, %68
%70 = fmul double %61, %69
%71 = load double, double* %7
%72 = load i32, i32* %8
%73 = sitofp i32 %72 to double
%74 = fadd double %71, %73
%75 = fadd double %74, 1.000000e+00
%76 = load i32, i32* %8
%77 = add nsw i32 %76, 1
%78 = sitofp i32 %77 to double
%79 = fmul double %75, %78
%80 = load double, double* %6
%81 = load double, double* %7
%82 = fadd double %80, %81
%83 = fadd double %82, 1.000000e+00
%84 = load i32, i32* %8
%85 = mul nsw i32 2, %84
%86 = sitofp i32 %85 to double
%87 = fadd double %83, %86
%88 = fadd double %87, 2.000000e+00
%89 = fmul double %79, %88
%90 = fdiv double %70, %89
%91 = load double, double* %10
%92 = fmul double %91, %90
store double %92, double* %10
%93 = load i32, i32* %8
%94 = add nsw i32 %93, 1
store i32 %94, i32* %8
%95 = load double, double* %10
%96 = load double, double* %12
%97 = fsub double %95, %96
%98 = load double, double* %10
%99 = fdiv double %97, %98
%100 = call double @llvm.fabs.f64(double %99)
store double %100, double* %11
br label %101
101: ; preds = %53
%102 = load double, double* %11
%103 = fcmp ogt double %102, 1.000000e-17
br i1 %103, label %104, label %107
104: ; preds = %101
%105 = load i32, i32* %8
%106 = icmp slt i32 %105, 1000
br label %107
107: ; preds = %104, %101
%108 = phi i1 [ false, %101 ], [ %106, %104 ]
br i1 %108, label %53, label %109
109: ; preds = %107
%110 = load i32, i32* %9
%111 = icmp ne i32 %110, 0
br i1 %111, label %114, label %112
112: ; preds = %109
%113 = load double, double* %13
store double %113, double* %4
br label %117
114: ; preds = %109
%115 = load double, double* %13
%116 = fneg double %115
store double %116, double* %4
br label %117
117: ; preds = %114, %112, %23, %19
%118 = load double, double* %4
ret double %118
}

LLVM IR (-O2):
define double @besselpoly(double %0, double %1, double %2) {
%4 = fcmp oeq double %0, 0.000000e+00
br i1 %4, label %5, label %10
5: ; preds = %3
%6 = fcmp oeq double %2, 0.000000e+00
br i1 %6, label %7, label %62
7: ; preds = %5
%8 = fadd double %1, 1.000000e+00
%9 = fdiv double 1.000000e+00, %8
br label %62
10: ; preds = %3
%11 = fcmp olt double %2, 0.000000e+00
%12 = tail call double @llvm.floor.f64(double %2)
%13 = fcmp oeq double %12, %2
%14 = select i1 %11, i1 %13, i1 false
br i1 %14, label %15, label %19
15: ; preds = %10
%16 = fneg double %2
%17 = fptosi double %16 to i32
%18 = srem i32 %17, 2
br label %19
19: ; preds = %15, %10
%20 = phi i32 [ %18, %15 ], [ 0, %10 ]
%21 = phi double [ %16, %15 ], [ %2, %10 ]
%22 = tail call double @log(double %0)
%23 = fmul double %21, %22
%24 = tail call double @exp(double %23)
%25 = fadd double %21, 1.000000e+00
%26 = tail call double @Gamma(double %25)
%27 = fadd double %21, %1
%28 = fadd double %27, 1.000000e+00
%29 = fmul double %28, %26
%30 = fdiv double %24, %29
%31 = fneg double %0
%32 = fmul double %31, %0
br label %33
33: ; preds = %33, %19
%34 = phi i32 [ 0, %19 ], [ %45, %33 ]
%35 = phi double [ %30, %19 ], [ %51, %33 ]
%36 = phi double [ 0.000000e+00, %19 ], [ %37, %33 ]
%37 = fadd double %35, %36
%38 = shl nuw nsw i32 %34, 1
%39 = sitofp i32 %38 to double
%40 = fadd double %28, %39
%41 = fmul double %32, %40
%42 = sitofp i32 %34 to double
%43 = fadd double %21, %42
%44 = fadd double %43, 1.000000e+00
%45 = add nuw nsw i32 %34, 1
%46 = sitofp i32 %45 to double
%47 = fmul double %44, %46
%48 = fadd double %40, 2.000000e+00
%49 = fmul double %47, %48
%50 = fdiv double %41, %49
%51 = fmul double %35, %50
%52 = fsub double %51, %35
%53 = fdiv double %52, %51
%54 = tail call double @llvm.fabs.f64(double %53)
%55 = fcmp ogt double %54, 1.000000e-17
%56 = icmp ult i32 %34, 999
%57 = select i1 %55, i1 %56, i1 false
br i1 %57, label %33, label %58
58: ; preds = %33
%59 = icmp eq i32 %20, 0
%60 = fneg double %37
%61 = select i1 %59, double %37, double %60
br label %62
62: ; preds = %58, %5, %7
%63 = phi double [ %9, %7 ], [ 0.000000e+00, %5 ], [ %61, %58 ]
ret double %63
}