void mergesort(int a[], int l, int r) {
  int b[1000001];
  int i, j, k, m;
  if (r > l) {
    m = (l + r) / 2;
    mergesort(a, l, m);
    mergesort(a, m + 1, r);
    for (i = m + 1; i > 1; i--)
      b[i - 1] = a[i - 1];
    for (j = m; j < r; j++)
      b[r + m - j] = a[j + 1];
    for (k = 1; k <= r; k++)
      a[k] = (b[i] < b[j]) ? b[i++] : b[j--];
  }
}


x86 assembly (clang, -O0):
<mergesort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x3d0940,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    12c8 <mergesort+0x1b8>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3d0930(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x3d0930(%rbp),%edx
call   1030 <mergesort@plt>
mov    -0x8(%rbp),%rdi
mov    -0x3d0930(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
call   1030 <mergesort@plt>
mov    -0x3d0930(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3d0924(%rbp)
cmpl   $0x1,-0x3d0924(%rbp)
jle    11c1 <mergesort+0xb1>
mov    -0x8(%rbp),%rax
mov    -0x3d0924(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x3d0924(%rbp),%eax
sub    $0x1,%eax
cltq
mov    %ecx,-0x3d0920(%rbp,%rax,4)
mov    -0x3d0924(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3d0924(%rbp)
jmp    117b <mergesort+0x6b>
mov    -0x3d0930(%rbp),%eax
mov    %eax,-0x3d0928(%rbp)
mov    -0x3d0928(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    121b <mergesort+0x10b>
mov    -0x8(%rbp),%rax
mov    -0x3d0928(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x10(%rbp),%eax
add    -0x3d0930(%rbp),%eax
sub    -0x3d0928(%rbp),%eax
cltq
mov    %ecx,-0x3d0920(%rbp,%rax,4)
mov    -0x3d0928(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3d0928(%rbp)
jmp    11cd <mergesort+0xbd>
movl   $0x1,-0x3d092c(%rbp)
mov    -0x3d092c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     12c3 <mergesort+0x1b3>
movslq -0x3d0924(%rbp),%rax
mov    -0x3d0920(%rbp,%rax,4),%eax
movslq -0x3d0928(%rbp),%rcx
cmp    -0x3d0920(%rbp,%rcx,4),%eax
jge    127b <mergesort+0x16b>
mov    -0x3d0924(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x3d0924(%rbp)
cltq
mov    -0x3d0920(%rbp,%rax,4),%eax
mov    %eax,-0x3d0934(%rbp)
jmp    129b <mergesort+0x18b>
mov    -0x3d0928(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x3d0928(%rbp)
cltq
mov    -0x3d0920(%rbp,%rax,4),%eax
mov    %eax,-0x3d0934(%rbp)
mov    -0x3d0934(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x3d092c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3d092c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3d092c(%rbp)
jmp    1225 <mergesort+0x115>
jmp    12c8 <mergesort+0x1b8>
add    $0x3d0940,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mergesort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x3d0908,%rsp
cmp    %esi,%edx
jle    12be <mergesort+0x19e>
mov    %edx,%r14d
mov    %rdi,%r15
lea    (%r14,%rsi,1),%ebp
mov    %ebp,%r12d
shr    $0x1f,%r12d
add    %ebp,%r12d
sar    %r12d
mov    %r12d,%edx
call   1040 <mergesort@plt>
lea    0x1(%r12),%ebx
mov    %r15,%rdi
mov    %ebx,%esi
mov    %r14d,%edx
call   1040 <mergesort@plt>
cmp    $0x2,%ebp
jl     119c <mergesort+0x7c>
mov    %r12d,%eax
cmp    $0x2,%ebx
mov    $0x2,%ebp
cmovl  %ebx,%ebp
sub    %ebp,%ebx
sub    %rbx,%rax
lea    (%rsp,%rax,4),%rdi
lea    (%r15,%rax,4),%rsi
lea    0x4(,%rbx,4),%rdx
call   1030 <memcpy@plt>
add    $0xffffffff,%ebp
mov    %ebp,%ebx
cmp    %r14d,%r12d
jge    1277 <mergesort+0x157>
lea    (%r12,%r14,1),%edx
movslq %r12d,%rax
movslq %r14d,%r11
mov    %r11,%r10
sub    %rax,%r10
cmp    $0x8,%r10
jae    12d0 <mergesort+0x1b0>
mov    %r14d,%ecx
sub    %eax,%ecx
mov    %rax,%rsi
not    %rsi
add    %r11,%rsi
and    $0x3,%rcx
je     11f8 <mergesort+0xd8>
sub    %eax,%edx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x4(%r15,%rax,4),%edi
add    $0x1,%rax
movslq %edx,%rdx
mov    %edi,(%rsp,%rdx,4)
add    $0xffffffff,%edx
add    $0xffffffffffffffff,%rcx
jne    11e0 <mergesort+0xc0>
mov    %r14d,%edi
cmp    $0x3,%rsi
jb     127a <mergesort+0x15a>
sub    %eax,%r12d
lea    -0x3(%r12),%edx
lea    -0x2(%r12),%esi
lea    -0x1(%r12),%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x4(%r15,%rax,4),%ecx
lea    (%r14,%r12,1),%ebp
movslq %ebp,%rbp
mov    %ecx,(%rsp,%rbp,4)
mov    0x8(%r15,%rax,4),%ecx
lea    (%r14,%rdi,1),%ebp
movslq %ebp,%rbp
mov    %ecx,(%rsp,%rbp,4)
mov    0xc(%r15,%rax,4),%ecx
lea    (%r14,%rsi,1),%ebp
movslq %ebp,%rbp
mov    %ecx,(%rsp,%rbp,4)
mov    0x10(%r15,%rax,4),%ecx
add    $0x4,%rax
lea    (%r14,%rdx,1),%ebp
movslq %ebp,%rbp
mov    %ecx,(%rsp,%rbp,4)
add    $0xfffffffc,%edx
add    $0xfffffffc,%esi
add    $0xfffffffc,%r12d
add    $0xfffffffc,%edi
cmp    %rax,%r11
jne    1220 <mergesort+0x100>
mov    %r14d,%edi
jmp    127a <mergesort+0x15a>
mov    %r12d,%edi
test   %r14d,%r14d
jle    12be <mergesort+0x19e>
add    $0x1,%r14d
mov    $0x1,%eax
nopl   0x0(%rax,%rax,1)
movslq %ebx,%rbx
mov    (%rsp,%rbx,4),%ecx
movslq %edi,%rdi
mov    (%rsp,%rdi,4),%edx
xor    %esi,%esi
xor    %ebp,%ebp
cmp    %edx,%ecx
setl   %sil
setge  %bpl
cmovl  %ecx,%edx
sub    %ebp,%edi
add    %esi,%ebx
mov    %edx,(%r15,%rax,4)
add    $0x1,%rax
cmp    %rax,%r14
jne    1290 <mergesort+0x170>
add    $0x3d0908,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rax,%rcx
not    %rcx
add    %r11,%rcx
mov    %r14d,%esi
sub    %ecx,%esi
cmp    %r14d,%esi
jg     11bf <mergesort+0x9f>
shr    $0x20,%rcx
jne    11bf <mergesort+0x9f>
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     13da <mergesort+0x2ba>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r15,%rax,4),%r13
add    $0x34,%r13
xor    %edi,%edi
mov    %r14d,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x30(%r13,%rdi,4),%xmm0
movdqu -0x20(%r13,%rdi,4),%xmm1
movslq %ecx,%rcx
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rsp,%rcx,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rsp,%rcx,4)
movdqu -0x10(%r13,%rdi,4),%xmm0
movdqu 0x0(%r13,%rdi,4),%xmm1
lea    -0x8(%rcx),%ebp
movslq %ebp,%rbp
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rsp,%rbp,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rsp,%rbp,4)
add    $0x10,%rdi
add    $0xfffffff0,%ecx
add    $0xfffffffffffffffe,%rsi
jne    1330 <mergesort+0x210>
test   $0x1,%r9b
je     13c6 <mergesort+0x2a6>
lea    (%rdi,%rax,1),%rcx
add    %r12d,%edi
movdqu 0x4(%r15,%rcx,4),%xmm0
movdqu 0x14(%r15,%rcx,4),%xmm1
mov    %edx,%ecx
sub    %edi,%ecx
movslq %ecx,%rcx
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm0,-0xc(%rsp,%rcx,4)
pshufd $0x1b,%xmm1,%xmm0
movdqu %xmm0,-0x1c(%rsp,%rcx,4)
mov    %r14d,%edi
cmp    %r8,%r10
je     127a <mergesort+0x15a>
add    %r8,%rax
jmp    11bf <mergesort+0x9f>
xor    %edi,%edi
test   $0x1,%r9b
jne    1394 <mergesort+0x274>
jmp    13c6 <mergesort+0x2a6>

LLVM IR (-O0):
define void @mergesort(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca [1000001 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%12 = load i32, i32* %6
%13 = load i32, i32* %5
%14 = icmp sgt i32 %12, %13
br i1 %14, label %15, label %106
15: ; preds = %3
%16 = load i32, i32* %5
%17 = load i32, i32* %6
%18 = add nsw i32 %16, %17
%19 = sdiv i32 %18, 2
store i32 %19, i32* %11
%20 = load i32*, i32** %4
%21 = load i32, i32* %5
%22 = load i32, i32* %11
%23 = load i32*, i32** %4
%24 = load i32, i32* %11
%25 = add nsw i32 %24, 1
%26 = load i32, i32* %6
%27 = load i32, i32* %11
%28 = add nsw i32 %27, 1
store i32 %28, i32* %8
br label %29
29: ; preds = %43, %15
%30 = load i32, i32* %8
%31 = icmp sgt i32 %30, 1
br i1 %31, label %32, label %46
32: ; preds = %29
%33 = load i32*, i32** %4
%34 = load i32, i32* %8
%35 = sub nsw i32 %34, 1
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %33, i64 %36
%38 = load i32, i32* %37
%39 = load i32, i32* %8
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %41
store i32 %38, i32* %42
br label %43
43: ; preds = %32
%44 = load i32, i32* %8
%45 = add nsw i32 %44, -1
store i32 %45, i32* %8
br label %29
46: ; preds = %29
%47 = load i32, i32* %11
store i32 %47, i32* %9
br label %48
48: ; preds = %66, %46
%49 = load i32, i32* %9
%50 = load i32, i32* %6
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %69
52: ; preds = %48
%53 = load i32*, i32** %4
%54 = load i32, i32* %9
%55 = add nsw i32 %54, 1
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %53, i64 %56
%58 = load i32, i32* %57
%59 = load i32, i32* %6
%60 = load i32, i32* %11
%61 = add nsw i32 %59, %60
%62 = load i32, i32* %9
%63 = sub nsw i32 %61, %62
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %64
store i32 %58, i32* %65
br label %66
66: ; preds = %52
%67 = load i32, i32* %9
%68 = add nsw i32 %67, 1
store i32 %68, i32* %9
br label %48
69: ; preds = %48
store i32 1, i32* %10
br label %70
70: ; preds = %102, %69
%71 = load i32, i32* %10
%72 = load i32, i32* %6
%73 = icmp sle i32 %71, %72
br i1 %73, label %74, label %105
74: ; preds = %70
%75 = load i32, i32* %8
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %76
%78 = load i32, i32* %77
%79 = load i32, i32* %9
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %80
%82 = load i32, i32* %81
%83 = icmp slt i32 %78, %82
br i1 %83, label %84, label %90
84: ; preds = %74
%85 = load i32, i32* %8
%86 = add nsw i32 %85, 1
store i32 %86, i32* %8
%87 = sext i32 %85 to i64
%88 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %87
%89 = load i32, i32* %88
br label %96
90: ; preds = %74
%91 = load i32, i32* %9
%92 = add nsw i32 %91, -1
store i32 %92, i32* %9
%93 = sext i32 %91 to i64
%94 = getelementptr inbounds [1000001 x i32], [1000001 x i32]* %7, i64 0, i64 %93
%95 = load i32, i32* %94
br label %96
96: ; preds = %90, %84
%97 = phi i32 [ %89, %84 ], [ %95, %90 ]
%98 = load i32*, i32** %4
%99 = load i32, i32* %10
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32, i32* %98, i64 %100
store i32 %97, i32* %101
br label %102
102: ; preds = %96
%103 = load i32, i32* %10
%104 = add nsw i32 %103, 1
store i32 %104, i32* %10
br label %70
105: ; preds = %70
br label %106
106: ; preds = %105, %3
ret void
}

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