#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 */
float doubleFactorial(int);
float pow(float, int);
float sqrt(int);
float ALPStd(float x, int l, int m) {
  if (l == m)
    return (pow((float)(-1), m) * doubleFactorial(2 * m - 1) *
            pow(sqrt(1 - x * x), m));
  if (l == m + 1)
    return (x * (2 * m + 1) * ALPStd(x, m, m));
  return ((x * (2 * l - 1) * ALPStd(x, l - 1, m) -
           (l + m - 1) * ALPStd(x, l - 2, m)) /
          (l - m));
}


x86 assembly (clang, -O0):
<ALPStd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movss  %xmm0,-0x8(%rbp)
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    11e1 <ALPStd+0xa1>
mov    -0x10(%rbp),%edi
movss  0xe9a(%rip),%xmm0
call   1050 <pow@plt>
movss  %xmm0,-0x18(%rbp)
mov    -0x10(%rbp),%edi
shl    $0x1,%edi
sub    $0x1,%edi
call   1030 <doubleFactorial@plt>
movaps %xmm0,%xmm1
movss  -0x18(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm1,%xmm0
movss  0xe4a(%rip),%xmm1
addss  %xmm1,%xmm0
cvttss2si %xmm0,%edi
call   1060 <sqrt@plt>
mov    -0x10(%rbp),%edi
call   1050 <pow@plt>
movaps %xmm0,%xmm1
movss  -0x14(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    12c9 <ALPStd+0x189>
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    1233 <ALPStd+0xf3>
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%edi
mov    -0x10(%rbp),%esi
call   1040 <ALPStd@plt>
movaps %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    12c9 <ALPStd+0x189>
movss  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
sub    $0x1,%edi
mov    -0x10(%rbp),%esi
call   1040 <ALPStd@plt>
movss  %xmm0,-0x24(%rbp)
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x8(%rbp),%xmm0
mov    -0xc(%rbp),%edi
sub    $0x2,%edi
mov    -0x10(%rbp),%esi
call   1040 <ALPStd@plt>
movss  -0x28(%rbp),%xmm1
movss  -0x24(%rbp),%xmm2
movaps %xmm0,%xmm3
movss  -0x20(%rbp),%xmm0
mulss  %xmm3,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
cvtsi2ss %eax,%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ALPStd>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %edi,%ebx
mov    %edi,%ebp
sub    %esi,%ebp
jne    11a7 <ALPStd+0x67>
movss  %xmm0,0x4(%rsp)
movss  0xea2(%rip),%xmm0
mov    %ebx,%edi
call   1050 <pow@plt>
movss  %xmm0,(%rsp)
lea    (%rbx,%rbx,1),%edi
add    $0xffffffff,%edi
call   1030 <doubleFactorial@plt>
mulss  (%rsp),%xmm0
movss  %xmm0,(%rsp)
movss  0x4(%rsp),%xmm1
mulss  %xmm1,%xmm1
movss  0xe73(%rip),%xmm0
subss  %xmm1,%xmm0
cvttss2si %xmm0,%edi
call   1060 <sqrt@plt>
mov    %ebx,%edi
call   1050 <pow@plt>
jmp    11d1 <ALPStd+0x91>
mov    %esi,%r14d
lea    0x1(%r14),%eax
cmp    %ebx,%eax
jne    11d8 <ALPStd+0x98>
lea    (%r14,%r14,1),%eax
add    $0x1,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%rsp)
mov    %r14d,%edi
mov    %r14d,%esi
call   1040 <ALPStd@plt>
mulss  (%rsp),%xmm0
jmp    124c <ALPStd+0x10c>
lea    (%rbx,%rbx,1),%eax
add    $0xffffffff,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%rsp)
lea    -0x1(%rbx),%edi
movss  %xmm0,0x4(%rsp)
mov    %r14d,%esi
call   1040 <ALPStd@plt>
movss  %xmm0,0xc(%rsp)
lea    (%rbx,%r14,1),%eax
add    $0xffffffff,%eax
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x8(%rsp)
add    $0xfffffffe,%ebx
movss  0x4(%rsp),%xmm0
mov    %ebx,%edi
mov    %r14d,%esi
call   1040 <ALPStd@plt>
mulss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
mulss  (%rsp),%xmm1
subss  %xmm0,%xmm1
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
divss  %xmm0,%xmm1
movaps %xmm1,%xmm0
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define float @ALPStd(float %0, i32 %1, i32 %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca i32
%7 = alloca i32
store float %0, float* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%8 = load i32, i32* %6
%9 = load i32, i32* %7
%10 = icmp eq i32 %8, %9
br i1 %10, label %11, label %28
11: ; preds = %3
%12 = load i32, i32* %7
%13 = call float @pow(float -1.000000e+00, i32 %12)
%14 = load i32, i32* %7
%15 = mul nsw i32 2, %14
%16 = sub nsw i32 %15, 1
%17 = call float @doubleFactorial(i32 %16)
%18 = fmul float %13, %17
%19 = load float, float* %5
%20 = load float, float* %5
%21 = fneg float %19
%22 = call float @llvm.fmuladd.f32(float %21, float %20, float 1.000000e+00)
%23 = fptosi float %22 to i32
%24 = call float @sqrt(i32 %23)
%25 = load i32, i32* %7
%26 = call float @pow(float %24, i32 %25)
%27 = fmul float %18, %26
store float %27, float* %4
br label %75
28: ; preds = %3
%29 = load i32, i32* %6
%30 = load i32, i32* %7
%31 = add nsw i32 %30, 1
%32 = icmp eq i32 %29, %31
br i1 %32, label %33, label %45
33: ; preds = %28
%34 = load float, float* %5
%35 = load i32, i32* %7
%36 = mul nsw i32 2, %35
%37 = add nsw i32 %36, 1
%38 = sitofp i32 %37 to float
%39 = fmul float %34, %38
%40 = load float, float* %5
%41 = load i32, i32* %7
%42 = load i32, i32* %7
%43 = call float @ALPStd(float %40, i32 %41, i32 %42)
%44 = fmul float %39, %43
store float %44, float* %4
br label %75
45: ; preds = %28
%46 = load float, float* %5
%47 = load i32, i32* %6
%48 = mul nsw i32 2, %47
%49 = sub nsw i32 %48, 1
%50 = sitofp i32 %49 to float
%51 = fmul float %46, %50
%52 = load float, float* %5
%53 = load i32, i32* %6
%54 = sub nsw i32 %53, 1
%55 = load i32, i32* %7
%56 = call float @ALPStd(float %52, i32 %54, i32 %55)
%57 = load i32, i32* %6
%58 = load i32, i32* %7
%59 = add nsw i32 %57, %58
%60 = sub nsw i32 %59, 1
%61 = sitofp i32 %60 to float
%62 = load float, float* %5
%63 = load i32, i32* %6
%64 = sub nsw i32 %63, 2
%65 = load i32, i32* %7
%66 = call float @ALPStd(float %62, i32 %64, i32 %65)
%67 = fmul float %61, %66
%68 = fneg float %67
%69 = call float @llvm.fmuladd.f32(float %51, float %56, float %68)
%70 = load i32, i32* %6
%71 = load i32, i32* %7
%72 = sub nsw i32 %70, %71
%73 = sitofp i32 %72 to float
%74 = fdiv float %69, %73
store float %74, float* %4
br label %75
75: ; preds = %45, %33, %11
%76 = load float, float* %4
ret float %76
}

