#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 */
typedef scalar_t__ uint64_t;

/* Variables and functions */
void __attribute__((no, noclone))
vec_slp_uint64_t(uint64_t *restrict a, uint64_t *restrict b, int n) {
  uint64_t x0 = b[0];
  uint64_t x1 = b[1];
  for (int i = 0; i < n; ++i) {
    x0 += a[i * 2];
    x1 += a[i * 2 + 1];
  }
  b[0] = x0;
  b[1] = x1;
}


x86 assembly (clang, -O0):
<vec_slp_uint64_t>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117c <vec_slp_uint64_t+0x7c>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    112d <vec_slp_uint64_t+0x2d>
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<vec_slp_uint64_t>:
movdqu (%rsi),%xmm0
test   %edx,%edx
jle    11e2 <vec_slp_uint64_t+0xe2>
mov    %edx,%eax
cmp    $0x4,%edx
jae    111b <vec_slp_uint64_t+0x1b>
xor    %r8d,%r8d
jmp    11b8 <vec_slp_uint64_t+0xb8>
mov    %eax,%r8d
and    $0xfffffffc,%r8d
movq   %xmm0,%xmm2
psrldq $0x8,%xmm0
mov    %rax,%rdx
shl    $0x4,%rdx
and    $0xffffffffffffffc0,%rdx
pxor   %xmm1,%xmm1
xor    %ecx,%ecx
movdqa %xmm0,%xmm3
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu (%rdi,%rcx,1),%xmm7
movdqu 0x10(%rdi,%rcx,1),%xmm5
movdqu 0x20(%rdi,%rcx,1),%xmm6
movdqu 0x30(%rdi,%rcx,1),%xmm8
movdqa %xmm7,%xmm4
punpcklqdq %xmm5,%xmm4
paddq  %xmm4,%xmm2
movdqa %xmm6,%xmm4
punpcklqdq %xmm8,%xmm4
paddq  %xmm4,%xmm0
punpckhqdq %xmm5,%xmm7
paddq  %xmm7,%xmm3
punpckhqdq %xmm8,%xmm6
paddq  %xmm6,%xmm1
add    $0x40,%rcx
cmp    %rcx,%rdx
jne    1150 <vec_slp_uint64_t+0x50>
paddq  %xmm2,%xmm0
paddq  %xmm3,%xmm1
movdqa %xmm0,%xmm2
punpckhqdq %xmm1,%xmm2
punpcklqdq %xmm1,%xmm0
paddq  %xmm2,%xmm0
cmp    %rax,%r8
je     11e2 <vec_slp_uint64_t+0xe2>
sub    %r8,%rax
shl    $0x4,%r8
add    %r8,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu (%rdi),%xmm1
paddq  %xmm1,%xmm0
add    $0x10,%rdi
add    $0xffffffffffffffff,%rax
jne    11d0 <vec_slp_uint64_t+0xd0>
movdqu %xmm0,(%rsi)
ret

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

LLVM IR (-O2):
define void @vec_slp_uint64_t(i64* noalias nocapture %0, i64* noalias nocapture %1, i32 %2) {
%4 = bitcast i64* %1 to <2 x i64>*
%5 = load <2 x i64>, <2 x i64>* %4
%6 = icmp sgt i32 %2, 0
br i1 %6, label %7, label %50
7: ; preds = %3
%8 = zext i32 %2 to i64
%9 = icmp ult i32 %2, 4
br i1 %9, label %47, label %10
10: ; preds = %7
%11 = and i64 %8, 4294967292
%12 = shufflevector <2 x i64> <i64 poison, i64 0>, <2 x i64> %5, <2 x i32> <i32 3, i32 1>
%13 = insertelement <2 x i64> %5, i64 0, i64 1
br label %14
14: ; preds = %14, %10
%15 = phi i64 [ 0, %10 ], [ %37, %14 ]
%16 = phi <2 x i64> [ %12, %10 ], [ %35, %14 ]
%17 = phi <2 x i64> [ zeroinitializer, %10 ], [ %36, %14 ]
%18 = phi <2 x i64> [ %13, %10 ], [ %33, %14 ]
%19 = phi <2 x i64> [ zeroinitializer, %10 ], [ %34, %14 ]
%20 = shl nuw nsw i64 %15, 1
%21 = shl i64 %15, 1
%22 = or i64 %21, 4
%23 = getelementptr inbounds i64, i64* %0, i64 %20
%24 = getelementptr inbounds i64, i64* %0, i64 %22
%25 = bitcast i64* %23 to <4 x i64>*
%26 = bitcast i64* %24 to <4 x i64>*
%27 = load <4 x i64>, <4 x i64>* %25
%28 = load <4 x i64>, <4 x i64>* %26
%29 = shufflevector <4 x i64> %27, <4 x i64> poison, <2 x i32> <i32 0, i32 2>
%30 = shufflevector <4 x i64> %28, <4 x i64> poison, <2 x i32> <i32 0, i32 2>
%31 = shufflevector <4 x i64> %27, <4 x i64> poison, <2 x i32> <i32 1, i32 3>
%32 = shufflevector <4 x i64> %28, <4 x i64> poison, <2 x i32> <i32 1, i32 3>
%33 = add <2 x i64> %29, %18
%34 = add <2 x i64> %30, %19
%35 = add <2 x i64> %31, %16
%36 = add <2 x i64> %32, %17
%37 = add nuw i64 %15, 4
%38 = icmp eq i64 %37, %11
br i1 %38, label %39, label %14
39: ; preds = %14
%40 = add <2 x i64> %34, %33
%41 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %40)
%42 = add <2 x i64> %36, %35
%43 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %42)
%44 = icmp eq i64 %11, %8
%45 = insertelement <2 x i64> poison, i64 %41, i64 0
%46 = insertelement <2 x i64> %45, i64 %43, i64 1
br i1 %44, label %50, label %47
47: ; preds = %7, %39
%48 = phi i64 [ 0, %7 ], [ %11, %39 ]
%49 = phi <2 x i64> [ %5, %7 ], [ %46, %39 ]
br label %53
50: ; preds = %53, %39, %3
%51 = phi <2 x i64> [ %5, %3 ], [ %46, %39 ], [ %60, %53 ]
%52 = bitcast i64* %1 to <2 x i64>*
store <2 x i64> %51, <2 x i64>* %52
ret void
53: ; preds = %47, %53
%54 = phi i64 [ %61, %53 ], [ %48, %47 ]
%55 = phi <2 x i64> [ %60, %53 ], [ %49, %47 ]
%56 = shl nuw nsw i64 %54, 1
%57 = getelementptr inbounds i64, i64* %0, i64 %56
%58 = bitcast i64* %57 to <2 x i64>*
%59 = load <2 x i64>, <2 x i64>* %58
%60 = add nsw <2 x i64> %59, %55
%61 = add nuw nsw i64 %54, 1
%62 = icmp eq i64 %61, %8
br i1 %62, label %50, label %53
}