#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 size_t uint32_t;

/* Variables and functions */
uint32_t max(uint32_t *A, uint32_t len) {
  uint32_t result = 0;
  for (uint32_t i = 0; i < len; i++) {
    if (A[i] > result) {
      result = A[i];
    }
  }
  return result;
}


x86 assembly (clang, -O0):
<max>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1166 <max+0x66>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x18(%rbp),%rax
jbe    1150 <max+0x50>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x18(%rbp)
jmp    1155 <max+0x55>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    111c <max+0x1c>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<max>:
test   %rsi,%rsi
je     1145 <max+0x45>
lea    -0x1(%rsi),%rax
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x3,%rax
jae    1148 <max+0x48>
xor    %edx,%edx
xor    %eax,%eax
test   %r8,%r8
je     1144 <max+0x44>
lea    (%rdi,%rdx,8),%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdx,%rsi,8),%rcx
cmp    %rax,%rcx
cmova  %rcx,%rax
add    $0x1,%rsi
cmp    %rsi,%r8
jne    1130 <max+0x30>
ret
xor    %eax,%eax
ret
and    $0xfffffffffffffffc,%rsi
xor    %edx,%edx
xor    %eax,%eax
jmp    1169 <max+0x69>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x4,%rdx
cmp    %rdx,%rsi
je     111a <max+0x1a>
mov    (%rdi,%rdx,8),%rcx
cmp    %rax,%rcx
ja     1175 <max+0x75>
mov    %rax,%rcx
mov    0x8(%rdi,%rdx,8),%rax
cmp    %rcx,%rax
ja     1182 <max+0x82>
mov    %rcx,%rax
mov    0x10(%rdi,%rdx,8),%rcx
cmp    %rax,%rcx
ja     118f <max+0x8f>
mov    %rax,%rcx
mov    0x18(%rdi,%rdx,8),%rax
cmp    %rcx,%rax
ja     1160 <max+0x60>
mov    %rcx,%rax
jmp    1160 <max+0x60>

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

LLVM IR (-O2):
define i64 @max(i64* nocapture %0, i64 %1) {
%3 = icmp eq i64 %1, 0
br i1 %3, label %26, label %4
4: ; preds = %2
%5 = add i64 %1, -1
%6 = and i64 %1, 3
%7 = icmp ult i64 %5, 3
br i1 %7, label %10, label %8
8: ; preds = %4
%9 = and i64 %1, -4
br label %28
10: ; preds = %28, %4
%11 = phi i64 [ undef, %4 ], [ %50, %28 ]
%12 = phi i64 [ 0, %4 ], [ %51, %28 ]
%13 = phi i64 [ 0, %4 ], [ %50, %28 ]
%14 = icmp eq i64 %6, 0
br i1 %14, label %26, label %15
15: ; preds = %10, %15
%16 = phi i64 [ %23, %15 ], [ %12, %10 ]
%17 = phi i64 [ %22, %15 ], [ %13, %10 ]
%18 = phi i64 [ %24, %15 ], [ 0, %10 ]
%19 = getelementptr inbounds i64, i64* %0, i64 %16
%20 = load i64, i64* %19
%21 = icmp ugt i64 %20, %17
%22 = select i1 %21, i64 %20, i64 %17
%23 = add nuw i64 %16, 1
%24 = add i64 %18, 1
%25 = icmp eq i64 %24, %6
br i1 %25, label %26, label %15
26: ; preds = %10, %15, %2
%27 = phi i64 [ 0, %2 ], [ %11, %10 ], [ %22, %15 ]
ret i64 %27
28: ; preds = %28, %8
%29 = phi i64 [ 0, %8 ], [ %51, %28 ]
%30 = phi i64 [ 0, %8 ], [ %50, %28 ]
%31 = phi i64 [ 0, %8 ], [ %52, %28 ]
%32 = getelementptr inbounds i64, i64* %0, i64 %29
%33 = load i64, i64* %32
%34 = icmp ugt i64 %33, %30
%35 = select i1 %34, i64 %33, i64 %30
%36 = or i64 %29, 1
%37 = getelementptr inbounds i64, i64* %0, i64 %36
%38 = load i64, i64* %37
%39 = icmp ugt i64 %38, %35
%40 = select i1 %39, i64 %38, i64 %35
%41 = or i64 %29, 2
%42 = getelementptr inbounds i64, i64* %0, i64 %41
%43 = load i64, i64* %42
%44 = icmp ugt i64 %43, %40
%45 = select i1 %44, i64 %43, i64 %40
%46 = or i64 %29, 3
%47 = getelementptr inbounds i64, i64* %0, i64 %46
%48 = load i64, i64* %47
%49 = icmp ugt i64 %48, %45
%50 = select i1 %49, i64 %48, i64 %45
%51 = add nuw i64 %29, 4
%52 = add i64 %31, 4
%53 = icmp eq i64 %52, %9
br i1 %53, label %10, label %28
}