#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 /*<<< orphan*/ printf(char *, int, int, int, ...);
int thirdMax(int *nums, int numsSize) {
  int *max = NULL, *sec = NULL, *third = NULL;
  if (numsSize == 1)
    return nums[0];
  if (numsSize == 2)
    return (nums[0] < nums[1]) ? nums[1] : nums[0];
  max = nums;
  for (int i = 1; i < numsSize; i++) {
    int *p = nums + i;
    printf("item %d, m %d, s %d, t %d\n", *p, max ? *max : -940,
           sec ? *sec : -940, third ? *third : -940);
    if (*max < *p) {
      if (sec == NULL) {
        sec = max;
        max = p;
      } else {
        third = sec;
        sec = max;
        max = p;
      }
    } else if (*max > *p) {
      if (sec == NULL) {
        sec = p;
      } else {
        if (*sec < *p) {
          third = sec;
          sec = p;
        } else if (*sec > *p) {
          if (third == NULL) {
            third = p;
          } else {
            if (*third < *p)
              third = p;
          }
        }
      }
    }
  }
  printf("m %d, s %d, t %d\n", max ? *max : -940, sec ? *sec : -940,
         third ? *third : -940);
  if (third == NULL)
    return *max;
  return *third;
}


x86 assembly (clang, -O0):
<thirdMax>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
cmpl   $0x1,-0x14(%rbp)
jne    114f <thirdMax+0x3f>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    142b <thirdMax+0x31b>
cmpl   $0x2,-0x14(%rbp)
jne    118f <thirdMax+0x7f>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jge    117b <thirdMax+0x6b>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x44(%rbp)
jmp    1184 <thirdMax+0x74>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    142b <thirdMax+0x31b>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1374 <thirdMax+0x264>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x48(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     11df <thirdMax+0xcf>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4c(%rbp)
jmp    11ec <thirdMax+0xdc>
mov    $0xfffffc54,%eax
mov    %eax,-0x4c(%rbp)
jmp    11ec <thirdMax+0xdc>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     120b <thirdMax+0xfb>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x54(%rbp)
jmp    1218 <thirdMax+0x108>
mov    $0xfffffc54,%eax
mov    %eax,-0x54(%rbp)
jmp    1218 <thirdMax+0x108>
mov    -0x54(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     1237 <thirdMax+0x127>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x5c(%rbp)
jmp    1244 <thirdMax+0x134>
mov    $0xfffffc54,%eax
mov    %eax,-0x5c(%rbp)
jmp    1244 <thirdMax+0x134>
mov    -0x58(%rbp),%ecx
mov    -0x50(%rbp),%edx
mov    -0x48(%rbp),%esi
mov    -0x5c(%rbp),%r8d
lea    0xda8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jge    12ae <thirdMax+0x19e>
cmpq   $0x0,-0x28(%rbp)
jne    1291 <thirdMax+0x181>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    12a9 <thirdMax+0x199>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1361 <thirdMax+0x251>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jle    135c <thirdMax+0x24c>
cmpq   $0x0,-0x28(%rbp)
jne    12d8 <thirdMax+0x1c8>
mov    -0x40(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1357 <thirdMax+0x247>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jge    12ff <thirdMax+0x1ef>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1352 <thirdMax+0x242>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jle    134d <thirdMax+0x23d>
cmpq   $0x0,-0x30(%rbp)
jne    1329 <thirdMax+0x219>
mov    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1348 <thirdMax+0x238>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    -0x40(%rbp),%rcx
cmp    (%rcx),%eax
jge    1343 <thirdMax+0x233>
mov    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1348 <thirdMax+0x238>
jmp    134d <thirdMax+0x23d>
jmp    1352 <thirdMax+0x242>
jmp    1357 <thirdMax+0x247>
jmp    135c <thirdMax+0x24c>
jmp    1361 <thirdMax+0x251>
jmp    1366 <thirdMax+0x256>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    119e <thirdMax+0x8e>
cmpq   $0x0,-0x20(%rbp)
je     138d <thirdMax+0x27d>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x60(%rbp)
jmp    139a <thirdMax+0x28a>
mov    $0xfffffc54,%eax
mov    %eax,-0x60(%rbp)
jmp    139a <thirdMax+0x28a>
mov    -0x60(%rbp),%eax
mov    %eax,-0x64(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     13b9 <thirdMax+0x2a9>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x68(%rbp)
jmp    13c6 <thirdMax+0x2b6>
mov    $0xfffffc54,%eax
mov    %eax,-0x68(%rbp)
jmp    13c6 <thirdMax+0x2b6>
mov    -0x68(%rbp),%eax
mov    %eax,-0x6c(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     13e5 <thirdMax+0x2d5>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x70(%rbp)
jmp    13f2 <thirdMax+0x2e2>
mov    $0xfffffc54,%eax
mov    %eax,-0x70(%rbp)
jmp    13f2 <thirdMax+0x2e2>
mov    -0x6c(%rbp),%edx
mov    -0x64(%rbp),%esi
mov    -0x70(%rbp),%ecx
lea    0xc07(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpq   $0x0,-0x30(%rbp)
jne    1422 <thirdMax+0x312>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    142b <thirdMax+0x31b>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<thirdMax>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r15
cmp    $0x1,%esi
je     1263 <thirdMax+0x153>
cmp    $0x2,%esi
jne    113d <thirdMax+0x2d>
mov    (%r15),%eax
mov    0x4(%r15),%ecx
cmp    %ecx,%eax
cmovl  %ecx,%eax
jmp    1266 <thirdMax+0x156>
jl     120d <thirdMax+0xfd>
mov    %esi,%r13d
lea    0x4(%r15),%rbx
add    $0xffffffffffffffff,%r13
xor    %r14d,%r14d
xor    %eax,%eax
jmp    117b <thirdMax+0x6b>
cs nopw 0x0(%rax,%rax,1)
nop
test   %r12,%r12
cmovne %r12,%r14
mov    %rbx,%r15
mov    %rbp,%rax
add    $0x4,%rbx
add    $0xffffffffffffffff,%r13
je     121c <thirdMax+0x10c>
mov    %r15,%rbp
mov    %rax,%r12
mov    $0xfffffc54,%r8d
mov    $0xfffffc54,%ecx
test   %rax,%rax
je     1195 <thirdMax+0x85>
mov    (%r12),%ecx
test   %r14,%r14
je     119d <thirdMax+0x8d>
mov    (%r14),%r8d
mov    (%rbx),%esi
mov    0x0(%rbp),%edx
lea    0xe57(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    (%rbx),%ecx
cmp    %ecx,0x0(%rbp)
jl     1160 <thirdMax+0x50>
mov    %rbx,%rax
cmovle %r12,%rax
jle    11e0 <thirdMax+0xd0>
test   %r12,%r12
je     11e0 <thirdMax+0xd0>
cmp    %ecx,(%r12)
jge    11e5 <thirdMax+0xd5>
mov    %rbp,%r15
mov    %rbx,%rax
mov    %r12,%r14
jmp    116d <thirdMax+0x5d>
cs nopw 0x0(%rax,%rax,1)
mov    %rbp,%r15
jmp    116d <thirdMax+0x5d>
mov    %r14,%rdx
jle    11ed <thirdMax+0xdd>
mov    %rbx,%rdx
jle    11ff <thirdMax+0xef>
test   %r14,%r14
je     11ff <thirdMax+0xef>
mov    %rbx,%rdx
cmp    %ecx,(%r14)
jl     11ff <thirdMax+0xef>
mov    %r14,%rdx
mov    %rbp,%r15
mov    %r12,%rax
mov    %rdx,%r14
jmp    116d <thirdMax+0x5d>
mov    $0xfffffc54,%edx
test   %r15,%r15
je     1248 <thirdMax+0x138>
mov    (%r15),%esi
jmp    1250 <thirdMax+0x140>
test   %rax,%rax
je     1225 <thirdMax+0x115>
mov    (%rax),%edx
jmp    122a <thirdMax+0x11a>
mov    $0xfffffc54,%edx
mov    (%r15),%esi
test   %r14,%r14
je     1250 <thirdMax+0x140>
mov    (%r14),%ecx
lea    0xdcd(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    (%r14),%eax
jmp    1266 <thirdMax+0x156>
xor    %r15d,%r15d
mov    $0xfffffc54,%esi
lea    0xdb2(%rip),%rdi
mov    $0xfffffc54,%ecx
xor    %eax,%eax
call   1030 <printf@plt>
mov    (%r15),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [27 x i8] c"item %d, m %d, s %d, t %d\0A\00"
@.str.1 = [18 x i8] c"m %d, s %d, t %d\0A\00"
define i32 @thirdMax(i32* %0, i32 %1) {
switch i32 %1, label %3 [
i32 1, label %7
i32 2, label %9
]
3: ; preds = %2
%4 = icmp sgt i32 %1, 1
br i1 %4, label %5, label %15
5: ; preds = %3
%6 = zext i32 %1 to i64
br label %19
7: ; preds = %2
%8 = load i32, i32* %0
br label %82
9: ; preds = %2
%10 = load i32, i32* %0
%11 = getelementptr inbounds i32, i32* %0, i64 1
%12 = load i32, i32* %11
%13 = icmp slt i32 %10, %12
%14 = select i1 %13, i32 %12, i32 %10
br label %82
15: ; preds = %3
%16 = icmp eq i32* %0, null
br i1 %16, label %72, label %17
17: ; preds = %15
%18 = load i32, i32* %0
br label %72
19: ; preds = %5, %58
%20 = phi i64 [ 1, %5 ], [ %62, %58 ]
%21 = phi i32* [ null, %5 ], [ %61, %58 ]
%22 = phi i32* [ null, %5 ], [ %60, %58 ]
%23 = phi i32* [ %0, %5 ], [ %59, %58 ]
%24 = getelementptr inbounds i32, i32* %0, i64 %20
%25 = load i32, i32* %24
%26 = load i32, i32* %23
%27 = icmp eq i32* %22, null
br i1 %27, label %30, label %28
28: ; preds = %19
%29 = load i32, i32* %22
br label %30
30: ; preds = %19, %28
%31 = phi i32 [ %29, %28 ], [ -940, %19 ]
%32 = icmp eq i32* %21, null
br i1 %32, label %35, label %33
33: ; preds = %30
%34 = load i32, i32* %21
br label %35
35: ; preds = %30, %33
%36 = phi i32 [ %34, %33 ], [ -940, %30 ]
%37 = tail call i32 (i8*, i32, i32, i32, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), i32 %25, i32 %26, i32 %31, i32 %36)
%38 = load i32, i32* %23
%39 = load i32, i32* %24
%40 = icmp slt i32 %38, %39
br i1 %40, label %41, label %43
41: ; preds = %35
%42 = select i1 %27, i32* %21, i32* %22
br label %58
43: ; preds = %35
%44 = icmp sle i32 %38, %39
%45 = select i1 %44, i1 true, i1 %27
%46 = select i1 %44, i32* %22, i32* %24
br i1 %45, label %58, label %47
47: ; preds = %43
%48 = load i32, i32* %22
%49 = icmp slt i32 %48, %39
br i1 %49, label %58, label %50
50: ; preds = %47
%51 = icmp sle i32 %48, %39
%52 = select i1 %51, i1 true, i1 %32
%53 = select i1 %51, i32* %21, i32* %24
br i1 %52, label %58, label %54
54: ; preds = %50
%55 = load i32, i32* %21
%56 = icmp slt i32 %55, %39
%57 = select i1 %56, i32* %24, i32* %21
br label %58
58: ; preds = %50, %43, %54, %47, %41
%59 = phi i32* [ %23, %50 ], [ %23, %43 ], [ %24, %41 ], [ %23, %47 ], [ %23, %54 ]
%60 = phi i32* [ %22, %50 ], [ %46, %43 ], [ %23, %41 ], [ %24, %47 ], [ %22, %54 ]
%61 = phi i32* [ %53, %50 ], [ %21, %43 ], [ %42, %41 ], [ %22, %47 ], [ %57, %54 ]
%62 = add nuw nsw i64 %20, 1
%63 = icmp eq i64 %62, %6
br i1 %63, label %64, label %19
64: ; preds = %58
%65 = load i32, i32* %59
%66 = icmp eq i32* %60, null
br i1 %66, label %69, label %67
67: ; preds = %64
%68 = load i32, i32* %60
br label %69
69: ; preds = %64, %67
%70 = phi i32 [ %68, %67 ], [ -940, %64 ]
%71 = icmp eq i32* %61, null
br i1 %71, label %72, label %78
72: ; preds = %15, %17, %69
%73 = phi i32 [ %70, %69 ], [ -940, %17 ], [ -940, %15 ]
%74 = phi i32* [ %59, %69 ], [ %0, %17 ], [ null, %15 ]
%75 = phi i32 [ %65, %69 ], [ %18, %17 ], [ -940, %15 ]
%76 = tail call i32 (i8*, i32, i32, i32, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0), i32 %75, i32 %73, i32 -940)
%77 = load i32, i32* %74
br label %82
78: ; preds = %69
%79 = load i32, i32* %61
%80 = tail call i32 (i8*, i32, i32, i32, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0), i32 %65, i32 %70, i32 %79)
%81 = load i32, i32* %61
br label %82
82: ; preds = %78, %72, %9, %7
%83 = phi i32 [ %8, %7 ], [ %14, %9 ], [ %77, %72 ], [ %81, %78 ]
ret i32 %83
}