#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 M_E;
void integral_recur(int nmin, int nmax, double vals[]) {
  vals[nmax] = 0.;
  for (int i = nmax - 1; i >= nmin; i--) {
    vals[i] = (1. / M_E + vals[i + 1]) / (i + 1);
  }
}


x86 assembly (clang, -O0):
<integral_recur>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x8(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x4(%rbp),%eax
jl     1185 <integral_recur+0x85>
mov    0x2ea6(%rip),%rax
cvtsi2sdl (%rax),%xmm1
movsd  0xeba(%rip),%xmm0
divsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    -0x14(%rbp),%eax
add    $0x1,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1127 <integral_recur+0x27>
pop    %rbp
ret

x86 assembly (clang, -O2):
<integral_recur>:
movslq %esi,%r8
movq   $0x0,(%rdx,%r8,8)
mov    %r8d,%esi
sub    %edi,%esi
jle    11a6 <integral_recur+0xa6>
mov    0x2ec3(%rip),%rax
cvtsi2sdl (%rax),%xmm1
movsd  0xed7(%rip),%xmm0
divsd  %xmm1,%xmm0
movslq %edi,%rax
mov    %rax,%rdi
not    %rdi
xorpd  %xmm1,%xmm1
mov    %r8,%rcx
test   $0x1,%sil
je     115f <integral_recur+0x5f>
lea    -0x1(%r8),%rcx
xorpd  %xmm1,%xmm1
addsd  %xmm0,%xmm1
cvtsi2sd %r8d,%xmm2
divsd  %xmm2,%xmm1
movsd  %xmm1,-0x8(%rdx,%r8,8)
add    %r8,%rdi
je     11a6 <integral_recur+0xa6>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
addsd  %xmm0,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %ecx,%xmm2
divsd  %xmm2,%xmm1
movsd  %xmm1,-0x8(%rdx,%rcx,8)
addsd  %xmm0,%xmm1
lea    -0x1(%rcx),%esi
xorps  %xmm2,%xmm2
cvtsi2sd %esi,%xmm2
divsd  %xmm2,%xmm1
movsd  %xmm1,-0x10(%rdx,%rcx,8)
add    $0xfffffffffffffffe,%rcx
cmp    %rax,%rcx
jg     1170 <integral_recur+0x70>
ret

LLVM IR (-O0):
@M_E = global i32 0
define void @integral_recur(i32 %0, i32 %1, double* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca double*
%7 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store double* %2, double** %6
%8 = load double*, double** %6
%9 = load i32, i32* %5
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds double, double* %8, i64 %10
store double 0.000000e+00, double* %11
%12 = load i32, i32* %5
%13 = sub nsw i32 %12, 1
store i32 %13, i32* %7
br label %14
14: ; preds = %37, %3
%15 = load i32, i32* %7
%16 = load i32, i32* %4
%17 = icmp sge i32 %15, %16
br i1 %17, label %18, label %40
18: ; preds = %14
%19 = load i32, i32* @M_E
%20 = sitofp i32 %19 to double
%21 = fdiv double 1.000000e+00, %20
%22 = load double*, double** %6
%23 = load i32, i32* %7
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds double, double* %22, i64 %25
%27 = load double, double* %26
%28 = fadd double %21, %27
%29 = load i32, i32* %7
%30 = add nsw i32 %29, 1
%31 = sitofp i32 %30 to double
%32 = fdiv double %28, %31
%33 = load double*, double** %6
%34 = load i32, i32* %7
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds double, double* %33, i64 %35
store double %32, double* %36
br label %37
37: ; preds = %18
%38 = load i32, i32* %7
%39 = add nsw i32 %38, -1
store i32 %39, i32* %7
br label %14
40: ; preds = %14
ret void
}

LLVM IR (-O2):
@M_E = global i32 0
define void @integral_recur(i32 %0, i32 %1, double* nocapture %2) {
%4 = sext i32 %1 to i64
%5 = getelementptr inbounds double, double* %2, i64 %4
store double 0.000000e+00, double* %5
%6 = icmp sgt i32 %1, %0
br i1 %6, label %7, label %27
7: ; preds = %3
%8 = load i32, i32* @M_E
%9 = sitofp i32 %8 to double
%10 = fdiv double 1.000000e+00, %9
%11 = sext i32 %0 to i64
%12 = sub nsw i64 %4, %11
%13 = xor i64 %11, -1
%14 = and i64 %12, 1
%15 = icmp eq i64 %14, 0
br i1 %15, label %22, label %16
16: ; preds = %7
%17 = add nsw i64 %4, -1
%18 = fadd double %10, 0.000000e+00
%19 = sitofp i32 %1 to double
%20 = fdiv double %18, %19
%21 = getelementptr inbounds double, double* %2, i64 %17
store double %20, double* %21
br label %22
22: ; preds = %16, %7
%23 = phi double [ 0.000000e+00, %7 ], [ %20, %16 ]
%24 = phi i64 [ %4, %7 ], [ %17, %16 ]
%25 = sub nsw i64 0, %4
%26 = icmp eq i64 %13, %25
br i1 %26, label %27, label %28
27: ; preds = %22, %28, %3
ret void
28: ; preds = %22, %28
%29 = phi double [ %41, %28 ], [ %23, %22 ]
%30 = phi i64 [ %37, %28 ], [ %24, %22 ]
%31 = add nsw i64 %30, -1
%32 = fadd double %29, %10
%33 = trunc i64 %30 to i32
%34 = sitofp i32 %33 to double
%35 = fdiv double %32, %34
%36 = getelementptr inbounds double, double* %2, i64 %31
store double %35, double* %36
%37 = add nsw i64 %30, -2
%38 = fadd double %35, %10
%39 = trunc i64 %31 to i32
%40 = sitofp i32 %39 to double
%41 = fdiv double %38, %40
%42 = getelementptr inbounds double, double* %2, i64 %37
store double %41, double* %42
%43 = icmp sgt i64 %37, %11
br i1 %43, label %28, label %27
}