#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 varith_uint64_t_reg(uint64_t *dst, uint64_t *src, int count) {
  for (int i = 0; i < count; ++i)
    dst[i] = dst[i] > src[i] ? dst[i] : src[i];
}


x86 assembly (clang, -O0):
<varith_uint64_t_reg>:
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    1183 <varith_uint64_t_reg+0x83>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jle    1155 <varith_uint64_t_reg+0x55>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x20(%rbp)
jmp    1165 <varith_uint64_t_reg+0x65>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <varith_uint64_t_reg+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<varith_uint64_t_reg>:
test   %edx,%edx
jle    116b <varith_uint64_t_reg+0x6b>
mov    %edx,%r8d
cmp    $0x1,%edx
jne    1110 <varith_uint64_t_reg+0x10>
xor    %ecx,%ecx
jmp    1152 <varith_uint64_t_reg+0x52>
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %ecx,%ecx
nopl   0x0(%rax)
mov    (%rsi,%rcx,8),%rax
mov    (%rdi,%rcx,8),%rdx
mov    0x8(%rdi,%rcx,8),%r10
cmp    %rax,%rdx
cmovg  %rdx,%rax
mov    %rax,(%rdi,%rcx,8)
mov    0x8(%rsi,%rcx,8),%rax
cmp    %rax,%r10
cmovg  %r10,%rax
mov    %rax,0x8(%rdi,%rcx,8)
add    $0x2,%rcx
cmp    %rcx,%r9
jne    1120 <varith_uint64_t_reg+0x20>
test   $0x1,%r8b
je     116b <varith_uint64_t_reg+0x6b>
mov    (%rdi,%rcx,8),%rax
mov    (%rsi,%rcx,8),%rdx
cmp    %rdx,%rax
cmovg  %rax,%rdx
mov    %rdx,(%rdi,%rcx,8)
ret

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

LLVM IR (-O2):
define void @varith_uint64_t_reg(i64* nocapture %0, i64* nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %21
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = and i64 %6, 1
%8 = icmp eq i32 %2, 1
br i1 %8, label %11, label %9
9: ; preds = %5
%10 = and i64 %6, 4294967294
br label %22
11: ; preds = %22, %5
%12 = phi i64 [ 0, %5 ], [ %38, %22 ]
%13 = icmp eq i64 %7, 0
br i1 %13, label %21, label %14
14: ; preds = %11
%15 = getelementptr inbounds i64, i64* %0, i64 %12
%16 = load i64, i64* %15
%17 = getelementptr inbounds i64, i64* %1, i64 %12
%18 = load i64, i64* %17
%19 = icmp sgt i64 %16, %18
%20 = select i1 %19, i64 %16, i64 %18
store i64 %20, i64* %15
br label %21
21: ; preds = %14, %11, %3
ret void
22: ; preds = %22, %9
%23 = phi i64 [ 0, %9 ], [ %38, %22 ]
%24 = phi i64 [ 0, %9 ], [ %39, %22 ]
%25 = getelementptr inbounds i64, i64* %0, i64 %23
%26 = load i64, i64* %25
%27 = getelementptr inbounds i64, i64* %1, i64 %23
%28 = load i64, i64* %27
%29 = icmp sgt i64 %26, %28
%30 = select i1 %29, i64 %26, i64 %28
store i64 %30, i64* %25
%31 = or i64 %23, 1
%32 = getelementptr inbounds i64, i64* %0, i64 %31
%33 = load i64, i64* %32
%34 = getelementptr inbounds i64, i64* %1, i64 %31
%35 = load i64, i64* %34
%36 = icmp sgt i64 %33, %35
%37 = select i1 %36, i64 %33, i64 %35
store i64 %37, i64* %32
%38 = add nuw nsw i64 %23, 2
%39 = add i64 %24, 2
%40 = icmp eq i64 %39, %10
br i1 %40, label %11, label %22
}