#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 /*<<< orphan*/ scanf(char *, int *, int *, int *, int *);
int main() {
  int a, b, c, d;
  scanf("%d%d%d%d", &a, &b, &c, &d);
  if (a > b && a > c && a > d) {
    if (b > c && b > d)
      printf("The second largest number is %d \n", b);
    if (c > b && c > d)
      printf("The second largest number is %d \n", c);
    if (d > b && d > c)
      printf("The second largest number is %d \n", d);
  }
  if (b > a && b > c && b > d) {
    if (a > c && a > d)
      printf("The second largest number is %d \n", a);
    if (c > a && c > d)
      printf("The second largest number is %d \n", c);
    if (d > c && d > a)
      printf("The second largest number is %d \n", d);
  }
  if (c > a && c > b && c > d) {
    if (d > a && d > b)
      printf("The second largest number is %d \n", d);
    if (a > b && a > d)
      printf("The second largest number is %d \n", a);
    if (b > a && b > d)
      printf("The second largest number is %d \n", b);
  }
  if (d > a && d > b && d > c) {
    if (c > a && c > b)
      printf("The second largest number is %d \n", c);
    if (a > c && a > b)
      printf("The second largest number is %d \n", a);
    if (b > a && b > c)
      printf("The second largest number is %d \n", b);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeca(%rip),%rdi
lea    -0x8(%rbp),%rsi
lea    -0xc(%rbp),%rdx
lea    -0x10(%rbp),%rcx
lea    -0x14(%rbp),%r8
call   1040 <scanf@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    11e9 <main+0xc9>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    11e9 <main+0xc9>
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    11e9 <main+0xc9>
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1196 <main+0x76>
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1196 <main+0x76>
mov    -0xc(%rbp),%esi
lea    0xe78(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    11bd <main+0x9d>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    11bd <main+0x9d>
mov    -0x10(%rbp),%esi
lea    0xe51(%rip),%rdi
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    11e4 <main+0xc4>
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    11e4 <main+0xc4>
mov    -0x14(%rbp),%esi
lea    0xe2a(%rip),%rdi
call   1030 <printf@plt>
jmp    11e9 <main+0xc9>
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1287 <main+0x167>
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1287 <main+0x167>
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1287 <main+0x167>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1234 <main+0x114>
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1234 <main+0x114>
mov    -0x8(%rbp),%esi
lea    0xdda(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    125b <main+0x13b>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    125b <main+0x13b>
mov    -0x10(%rbp),%esi
lea    0xdb3(%rip),%rdi
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1282 <main+0x162>
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1282 <main+0x162>
mov    -0x14(%rbp),%esi
lea    0xd8c(%rip),%rdi
call   1030 <printf@plt>
jmp    1287 <main+0x167>
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1325 <main+0x205>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    1325 <main+0x205>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1325 <main+0x205>
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    12d2 <main+0x1b2>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    12d2 <main+0x1b2>
mov    -0x14(%rbp),%esi
lea    0xd3c(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    12f9 <main+0x1d9>
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    12f9 <main+0x1d9>
mov    -0x8(%rbp),%esi
lea    0xd15(%rip),%rdi
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1320 <main+0x200>
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1320 <main+0x200>
mov    -0xc(%rbp),%esi
lea    0xcee(%rip),%rdi
call   1030 <printf@plt>
jmp    1325 <main+0x205>
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    13c3 <main+0x2a3>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    13c3 <main+0x2a3>
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    13c3 <main+0x2a3>
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1370 <main+0x250>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    1370 <main+0x250>
mov    -0x10(%rbp),%esi
lea    0xc9e(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1397 <main+0x277>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    1397 <main+0x277>
mov    -0x8(%rbp),%esi
lea    0xc77(%rip),%rdi
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    13be <main+0x29e>
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    13be <main+0x29e>
mov    -0xc(%rbp),%esi
lea    0xc50(%rip),%rdi
call   1030 <printf@plt>
jmp    13c3 <main+0x2a3>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x18,%rsp
lea    0xed5(%rip),%rdi
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
lea    0xc(%rsp),%rcx
lea    0x8(%rsp),%r8
call   1040 <scanf@plt>
mov    0x14(%rsp),%edx
mov    0x10(%rsp),%eax
cmp    %eax,%edx
jle    11bc <main+0x9c>
mov    0xc(%rsp),%esi
cmp    %esi,%edx
jle    11bc <main+0x9c>
mov    0x8(%rsp),%ecx
cmp    %ecx,%edx
jle    11bc <main+0x9c>
cmp    %esi,%eax
jle    1182 <main+0x62>
cmp    %ecx,%eax
jle    1182 <main+0x62>
lea    0xe9a(%rip),%rdi
mov    %eax,%esi
call   1030 <printf@plt>
mov    0xc(%rsp),%esi
mov    0x10(%rsp),%eax
mov    0x8(%rsp),%ecx
cmp    %eax,%esi
jle    11a2 <main+0x82>
cmp    %ecx,%esi
jle    11a2 <main+0x82>
lea    0xe78(%rip),%rdi
call   1030 <printf@plt>
mov    0x8(%rsp),%ecx
mov    0x10(%rsp),%eax
mov    0xc(%rsp),%esi
cmp    %eax,%ecx
jle    11bc <main+0x9c>
cmp    %esi,%ecx
jle    11bc <main+0x9c>
lea    0xe58(%rip),%rdi
mov    %ecx,%esi
call   1030 <printf@plt>
mov    0x10(%rsp),%eax
mov    0x14(%rsp),%esi
cmp    %esi,%eax
jle    1230 <main+0x110>
mov    0xc(%rsp),%edx
cmp    %edx,%eax
jle    1230 <main+0x110>
mov    0x8(%rsp),%ecx
cmp    %ecx,%eax
jle    1230 <main+0x110>
cmp    %edx,%esi
jle    11f4 <main+0xd4>
cmp    %ecx,%esi
jle    11f4 <main+0xd4>
lea    0xe26(%rip),%rdi
call   1030 <printf@plt>
mov    0xc(%rsp),%edx
mov    0x14(%rsp),%esi
mov    0x8(%rsp),%ecx
cmp    %esi,%edx
jle    1216 <main+0xf6>
cmp    %ecx,%edx
jle    1216 <main+0xf6>
lea    0xe06(%rip),%rdi
mov    %edx,%esi
call   1030 <printf@plt>
mov    0x8(%rsp),%ecx
mov    0xc(%rsp),%edx
mov    0x14(%rsp),%esi
cmp    %edx,%ecx
jle    1230 <main+0x110>
cmp    %esi,%ecx
jle    1230 <main+0x110>
lea    0xde4(%rip),%rdi
mov    %ecx,%esi
call   1030 <printf@plt>
mov    0x14(%rsp),%esi
mov    0xc(%rsp),%edx
cmp    %esi,%edx
jle    12a4 <main+0x184>
mov    0x10(%rsp),%eax
cmp    %eax,%edx
jle    12a4 <main+0x184>
mov    0x8(%rsp),%ecx
cmp    %ecx,%edx
jle    12a4 <main+0x184>
cmp    %esi,%ecx
jle    126a <main+0x14a>
cmp    %eax,%ecx
jle    126a <main+0x14a>
lea    0xdb2(%rip),%rdi
mov    %ecx,%esi
call   1030 <printf@plt>
mov    0x14(%rsp),%esi
mov    0x10(%rsp),%eax
mov    0x8(%rsp),%ecx
cmp    %eax,%esi
jle    128a <main+0x16a>
cmp    %ecx,%esi
jle    128a <main+0x16a>
lea    0xd90(%rip),%rdi
call   1030 <printf@plt>
mov    0x10(%rsp),%eax
mov    0x14(%rsp),%esi
mov    0x8(%rsp),%ecx
cmp    %esi,%eax
jle    12a4 <main+0x184>
cmp    %ecx,%eax
jle    12a4 <main+0x184>
lea    0xd70(%rip),%rdi
mov    %eax,%esi
call   1030 <printf@plt>
mov    0x14(%rsp),%esi
mov    0x8(%rsp),%edx
cmp    %esi,%edx
jle    1314 <main+0x1f4>
mov    0x10(%rsp),%eax
cmp    %eax,%edx
jle    1314 <main+0x1f4>
mov    0xc(%rsp),%ecx
cmp    %ecx,%edx
jle    1314 <main+0x1f4>
cmp    %esi,%ecx
jle    12de <main+0x1be>
cmp    %eax,%ecx
jle    12de <main+0x1be>
lea    0xd3e(%rip),%rdi
mov    %ecx,%esi
call   1030 <printf@plt>
mov    0x14(%rsp),%esi
mov    0xc(%rsp),%ecx
mov    0x10(%rsp),%eax
cmp    %ecx,%esi
jle    12fe <main+0x1de>
cmp    %eax,%esi
jle    12fe <main+0x1de>
lea    0xd1c(%rip),%rdi
call   1030 <printf@plt>
mov    0x10(%rsp),%eax
mov    0x14(%rsp),%esi
mov    0xc(%rsp),%ecx
cmp    %esi,%eax
jle    1314 <main+0x1f4>
cmp    %ecx,%eax
jle    1314 <main+0x1f4>
lea    0xcfc(%rip),%rdi
mov    %eax,%esi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x18,%rsp
ret

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

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