#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_MAX;
int /*<<< orphan*/ printf(char *, int, int);
int find_second_max2(int *array, int size) {
  int second_two[2];
  if (size < 1)
    return INT_MAX;
  if (size == 1)
    return array[0];
  if (size == 2) {
    return array[0] > array[1] ? array[1] : array[0];
  }
  second_two[0] = array[0] > array[1] ? array[0] : array[1];
  second_two[1] = array[0] > array[1] ? array[1] : array[0];
  for (int i = 2; i < size; i++) {
    if (second_two[0] != second_two[1]) {
      if (array[i] > second_two[0]) {
        second_two[1] = second_two[0];
        second_two[0] = array[i];
      } else if (array[i] < second_two[0] && array[i] > second_two[1]) {
        second_two[1] = array[i];
      }
    } else {
      if (array[i] > second_two[0]) {
        second_two[1] = second_two[0];
        second_two[0] = array[i];
      } else if (array[i] < second_two[0]) {
        second_two[1] = array[i];
      }
    }
  }
  printf("second_two is %d, %d\n", second_two[0], second_two[1]);
  return second_two[1];
}


x86 assembly (clang, -O0):
<find_second_max2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x1,-0x14(%rbp)
jge    113a <find_second_max2+0x2a>
mov    0x2eb8(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1304 <find_second_max2+0x1f4>
cmpl   $0x1,-0x14(%rbp)
jne    1152 <find_second_max2+0x42>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1304 <find_second_max2+0x1f4>
cmpl   $0x2,-0x14(%rbp)
jne    1192 <find_second_max2+0x82>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    117e <find_second_max2+0x6e>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x24(%rbp)
jmp    1187 <find_second_max2+0x77>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1304 <find_second_max2+0x1f4>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    11b3 <find_second_max2+0xa3>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
jmp    11bd <find_second_max2+0xad>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    11e5 <find_second_max2+0xd5>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x2c(%rbp)
jmp    11ee <find_second_max2+0xde>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x2,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12ec <find_second_max2+0x1dc>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1280 <find_second_max2+0x170>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    1240 <find_second_max2+0x130>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    127b <find_second_max2+0x16b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    1276 <find_second_max2+0x166>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jle    1276 <find_second_max2+0x166>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
jmp    127b <find_second_max2+0x16b>
jmp    12d9 <find_second_max2+0x1c9>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    12ad <find_second_max2+0x19d>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    12d4 <find_second_max2+0x1c4>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    12cf <find_second_max2+0x1bf>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
jmp    12d4 <find_second_max2+0x1c4>
jmp    12d9 <find_second_max2+0x1c9>
jmp    12de <find_second_max2+0x1ce>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11fb <find_second_max2+0xeb>
mov    -0x1c(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    0xd07(%rip),%rdi
call   1030 <printf@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_second_max2>:
push   %rbp
push   %rbx
push   %rax
test   %esi,%esi
jle    1127 <find_second_max2+0x17>
mov    %esi,%eax
cmp    $0x2,%esi
je     1132 <find_second_max2+0x22>
cmp    $0x1,%eax
jne    113e <find_second_max2+0x2e>
mov    (%rdi),%ebp
jmp    11a0 <find_second_max2+0x90>
mov    0x2eba(%rip),%rax
mov    (%rax),%ebp
jmp    11a0 <find_second_max2+0x90>
mov    (%rdi),%ebp
mov    0x4(%rdi),%eax
cmp    %eax,%ebp
cmovg  %eax,%ebp
jmp    11a0 <find_second_max2+0x90>
mov    (%rdi),%ebp
mov    0x4(%rdi),%ecx
cmp    %ecx,%ebp
mov    %ecx,%esi
cmovg  %ebp,%esi
cmovg  %ecx,%ebp
mov    %eax,%eax
mov    $0x2,%ecx
jmp    116d <find_second_max2+0x5d>
cs nopw 0x0(%rax,%rax,1)
mov    %esi,%ebp
mov    %edx,%esi
add    $0x1,%rcx
cmp    %rcx,%rax
je     1192 <find_second_max2+0x82>
mov    (%rdi,%rcx,4),%edx
cmp    %ebp,%esi
jne    1180 <find_second_max2+0x70>
cmp    %esi,%edx
jg     1160 <find_second_max2+0x50>
cmovge %esi,%edx
mov    %edx,%ebp
jmp    1164 <find_second_max2+0x54>
nop
cmp    %esi,%edx
jg     1160 <find_second_max2+0x50>
cmp    %ebp,%edx
mov    %ebp,%ebx
cmovg  %edx,%ebx
cmp    %esi,%edx
cmovl  %ebx,%ebp
jmp    1164 <find_second_max2+0x54>
lea    0xe67(%rip),%rdi
mov    %ebp,%edx
call   1030 <printf@plt>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
@INT_MAX = global i32 0
@.str = [22 x i8] c"second_two is %d, %d\0A\00"
define i32 @find_second_max2(i32* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32*
%5 = alloca i32
%6 = alloca [2 x i32]
%7 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
%8 = load i32, i32* %5
%9 = icmp slt i32 %8, 1
br i1 %9, label %10, label %12
10: ; preds = %2
%11 = load i32, i32* @INT_MAX
store i32 %11, i32* %3
br label %182
12: ; preds = %2
%13 = load i32, i32* %5
%14 = icmp eq i32 %13, 1
br i1 %14, label %15, label %19
15: ; preds = %12
%16 = load i32*, i32** %4
%17 = getelementptr inbounds i32, i32* %16, i64 0
%18 = load i32, i32* %17
store i32 %18, i32* %3
br label %182
19: ; preds = %12
%20 = load i32, i32* %5
%21 = icmp eq i32 %20, 2
br i1 %21, label %22, label %40
22: ; preds = %19
%23 = load i32*, i32** %4
%24 = getelementptr inbounds i32, i32* %23, i64 0
%25 = load i32, i32* %24
%26 = load i32*, i32** %4
%27 = getelementptr inbounds i32, i32* %26, i64 1
%28 = load i32, i32* %27
%29 = icmp sgt i32 %25, %28
br i1 %29, label %30, label %34
30: ; preds = %22
%31 = load i32*, i32** %4
%32 = getelementptr inbounds i32, i32* %31, i64 1
%33 = load i32, i32* %32
br label %38
34: ; preds = %22
%35 = load i32*, i32** %4
%36 = getelementptr inbounds i32, i32* %35, i64 0
%37 = load i32, i32* %36
br label %38
38: ; preds = %34, %30
%39 = phi i32 [ %33, %30 ], [ %37, %34 ]
store i32 %39, i32* %3
br label %182
40: ; preds = %19
%41 = load i32*, i32** %4
%42 = getelementptr inbounds i32, i32* %41, i64 0
%43 = load i32, i32* %42
%44 = load i32*, i32** %4
%45 = getelementptr inbounds i32, i32* %44, i64 1
%46 = load i32, i32* %45
%47 = icmp sgt i32 %43, %46
br i1 %47, label %48, label %52
48: ; preds = %40
%49 = load i32*, i32** %4
%50 = getelementptr inbounds i32, i32* %49, i64 0
%51 = load i32, i32* %50
br label %56
52: ; preds = %40
%53 = load i32*, i32** %4
%54 = getelementptr inbounds i32, i32* %53, i64 1
%55 = load i32, i32* %54
br label %56
56: ; preds = %52, %48
%57 = phi i32 [ %51, %48 ], [ %55, %52 ]
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
store i32 %57, i32* %58
%59 = load i32*, i32** %4
%60 = getelementptr inbounds i32, i32* %59, i64 0
%61 = load i32, i32* %60
%62 = load i32*, i32** %4
%63 = getelementptr inbounds i32, i32* %62, i64 1
%64 = load i32, i32* %63
%65 = icmp sgt i32 %61, %64
br i1 %65, label %66, label %70
66: ; preds = %56
%67 = load i32*, i32** %4
%68 = getelementptr inbounds i32, i32* %67, i64 1
%69 = load i32, i32* %68
br label %74
70: ; preds = %56
%71 = load i32*, i32** %4
%72 = getelementptr inbounds i32, i32* %71, i64 0
%73 = load i32, i32* %72
br label %74
74: ; preds = %70, %66
%75 = phi i32 [ %69, %66 ], [ %73, %70 ]
%76 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
store i32 %75, i32* %76
store i32 2, i32* %7
br label %77
77: ; preds = %171, %74
%78 = load i32, i32* %7
%79 = load i32, i32* %5
%80 = icmp slt i32 %78, %79
br i1 %80, label %81, label %174
81: ; preds = %77
%82 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%83 = load i32, i32* %82
%84 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
%85 = load i32, i32* %84
%86 = icmp ne i32 %83, %85
br i1 %86, label %87, label %133
87: ; preds = %81
%88 = load i32*, i32** %4
%89 = load i32, i32* %7
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %88, i64 %90
%92 = load i32, i32* %91
%93 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%94 = load i32, i32* %93
%95 = icmp sgt i32 %92, %94
br i1 %95, label %96, label %106
96: ; preds = %87
%97 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%98 = load i32, i32* %97
%99 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
store i32 %98, i32* %99
%100 = load i32*, i32** %4
%101 = load i32, i32* %7
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i32, i32* %100, i64 %102
%104 = load i32, i32* %103
%105 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
store i32 %104, i32* %105
br label %132
106: ; preds = %87
%107 = load i32*, i32** %4
%108 = load i32, i32* %7
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i32, i32* %107, i64 %109
%111 = load i32, i32* %110
%112 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%113 = load i32, i32* %112
%114 = icmp slt i32 %111, %113
br i1 %114, label %115, label %131
115: ; preds = %106
%116 = load i32*, i32** %4
%117 = load i32, i32* %7
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %116, i64 %118
%120 = load i32, i32* %119
%121 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
%122 = load i32, i32* %121
%123 = icmp sgt i32 %120, %122
br i1 %123, label %124, label %131
124: ; preds = %115
%125 = load i32*, i32** %4
%126 = load i32, i32* %7
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i32, i32* %125, i64 %127
%129 = load i32, i32* %128
%130 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
store i32 %129, i32* %130
br label %131
131: ; preds = %124, %115, %106
br label %132
132: ; preds = %131, %96
br label %170
133: ; preds = %81
%134 = load i32*, i32** %4
%135 = load i32, i32* %7
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %134, i64 %136
%138 = load i32, i32* %137
%139 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%140 = load i32, i32* %139
%141 = icmp sgt i32 %138, %140
br i1 %141, label %142, label %152
142: ; preds = %133
%143 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%144 = load i32, i32* %143
%145 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
store i32 %144, i32* %145
%146 = load i32*, i32** %4
%147 = load i32, i32* %7
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i32, i32* %146, i64 %148
%150 = load i32, i32* %149
%151 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
store i32 %150, i32* %151
br label %169
152: ; preds = %133
%153 = load i32*, i32** %4
%154 = load i32, i32* %7
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds i32, i32* %153, i64 %155
%157 = load i32, i32* %156
%158 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%159 = load i32, i32* %158
%160 = icmp slt i32 %157, %159
br i1 %160, label %161, label %168
161: ; preds = %152
%162 = load i32*, i32** %4
%163 = load i32, i32* %7
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i32, i32* %162, i64 %164
%166 = load i32, i32* %165
%167 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
store i32 %166, i32* %167
br label %168
168: ; preds = %161, %152
br label %169
169: ; preds = %168, %142
br label %170
170: ; preds = %169, %132
br label %171
171: ; preds = %170
%172 = load i32, i32* %7
%173 = add nsw i32 %172, 1
store i32 %173, i32* %7
br label %77
174: ; preds = %77
%175 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 0
%176 = load i32, i32* %175
%177 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
%178 = load i32, i32* %177
%179 = call i32 @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0), i32 %176, i32 %178)
%180 = getelementptr inbounds [2 x i32], [2 x i32]* %6, i64 0, i64 1
%181 = load i32, i32* %180
store i32 %181, i32* %3
br label %182
182: ; preds = %174, %38, %15, %10
%183 = load i32, i32* %3
ret i32 %183
}

