int max_left(int array[], int size, int pos) {
  int max = 0;
  for (int i = pos - 1; i >= 0; i--) {
    if (array[i] > max)
      max = array[i];
  }
  return max;
}


x86 assembly (clang, -O0):
<max_left>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     115d <max_left+0x5d>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jle    114a <max_left+0x4a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x14(%rbp)
jmp    114f <max_left+0x4f>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    111e <max_left+0x1e>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<max_left>:
test   %edx,%edx
jle    1136 <max_left+0x36>
mov    %edx,%ecx
xor    %eax,%eax
cmp    $0x8,%edx
jae    1139 <max_left+0x39>
add    $0x1,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    -0x2(%rcx),%edx
mov    (%rdi,%rdx,4),%edx
cmp    %eax,%edx
cmovg  %edx,%eax
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%rcx
ja     1120 <max_left+0x20>
ret
xor    %eax,%eax
ret
lea    -0x1(%rcx),%r11
add    $0xffffffff,%edx
cmp    %r11d,%edx
jb     110d <max_left+0xd>
mov    %r11,%rdx
shr    $0x20,%rdx
jne    110d <max_left+0xd>
mov    %ecx,%r8d
and    $0xfffffff8,%r8d
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     12d6 <max_left+0x1d6>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
mov    $0xfffffff7,%edx
add    %rcx,%rdx
pxor   %xmm0,%xmm0
mov    $0x1,%r10d
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
mov    %r11d,%esi
movdqu -0x1c(%rdi,%rsi,4),%xmm2
movdqu -0xc(%rdi,%rsi,4),%xmm3
pshufd $0x1b,%xmm3,%xmm3
pshufd $0x1b,%xmm2,%xmm2
movdqa %xmm3,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm0,%xmm4
por    %xmm3,%xmm4
movdqa %xmm2,%xmm3
pcmpgtd %xmm1,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm1,%xmm3
por    %xmm2,%xmm3
mov    %edx,%esi
movdqu -0x1c(%rdi,%rsi,4),%xmm0
movdqu -0xc(%rdi,%rsi,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm2
movdqa %xmm1,%xmm0
pcmpgtd %xmm4,%xmm0
pand   %xmm0,%xmm1
pandn  %xmm4,%xmm0
por    %xmm1,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm3,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm3,%xmm1
por    %xmm2,%xmm1
add    $0x10,%r10
add    $0xfffffffffffffff0,%rdx
add    $0xfffffffffffffff0,%r11
add    $0xfffffffffffffffe,%rax
jne    1190 <max_left+0x90>
neg    %r10
test   $0x1,%r9b
je     127b <max_left+0x17b>
add    %ecx,%r10d
movdqu -0x1c(%rdi,%r10,4),%xmm2
movdqu -0xc(%rdi,%r10,4),%xmm3
pshufd $0x1b,%xmm3,%xmm3
pshufd $0x1b,%xmm2,%xmm2
movdqa %xmm3,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm0,%xmm4
por    %xmm3,%xmm4
movdqa %xmm2,%xmm3
pcmpgtd %xmm1,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm1,%xmm3
por    %xmm2,%xmm3
movdqa %xmm4,%xmm0
movdqa %xmm3,%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,%r8
je     1135 <max_left+0x35>
and    $0x7,%ecx
jmp    110d <max_left+0xd>
pxor   %xmm0,%xmm0
mov    $0xffffffffffffffff,%r10
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    1230 <max_left+0x130>
jmp    127b <max_left+0x17b>

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

LLVM IR (-O2):
define i32 @max_left(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %103
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = icmp ult i32 %2, 8
br i1 %7, label %100, label %8
8: ; preds = %5
%9 = add nsw i64 %6, -1
%10 = add i32 %2, -1
%11 = trunc i64 %9 to i32
%12 = icmp ult i32 %10, %11
%13 = icmp ugt i64 %9, 4294967295
%14 = or i1 %12, %13
br i1 %14, label %100, label %15
15: ; preds = %8
%16 = and i64 %6, 4294967288
%17 = and i64 %6, 7
%18 = add nsw i64 %16, -8
%19 = lshr exact i64 %18, 3
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 1
%22 = icmp eq i64 %18, 0
br i1 %22, label %69, label %23
23: ; preds = %15
%24 = and i64 %20, 4611686018427387902
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %64, %25 ]
%27 = phi <4 x i32> [ zeroinitializer, %23 ], [ %62, %25 ]
%28 = phi <4 x i32> [ zeroinitializer, %23 ], [ %63, %25 ]
%29 = phi i64 [ 0, %23 ], [ %65, %25 ]
%30 = xor i64 %26, -1
%31 = add i64 %30, %6
%32 = and i64 %31, 4294967295
%33 = getelementptr inbounds i32, i32* %0, i64 %32
%34 = getelementptr inbounds i32, i32* %33, i64 -3
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = shufflevector <4 x i32> %36, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%38 = getelementptr inbounds i32, i32* %33, i64 -4
%39 = getelementptr inbounds i32, i32* %38, i64 -3
%40 = bitcast i32* %39 to <4 x i32>*
%41 = load <4 x i32>, <4 x i32>* %40
%42 = shufflevector <4 x i32> %41, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%43 = icmp sgt <4 x i32> %37, %27
%44 = icmp sgt <4 x i32> %42, %28
%45 = select <4 x i1> %43, <4 x i32> %37, <4 x i32> %27
%46 = select <4 x i1> %44, <4 x i32> %42, <4 x i32> %28
%47 = sub i64 4294967287, %26
%48 = add i64 %47, %6
%49 = and i64 %48, 4294967295
%50 = getelementptr inbounds i32, i32* %0, i64 %49
%51 = getelementptr inbounds i32, i32* %50, i64 -3
%52 = bitcast i32* %51 to <4 x i32>*
%53 = load <4 x i32>, <4 x i32>* %52
%54 = shufflevector <4 x i32> %53, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%55 = getelementptr inbounds i32, i32* %50, i64 -4
%56 = getelementptr inbounds i32, i32* %55, i64 -3
%57 = bitcast i32* %56 to <4 x i32>*
%58 = load <4 x i32>, <4 x i32>* %57
%59 = shufflevector <4 x i32> %58, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%60 = icmp sgt <4 x i32> %54, %45
%61 = icmp sgt <4 x i32> %59, %46
%62 = select <4 x i1> %60, <4 x i32> %54, <4 x i32> %45
%63 = select <4 x i1> %61, <4 x i32> %59, <4 x i32> %46
%64 = add nuw i64 %26, 16
%65 = add i64 %29, 2
%66 = icmp eq i64 %65, %24
br i1 %66, label %67, label %25
67: ; preds = %25
%68 = sub i64 -17, %26
br label %69
69: ; preds = %67, %15
%70 = phi <4 x i32> [ undef, %15 ], [ %62, %67 ]
%71 = phi <4 x i32> [ undef, %15 ], [ %63, %67 ]
%72 = phi i64 [ -1, %15 ], [ %68, %67 ]
%73 = phi <4 x i32> [ zeroinitializer, %15 ], [ %62, %67 ]
%74 = phi <4 x i32> [ zeroinitializer, %15 ], [ %63, %67 ]
%75 = icmp eq i64 %21, 0
br i1 %75, label %93, label %76
76: ; preds = %69
%77 = add i64 %72, %6
%78 = and i64 %77, 4294967295
%79 = getelementptr inbounds i32, i32* %0, i64 %78
%80 = getelementptr inbounds i32, i32* %79, i64 -3
%81 = bitcast i32* %80 to <4 x i32>*
%82 = load <4 x i32>, <4 x i32>* %81
%83 = shufflevector <4 x i32> %82, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%84 = getelementptr inbounds i32, i32* %79, i64 -4
%85 = getelementptr inbounds i32, i32* %84, i64 -3
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = shufflevector <4 x i32> %87, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%89 = icmp sgt <4 x i32> %83, %73
%90 = icmp sgt <4 x i32> %88, %74
%91 = select <4 x i1> %89, <4 x i32> %83, <4 x i32> %73
%92 = select <4 x i1> %90, <4 x i32> %88, <4 x i32> %74
br label %93
93: ; preds = %69, %76
%94 = phi <4 x i32> [ %70, %69 ], [ %91, %76 ]
%95 = phi <4 x i32> [ %71, %69 ], [ %92, %76 ]
%96 = icmp sgt <4 x i32> %94, %95
%97 = select <4 x i1> %96, <4 x i32> %94, <4 x i32> %95
%98 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %97)
%99 = icmp eq i64 %16, %6
br i1 %99, label %103, label %100
100: ; preds = %8, %5, %93
%101 = phi i64 [ %6, %8 ], [ %6, %5 ], [ %17, %93 ]
%102 = phi i32 [ 0, %8 ], [ 0, %5 ], [ %98, %93 ]
br label %105
103: ; preds = %105, %93, %3
%104 = phi i32 [ 0, %3 ], [ %98, %93 ], [ %113, %105 ]
ret i32 %104
105: ; preds = %100, %105
%106 = phi i64 [ %108, %105 ], [ %101, %100 ]
%107 = phi i32 [ %113, %105 ], [ %102, %100 ]
%108 = add nsw i64 %106, -1
%109 = and i64 %108, 4294967295
%110 = getelementptr inbounds i32, i32* %0, i64 %109
%111 = load i32, i32* %110
%112 = icmp sgt i32 %111, %107
%113 = select i1 %112, i32 %111, i32 %107
%114 = icmp ugt i64 %106, 1
br i1 %114, label %105, label %103
}