#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 max(int *, int);
int /*<<< orphan*/ printf(char *, ...);
void sort(int *a, int maxline) {
  int i, j, l, k;
  int temp[10000];
  for (i = 0; i < maxline; i++) {
    printf("%d", a[i]);
    if (i != maxline - 1)
      printf(" ");
  }
  printf("\n");
  for (i = maxline - 1; i >= 0; i--) {
    l = max(a, i);
    if (i != l) {
      if (l != 0) {
        printf("%d ", maxline - l);
        k = 0;
        for (j = l; j >= 0; j--)
          temp[k++] = a[j];
        for (j = 0; j <= l; j++)
          a[j] = temp[j];
      }
      printf("%d ", maxline - i);
      k = 0;
      for (j = 0; j <= i; j++)
        temp[j] = a[j];
      for (j = i; j >= 0; j--)
        a[k++] = temp[j];
    }
  }
  printf("0\n");
}


x86 assembly (clang, -O0):
<sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x9c60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1190 <sort+0x70>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xea9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     117d <sort+0x5d>
lea    0xe8f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1182 <sort+0x62>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1139 <sort+0x19>
lea    0xe71(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     1312 <sort+0x1f2>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%esi
call   1040 <max@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     12ff <sort+0x1df>
cmpl   $0x0,-0x18(%rbp)
je     126a <sort+0x14a>
mov    -0xc(%rbp),%esi
sub    -0x18(%rbp),%esi
lea    0xe20(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     122e <sort+0x10e>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x1c(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
cltq
mov    %ecx,-0x9c60(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    11f7 <sort+0xd7>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1265 <sort+0x145>
movslq -0x14(%rbp),%rax
mov    -0x9c60(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1235 <sort+0x115>
jmp    126a <sort+0x14a>
mov    -0xc(%rbp),%esi
sub    -0x10(%rbp),%esi
lea    0xd8c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     12bc <sort+0x19c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x9c60(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    128c <sort+0x16c>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     12fa <sort+0x1da>
movslq -0x14(%rbp),%rax
mov    -0x9c60(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    12c2 <sort+0x1a2>
jmp    12ff <sort+0x1df>
jmp    1304 <sort+0x1e4>
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    11a7 <sort+0x87>
lea    0xcee(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x9c60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x9c88,%rsp
test   %esi,%esi
jle    14f8 <sort+0x3a8>
mov    %esi,%r12d
mov    %rdi,%rbx
lea    -0x1(%r12),%r15d
mov    %esi,%r13d
lea    0xe82(%rip),%r14
xor    %ebp,%ebp
jmp    1199 <sort+0x49>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rbp
cmp    %rbp,%r13
je     11b7 <sort+0x67>
mov    (%rbx,%rbp,4),%esi
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
cmp    %rbp,%r15
je     1190 <sort+0x40>
mov    $0x20,%edi
call   1030 <putchar@plt>
jmp    1190 <sort+0x40>
mov    %r13,0x10(%rsp)
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %r12,0x8(%rsp)
test   %r12d,%r12d
jle    1502 <sort+0x3b2>
mov    0x10(%rsp),%rax
lea    0x0(,%rax,4),%rcx
mov    %rcx,0x30(%rsp)
lea    -0xc(%rbx),%rcx
mov    %rcx,0x20(%rsp)
lea    0x34(%rsp,%r15,4),%r14
lea    0x30(%rbx),%rcx
mov    %rcx,0x28(%rsp)
lea    -0x8(%rax),%rcx
mov    %rcx,0x18(%rsp)
mov    %rax,(%rsp)
xor    %r13d,%r13d
jmp    122d <sort+0xdd>
nop
add    $0x1,%r13
add    $0xffffffffffffffff,%r15
add    $0xfffffffffffffffc,%r14
addq   $0xffffffffffffffff,0x18(%rsp)
cmp    0x10(%rsp),%r13
je     1502 <sort+0x3b2>
mov    (%rsp),%rbp
mov    %r13,%r12
mov    %r15,%r13
lea    -0x1(%rbp),%r15
mov    %rbx,%rdi
mov    %r15d,%esi
call   1060 <max@plt>
mov    %r15,(%rsp)
cmp    %r15d,%eax
mov    %r13,%r15
mov    %r12,%r13
je     1210 <sort+0xc0>
mov    %eax,%ecx
lea    0x0(,%r13,4),%rax
mov    0x30(%rsp),%r12
sub    %rax,%r12
test   %ecx,%ecx
je     13ad <sort+0x25d>
mov    0x8(%rsp),%rax
mov    %eax,%esi
sub    %ecx,%esi
lea    0xd84(%rip),%rdi
xor    %eax,%eax
mov    %r12,0x38(%rsp)
mov    %rcx,%r12
call   1050 <printf@plt>
mov    %r12,%r10
mov    0x38(%rsp),%r12
test   %r10d,%r10d
js     13ad <sort+0x25d>
mov    %r10d,%r8d
lea    0x1(%r10),%ecx
cmp    $0x7,%r10d
jae    12b6 <sort+0x166>
mov    %r8,%rax
xor    %edx,%edx
jmp    1376 <sort+0x226>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     14e7 <sort+0x397>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
mov    0x20(%rsp),%rax
lea    (%rax,%r8,4),%rax
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movdqu -0x10(%rax),%xmm0
movdqu (%rax),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x40(%rsp,%rdi,4)
movdqa %xmm0,0x50(%rsp,%rdi,4)
movdqu -0x30(%rax),%xmm0
movdqu -0x20(%rax),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x60(%rsp,%rdi,4)
movdqa %xmm0,0x70(%rsp,%rdi,4)
add    $0x10,%rdi
add    $0xffffffffffffffc0,%rax
add    $0xfffffffffffffffe,%rsi
jne    12f0 <sort+0x1a0>
test   $0x1,%r9b
je     136b <sort+0x21b>
mov    %r8,%rax
sub    %rdi,%rax
movdqu -0x1c(%rbx,%rax,4),%xmm0
movdqu -0xc(%rbx,%rax,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x40(%rsp,%rdi,4)
movdqa %xmm0,0x50(%rsp,%rdi,4)
cmp    %rcx,%rdx
je     1393 <sort+0x243>
mov    %r8,%rax
sub    %rdx,%rax
lea    (%rbx,%rax,4),%rax
nopw   0x0(%rax,%rax,1)
mov    (%rax),%esi
mov    %esi,0x40(%rsp,%rdx,4)
add    $0x1,%rdx
add    $0xfffffffffffffffc,%rax
cmp    %rdx,%rcx
jne    1380 <sort+0x230>
test   %r10d,%r10d
js     13ad <sort+0x25d>
lea    0x4(,%r8,4),%rdx
mov    %rbx,%rdi
lea    0x40(%rsp),%rsi
call   1070 <memcpy@plt>
mov    0x8(%rsp),%rax
mov    %eax,%esi
sub    (%rsp),%esi
lea    0xc45(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x40(%rsp),%rdi
mov    %rbx,%rsi
mov    %r12,%rdx
call   1070 <memcpy@plt>
cmp    $0x8,%rbp
jae    13f0 <sort+0x2a0>
mov    %r15,%rax
xor    %edx,%edx
jmp    14c4 <sort+0x374>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x8(%rbp),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
cmp    $0x8,%rcx
jae    1409 <sort+0x2b9>
xor    %ecx,%ecx
jmp    1483 <sort+0x333>
mov    0x18(%rsp),%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
and    $0xfffffffffffffffe,%rdx
mov    0x28(%rsp),%rsi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu -0x10(%r14,%rcx,4),%xmm0
movdqu (%r14,%rcx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,-0x30(%rsi)
movdqu %xmm0,-0x20(%rsi)
movdqu -0x30(%r14,%rcx,4),%xmm0
movdqu -0x20(%r14,%rcx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,-0x10(%rsi)
movdqu %xmm0,(%rsi)
add    $0xfffffffffffffff0,%rcx
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdx
jne    1430 <sort+0x2e0>
neg    %rcx
mov    %rbp,%rdx
and    $0xfffffffffffffff8,%rdx
test   $0x1,%al
je     14b5 <sort+0x365>
mov    %r15,%rax
sub    %rcx,%rax
movdqu 0x24(%rsp,%rax,4),%xmm0
movdqu 0x34(%rsp,%rax,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%rbx,%rcx,4)
movdqu %xmm0,0x10(%rbx,%rcx,4)
cmp    %rdx,%rbp
je     1210 <sort+0xc0>
mov    %r15,%rax
sub    %rdx,%rax
lea    (%rsp,%rax,4),%rax
add    $0x40,%rax
nopl   0x0(%rax)
mov    (%rax),%ecx
mov    %ecx,(%rbx,%rdx,4)
add    $0x1,%rdx
add    $0xfffffffffffffffc,%rax
cmp    %rdx,%rbp
jne    14d0 <sort+0x380>
jmp    1210 <sort+0xc0>
xor    %edi,%edi
test   $0x1,%r9b
jne    1343 <sort+0x1f3>
jmp    136b <sort+0x21b>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xafe(%rip),%rdi
add    $0x9c88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>

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

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.3 = [4 x i8] c"%d \00"
@str = [2 x i8] c"0\00"
define void @sort(i32* %0, i32 %1) {
%3 = bitcast i32* %0 to i8*
%4 = alloca [10000 x i32]
%5 = bitcast [10000 x i32]* %4 to i8*
%6 = icmp sgt i32 %1, 0
br i1 %6, label %9, label %7
7: ; preds = %2
%8 = tail call i32 @putchar(i32 10)
br label %223
9: ; preds = %2
%10 = add nsw i32 %1, -1
%11 = zext i32 %10 to i64
%12 = zext i32 %1 to i64
br label %13
13: ; preds = %9, %21
%14 = phi i64 [ 0, %9 ], [ %22, %21 ]
%15 = getelementptr inbounds i32, i32* %0, i64 %14
%16 = load i32, i32* %15
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %16)
%18 = icmp eq i64 %14, %11
br i1 %18, label %21, label %19
19: ; preds = %13
%20 = tail call i32 @putchar(i32 32)
br label %21
21: ; preds = %13, %19
%22 = add nuw nsw i64 %14, 1
%23 = icmp eq i64 %22, %12
br i1 %23, label %24, label %13
24: ; preds = %21
%25 = tail call i32 @putchar(i32 10)
br i1 %6, label %26, label %223
26: ; preds = %24
%27 = zext i32 %1 to i64
%28 = shl nuw nsw i64 %27, 2
%29 = add nsw i32 %1, -1
%30 = zext i32 %29 to i64
br label %31
31: ; preds = %26, %219
%32 = phi i64 [ %27, %26 ], [ %40, %219 ]
%33 = phi i64 [ %30, %26 ], [ %221, %219 ]
%34 = phi i64 [ 0, %26 ], [ %220, %219 ]
%35 = add i64 %32, -8
%36 = lshr i64 %35, 3
%37 = add nuw nsw i64 %36, 1
%38 = mul nsw i64 %34, -4
%39 = add nsw i64 %28, %38
%40 = add nsw i64 %32, -1
%41 = trunc i64 %40 to i32
%42 = tail call i32 @max(i32* %0, i32 %41)
%43 = icmp eq i32 %42, %41
br i1 %43, label %219, label %44
44: ; preds = %31
%45 = icmp eq i32 %42, 0
br i1 %45, label %141, label %46
46: ; preds = %44
%47 = sub nsw i32 %1, %42
%48 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %47)
%49 = icmp sgt i32 %42, -1
br i1 %49, label %50, label %141
50: ; preds = %46
%51 = zext i32 %42 to i64
%52 = add nuw i32 %42, 1
%53 = zext i32 %52 to i64
%54 = icmp ult i32 %42, 7
br i1 %54, label %123, label %55
55: ; preds = %50
%56 = and i64 %53, 4294967288
%57 = sub nsw i64 %51, %56
%58 = add nsw i64 %56, -8
%59 = lshr exact i64 %58, 3
%60 = add nuw nsw i64 %59, 1
%61 = and i64 %60, 1
%62 = icmp eq i64 %58, 0
br i1 %62, label %102, label %63
63: ; preds = %55
%64 = and i64 %60, 4611686018427387902
br label %65
65: ; preds = %65, %63
%66 = phi i64 [ 0, %63 ], [ %99, %65 ]
%67 = phi i64 [ 0, %63 ], [ %100, %65 ]
%68 = sub i64 %51, %66
%69 = getelementptr inbounds i32, i32* %0, i64 %68
%70 = getelementptr inbounds i32, i32* %69, i64 -3
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = shufflevector <4 x i32> %72, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%74 = getelementptr inbounds i32, i32* %69, i64 -4
%75 = getelementptr inbounds i32, i32* %74, i64 -3
%76 = bitcast i32* %75 to <4 x i32>*
%77 = load <4 x i32>, <4 x i32>* %76
%78 = shufflevector <4 x i32> %77, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%79 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %66
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> %73, <4 x i32>* %80
%81 = getelementptr inbounds i32, i32* %79, i64 4
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> %78, <4 x i32>* %82
%83 = or i64 %66, 8
%84 = sub i64 %51, %83
%85 = getelementptr inbounds i32, i32* %0, i64 %84
%86 = getelementptr inbounds i32, i32* %85, i64 -3
%87 = bitcast i32* %86 to <4 x i32>*
%88 = load <4 x i32>, <4 x i32>* %87
%89 = shufflevector <4 x i32> %88, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%90 = getelementptr inbounds i32, i32* %85, i64 -4
%91 = getelementptr inbounds i32, i32* %90, i64 -3
%92 = bitcast i32* %91 to <4 x i32>*
%93 = load <4 x i32>, <4 x i32>* %92
%94 = shufflevector <4 x i32> %93, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%95 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %83
%96 = bitcast i32* %95 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %96
%97 = getelementptr inbounds i32, i32* %95, i64 4
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> %94, <4 x i32>* %98
%99 = add nuw i64 %66, 16
%100 = add i64 %67, 2
%101 = icmp eq i64 %100, %64
br i1 %101, label %102, label %65
102: ; preds = %65, %55
%103 = phi i64 [ 0, %55 ], [ %99, %65 ]
%104 = icmp eq i64 %61, 0
br i1 %104, label %121, label %105
105: ; preds = %102
%106 = sub i64 %51, %103
%107 = getelementptr inbounds i32, i32* %0, i64 %106
%108 = getelementptr inbounds i32, i32* %107, i64 -3
%109 = bitcast i32* %108 to <4 x i32>*
%110 = load <4 x i32>, <4 x i32>* %109
%111 = shufflevector <4 x i32> %110, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%112 = getelementptr inbounds i32, i32* %107, i64 -4
%113 = getelementptr inbounds i32, i32* %112, i64 -3
%114 = bitcast i32* %113 to <4 x i32>*
%115 = load <4 x i32>, <4 x i32>* %114
%116 = shufflevector <4 x i32> %115, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%117 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %103
%118 = bitcast i32* %117 to <4 x i32>*
store <4 x i32> %111, <4 x i32>* %118
%119 = getelementptr inbounds i32, i32* %117, i64 4
%120 = bitcast i32* %119 to <4 x i32>*
store <4 x i32> %116, <4 x i32>* %120
br label %121
121: ; preds = %102, %105
%122 = icmp eq i64 %56, %53
br i1 %122, label %126, label %123
123: ; preds = %50, %121
%124 = phi i64 [ %51, %50 ], [ %57, %121 ]
%125 = phi i64 [ 0, %50 ], [ %56, %121 ]
br label %132
126: ; preds = %132, %121
%127 = icmp slt i32 %42, 0
br i1 %127, label %141, label %128
128: ; preds = %126
%129 = zext i32 %42 to i64
%130 = shl nuw nsw i64 %129, 2
%131 = add nuw nsw i64 %130, 4
br label %141
132: ; preds = %123, %132
%133 = phi i64 [ %139, %132 ], [ %124, %123 ]
%134 = phi i64 [ %137, %132 ], [ %125, %123 ]
%135 = getelementptr inbounds i32, i32* %0, i64 %133
%136 = load i32, i32* %135
%137 = add nuw nsw i64 %134, 1
%138 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %134
store i32 %136, i32* %138
%139 = add nsw i64 %133, -1
%140 = icmp eq i64 %137, %53
br i1 %140, label %126, label %132
141: ; preds = %46, %44, %126, %128
%142 = sub nsw i32 %1, %41
%143 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %142)
%144 = icmp ult i64 %32, 8
br i1 %144, label %207, label %145
145: ; preds = %141
%146 = and i64 %32, -8
%147 = sub i64 %33, %146
%148 = and i64 %37, 1
%149 = icmp ult i64 %35, 8
br i1 %149, label %187, label %150
150: ; preds = %145
%151 = and i64 %37, 4611686018427387902
br label %152
152: ; preds = %152, %150
%153 = phi i64 [ 0, %150 ], [ %184, %152 ]
%154 = phi i64 [ 0, %150 ], [ %185, %152 ]
%155 = sub i64 %33, %153
%156 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %155
%157 = getelementptr inbounds i32, i32* %156, i64 -3
%158 = bitcast i32* %157 to <4 x i32>*
%159 = load <4 x i32>, <4 x i32>* %158
%160 = shufflevector <4 x i32> %159, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%161 = getelementptr inbounds i32, i32* %156, i64 -7
%162 = bitcast i32* %161 to <4 x i32>*
%163 = load <4 x i32>, <4 x i32>* %162
%164 = shufflevector <4 x i32> %163, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%165 = getelementptr inbounds i32, i32* %0, i64 %153
%166 = bitcast i32* %165 to <4 x i32>*
store <4 x i32> %160, <4 x i32>* %166
%167 = getelementptr inbounds i32, i32* %165, i64 4
%168 = bitcast i32* %167 to <4 x i32>*
store <4 x i32> %164, <4 x i32>* %168
%169 = or i64 %153, 8
%170 = sub i64 %33, %169
%171 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %170
%172 = getelementptr inbounds i32, i32* %171, i64 -3
%173 = bitcast i32* %172 to <4 x i32>*
%174 = load <4 x i32>, <4 x i32>* %173
%175 = shufflevector <4 x i32> %174, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%176 = getelementptr inbounds i32, i32* %171, i64 -7
%177 = bitcast i32* %176 to <4 x i32>*
%178 = load <4 x i32>, <4 x i32>* %177
%179 = shufflevector <4 x i32> %178, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%180 = getelementptr inbounds i32, i32* %0, i64 %169
%181 = bitcast i32* %180 to <4 x i32>*
store <4 x i32> %175, <4 x i32>* %181
%182 = getelementptr inbounds i32, i32* %180, i64 4
%183 = bitcast i32* %182 to <4 x i32>*
store <4 x i32> %179, <4 x i32>* %183
%184 = add nuw i64 %153, 16
%185 = add i64 %154, 2
%186 = icmp eq i64 %185, %151
br i1 %186, label %187, label %152
187: ; preds = %152, %145
%188 = phi i64 [ 0, %145 ], [ %184, %152 ]
%189 = icmp eq i64 %148, 0
br i1 %189, label %205, label %190
190: ; preds = %187
%191 = sub i64 %33, %188
%192 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %191
%193 = getelementptr inbounds i32, i32* %192, i64 -3
%194 = bitcast i32* %193 to <4 x i32>*
%195 = load <4 x i32>, <4 x i32>* %194
%196 = shufflevector <4 x i32> %195, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%197 = getelementptr inbounds i32, i32* %192, i64 -7
%198 = bitcast i32* %197 to <4 x i32>*
%199 = load <4 x i32>, <4 x i32>* %198
%200 = shufflevector <4 x i32> %199, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%201 = getelementptr inbounds i32, i32* %0, i64 %188
%202 = bitcast i32* %201 to <4 x i32>*
store <4 x i32> %196, <4 x i32>* %202
%203 = getelementptr inbounds i32, i32* %201, i64 4
%204 = bitcast i32* %203 to <4 x i32>*
store <4 x i32> %200, <4 x i32>* %204
br label %205
205: ; preds = %187, %190
%206 = icmp eq i64 %32, %146
br i1 %206, label %219, label %207
207: ; preds = %141, %205
%208 = phi i64 [ %33, %141 ], [ %147, %205 ]
%209 = phi i64 [ 0, %141 ], [ %146, %205 ]
br label %210
210: ; preds = %207, %210
%211 = phi i64 [ %217, %210 ], [ %208, %207 ]
%212 = phi i64 [ %215, %210 ], [ %209, %207 ]
%213 = getelementptr inbounds [10000 x i32], [10000 x i32]* %4, i64 0, i64 %211
%214 = load i32, i32* %213
%215 = add nuw nsw i64 %212, 1
%216 = getelementptr inbounds i32, i32* %0, i64 %212
store i32 %214, i32* %216
%217 = add nsw i64 %211, -1
%218 = icmp eq i64 %215, %32
br i1 %218, label %219, label %210
219: ; preds = %210, %205, %31
%220 = add nuw nsw i64 %34, 1
%221 = add nsw i64 %33, -1
%222 = icmp eq i64 %220, %27
br i1 %222, label %223, label %31
223: ; preds = %219, %7, %24
%224 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0))
ret void
}