LLVM IR (-O2):
@INT_MAX = global i32 0
@.str = [22 x i8] c"second_two is %d, %d\0A\00"
define i32 @find_second_max2(i32* nocapture %0, i32 %1) {
%3 = icmp slt i32 %1, 1
br i1 %3, label %4, label %6
4: ; preds = %2
%5 = load i32, i32* @INT_MAX
br label %48
6: ; preds = %2
switch i32 %1, label %15 [
i32 1, label %7
i32 2, label %9
]
7: ; preds = %6
%8 = load i32, i32* %0
br label %48
9: ; preds = %6
%10 = load i32, i32* %0
%11 = getelementptr inbounds i32, i32* %0, i64 1
%12 = load i32, i32* %11
%13 = icmp sgt i32 %10, %12
%14 = select i1 %13, i32 %12, i32 %10
br label %48
15: ; preds = %6
%16 = load i32, i32* %0
%17 = getelementptr inbounds i32, i32* %0, i64 1
%18 = load i32, i32* %17
%19 = icmp sgt i32 %16, %18
%20 = select i1 %19, i32 %16, i32 %18
%21 = select i1 %19, i32 %18, i32 %16
%22 = zext i32 %1 to i64
br label %25
23: ; preds = %43
%24 = tail call i32 @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0), i32 %45, i32 %44)
br label %48
25: ; preds = %15, %43
%26 = phi i64 [ 2, %15 ], [ %46, %43 ]
%27 = phi i32 [ %20, %15 ], [ %45, %43 ]
%28 = phi i32 [ %21, %15 ], [ %44, %43 ]
%29 = icmp eq i32 %27, %28
%30 = getelementptr inbounds i32, i32* %0, i64 %26
%31 = load i32, i32* %30
%32 = icmp sgt i32 %31, %27
br i1 %29, label %39, label %33
33: ; preds = %25
br i1 %32, label %43, label %34
34: ; preds = %33
%35 = icmp slt i32 %31, %27
%36 = icmp sgt i32 %31, %28
%37 = select i1 %35, i1 %36, i1 false
%38 = select i1 %37, i32 %31, i32 %28
br label %43
39: ; preds = %25
br i1 %32, label %43, label %40
40: ; preds = %39
%41 = icmp slt i32 %31, %27
%42 = select i1 %41, i32 %31, i32 %27
br label %43
43: ; preds = %34, %40, %39, %33
%44 = phi i32 [ %27, %33 ], [ %27, %39 ], [ %42, %40 ], [ %38, %34 ]
%45 = phi i32 [ %31, %33 ], [ %31, %39 ], [ %27, %40 ], [ %27, %34 ]
%46 = add nuw nsw i64 %26, 1
%47 = icmp eq i64 %46, %22
br i1 %47, label %23, label %25
48: ; preds = %23, %9, %7, %4
%49 = phi i32 [ %5, %4 ], [ %8, %7 ], [ %14, %9 ], [ %44, %23 ]
ret i32 %49
}