#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 */

/* Variables and functions */
int INT_MIN;
int max_int(int *ints, int intcount) {
  int maxint = INT_MIN;
  int i;
  for (i = 0; i < intcount; i++) {
    if (ints[i] > maxint)
      maxint = ints[i];
  }
  return maxint;
}


x86 assembly (clang, -O0):
<max_int>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    0x2ed6(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    115f <max_int+0x5f>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
jle    114c <max_int+0x4c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x10(%rbp)
jmp    1151 <max_int+0x51>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111e <max_int+0x1e>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<max_int>:
mov    0x2ee1(%rip),%rax
mov    (%rax),%eax
test   %esi,%esi
jle    1281 <max_int+0x181>
mov    %esi,%ecx
cmp    $0x8,%esi
jae    111f <max_int+0x1f>
xor    %edx,%edx
jmp    1270 <max_int+0x170>
mov    %ecx,%edx
and    $0xfffffff8,%edx
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rdx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     1282 <max_int+0x182>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %esi,%esi
movdqa %xmm0,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu (%rdi,%rsi,4),%xmm2
movdqu 0x10(%rdi,%rsi,4),%xmm3
movdqu 0x20(%rdi,%rsi,4),%xmm4
movdqu 0x30(%rdi,%rsi,4),%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm0,%xmm6
pand   %xmm6,%xmm2
pandn  %xmm0,%xmm6
por    %xmm2,%xmm6
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
pcmpgtd %xmm6,%xmm0
pand   %xmm0,%xmm4
pandn  %xmm6,%xmm0
por    %xmm4,%xmm0
movdqa %xmm5,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm2,%xmm1
por    %xmm5,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rax
jne    1160 <max_int+0x60>
test   $0x1,%r8b
je     1212 <max_int+0x112>
movdqu (%rdi,%rsi,4),%xmm2
movdqu 0x10(%rdi,%rsi,4),%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm3,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm1,%xmm2
por    %xmm3,%xmm2
movdqa %xmm4,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%eax
cmp    %rcx,%rdx
je     1281 <max_int+0x181>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rdx,4),%esi
cmp    %eax,%esi
cmovg  %esi,%eax
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1270 <max_int+0x170>
ret
xor    %esi,%esi
movdqa %xmm0,%xmm1
test   $0x1,%r8b
jne    11d7 <max_int+0xd7>
jmp    1212 <max_int+0x112>

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

LLVM IR (-O2):
@INT_MIN = global i32 0
define i32 @max_int(i32* nocapture %0, i32 %1) {
%3 = load i32, i32* @INT_MIN
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %85
5: ; preds = %2
%6 = zext i32 %1 to i64
%7 = icmp ult i32 %1, 8
br i1 %7, label %73, label %8
8: ; preds = %5
%9 = and i64 %6, 4294967288
%10 = insertelement <4 x i32> poison, i32 %3, i64 0
%11 = shufflevector <4 x i32> %10, <4 x i32> poison, <4 x i32> zeroinitializer
%12 = add nsw i64 %9, -8
%13 = lshr exact i64 %12, 3
%14 = add nuw nsw i64 %13, 1
%15 = and i64 %14, 1
%16 = icmp eq i64 %12, 0
br i1 %16, label %48, label %17
17: ; preds = %8
%18 = and i64 %14, 4611686018427387902
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 0, %17 ], [ %45, %19 ]
%21 = phi <4 x i32> [ %11, %17 ], [ %43, %19 ]
%22 = phi <4 x i32> [ %11, %17 ], [ %44, %19 ]
%23 = phi i64 [ 0, %17 ], [ %46, %19 ]
%24 = getelementptr inbounds i32, i32* %0, i64 %20
%25 = bitcast i32* %24 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = getelementptr inbounds i32, i32* %24, i64 4
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = icmp sgt <4 x i32> %26, %21
%31 = icmp sgt <4 x i32> %29, %22
%32 = select <4 x i1> %30, <4 x i32> %26, <4 x i32> %21
%33 = select <4 x i1> %31, <4 x i32> %29, <4 x i32> %22
%34 = or i64 %20, 8
%35 = getelementptr inbounds i32, i32* %0, i64 %34
%36 = bitcast i32* %35 to <4 x i32>*
%37 = load <4 x i32>, <4 x i32>* %36
%38 = getelementptr inbounds i32, i32* %35, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = icmp sgt <4 x i32> %37, %32
%42 = icmp sgt <4 x i32> %40, %33
%43 = select <4 x i1> %41, <4 x i32> %37, <4 x i32> %32
%44 = select <4 x i1> %42, <4 x i32> %40, <4 x i32> %33
%45 = add nuw i64 %20, 16
%46 = add i64 %23, 2
%47 = icmp eq i64 %46, %18
br i1 %47, label %48, label %19
48: ; preds = %19, %8
%49 = phi <4 x i32> [ undef, %8 ], [ %43, %19 ]
%50 = phi <4 x i32> [ undef, %8 ], [ %44, %19 ]
%51 = phi i64 [ 0, %8 ], [ %45, %19 ]
%52 = phi <4 x i32> [ %11, %8 ], [ %43, %19 ]
%53 = phi <4 x i32> [ %11, %8 ], [ %44, %19 ]
%54 = icmp eq i64 %15, 0
br i1 %54, label %66, label %55
55: ; preds = %48
%56 = getelementptr inbounds i32, i32* %0, i64 %51
%57 = bitcast i32* %56 to <4 x i32>*
%58 = load <4 x i32>, <4 x i32>* %57
%59 = getelementptr inbounds i32, i32* %56, i64 4
%60 = bitcast i32* %59 to <4 x i32>*
%61 = load <4 x i32>, <4 x i32>* %60
%62 = icmp sgt <4 x i32> %58, %52
%63 = icmp sgt <4 x i32> %61, %53
%64 = select <4 x i1> %62, <4 x i32> %58, <4 x i32> %52
%65 = select <4 x i1> %63, <4 x i32> %61, <4 x i32> %53
br label %66
66: ; preds = %48, %55
%67 = phi <4 x i32> [ %49, %48 ], [ %64, %55 ]
%68 = phi <4 x i32> [ %50, %48 ], [ %65, %55 ]
%69 = icmp sgt <4 x i32> %67, %68
%70 = select <4 x i1> %69, <4 x i32> %67, <4 x i32> %68
%71 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %70)
%72 = icmp eq i64 %9, %6
br i1 %72, label %85, label %73
73: ; preds = %5, %66
%74 = phi i64 [ 0, %5 ], [ %9, %66 ]
%75 = phi i32 [ %3, %5 ], [ %71, %66 ]
br label %76
76: ; preds = %73, %76
%77 = phi i64 [ %83, %76 ], [ %74, %73 ]
%78 = phi i32 [ %82, %76 ], [ %75, %73 ]
%79 = getelementptr inbounds i32, i32* %0, i64 %77
%80 = load i32, i32* %79
%81 = icmp sgt i32 %80, %78
%82 = select i1 %81, i32 %80, i32 %78
%83 = add nuw nsw i64 %77, 1
%84 = icmp eq i64 %83, %6
br i1 %84, label %85, label %76
85: ; preds = %76, %66, %2
%86 = phi i32 [ %3, %2 ], [ %71, %66 ], [ %82, %76 ]
ret i32 %86
}