LLVM IR (-O2):
define float @ALPStd(float %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %1, %2
br i1 %4, label %5, label %17
5: ; preds = %3
%6 = tail call float @pow(float -1.000000e+00, i32 %1)
%7 = shl nsw i32 %1, 1
%8 = add nsw i32 %7, -1
%9 = tail call float @doubleFactorial(i32 %8)
%10 = fmul float %6, %9
%11 = fneg float %0
%12 = tail call float @llvm.fmuladd.f32(float %11, float %0, float 1.000000e+00)
%13 = fptosi float %12 to i32
%14 = tail call float @sqrt(i32 %13)
%15 = tail call float @pow(float %14, i32 %1)
%16 = fmul float %10, %15
br label %20
17: ; preds = %3
%18 = add nsw i32 %2, 1
%19 = icmp eq i32 %18, %1
br i1 %19, label %22, label %29
20: ; preds = %5, %29, %22
%21 = phi float [ %28, %22 ], [ %45, %29 ], [ %16, %5 ]
ret float %21
22: ; preds = %17
%23 = shl nsw i32 %2, 1
%24 = or i32 %23, 1
%25 = sitofp i32 %24 to float
%26 = fmul float %25, %0
%27 = tail call float @ALPStd(float %0, i32 %2, i32 %2)
%28 = fmul float %26, %27
br label %20
29: ; preds = %17
%30 = shl nsw i32 %1, 1
%31 = add nsw i32 %30, -1
%32 = sitofp i32 %31 to float
%33 = fmul float %32, %0
%34 = add i32 %1, -1
%35 = tail call float @ALPStd(float %0, i32 %34, i32 %2)
%36 = add i32 %34, %2
%37 = sitofp i32 %36 to float
%38 = add nsw i32 %1, -2
%39 = tail call float @ALPStd(float %0, i32 %38, i32 %2)
%40 = fneg float %39
%41 = fmul float %37, %40
%42 = tail call float @llvm.fmuladd.f32(float %33, float %35, float %41)
%43 = sub nsw i32 %1, %2
%44 = sitofp i32 %43 to float
%45 = fdiv float %42, %44
br label %20
}