void vecadd(double *arr1, double *arr2, int l, int r) {
  int d = r - l;
  if (d <= 2000) {
    int i;
    for (i = l; i < r; i++)
      arr1[i] *= arr2[i];
  } else {
    int m = l + (d / 2);
    vecadd(arr1, arr2, l, m);
    vecadd(arr1, arr2, m, r);
  }
}


x86 assembly (clang, -O0):
<vecadd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x7d0,-0x1c(%rbp)
jg     1180 <vecadd+0x70>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    117b <vecadd+0x6b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1142 <vecadd+0x32>
jmp    11c1 <vecadd+0xb1>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <vecadd@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    -0x18(%rbp),%ecx
call   1030 <vecadd@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vecadd>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %ecx,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %ecx,%eax
sub    %edx,%eax
cmp    $0x7d1,%eax
jge    1130 <vecadd+0x20>
mov    %edx,%ebp
jmp    1151 <vecadd+0x41>
nop
shr    %eax
mov    %eax,%ebp
add    %edx,%ebp
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %ebp,%ecx
call   1030 <vecadd@plt>
mov    %r15d,%eax
sub    %ebp,%eax
mov    %ebp,%edx
cmp    $0x7d1,%eax
jge    1130 <vecadd+0x20>
cmp    %r15d,%ebp
jge    1302 <vecadd+0x1f2>
movslq %ebp,%rax
movslq %r15d,%rcx
mov    %rcx,%r10
sub    %rax,%r10
cmp    $0x4,%r10
jb     126f <vecadd+0x15f>
lea    (%rbx,%rax,8),%rdx
lea    (%r14,%rcx,8),%rsi
cmp    %rsi,%rdx
jae    118e <vecadd+0x7e>
lea    (%rbx,%rcx,8),%rdx
lea    (%r14,%rax,8),%rsi
cmp    %rdx,%rsi
jb     126f <vecadd+0x15f>
mov    %r10,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rdx,%rdx
je     130d <vecadd+0x1fd>
mov    %r9,%rbp
and    $0xfffffffffffffffe,%rbp
lea    (%rbx,%rax,8),%rsi
add    $0x30,%rsi
lea    (%r14,%rax,8),%rdx
add    $0x30,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movupd -0x30(%rdx,%rdi,8),%xmm0
movupd -0x20(%rdx,%rdi,8),%xmm1
movupd -0x30(%rsi,%rdi,8),%xmm2
mulpd  %xmm0,%xmm2
movupd -0x20(%rsi,%rdi,8),%xmm0
mulpd  %xmm1,%xmm0
movupd -0x10(%rsi,%rdi,8),%xmm1
movupd (%rsi,%rdi,8),%xmm3
movupd %xmm2,-0x30(%rsi,%rdi,8)
movupd %xmm0,-0x20(%rsi,%rdi,8)
movupd -0x10(%rdx,%rdi,8),%xmm0
mulpd  %xmm1,%xmm0
movupd (%rdx,%rdi,8),%xmm1
mulpd  %xmm3,%xmm1
movupd %xmm0,-0x10(%rsi,%rdi,8)
movupd %xmm1,(%rsi,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rbp
jne    11d0 <vecadd+0xc0>
test   $0x1,%r9b
je     1263 <vecadd+0x153>
add    %rax,%rdi
movupd (%r14,%rdi,8),%xmm0
movupd 0x10(%r14,%rdi,8),%xmm1
movupd (%rbx,%rdi,8),%xmm2
mulpd  %xmm0,%xmm2
movupd 0x10(%rbx,%rdi,8),%xmm0
mulpd  %xmm1,%xmm0
movupd %xmm2,(%rbx,%rdi,8)
movupd %xmm0,0x10(%rbx,%rdi,8)
cmp    %r8,%r10
je     1302 <vecadd+0x1f2>
add    %r8,%rax
sub    %eax,%r15d
mov    %rax,%rdx
not    %rdx
add    %rcx,%rdx
and    $0x3,%r15
je     12aa <vecadd+0x19a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsd  (%r14,%rax,8),%xmm0
mulsd  (%rbx,%rax,8),%xmm0
movsd  %xmm0,(%rbx,%rax,8)
add    $0x1,%rax
add    $0xffffffffffffffff,%r15
jne    1290 <vecadd+0x180>
cmp    $0x3,%rdx
jb     1302 <vecadd+0x1f2>
movsd  (%r14,%rax,8),%xmm0
mulsd  (%rbx,%rax,8),%xmm0
movsd  %xmm0,(%rbx,%rax,8)
movsd  0x8(%r14,%rax,8),%xmm0
mulsd  0x8(%rbx,%rax,8),%xmm0
movsd  %xmm0,0x8(%rbx,%rax,8)
movsd  0x10(%r14,%rax,8),%xmm0
mulsd  0x10(%rbx,%rax,8),%xmm0
movsd  %xmm0,0x10(%rbx,%rax,8)
movsd  0x18(%r14,%rax,8),%xmm0
mulsd  0x18(%rbx,%rax,8),%xmm0
movsd  %xmm0,0x18(%rbx,%rax,8)
add    $0x4,%rax
cmp    %rax,%rcx
jne    12b0 <vecadd+0x1a0>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    1235 <vecadd+0x125>
jmp    1263 <vecadd+0x153>

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

LLVM IR (-O2):
define void @vecadd(double* %0, double* %1, i32 %2, i32 %3) {
%5 = sub nsw i32 %3, %2
%6 = icmp slt i32 %5, 2001
br i1 %6, label %7, label %145
7: ; preds = %145, %4
%8 = phi i32 [ %2, %4 ], [ %149, %145 ]
%9 = icmp slt i32 %8, %3
br i1 %9, label %10, label %152
10: ; preds = %7
%11 = sext i32 %8 to i64
%12 = sext i32 %3 to i64
%13 = sub nsw i64 %12, %11
%14 = icmp ult i64 %13, 4
br i1 %14, label %97, label %15
15: ; preds = %10
%16 = getelementptr double, double* %0, i64 %11
%17 = getelementptr double, double* %0, i64 %12
%18 = getelementptr double, double* %1, i64 %11
%19 = getelementptr double, double* %1, i64 %12
%20 = icmp ult double* %16, %19
%21 = icmp ult double* %18, %17
%22 = and i1 %20, %21
br i1 %22, label %97, label %23
23: ; preds = %15
%24 = and i64 %13, -4
%25 = add nsw i64 %24, %11
%26 = add nsw i64 %24, -4
%27 = lshr exact i64 %26, 2
%28 = add nuw nsw i64 %27, 1
%29 = and i64 %28, 1
%30 = icmp eq i64 %26, 0
br i1 %30, label %74, label %31
31: ; preds = %23
%32 = and i64 %28, 9223372036854775806
br label %33
33: ; preds = %33, %31
%34 = phi i64 [ 0, %31 ], [ %71, %33 ]
%35 = phi i64 [ 0, %31 ], [ %72, %33 ]
%36 = add i64 %34, %11
%37 = getelementptr inbounds double, double* %1, i64 %36
%38 = bitcast double* %37 to <2 x double>*
%39 = load <2 x double>, <2 x double>* %38
%40 = getelementptr inbounds double, double* %37, i64 2
%41 = bitcast double* %40 to <2 x double>*
%42 = load <2 x double>, <2 x double>* %41
%43 = getelementptr inbounds double, double* %0, i64 %36
%44 = bitcast double* %43 to <2 x double>*
%45 = load <2 x double>, <2 x double>* %44
%46 = getelementptr inbounds double, double* %43, i64 2
%47 = bitcast double* %46 to <2 x double>*
%48 = load <2 x double>, <2 x double>* %47
%49 = fmul <2 x double> %39, %45
%50 = fmul <2 x double> %42, %48
%51 = bitcast double* %43 to <2 x double>*
store <2 x double> %49, <2 x double>* %51
%52 = bitcast double* %46 to <2 x double>*
store <2 x double> %50, <2 x double>* %52
%53 = or i64 %34, 4
%54 = add i64 %53, %11
%55 = getelementptr inbounds double, double* %1, i64 %54
%56 = bitcast double* %55 to <2 x double>*
%57 = load <2 x double>, <2 x double>* %56
%58 = getelementptr inbounds double, double* %55, i64 2
%59 = bitcast double* %58 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = getelementptr inbounds double, double* %0, i64 %54
%62 = bitcast double* %61 to <2 x double>*
%63 = load <2 x double>, <2 x double>* %62
%64 = getelementptr inbounds double, double* %61, i64 2
%65 = bitcast double* %64 to <2 x double>*
%66 = load <2 x double>, <2 x double>* %65
%67 = fmul <2 x double> %57, %63
%68 = fmul <2 x double> %60, %66
%69 = bitcast double* %61 to <2 x double>*
store <2 x double> %67, <2 x double>* %69
%70 = bitcast double* %64 to <2 x double>*
store <2 x double> %68, <2 x double>* %70
%71 = add nuw i64 %34, 8
%72 = add i64 %35, 2
%73 = icmp eq i64 %72, %32
br i1 %73, label %74, label %33
74: ; preds = %33, %23
%75 = phi i64 [ 0, %23 ], [ %71, %33 ]
%76 = icmp eq i64 %29, 0
br i1 %76, label %95, label %77
77: ; preds = %74
%78 = add i64 %75, %11
%79 = getelementptr inbounds double, double* %1, i64 %78
%80 = bitcast double* %79 to <2 x double>*
%81 = load <2 x double>, <2 x double>* %80
%82 = getelementptr inbounds double, double* %79, i64 2
%83 = bitcast double* %82 to <2 x double>*
%84 = load <2 x double>, <2 x double>* %83
%85 = getelementptr inbounds double, double* %0, i64 %78
%86 = bitcast double* %85 to <2 x double>*
%87 = load <2 x double>, <2 x double>* %86
%88 = getelementptr inbounds double, double* %85, i64 2
%89 = bitcast double* %88 to <2 x double>*
%90 = load <2 x double>, <2 x double>* %89
%91 = fmul <2 x double> %81, %87
%92 = fmul <2 x double> %84, %90
%93 = bitcast double* %85 to <2 x double>*
store <2 x double> %91, <2 x double>* %93
%94 = bitcast double* %88 to <2 x double>*
store <2 x double> %92, <2 x double>* %94
br label %95
95: ; preds = %74, %77
%96 = icmp eq i64 %13, %24
br i1 %96, label %152, label %97
97: ; preds = %15, %10, %95
%98 = phi i64 [ %11, %15 ], [ %11, %10 ], [ %25, %95 ]
%99 = sub nsw i64 %12, %98
%100 = xor i64 %98, -1
%101 = add nsw i64 %100, %12
%102 = and i64 %99, 3
%103 = icmp eq i64 %102, 0
br i1 %103, label %115, label %104
104: ; preds = %97, %104
%105 = phi i64 [ %112, %104 ], [ %98, %97 ]
%106 = phi i64 [ %113, %104 ], [ 0, %97 ]
%107 = getelementptr inbounds double, double* %1, i64 %105
%108 = load double, double* %107
%109 = getelementptr inbounds double, double* %0, i64 %105
%110 = load double, double* %109
%111 = fmul double %108, %110
store double %111, double* %109
%112 = add nsw i64 %105, 1
%113 = add i64 %106, 1
%114 = icmp eq i64 %113, %102
br i1 %114, label %115, label %104
115: ; preds = %104, %97
%116 = phi i64 [ %98, %97 ], [ %112, %104 ]
%117 = icmp ult i64 %101, 3
br i1 %117, label %152, label %118
118: ; preds = %115, %118
%119 = phi i64 [ %143, %118 ], [ %116, %115 ]
%120 = getelementptr inbounds double, double* %1, i64 %119
%121 = load double, double* %120
%122 = getelementptr inbounds double, double* %0, i64 %119
%123 = load double, double* %122
%124 = fmul double %121, %123
store double %124, double* %122
%125 = add nsw i64 %119, 1
%126 = getelementptr inbounds double, double* %1, i64 %125
%127 = load double, double* %126
%128 = getelementptr inbounds double, double* %0, i64 %125
%129 = load double, double* %128
%130 = fmul double %127, %129
store double %130, double* %128
%131 = add nsw i64 %119, 2
%132 = getelementptr inbounds double, double* %1, i64 %131
%133 = load double, double* %132
%134 = getelementptr inbounds double, double* %0, i64 %131
%135 = load double, double* %134
%136 = fmul double %133, %135
store double %136, double* %134
%137 = add nsw i64 %119, 3
%138 = getelementptr inbounds double, double* %1, i64 %137
%139 = load double, double* %138
%140 = getelementptr inbounds double, double* %0, i64 %137
%141 = load double, double* %140
%142 = fmul double %139, %141
store double %142, double* %140
%143 = add nsw i64 %119, 4
%144 = icmp eq i64 %143, %12
br i1 %144, label %152, label %118
145: ; preds = %4, %145
%146 = phi i32 [ %150, %145 ], [ %5, %4 ]
%147 = phi i32 [ %149, %145 ], [ %2, %4 ]
%148 = lshr i32 %146, 1
%149 = add nsw i32 %148, %147
tail call void @vecadd(double* %0, double* %1, i32 %147, i32 %149)
%150 = sub nsw i32 %3, %149
%151 = icmp slt i32 %150, 2001
br i1 %151, label %7, label %145
152: ; preds = %115, %118, %95, %7
ret void
}