void populate(double *ll, int l, int r) {
  int d = r - l;
  if (d <= 2560) {
    int i;
    for (i = l; i < r; i++)
      ll[i] = (double)i;
  } else {
    populate(ll, l, l + (d / 2));
    populate(ll, l + (d / 2), r);
  }
}


x86 assembly (clang, -O0):
<populate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0xa00,-0x14(%rbp)
jg     116f <populate+0x5f>
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    116a <populate+0x5a>
cvtsi2sdl -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113e <populate+0x2e>
jmp    11ad <populate+0x9d>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    -0x1c(%rbp),%edx
add    %eax,%edx
call   1030 <populate@plt>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
add    %eax,%esi
mov    -0x10(%rbp),%edx
call   1030 <populate@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<populate>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%ebp
mov    %rdi,%r14
mov    %edx,%eax
sub    %esi,%eax
cmp    $0xa01,%eax
jge    1130 <populate+0x20>
mov    %esi,%ebx
jmp    114d <populate+0x3d>
nopl   0x0(%rax,%rax,1)
shr    %eax
mov    %eax,%ebx
add    %esi,%ebx
mov    %r14,%rdi
mov    %ebx,%edx
call   1030 <populate@plt>
mov    %ebp,%eax
sub    %ebx,%eax
mov    %ebx,%esi
cmp    $0xa01,%eax
jge    1130 <populate+0x20>
cmp    %ebp,%ebx
jge    1266 <populate+0x156>
movslq %ebx,%rax
movslq %ebp,%rcx
mov    %rcx,%rdx
sub    %rax,%rdx
cmp    $0x4,%rdx
jb     1250 <populate+0x140>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
movd   %ebx,%xmm0
pshufd $0x50,%xmm0,%xmm0
paddd  0xe7d(%rip),%xmm0
lea    -0x4(%r8),%rsi
mov    %rsi,%rbx
shr    $0x2,%rbx
add    $0x1,%rbx
test   %rsi,%rsi
je     126b <populate+0x15b>
mov    %rbx,%rdi
and    $0xfffffffffffffffe,%rdi
lea    (%r14,%rax,8),%rsi
add    $0x30,%rsi
xor    %ebp,%ebp
movdqa 0xe5c(%rip),%xmm1
movdqa 0xe64(%rip),%xmm2
movdqa 0xe6c(%rip),%xmm3
movdqa 0xe74(%rip),%xmm4
nopl   0x0(%rax)
movdqa %xmm0,%xmm5
cvtdq2pd %xmm0,%xmm6
paddd  %xmm1,%xmm5
cvtdq2pd %xmm5,%xmm5
movups %xmm6,-0x30(%rsi,%rbp,8)
movups %xmm5,-0x20(%rsi,%rbp,8)
movdqa %xmm0,%xmm5
paddd  %xmm2,%xmm5
movdqa %xmm0,%xmm6
cvtdq2pd %xmm5,%xmm5
paddd  %xmm3,%xmm6
cvtdq2pd %xmm6,%xmm6
movups %xmm5,-0x10(%rsi,%rbp,8)
movups %xmm6,(%rsi,%rbp,8)
add    $0x8,%rbp
paddd  %xmm4,%xmm0
add    $0xfffffffffffffffe,%rdi
jne    11d0 <populate+0xc0>
test   $0x1,%bl
je     123e <populate+0x12e>
add    %rax,%rbp
cvtdq2pd %xmm0,%xmm1
paddd  0xde3(%rip),%xmm0
cvtdq2pd %xmm0,%xmm0
movdqu %xmm1,(%r14,%rbp,8)
movdqu %xmm0,0x10(%r14,%rbp,8)
cmp    %r8,%rdx
je     1266 <populate+0x156>
add    %r8,%rax
cs nopw 0x0(%rax,%rax,1)
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,(%r14,%rax,8)
add    $0x1,%rax
cmp    %rax,%rcx
jne    1250 <populate+0x140>
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %ebp,%ebp
test   $0x1,%bl
jne    121e <populate+0x10e>
jmp    123e <populate+0x12e>

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

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