#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 *, ...);
void merge(int v[], int s, int m, int f) {
  int s1 = 0, s2 = 0;
  int left[13] = {0}, right[13] = {0};
  int i = 0, j = 0, k = 0;
  s1 = m - s + 1;
  s2 = f - m;
  for (i = 0; i < s1; i++)
    left[i] = v[s + i];
  for (i = 0; i < s2; i++)
    right[i] = v[m + i + 1];
  left[s1] = right[s2] = INT_MAX;
  i = j = 0;
  for (k = s; k <= f; k++)
    if (left[i] <= right[j])
      v[k] = left[i++];
    else
      v[k] = right[j++];
  printf("\n\t[TEMP]The sorted elements are:\n\t\t");
  for (i = 0; i < 13; i++)
    printf(" %d", v[i]);
  printf("\n");
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
lea    -0x50(%rbp),%rdi
xor    %esi,%esi
mov    $0x34,%edx
call   1040 <memset@plt>
lea    -0x90(%rbp),%rdi
xor    %esi,%esi
mov    $0x34,%edx
call   1040 <memset@plt>
movl   $0x0,-0x94(%rbp)
movl   $0x0,-0x98(%rbp)
movl   $0x0,-0x9c(%rbp)
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x94(%rbp)
mov    -0x94(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11e7 <merge+0xc7>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x94(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x94(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    11a6 <merge+0x86>
movl   $0x0,-0x94(%rbp)
mov    -0x94(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1238 <merge+0x118>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    -0x94(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x94(%rbp),%rax
mov    %ecx,-0x90(%rbp,%rax,4)
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    11f1 <merge+0xd1>
mov    0x2da9(%rip),%rax
mov    (%rax),%ecx
movslq -0x1c(%rbp),%rax
mov    %ecx,-0x90(%rbp,%rax,4)
movslq -0x18(%rbp),%rax
mov    %ecx,-0x50(%rbp,%rax,4)
movl   $0x0,-0x98(%rbp)
movl   $0x0,-0x94(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     130a <merge+0x1ea>
movslq -0x94(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
movslq -0x98(%rbp),%rcx
cmp    -0x90(%rbp,%rcx,4),%eax
jg     12c9 <merge+0x1a9>
mov    -0x94(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x94(%rbp)
cltq
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x9c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f1 <merge+0x1d1>
mov    -0x98(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x98(%rbp)
cltq
mov    -0x90(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x9c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f6 <merge+0x1d6>
mov    -0x9c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x9c(%rbp)
jmp    1271 <merge+0x151>
lea    0xcef(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x94(%rbp)
cmpl   $0xd,-0x94(%rbp)
jge    135f <merge+0x23f>
mov    -0x8(%rbp),%rax
movslq -0x94(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xce0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    1322 <merge+0x202>
lea    0xcc2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %edx,%r11d
mov    %esi,%r12d
mov    %rdi,%r15
xorps  %xmm0,%xmm0
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x50(%rsp)
movl   $0x0,0x80(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movl   $0x0,0x40(%rsp)
mov    %edx,%eax
sub    %esi,%eax
lea    0x1(%rax),%ebp
mov    %ecx,%r14d
sub    %edx,%r14d
movslq %esi,%r13
test   %eax,%eax
js     11bc <merge+0x8c>
lea    (%r15,%r13,4),%rsi
lea    0x0(,%rbp,4),%rdx
lea    0x50(%rsp),%rdi
mov    %ecx,%ebx
mov    %r14d,0xc(%rsp)
mov    %r11,%r14
call   1050 <memcpy@plt>
mov    %r14,%r11
mov    0xc(%rsp),%r14d
mov    %ebx,%ecx
test   %r14d,%r14d
jle    1323 <merge+0x1f3>
mov    %r14d,%r9d
cmp    $0x8,%r14d
jae    1219 <merge+0xe9>
xor    %ebx,%ebx
mov    %rbx,%r8
not    %r8
add    %r9,%r8
mov    %r9,%rdi
and    $0x3,%rdi
je     12cf <merge+0x19f>
lea    0x1(%r11),%esi
nopw   0x0(%rax,%rax,1)
lea    0x1(%rbx),%rdx
lea    (%rsi,%rbx,1),%eax
cltq
mov    (%r15,%rax,4),%eax
mov    %eax,0x10(%rsp,%rbx,4)
mov    %rdx,%rbx
add    $0xffffffffffffffff,%rdi
jne    11f0 <merge+0xc0>
cmp    $0x3,%r8
jae    12d8 <merge+0x1a8>
jmp    1323 <merge+0x1f3>
lea    -0x1(%r9),%rdx
lea    0x1(%r11),%esi
lea    (%r11,%rdx,1),%edi
add    $0x1,%edi
xor    %ebx,%ebx
cmp    %esi,%edi
jl     11d0 <merge+0xa0>
shr    $0x20,%rdx
jne    11d0 <merge+0xa0>
mov    %r9d,%ebx
and    $0xfffffff8,%ebx
lea    -0x8(%rbx),%rdx
mov    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     14be <merge+0x38e>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
lea    0x9(%r11),%esi
xor    %edx,%edx
nop
lea    -0x8(%rsi),%eax
cltq
movups (%r15,%rax,4),%xmm0
movups 0x10(%r15,%rax,4),%xmm1
movaps %xmm0,0x10(%rsp,%rdx,4)
movaps %xmm1,0x20(%rsp,%rdx,4)
movslq %esi,%rsi
movups (%r15,%rsi,4),%xmm0
movups 0x10(%r15,%rsi,4),%xmm1
movaps %xmm0,0x30(%rsp,%rdx,4)
movaps %xmm1,0x40(%rsp,%rdx,4)
add    $0x10,%rdx
add    $0x10,%esi
add    $0xfffffffffffffffe,%rdi
jne    1260 <merge+0x130>
test   $0x1,%r8b
je     12c4 <merge+0x194>
mov    %edx,%eax
or     $0x1,%eax
add    %r11d,%eax
cltq
movups (%r15,%rax,4),%xmm0
movups 0x10(%r15,%rax,4),%xmm1
movaps %xmm0,0x10(%rsp,%rdx,4)
movaps %xmm1,0x20(%rsp,%rdx,4)
cmp    %r9,%rbx
jne    11d0 <merge+0xa0>
jmp    1323 <merge+0x1f3>
mov    %rbx,%rdx
cmp    $0x3,%r8
jb     1323 <merge+0x1f3>
mov    %r11d,%esi
nopl   0x0(%rax,%rax,1)
lea    (%rsi,%rdx,1),%eax
add    $0x1,%eax
cltq
mov    (%r15,%rax,4),%eax
mov    %eax,0x10(%rsp,%rdx,4)
lea    0x2(%rsi,%rdx,1),%eax
cltq
mov    (%r15,%rax,4),%eax
mov    %eax,0x14(%rsp,%rdx,4)
lea    0x3(%rsi,%rdx,1),%eax
cltq
mov    (%r15,%rax,4),%eax
mov    %eax,0x18(%rsp,%rdx,4)
lea    0x4(%rsi,%rdx,1),%eax
cltq
mov    (%r15,%rax,4),%eax
mov    %eax,0x1c(%rsp,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%r9
jne    12e0 <merge+0x1b0>
mov    0x2cbe(%rip),%rax
mov    (%rax),%eax
movslq %r14d,%rdx
mov    %eax,0x10(%rsp,%rdx,4)
movslq %ebp,%rdx
mov    %eax,0x50(%rsp,%rdx,4)
mov    %ecx,%r8d
sub    %r12d,%r8d
jl     13d9 <merge+0x2a9>
add    $0x1,%r8d
xor    %edx,%edx
cmp    %r12d,%ecx
jne    135b <merge+0x22b>
xor    %eax,%eax
test   $0x1,%r8b
jne    13c8 <merge+0x298>
jmp    13d9 <merge+0x2a9>
mov    %r8d,%ecx
and    $0xfffffffe,%ecx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %esi,%edi
mov    0x50(%rsp,%rdi,4),%eax
mov    %edx,%edi
mov    0x10(%rsp,%rdi,4),%ebp
xor    %edi,%edi
xor    %ebx,%ebx
cmp    %ebp,%eax
setg   %dil
setle  %bl
cmovg  %ebp,%eax
add    %esi,%ebx
add    %edx,%edi
mov    %eax,(%r15,%r13,4)
mov    0x50(%rsp,%rbx,4),%eax
mov    0x10(%rsp,%rdi,4),%ebp
xor    %edx,%edx
xor    %esi,%esi
cmp    %ebp,%eax
setg   %dl
setle  %sil
cmovg  %ebp,%eax
add    %ebx,%esi
add    %edi,%edx
mov    %eax,0x4(%r15,%r13,4)
add    $0x2,%r13
add    $0xfffffffe,%ecx
jne    1370 <merge+0x240>
mov    %esi,%eax
mov    %edx,%edx
test   $0x1,%r8b
je     13d9 <merge+0x2a9>
mov    0x50(%rsp,%rax,4),%eax
mov    0x10(%rsp,%rdx,4),%ecx
cmp    %ecx,%eax
cmovg  %ecx,%eax
mov    %eax,(%r15,%r13,4)
lea    0xc20(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15),%esi
lea    0xc33(%rip),%rbp
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x4(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x8(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0xc(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x10(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x14(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x18(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x1c(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x20(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x24(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x28(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x30(%r15),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0xa,%edi
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <putchar@plt>
xor    %edx,%edx
test   $0x1,%r8b
jne    12a5 <merge+0x175>
jmp    12c4 <merge+0x194>

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

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