void gather_array_long_max(long *restrict out, const long *restrict in,
                           unsigned int n) {
  for (; n; --n) {
    long q = *in++, *p = out++;
    if (q > *p)
      *p = q;
  }
}


x86 assembly (clang, -O0):
<gather_array_long_max>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1171 <gather_array_long_max+0x71>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x8(%rbp)
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
cmp    (%rcx),%rax
jle    115e <gather_array_long_max+0x5e>
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
jmp    1163 <gather_array_long_max+0x63>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    110f <gather_array_long_max+0xf>
pop    %rbp
ret

x86 assembly (clang, -O2):
<gather_array_long_max>:
test   %edx,%edx
je     112d <gather_array_long_max+0x2d>
test   $0x1,%dl
jne    1112 <gather_array_long_max+0x12>
mov    %edx,%eax
cmp    $0x1,%edx
je     112d <gather_array_long_max+0x2d>
jmp    112e <gather_array_long_max+0x2e>
mov    (%rsi),%rax
cmp    (%rdi),%rax
jle    111d <gather_array_long_max+0x1d>
mov    %rax,(%rdi)
add    $0x8,%rsi
add    $0x8,%rdi
lea    -0x1(%rdx),%eax
cmp    $0x1,%edx
jne    112e <gather_array_long_max+0x2e>
ret
mov    %eax,%eax
xor    %ecx,%ecx
jmp    1148 <gather_array_long_max+0x48>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x2,%rcx
cmp    %ecx,%eax
je     112d <gather_array_long_max+0x2d>
mov    (%rsi,%rcx,8),%rdx
cmp    (%rdi,%rcx,8),%rdx
jle    1156 <gather_array_long_max+0x56>
mov    %rdx,(%rdi,%rcx,8)
mov    0x8(%rsi,%rcx,8),%rdx
cmp    0x8(%rdi,%rcx,8),%rdx
jle    1140 <gather_array_long_max+0x40>
mov    %rdx,0x8(%rdi,%rcx,8)
jmp    1140 <gather_array_long_max+0x40>

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

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