void sum_a(const int *restrict input, int *restrict output, int len) {
  for (int i = 0; i < len; i++)
    output[i] = input[2 * i] + input[2 * i + 1];
}


x86 assembly (clang, -O0):
<sum_a>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    115e <sum_a+0x5e>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <sum_a+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum_a>:
test   %edx,%edx
jle    1193 <sum_a+0x93>
mov    %edx,%r8d
cmp    $0x8,%edx
jae    1114 <sum_a+0x14>
xor    %ecx,%ecx
jmp    1180 <sum_a+0x80>
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
lea    0x0(,%r8,4),%rdx
and    $0xffffffffffffffe0,%rdx
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movups (%rdi,%rax,2),%xmm0
movups 0x10(%rdi,%rax,2),%xmm1
movups 0x20(%rdi,%rax,2),%xmm2
movups 0x30(%rdi,%rax,2),%xmm3
movaps %xmm0,%xmm4
shufps $0x88,%xmm1,%xmm4
movaps %xmm2,%xmm5
shufps $0x88,%xmm3,%xmm5
shufps $0xdd,%xmm1,%xmm0
paddd  %xmm4,%xmm0
shufps $0xdd,%xmm3,%xmm2
paddd  %xmm5,%xmm2
movdqu %xmm0,(%rsi,%rax,1)
movdqu %xmm2,0x10(%rsi,%rax,1)
add    $0x20,%rax
cmp    %rax,%rdx
jne    1130 <sum_a+0x30>
cmp    %r8,%rcx
je     1193 <sum_a+0x93>
nopw   0x0(%rax,%rax,1)
mov    0x4(%rdi,%rcx,8),%eax
add    (%rdi,%rcx,8),%eax
mov    %eax,(%rsi,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%r8
jne    1180 <sum_a+0x80>
ret

LLVM IR (-O0):
define void @sum_a(i32* noalias %0, i32* noalias %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %31, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %6
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %34
12: ; preds = %8
%13 = load i32*, i32** %4
%14 = load i32, i32* %7
%15 = mul nsw i32 2, %14
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %13, i64 %16
%18 = load i32, i32* %17
%19 = load i32*, i32** %4
%20 = load i32, i32* %7
%21 = mul nsw i32 2, %20
%22 = add nsw i32 %21, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %19, i64 %23
%25 = load i32, i32* %24
%26 = add nsw i32 %18, %25
%27 = load i32*, i32** %5
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
store i32 %26, i32* %30
br label %31
31: ; preds = %12
%32 = load i32, i32* %7
%33 = add nsw i32 %32, 1
store i32 %33, i32* %7
br label %8
34: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @sum_a(i32* noalias nocapture %0, i32* noalias nocapture writeonly %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %37
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = icmp ult i32 %2, 8
br i1 %7, label %35, label %8
8: ; preds = %5
%9 = and i64 %6, 4294967288
br label %10
10: ; preds = %10, %8
%11 = phi i64 [ 0, %8 ], [ %31, %10 ]
%12 = shl nuw nsw i64 %11, 1
%13 = shl i64 %11, 1
%14 = or i64 %13, 8
%15 = getelementptr inbounds i32, i32* %0, i64 %12
%16 = getelementptr inbounds i32, i32* %0, i64 %14
%17 = bitcast i32* %15 to <8 x i32>*
%18 = bitcast i32* %16 to <8 x i32>*
%19 = load <8 x i32>, <8 x i32>* %17
%20 = load <8 x i32>, <8 x i32>* %18
%21 = shufflevector <8 x i32> %19, <8 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%22 = shufflevector <8 x i32> %20, <8 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%23 = shufflevector <8 x i32> %19, <8 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%24 = shufflevector <8 x i32> %20, <8 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%25 = add nsw <4 x i32> %23, %21
%26 = add nsw <4 x i32> %24, %22
%27 = getelementptr inbounds i32, i32* %1, i64 %11
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %25, <4 x i32>* %28
%29 = getelementptr inbounds i32, i32* %27, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = add nuw i64 %11, 8
%32 = icmp eq i64 %31, %9
br i1 %32, label %33, label %10
33: ; preds = %10
%34 = icmp eq i64 %9, %6
br i1 %34, label %37, label %35
35: ; preds = %5, %33
%36 = phi i64 [ 0, %5 ], [ %9, %33 ]
br label %38
37: ; preds = %38, %33, %3
ret void
38: ; preds = %35, %38
%39 = phi i64 [ %48, %38 ], [ %36, %35 ]
%40 = shl nuw nsw i64 %39, 1
%41 = getelementptr inbounds i32, i32* %0, i64 %40
%42 = load i32, i32* %41
%43 = or i64 %40, 1
%44 = getelementptr inbounds i32, i32* %0, i64 %43
%45 = load i32, i32* %44
%46 = add nsw i32 %45, %42
%47 = getelementptr inbounds i32, i32* %1, i64 %39
store i32 %46, i32* %47
%48 = add nuw nsw i64 %39, 1
%49 = icmp eq i64 %48, %6
br i1 %49, label %37, label %38
}