#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;
typedef int /*<<< orphan*/ uint32_t;

/* Variables and functions */
void f_uint64_t_uint32_t(uint64_t *restrict dst1, uint64_t *restrict src1,
                         uint32_t *restrict dst2, uint32_t *restrict src2,
                         int n) {
  for (int i = 0; i < n; ++i) {
    dst1[i] += src1[i];
    dst2[i] = src2[i];
  }
}


x86 assembly (clang, -O0):
<f_uint64_t_uint32_t>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    116b <f_uint64_t_uint32_t+0x6b>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111f <f_uint64_t_uint32_t+0x1f>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f_uint64_t_uint32_t>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %r8d,%r8d
jle    1231 <f_uint64_t_uint32_t+0x121>
mov    %r8d,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %r8d,%ebp
lea    0x0(,%rbp,4),%rax
mov    %rdx,%rdi
mov    %rcx,%rsi
mov    %rax,%rdx
call   1030 <memcpy@plt>
cmp    $0x4,%r15d
jae    114f <f_uint64_t_uint32_t+0x3f>
xor    %eax,%eax
jmp    1220 <f_uint64_t_uint32_t+0x110>
mov    %ebp,%eax
and    $0xfffffffc,%eax
lea    -0x4(%rax),%rcx
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     123c <f_uint64_t_uint32_t+0x12c>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%r14,%rcx,8),%xmm0
movdqu 0x10(%r14,%rcx,8),%xmm1
movdqu (%rbx,%rcx,8),%xmm2
paddq  %xmm0,%xmm2
movdqu 0x10(%rbx,%rcx,8),%xmm0
paddq  %xmm1,%xmm0
movdqu 0x20(%rbx,%rcx,8),%xmm1
movdqu 0x30(%rbx,%rcx,8),%xmm3
movdqu %xmm2,(%rbx,%rcx,8)
movdqu %xmm0,0x10(%rbx,%rcx,8)
movdqu 0x20(%r14,%rcx,8),%xmm0
paddq  %xmm1,%xmm0
movdqu 0x30(%r14,%rcx,8),%xmm1
paddq  %xmm3,%xmm1
movdqu %xmm0,0x20(%rbx,%rcx,8)
movdqu %xmm1,0x30(%rbx,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rsi
jne    1180 <f_uint64_t_uint32_t+0x70>
test   $0x1,%dl
je     1213 <f_uint64_t_uint32_t+0x103>
movdqu (%r14,%rcx,8),%xmm0
movdqu 0x10(%r14,%rcx,8),%xmm1
movdqu (%rbx,%rcx,8),%xmm2
paddq  %xmm0,%xmm2
movdqu 0x10(%rbx,%rcx,8),%xmm0
paddq  %xmm1,%xmm0
movdqu %xmm2,(%rbx,%rcx,8)
movdqu %xmm0,0x10(%rbx,%rcx,8)
cmp    %rbp,%rax
je     1231 <f_uint64_t_uint32_t+0x121>
nopl   0x0(%rax,%rax,1)
mov    (%r14,%rax,8),%rcx
add    %rcx,(%rbx,%rax,8)
add    $0x1,%rax
cmp    %rax,%rbp
jne    1220 <f_uint64_t_uint32_t+0x110>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ecx,%ecx
test   $0x1,%dl
jne    11e8 <f_uint64_t_uint32_t+0xd8>
jmp    1213 <f_uint64_t_uint32_t+0x103>

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

LLVM IR (-O2):
define void @f_uint64_t_uint32_t(i64* noalias nocapture %0, i64* noalias nocapture %1, i32* noalias nocapture writeonly %2, i32* noalias nocapture %3, i32 %4) {
%6 = icmp sgt i32 %4, 0
br i1 %6, label %7, label %85
7: ; preds = %5
%8 = bitcast i32* %3 to i8*
%9 = bitcast i32* %2 to i8*
%10 = zext i32 %4 to i64
%11 = shl nuw nsw i64 %10, 2
%12 = icmp ult i32 %4, 4
br i1 %12, label %83, label %13
13: ; preds = %7
%14 = and i64 %10, 4294967292
%15 = add nsw i64 %14, -4
%16 = lshr exact i64 %15, 2
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %61, label %20
20: ; preds = %13
%21 = and i64 %17, 9223372036854775806
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %58, %22 ]
%24 = phi i64 [ 0, %20 ], [ %59, %22 ]
%25 = getelementptr inbounds i64, i64* %1, i64 %23
%26 = bitcast i64* %25 to <2 x i64>*
%27 = load <2 x i64>, <2 x i64>* %26
%28 = getelementptr inbounds i64, i64* %25, i64 2
%29 = bitcast i64* %28 to <2 x i64>*
%30 = load <2 x i64>, <2 x i64>* %29
%31 = getelementptr inbounds i64, i64* %0, i64 %23
%32 = bitcast i64* %31 to <2 x i64>*
%33 = load <2 x i64>, <2 x i64>* %32
%34 = getelementptr inbounds i64, i64* %31, i64 2
%35 = bitcast i64* %34 to <2 x i64>*
%36 = load <2 x i64>, <2 x i64>* %35
%37 = add nsw <2 x i64> %33, %27
%38 = add nsw <2 x i64> %36, %30
%39 = bitcast i64* %31 to <2 x i64>*
store <2 x i64> %37, <2 x i64>* %39
%40 = bitcast i64* %34 to <2 x i64>*
store <2 x i64> %38, <2 x i64>* %40
%41 = or i64 %23, 4
%42 = getelementptr inbounds i64, i64* %1, i64 %41
%43 = bitcast i64* %42 to <2 x i64>*
%44 = load <2 x i64>, <2 x i64>* %43
%45 = getelementptr inbounds i64, i64* %42, i64 2
%46 = bitcast i64* %45 to <2 x i64>*
%47 = load <2 x i64>, <2 x i64>* %46
%48 = getelementptr inbounds i64, i64* %0, i64 %41
%49 = bitcast i64* %48 to <2 x i64>*
%50 = load <2 x i64>, <2 x i64>* %49
%51 = getelementptr inbounds i64, i64* %48, i64 2
%52 = bitcast i64* %51 to <2 x i64>*
%53 = load <2 x i64>, <2 x i64>* %52
%54 = add nsw <2 x i64> %50, %44
%55 = add nsw <2 x i64> %53, %47
%56 = bitcast i64* %48 to <2 x i64>*
store <2 x i64> %54, <2 x i64>* %56
%57 = bitcast i64* %51 to <2 x i64>*
store <2 x i64> %55, <2 x i64>* %57
%58 = add nuw i64 %23, 8
%59 = add i64 %24, 2
%60 = icmp eq i64 %59, %21
br i1 %60, label %61, label %22
61: ; preds = %22, %13
%62 = phi i64 [ 0, %13 ], [ %58, %22 ]
%63 = icmp eq i64 %18, 0
br i1 %63, label %81, label %64
64: ; preds = %61
%65 = getelementptr inbounds i64, i64* %1, i64 %62
%66 = bitcast i64* %65 to <2 x i64>*
%67 = load <2 x i64>, <2 x i64>* %66
%68 = getelementptr inbounds i64, i64* %65, i64 2
%69 = bitcast i64* %68 to <2 x i64>*
%70 = load <2 x i64>, <2 x i64>* %69
%71 = getelementptr inbounds i64, i64* %0, i64 %62
%72 = bitcast i64* %71 to <2 x i64>*
%73 = load <2 x i64>, <2 x i64>* %72
%74 = getelementptr inbounds i64, i64* %71, i64 2
%75 = bitcast i64* %74 to <2 x i64>*
%76 = load <2 x i64>, <2 x i64>* %75
%77 = add nsw <2 x i64> %73, %67
%78 = add nsw <2 x i64> %76, %70
%79 = bitcast i64* %71 to <2 x i64>*
store <2 x i64> %77, <2 x i64>* %79
%80 = bitcast i64* %74 to <2 x i64>*
store <2 x i64> %78, <2 x i64>* %80
br label %81
81: ; preds = %61, %64
%82 = icmp eq i64 %14, %10
br i1 %82, label %85, label %83
83: ; preds = %7, %81
%84 = phi i64 [ 0, %7 ], [ %14, %81 ]
br label %86
85: ; preds = %86, %81, %5
ret void
86: ; preds = %83, %86
%87 = phi i64 [ %93, %86 ], [ %84, %83 ]
%88 = getelementptr inbounds i64, i64* %1, i64 %87
%89 = load i64, i64* %88
%90 = getelementptr inbounds i64, i64* %0, i64 %87
%91 = load i64, i64* %90
%92 = add nsw i64 %91, %89
store i64 %92, i64* %90
%93 = add nuw nsw i64 %87, 1
%94 = icmp eq i64 %93, %10
br i1 %94, label %85, label %86
}