int findmax(int a[], int low, int high) {
  if (high == low) {
    return a[low];
  }
  if (high == low + 1) {
    if (a[high] > a[low])
      return a[high];
    else
      return a[low];
  }
  int mid = low + (high - low) / 2;
  if ((mid == 0 || a[mid] > a[mid - 1]) && (mid == high || a[mid] > a[mid + 1]))
    return a[mid];
  if (a[mid] > a[mid - 1] && a[mid] < a[mid + 1])
    return findmax(a, mid + 1, high);
  else
    return findmax(a, low, mid - 1);
}


x86 assembly (clang, -O0):
<findmax>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1141 <findmax+0x31>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    128e <findmax+0x17e>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    1194 <findmax+0x84>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1181 <findmax+0x71>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    128e <findmax+0x17e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    128e <findmax+0x17e>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     11dd <findmax+0xcd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    121d <findmax+0x10d>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     120a <findmax+0xfa>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x1c(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    121d <findmax+0x10d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    128e <findmax+0x17e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1279 <findmax+0x169>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x1c(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1279 <findmax+0x169>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
call   1030 <findmax@plt>
mov    %eax,-0x4(%rbp)
jmp    128e <findmax+0x17e>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
call   1030 <findmax@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findmax>:
cmp    %esi,%edx
je     1194 <findmax+0x94>
lea    0x1(%rsi),%r8d
jmp    1118 <findmax+0x18>
xchg   %ax,%ax
mov    %r10d,%edx
cmp    %esi,%r10d
je     1192 <findmax+0x92>
cmp    %edx,%r8d
je     1180 <findmax+0x80>
mov    %edx,%eax
sub    %esi,%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
add    %esi,%ecx
movslq %ecx,%r9
je     113c <findmax+0x3c>
mov    (%rdi,%r9,4),%eax
cmp    -0x4(%rdi,%r9,4),%eax
jle    1160 <findmax+0x60>
cmp    %edx,%ecx
je     1194 <findmax+0x94>
mov    (%rdi,%r9,4),%eax
cmp    0x4(%rdi,%r9,4),%eax
jg     119a <findmax+0x9a>
lea    -0x1(%rcx),%r10d
movslq %r10d,%r11
cmp    (%rdi,%r11,4),%eax
jle    1110 <findmax+0x10>
jmp    116e <findmax+0x6e>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r9),%r10d
lea    -0x1(%r9),%r11
cmp    (%rdi,%r11,4),%eax
jle    1110 <findmax+0x10>
cmp    0x4(%rdi,%r9,4),%eax
jge    1110 <findmax+0x10>
add    $0x1,%ecx
mov    %ecx,%esi
cmp    %ecx,%edx
jne    1108 <findmax+0x8>
jmp    1194 <findmax+0x94>
movslq %r8d,%rax
mov    (%rdi,%rax,4),%ecx
movslq %esi,%rax
mov    (%rdi,%rax,4),%eax
cmp    %eax,%ecx
cmovg  %ecx,%eax
ret
mov    %esi,%edx
movslq %edx,%rax
mov    (%rdi,%rax,4),%eax
ret

LLVM IR (-O0):
define i32 @findmax(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** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%9 = load i32, i32* %7
%10 = load i32, i32* %6
%11 = icmp eq i32 %9, %10
br i1 %11, label %12, label %18
12: ; preds = %3
%13 = load i32*, i32** %5
%14 = load i32, i32* %6
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %13, i64 %15
%17 = load i32, i32* %16
store i32 %17, i32* %4
br label %130
18: ; preds = %3
%19 = load i32, i32* %7
%20 = load i32, i32* %6
%21 = add nsw i32 %20, 1
%22 = icmp eq i32 %19, %21
br i1 %22, label %23, label %47
23: ; preds = %18
%24 = load i32*, i32** %5
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = load i32*, i32** %5
%30 = load i32, i32* %6
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = icmp sgt i32 %28, %33
br i1 %34, label %35, label %41
35: ; preds = %23
%36 = load i32*, i32** %5
%37 = load i32, i32* %7
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
store i32 %40, i32* %4
br label %130
41: ; preds = %23
%42 = load i32*, i32** %5
%43 = load i32, i32* %6
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %45
store i32 %46, i32* %4
br label %130
47: ; preds = %18
%48 = load i32, i32* %6
%49 = load i32, i32* %7
%50 = load i32, i32* %6
%51 = sub nsw i32 %49, %50
%52 = sdiv i32 %51, 2
%53 = add nsw i32 %48, %52
store i32 %53, i32* %8
%54 = load i32, i32* %8
%55 = icmp eq i32 %54, 0
br i1 %55, label %69, label %56
56: ; preds = %47
%57 = load i32*, i32** %5
%58 = load i32, i32* %8
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %57, i64 %59
%61 = load i32, i32* %60
%62 = load i32*, i32** %5
%63 = load i32, i32* %8
%64 = sub nsw i32 %63, 1
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %62, i64 %65
%67 = load i32, i32* %66
%68 = icmp sgt i32 %61, %67
br i1 %68, label %69, label %92
69: ; preds = %56, %47
%70 = load i32, i32* %8
%71 = load i32, i32* %7
%72 = icmp eq i32 %70, %71
br i1 %72, label %86, label %73
73: ; preds = %69
%74 = load i32*, i32** %5
%75 = load i32, i32* %8
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = load i32*, i32** %5
%80 = load i32, i32* %8
%81 = add nsw i32 %80, 1
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i32, i32* %79, i64 %82
%84 = load i32, i32* %83
%85 = icmp sgt i32 %78, %84
br i1 %85, label %86, label %92
86: ; preds = %73, %69
%87 = load i32*, i32** %5
%88 = load i32, i32* %8
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %87, i64 %89
%91 = load i32, i32* %90
store i32 %91, i32* %4
br label %130
92: ; preds = %73, %56
%93 = load i32*, i32** %5
%94 = load i32, i32* %8
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32, i32* %96
%98 = load i32*, i32** %5
%99 = load i32, i32* %8
%100 = sub nsw i32 %99, 1
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %98, i64 %101
%103 = load i32, i32* %102
%104 = icmp sgt i32 %97, %103
br i1 %104, label %105, label %124
105: ; preds = %92
%106 = load i32*, i32** %5
%107 = load i32, i32* %8
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
%110 = load i32, i32* %109
%111 = load i32*, i32** %5
%112 = load i32, i32* %8
%113 = add nsw i32 %112, 1
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i32, i32* %111, i64 %114
%116 = load i32, i32* %115
%117 = icmp slt i32 %110, %116
br i1 %117, label %118, label %124
118: ; preds = %105
%119 = load i32*, i32** %5
%120 = load i32, i32* %8
%121 = add nsw i32 %120, 1
%122 = load i32, i32* %7
%123 = call i32 @findmax(i32* %119, i32 %121, i32 %122)
store i32 %123, i32* %4
br label %130
124: ; preds = %105, %92
%125 = load i32*, i32** %5
%126 = load i32, i32* %6
%127 = load i32, i32* %8
%128 = sub nsw i32 %127, 1
%129 = call i32 @findmax(i32* %125, i32 %126, i32 %128)
store i32 %129, i32* %4
br label %130
130: ; preds = %124, %118, %86, %41, %35, %12
%131 = load i32, i32* %4
ret i32 %131
}

LLVM IR (-O2):
define i32 @findmax(i32* %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %2, %1
br i1 %4, label %11, label %7
5: ; preds = %67
%6 = icmp eq i32 %17, %68
br i1 %6, label %11, label %7
7: ; preds = %3, %5
%8 = phi i32 [ %17, %5 ], [ %2, %3 ]
%9 = phi i32 [ %68, %5 ], [ %1, %3 ]
%10 = add nsw i32 %9, 1
br label %16
11: ; preds = %5, %73, %3
%12 = phi i32 [ %2, %3 ], [ %9, %73 ], [ %17, %5 ]
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i32, i32* %0, i64 %13
%15 = load i32, i32* %14
br label %75
16: ; preds = %7, %73
%17 = phi i32 [ %8, %7 ], [ %62, %73 ]
%18 = icmp eq i32 %10, %17
br i1 %18, label %19, label %28
19: ; preds = %16
%20 = sext i32 %10 to i64
%21 = getelementptr inbounds i32, i32* %0, i64 %20
%22 = load i32, i32* %21
%23 = sext i32 %9 to i64
%24 = getelementptr inbounds i32, i32* %0, i64 %23
%25 = load i32, i32* %24
%26 = icmp sgt i32 %22, %25
%27 = select i1 %26, i32 %22, i32 %25
br label %75
28: ; preds = %16
%29 = sub nsw i32 %17, %9
%30 = sdiv i32 %29, 2
%31 = add nsw i32 %30, %9
%32 = icmp eq i32 %31, 0
br i1 %32, label %42, label %33
33: ; preds = %28
%34 = sext i32 %31 to i64
%35 = getelementptr inbounds i32, i32* %0, i64 %34
%36 = load i32, i32* %35
%37 = add nsw i32 %31, -1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = load i32, i32* %39
%41 = icmp sgt i32 %36, %40
br i1 %41, label %42, label %60
42: ; preds = %33, %28
%43 = icmp eq i32 %31, %17
br i1 %43, label %44, label %48
44: ; preds = %42
%45 = sext i32 %17 to i64
%46 = getelementptr inbounds i32, i32* %0, i64 %45
%47 = load i32, i32* %46
br label %75
48: ; preds = %42
%49 = sext i32 %31 to i64
%50 = getelementptr inbounds i32, i32* %0, i64 %49
%51 = load i32, i32* %50
%52 = add nsw i32 %31, 1
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %0, i64 %53
%55 = load i32, i32* %54
%56 = icmp sgt i32 %51, %55
br i1 %56, label %75, label %57
57: ; preds = %48
%58 = add nsw i32 %31, -1
%59 = sext i32 %58 to i64
br label %60
60: ; preds = %57, %33
%61 = phi i64 [ %59, %57 ], [ %38, %33 ]
%62 = phi i32 [ %58, %57 ], [ %37, %33 ]
%63 = phi i32 [ %51, %57 ], [ %36, %33 ]
%64 = getelementptr inbounds i32, i32* %0, i64 %61
%65 = load i32, i32* %64
%66 = icmp sgt i32 %63, %65
br i1 %66, label %67, label %73
67: ; preds = %60
%68 = add nsw i32 %31, 1
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %0, i64 %69
%71 = load i32, i32* %70
%72 = icmp slt i32 %63, %71
br i1 %72, label %5, label %73
73: ; preds = %67, %60
%74 = icmp eq i32 %62, %9
br i1 %74, label %11, label %16
75: ; preds = %48, %44, %19, %11
%76 = phi i32 [ %15, %11 ], [ %27, %19 ], [ %47, %44 ], [ %51, %48 ]
ret i32 %76
}