int rec(int depth) {
  int i, zzz;
  int arr[(1048576 / sizeof(int))];
  if (depth == 0)
    return 0;
  for (i = 0; i < (1048576 / sizeof(int)); i++)
    arr[i] = i * depth;
  zzz = rec(depth - 1);
  for (i = 0; i < (1048576 / sizeof(int)); i++)
    zzz += arr[i];
  return zzz;
}


x86 assembly (clang, -O0):
<rec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100010,%rsp
mov    %edi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1134 <rec+0x24>
movl   $0x0,-0x4(%rbp)
jmp    11b5 <rec+0xa5>
movl   $0x0,-0xc(%rbp)
movslq -0xc(%rbp),%rax
cmp    $0x40000,%rax
jae    116b <rec+0x5b>
mov    -0xc(%rbp),%ecx
imul   -0x8(%rbp),%ecx
movslq -0xc(%rbp),%rax
mov    %ecx,-0x100010(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113b <rec+0x2b>
mov    -0x8(%rbp),%edi
sub    $0x1,%edi
call   1030 <rec@plt>
mov    %eax,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
movslq -0xc(%rbp),%rax
cmp    $0x40000,%rax
jae    11af <rec+0x9f>
movslq -0xc(%rbp),%rax
mov    -0x100010(%rbp,%rax,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1180 <rec+0x70>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x100010,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rec>:
test   %edi,%edi
je     128d <rec+0x17d>
sub    $0x100008,%rsp
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa 0xed0(%rip),%xmm2
xor    %eax,%eax
movdqa 0xed5(%rip),%xmm8
pshufd $0xf5,%xmm0,%xmm3
movdqa 0xed7(%rip),%xmm9
movdqa 0xedf(%rip),%xmm5
movdqa 0xee7(%rip),%xmm6
nopl   0x0(%rax)
movdqa %xmm2,%xmm7
paddd  %xmm8,%xmm7
movdqa %xmm2,%xmm1
pmuludq %xmm0,%xmm1
pshufd $0xe8,%xmm1,%xmm1
pshufd $0xf5,%xmm2,%xmm4
pmuludq %xmm3,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm1
pshufd $0xf5,%xmm7,%xmm4
pmuludq %xmm0,%xmm7
pshufd $0xe8,%xmm7,%xmm7
pmuludq %xmm3,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm7
movdqa %xmm1,(%rsp,%rax,4)
movdqa %xmm7,0x10(%rsp,%rax,4)
movdqa %xmm2,%xmm1
paddd  %xmm9,%xmm1
movdqa %xmm2,%xmm4
paddd  %xmm5,%xmm4
pshufd $0xf5,%xmm1,%xmm7
pmuludq %xmm0,%xmm1
pshufd $0xe8,%xmm1,%xmm1
pmuludq %xmm3,%xmm7
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm1
pshufd $0xf5,%xmm4,%xmm7
pmuludq %xmm0,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pmuludq %xmm3,%xmm7
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm4
movdqa %xmm1,0x20(%rsp,%rax,4)
movdqa %xmm4,0x30(%rsp,%rax,4)
add    $0x10,%rax
paddd  %xmm6,%xmm2
cmp    $0x40000,%rax
jne    1160 <rec+0x50>
add    $0xffffffff,%edi
call   1030 <rec@plt>
movd   %eax,%xmm1
pxor   %xmm0,%xmm0
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
paddd  (%rsp,%rax,4),%xmm1
paddd  0x10(%rsp,%rax,4),%xmm0
paddd  0x20(%rsp,%rax,4),%xmm1
paddd  0x30(%rsp,%rax,4),%xmm0
paddd  0x40(%rsp,%rax,4),%xmm1
paddd  0x50(%rsp,%rax,4),%xmm0
paddd  0x60(%rsp,%rax,4),%xmm1
paddd  0x70(%rsp,%rax,4),%xmm0
add    $0x20,%rax
cmp    $0x40000,%rax
jne    1230 <rec+0x120>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
add    $0x100008,%rsp
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @rec(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [262144 x i32]
store i32 %0, i32* %3
%7 = load i32, i32* %3
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %10
9: ; preds = %1
store i32 0, i32* %2
br label %45
10: ; preds = %1
store i32 0, i32* %4
br label %11
11: ; preds = %22, %10
%12 = load i32, i32* %4
%13 = sext i32 %12 to i64
%14 = icmp ult i64 %13, 262144
br i1 %14, label %15, label %25
15: ; preds = %11
%16 = load i32, i32* %4
%17 = load i32, i32* %3
%18 = mul nsw i32 %16, %17
%19 = load i32, i32* %4
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [262144 x i32], [262144 x i32]* %6, i64 0, i64 %20
store i32 %18, i32* %21
br label %22
22: ; preds = %15
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
store i32 %24, i32* %4
br label %11
25: ; preds = %11
%26 = load i32, i32* %3
%27 = sub nsw i32 %26, 1
%28 = call i32 @rec(i32 %27)
store i32 %28, i32* %5
store i32 0, i32* %4
br label %29
29: ; preds = %40, %25
%30 = load i32, i32* %4
%31 = sext i32 %30 to i64
%32 = icmp ult i64 %31, 262144
br i1 %32, label %33, label %43
33: ; preds = %29
%34 = load i32, i32* %4
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [262144 x i32], [262144 x i32]* %6, i64 0, i64 %35
%37 = load i32, i32* %36
%38 = load i32, i32* %5
%39 = add nsw i32 %38, %37
store i32 %39, i32* %5
br label %40
40: ; preds = %33
%41 = load i32, i32* %4
%42 = add nsw i32 %41, 1
store i32 %42, i32* %4
br label %29
43: ; preds = %29
%44 = load i32, i32* %5
store i32 %44, i32* %2
br label %45
45: ; preds = %43, %9
%46 = load i32, i32* %2
ret i32 %46
}

LLVM IR (-O2):
define i32 @rec(i32 %0) {
%2 = alloca [262144 x i32]
%3 = bitcast [262144 x i32]* %2 to i8*
%4 = icmp eq i32 %0, 0
br i1 %4, label %80, label %5
5: ; preds = %1
%6 = insertelement <4 x i32> poison, i32 %0, i64 0
%7 = shufflevector <4 x i32> %6, <4 x i32> poison, <4 x i32> zeroinitializer
%8 = insertelement <4 x i32> poison, i32 %0, i64 0
%9 = shufflevector <4 x i32> %8, <4 x i32> poison, <4 x i32> zeroinitializer
br label %10
10: ; preds = %10, %5
%11 = phi i64 [ 0, %5 ], [ %29, %10 ]
%12 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %5 ], [ %30, %10 ]
%13 = add <4 x i32> %12, <i32 4, i32 4, i32 4, i32 4>
%14 = mul nsw <4 x i32> %12, %7
%15 = mul nsw <4 x i32> %13, %9
%16 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %11
%17 = bitcast i32* %16 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %17
%18 = getelementptr inbounds i32, i32* %16, i64 4
%19 = bitcast i32* %18 to <4 x i32>*
store <4 x i32> %15, <4 x i32>* %19
%20 = or i64 %11, 8
%21 = add <4 x i32> %12, <i32 8, i32 8, i32 8, i32 8>
%22 = add <4 x i32> %12, <i32 12, i32 12, i32 12, i32 12>
%23 = mul nsw <4 x i32> %21, %7
%24 = mul nsw <4 x i32> %22, %9
%25 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %20
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %26
%27 = getelementptr inbounds i32, i32* %25, i64 4
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %24, <4 x i32>* %28
%29 = add nuw nsw i64 %11, 16
%30 = add <4 x i32> %12, <i32 16, i32 16, i32 16, i32 16>
%31 = icmp eq i64 %29, 262144
br i1 %31, label %32, label %10
32: ; preds = %10
%33 = add nsw i32 %0, -1
%34 = tail call i32 @rec(i32 %33)
%35 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %34, i64 0
br label %36
36: ; preds = %36, %32
%37 = phi i64 [ 0, %32 ], [ %75, %36 ]
%38 = phi <4 x i32> [ %35, %32 ], [ %73, %36 ]
%39 = phi <4 x i32> [ zeroinitializer, %32 ], [ %74, %36 ]
%40 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %37
%41 = bitcast i32* %40 to <4 x i32>*
%42 = load <4 x i32>, <4 x i32>* %41
%43 = getelementptr inbounds i32, i32* %40, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = add <4 x i32> %42, %38
%47 = add <4 x i32> %45, %39
%48 = or i64 %37, 8
%49 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %48
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = getelementptr inbounds i32, i32* %49, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
%54 = load <4 x i32>, <4 x i32>* %53
%55 = add <4 x i32> %51, %46
%56 = add <4 x i32> %54, %47
%57 = or i64 %37, 16
%58 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %57
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = add <4 x i32> %60, %55
%65 = add <4 x i32> %63, %56
%66 = or i64 %37, 24
%67 = getelementptr inbounds [262144 x i32], [262144 x i32]* %2, i64 0, i64 %66
%68 = bitcast i32* %67 to <4 x i32>*
%69 = load <4 x i32>, <4 x i32>* %68
%70 = getelementptr inbounds i32, i32* %67, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = add <4 x i32> %69, %64
%74 = add <4 x i32> %72, %65
%75 = add nuw nsw i64 %37, 32
%76 = icmp eq i64 %75, 262144
br i1 %76, label %77, label %36
77: ; preds = %36
%78 = add <4 x i32> %74, %73
%79 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %78)
br label %80
80: ; preds = %77, %1
%81 = phi i32 [ 0, %1 ], [ %79, %77 ]
ret i32 %81
}