#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 */
scalar_t__ malloc(int);
void mergesort(int *a, int start, int mid, int end, int size) {
  int i = start, begin = start, m = mid + 1, k, *b;
  b = (int *)malloc(sizeof(int) * size);
  while (start <= mid && m <= end) {
    if (a[start] < a[m]) {
      b[i] = a[start];
      start++;
      i++;
    } else {
      b[i] = a[m];
      m++;
      i++;
    }
  }
  if (m > end) {
    for (k = start; k <= mid; k++)
      b[i++] = a[k];
  } else {
    for (k = m; k <= end; k++)
      b[i++] = a[k];
  }
  for (i = begin; i <= end; i++) {
    a[i] = b[i];
  }
}


x86 assembly (clang, -O0):
<mergesort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movslq -0x18(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0xc(%rbp),%ecx
xor    %eax,%eax
cmp    -0x10(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     116e <mergesort+0x5e>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
setle  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    117e <mergesort+0x6e>
jmp    11f4 <mergesort+0xe4>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11c7 <mergesort+0xb7>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11ef <mergesort+0xdf>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1151 <mergesort+0x41>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1245 <mergesort+0x135>
mov    -0xc(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     1240 <mergesort+0x130>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%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    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1206 <mergesort+0xf6>
jmp    128a <mergesort+0x17a>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1285 <mergesort+0x175>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%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    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    124b <mergesort+0x13b>
jmp    128a <mergesort+0x17a>
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     12c0 <mergesort+0x1b0>
mov    -0x30(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1290 <mergesort+0x180>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mergesort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r14d
mov    %edx,%r12d
mov    %esi,%r15d
mov    %rdi,%r13
lea    0x1(%r12),%ebp
lea    0x0(,%r8,4),%edi
call   1030 <malloc@plt>
cmp    %r12d,%r15d
jg     131c <mergesort+0x20c>
cmp    %r14d,%r12d
jge    131c <mergesort+0x20c>
movslq %r15d,%rcx
lea    (%rax,%rcx,4),%rcx
mov    %r15d,%r8d
mov    %r15d,%edi
nopl   0x0(%rax,%rax,1)
movslq %edi,%rdi
mov    0x0(%r13,%rdi,4),%r9d
movslq %ebp,%rbp
mov    0x0(%r13,%rbp,4),%ebx
xor    %edx,%edx
xor    %esi,%esi
cmp    %ebx,%r9d
setl   %dl
setge  %sil
cmovl  %r9d,%ebx
add    %esi,%ebp
add    %edx,%edi
mov    %ebx,(%rcx)
add    $0x1,%r8d
cmp    %r12d,%edi
jg     119a <mergesort+0x8a>
add    $0x4,%rcx
cmp    %r14d,%ebp
jle    1160 <mergesort+0x50>
cmp    %r14d,%ebp
jle    132b <mergesort+0x21b>
cmp    %r12d,%edi
jg     1496 <mergesort+0x386>
movslq %edi,%rcx
movslq %r8d,%rdx
mov    %r12d,%r10d
sub    %edi,%r10d
cmp    $0x7,%r10d
jb     12a1 <mergesort+0x191>
lea    (%rax,%rdx,4),%rsi
lea    (%rcx,%r10,1),%rdi
lea    0x4(,%rdi,4),%rdi
add    %r13,%rdi
cmp    %rdi,%rsi
jae    11fa <mergesort+0xea>
lea    (%rdx,%r10,1),%rsi
lea    (%rax,%rsi,4),%rsi
add    $0x4,%rsi
lea    0x0(,%rcx,4),%rdi
add    %r13,%rdi
cmp    %rsi,%rdi
jb     12a1 <mergesort+0x191>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     166b <mergesort+0x55b>
mov    %r9,%rbp
and    $0xfffffffffffffffe,%rbp
lea    (%rax,%rdx,4),%rsi
add    $0x30,%rsi
lea    0x30(,%rcx,4),%rbx
add    %r13,%rbx
xor    %edi,%edi
nopl   0x0(%rax)
movups -0x30(%rbx,%rdi,4),%xmm0
movups -0x20(%rbx,%rdi,4),%xmm1
movups %xmm0,-0x30(%rsi,%rdi,4)
movups %xmm1,-0x20(%rsi,%rdi,4)
movups -0x10(%rbx,%rdi,4),%xmm0
movups (%rbx,%rdi,4),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,4)
movups %xmm1,(%rsi,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbp
jne    1240 <mergesort+0x130>
test   $0x1,%r9b
je     1292 <mergesort+0x182>
lea    (%rdi,%rdx,1),%rsi
add    %rcx,%rdi
movups 0x0(%r13,%rdi,4),%xmm0
movups 0x10(%r13,%rdi,4),%xmm1
movups %xmm0,(%rax,%rsi,4)
movups %xmm1,0x10(%rax,%rsi,4)
cmp    %r8,%r10
je     1496 <mergesort+0x386>
add    %r8,%rdx
add    %r8,%rcx
mov    %r12d,%esi
sub    %ecx,%esi
lea    0x1(%rsi),%edi
and    $0x3,%edi
je     12c5 <mergesort+0x1b5>
xchg   %ax,%ax
mov    0x0(%r13,%rcx,4),%ebp
mov    %ebp,(%rax,%rdx,4)
add    $0x1,%rdx
add    $0x1,%rcx
add    $0xffffffff,%edi
jne    12b0 <mergesort+0x1a0>
cmp    $0x3,%esi
jb     1496 <mergesort+0x386>
lea    (%rax,%rdx,4),%rdx
add    $0xc,%rdx
sub    %ecx,%r12d
add    $0x1,%r12d
lea    0xc(,%rcx,4),%rcx
add    %r13,%rcx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
mov    -0xc(%rcx,%rsi,4),%edi
mov    %edi,-0xc(%rdx,%rsi,4)
mov    -0x8(%rcx,%rsi,4),%edi
mov    %edi,-0x8(%rdx,%rsi,4)
mov    -0x4(%rcx,%rsi,4),%edi
mov    %edi,-0x4(%rdx,%rsi,4)
mov    (%rcx,%rsi,4),%edi
mov    %edi,(%rdx,%rsi,4)
add    $0x4,%rsi
cmp    %esi,%r12d
jne    12f0 <mergesort+0x1e0>
jmp    1496 <mergesort+0x386>
mov    %r15d,%r8d
mov    %r15d,%edi
cmp    %r14d,%ebp
jg     11a3 <mergesort+0x93>
movslq %ebp,%rcx
movslq %r8d,%rdx
mov    %r14d,%r10d
sub    %ebp,%r10d
cmp    $0x7,%r10d
jb     141d <mergesort+0x30d>
lea    (%rax,%rdx,4),%rsi
lea    (%rcx,%r10,1),%rdi
lea    0x4(,%rdi,4),%rdi
add    %r13,%rdi
cmp    %rdi,%rsi
jae    1379 <mergesort+0x269>
lea    (%rdx,%r10,1),%rsi
lea    (%rax,%rsi,4),%rsi
add    $0x4,%rsi
lea    0x0(,%rcx,4),%rdi
add    %r13,%rdi
cmp    %rsi,%rdi
jb     141d <mergesort+0x30d>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     165a <mergesort+0x54a>
mov    %r9,%rbp
and    $0xfffffffffffffffe,%rbp
lea    (%rax,%rdx,4),%rsi
add    $0x30,%rsi
lea    0x30(,%rcx,4),%rbx
add    %r13,%rbx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movups -0x30(%rbx,%rdi,4),%xmm0
movups -0x20(%rbx,%rdi,4),%xmm1
movups %xmm0,-0x30(%rsi,%rdi,4)
movups %xmm1,-0x20(%rsi,%rdi,4)
movups -0x10(%rbx,%rdi,4),%xmm0
movups (%rbx,%rdi,4),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,4)
movups %xmm1,(%rsi,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbp
jne    13c0 <mergesort+0x2b0>
test   $0x1,%r9b
je     1412 <mergesort+0x302>
lea    (%rdi,%rdx,1),%rsi
add    %rcx,%rdi
movups 0x0(%r13,%rdi,4),%xmm0
movups 0x10(%r13,%rdi,4),%xmm1
movups %xmm0,(%rax,%rsi,4)
movups %xmm1,0x10(%rax,%rsi,4)
cmp    %r8,%r10
je     1496 <mergesort+0x386>
add    %r8,%rdx
add    %r8,%rcx
mov    %r14d,%esi
sub    %ecx,%esi
lea    0x1(%rsi),%edi
and    $0x3,%edi
je     1445 <mergesort+0x335>
nopw   0x0(%rax,%rax,1)
mov    0x0(%r13,%rcx,4),%ebp
mov    %ebp,(%rax,%rdx,4)
add    $0x1,%rdx
add    $0x1,%rcx
add    $0xffffffff,%edi
jne    1430 <mergesort+0x320>
cmp    $0x3,%esi
jb     1496 <mergesort+0x386>
lea    (%rax,%rdx,4),%rdx
add    $0xc,%rdx
mov    %r14d,%esi
sub    %ecx,%esi
add    $0x1,%esi
lea    0xc(,%rcx,4),%rcx
add    %r13,%rcx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
mov    -0xc(%rcx,%rdi,4),%ebp
mov    %ebp,-0xc(%rdx,%rdi,4)
mov    -0x8(%rcx,%rdi,4),%ebp
mov    %ebp,-0x8(%rdx,%rdi,4)
mov    -0x4(%rcx,%rdi,4),%ebp
mov    %ebp,-0x4(%rdx,%rdi,4)
mov    (%rcx,%rdi,4),%ebp
mov    %ebp,(%rdx,%rdi,4)
add    $0x4,%rdi
cmp    %edi,%esi
jne    1470 <mergesort+0x360>
mov    %r14d,%r10d
sub    %r15d,%r10d
jl     164b <mergesort+0x53b>
movslq %r15d,%rcx
cmp    $0x7,%r10d
jb     15e3 <mergesort+0x4d3>
lea    0x0(,%rcx,4),%rsi
add    %r13,%rsi
lea    (%r10,%rcx,1),%rdx
lea    (%rax,%rdx,4),%rdi
add    $0x4,%rdi
cmp    %rdi,%rsi
jae    14e3 <mergesort+0x3d3>
lea    0x4(,%rdx,4),%rdx
add    %r13,%rdx
lea    (%rax,%rcx,4),%rsi
cmp    %rdx,%rsi
jb     15e3 <mergesort+0x4d3>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdx
mov    %rdx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x18,%rdx
jae    1511 <mergesort+0x401>
xor    %esi,%esi
jmp    1599 <mergesort+0x489>
movabs $0x3ffffffffffffffe,%rdx
ff ff 3f
add    $0xfffffffffffffffe,%rdx
and    %rdx,%rdi
lea    0x70(,%rcx,4),%rbp
add    %r13,%rbp
lea    (%rax,%rcx,4),%rdx
add    $0x70,%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x70(%rdx,%rsi,4),%xmm0
movups -0x60(%rdx,%rsi,4),%xmm1
movups %xmm0,-0x70(%rbp,%rsi,4)
movups %xmm1,-0x60(%rbp,%rsi,4)
movups -0x50(%rdx,%rsi,4),%xmm0
movups -0x40(%rdx,%rsi,4),%xmm1
movups %xmm0,-0x50(%rbp,%rsi,4)
movups %xmm1,-0x40(%rbp,%rsi,4)
movups -0x30(%rdx,%rsi,4),%xmm0
movups -0x20(%rdx,%rsi,4),%xmm1
movups %xmm0,-0x30(%rbp,%rsi,4)
movups %xmm1,-0x20(%rbp,%rsi,4)
movups -0x10(%rdx,%rsi,4),%xmm0
movups (%rdx,%rsi,4),%xmm1
movups %xmm0,-0x10(%rbp,%rsi,4)
movups %xmm1,0x0(%rbp,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1540 <mergesort+0x430>
test   %r9,%r9
je     15db <mergesort+0x4cb>
add    %rcx,%rsi
lea    0x10(,%rsi,4),%rdx
add    %r13,%rdx
lea    (%rax,%rsi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%r9
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rsi,%rdi,1),%xmm0
movups (%rsi,%rdi,1),%xmm1
movups %xmm0,-0x10(%rdx,%rdi,1)
movups %xmm1,(%rdx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    15c0 <mergesort+0x4b0>
cmp    %r8,%r10
je     164b <mergesort+0x53b>
add    %r8,%rcx
lea    0x1(%r14),%edx
mov    %edx,%esi
sub    %ecx,%esi
sub    %ecx,%r14d
and    $0x3,%esi
je     1611 <mergesort+0x501>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rax,%rcx,4),%edi
mov    %edi,0x0(%r13,%rcx,4)
add    $0x1,%rcx
add    $0xffffffff,%esi
jne    1600 <mergesort+0x4f0>
cmp    $0x3,%r14d
jb     164b <mergesort+0x53b>
mov    %edx,%edx
nopl   0x0(%rax)
mov    (%rax,%rcx,4),%esi
mov    %esi,0x0(%r13,%rcx,4)
mov    0x4(%rax,%rcx,4),%esi
mov    %esi,0x4(%r13,%rcx,4)
mov    0x8(%rax,%rcx,4),%esi
mov    %esi,0x8(%r13,%rcx,4)
mov    0xc(%rax,%rcx,4),%esi
mov    %esi,0xc(%r13,%rcx,4)
add    $0x4,%rcx
cmp    %ecx,%edx
jne    1620 <mergesort+0x510>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    13f6 <mergesort+0x2e6>
jmp    1412 <mergesort+0x302>
xor    %edi,%edi
test   $0x1,%r9b
jne    1276 <mergesort+0x166>
jmp    1292 <mergesort+0x182>

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

LLVM IR (-O2):
define void @mergesort(i32* nocapture %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = add i32 %2, 1
%7 = shl i32 %4, 2
%8 = tail call i64 @malloc(i32 %7)
%9 = inttoptr i64 %8 to i32*
%10 = icmp sle i32 %1, %2
%11 = icmp slt i32 %2, %3
%12 = and i1 %10, %11
br i1 %12, label %13, label %39
13: ; preds = %5
%14 = sext i32 %1 to i64
br label %15
15: ; preds = %13, %15
%16 = phi i64 [ %14, %13 ], [ %33, %15 ]
%17 = phi i32 [ %1, %13 ], [ %31, %15 ]
%18 = phi i32 [ %6, %13 ], [ %29, %15 ]
%19 = sext i32 %17 to i64
%20 = getelementptr inbounds i32, i32* %0, i64 %19
%21 = load i32, i32* %20
%22 = sext i32 %18 to i64
%23 = getelementptr inbounds i32, i32* %0, i64 %22
%24 = load i32, i32* %23
%25 = icmp slt i32 %21, %24
%26 = select i1 %25, i32 %21, i32 %24
%27 = xor i1 %25, true
%28 = zext i1 %27 to i32
%29 = add nsw i32 %18, %28
%30 = zext i1 %25 to i32
%31 = add nsw i32 %17, %30
%32 = getelementptr inbounds i32, i32* %9, i64 %16
store i32 %26, i32* %32
%33 = add i64 %16, 1
%34 = icmp sle i32 %31, %2
%35 = icmp sle i32 %29, %3
%36 = select i1 %34, i1 %35, i1 false
br i1 %36, label %15, label %37
37: ; preds = %15
%38 = trunc i64 %33 to i32
br label %39
39: ; preds = %37, %5
%40 = phi i32 [ %1, %5 ], [ %38, %37 ]
%41 = phi i32 [ %6, %5 ], [ %29, %37 ]
%42 = phi i32 [ %1, %5 ], [ %31, %37 ]
%43 = icmp sgt i32 %41, %3
br i1 %43, label %150, label %44
44: ; preds = %39
%45 = sext i32 %41 to i64
%46 = sext i32 %40 to i64
%47 = add i32 %3, 1
%48 = sub i32 %3, %41
%49 = zext i32 %48 to i64
%50 = add nuw nsw i64 %49, 1
%51 = icmp ult i32 %48, 7
br i1 %51, label %126, label %52
52: ; preds = %44
%53 = getelementptr i32, i32* %9, i64 %46
%54 = sub i32 %3, %41
%55 = zext i32 %54 to i64
%56 = add nsw i64 %46, %55
%57 = add nsw i64 %56, 1
%58 = getelementptr i32, i32* %9, i64 %57
%59 = getelementptr i32, i32* %0, i64 %45
%60 = add nsw i64 %45, %55
%61 = add nsw i64 %60, 1
%62 = getelementptr i32, i32* %0, i64 %61
%63 = icmp ult i32* %53, %62
%64 = icmp ult i32* %59, %58
%65 = and i1 %63, %64
br i1 %65, label %126, label %66
66: ; preds = %52
%67 = and i64 %50, 8589934584
%68 = add nsw i64 %67, %46
%69 = add nsw i64 %67, %45
%70 = add nsw i64 %67, -8
%71 = lshr exact i64 %70, 3
%72 = add nuw nsw i64 %71, 1
%73 = and i64 %72, 1
%74 = icmp eq i64 %70, 0
br i1 %74, label %108, label %75
75: ; preds = %66
%76 = and i64 %72, 4611686018427387902
br label %77
77: ; preds = %77, %75
%78 = phi i64 [ 0, %75 ], [ %105, %77 ]
%79 = phi i64 [ 0, %75 ], [ %106, %77 ]
%80 = add i64 %78, %46
%81 = add i64 %78, %45
%82 = getelementptr inbounds i32, i32* %0, i64 %81
%83 = bitcast i32* %82 to <4 x i32>*
%84 = load <4 x i32>, <4 x i32>* %83
%85 = getelementptr inbounds i32, i32* %82, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = getelementptr inbounds i32, i32* %9, i64 %80
%89 = bitcast i32* %88 to <4 x i32>*
store <4 x i32> %84, <4 x i32>* %89
%90 = getelementptr inbounds i32, i32* %88, i64 4
%91 = bitcast i32* %90 to <4 x i32>*
store <4 x i32> %87, <4 x i32>* %91
%92 = or i64 %78, 8
%93 = add i64 %92, %46
%94 = add i64 %92, %45
%95 = getelementptr inbounds i32, i32* %0, i64 %94
%96 = bitcast i32* %95 to <4 x i32>*
%97 = load <4 x i32>, <4 x i32>* %96
%98 = getelementptr inbounds i32, i32* %95, i64 4
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = getelementptr inbounds i32, i32* %9, i64 %93
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> %97, <4 x i32>* %102
%103 = getelementptr inbounds i32, i32* %101, i64 4
%104 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> %100, <4 x i32>* %104
%105 = add nuw i64 %78, 16
%106 = add i64 %79, 2
%107 = icmp eq i64 %106, %76
br i1 %107, label %108, label %77
108: ; preds = %77, %66
%109 = phi i64 [ 0, %66 ], [ %105, %77 ]
%110 = icmp eq i64 %73, 0
br i1 %110, label %124, label %111
111: ; preds = %108
%112 = add i64 %109, %46
%113 = add i64 %109, %45
%114 = getelementptr inbounds i32, i32* %0, i64 %113
%115 = bitcast i32* %114 to <4 x i32>*
%116 = load <4 x i32>, <4 x i32>* %115
%117 = getelementptr inbounds i32, i32* %114, i64 4
%118 = bitcast i32* %117 to <4 x i32>*
%119 = load <4 x i32>, <4 x i32>* %118
%120 = getelementptr inbounds i32, i32* %9, i64 %112
%121 = bitcast i32* %120 to <4 x i32>*
store <4 x i32> %116, <4 x i32>* %121
%122 = getelementptr inbounds i32, i32* %120, i64 4
%123 = bitcast i32* %122 to <4 x i32>*
store <4 x i32> %119, <4 x i32>* %123
br label %124
124: ; preds = %108, %111
%125 = icmp eq i64 %50, %67
br i1 %125, label %307, label %126
126: ; preds = %52, %44, %124
%127 = phi i64 [ %46, %52 ], [ %46, %44 ], [ %68, %124 ]
%128 = phi i64 [ %45, %52 ], [ %45, %44 ], [ %69, %124 ]
%129 = add i32 %3, 1
%130 = trunc i64 %128 to i32
%131 = sub i32 %129, %130
%132 = sub i32 %3, %130
%133 = and i32 %131, 3
%134 = icmp eq i32 %133, 0
br i1 %134, label %146, label %135
135: ; preds = %126, %135
%136 = phi i64 [ %141, %135 ], [ %127, %126 ]
%137 = phi i64 [ %143, %135 ], [ %128, %126 ]
%138 = phi i32 [ %144, %135 ], [ 0, %126 ]
%139 = getelementptr inbounds i32, i32* %0, i64 %137
%140 = load i32, i32* %139
%141 = add nsw i64 %136, 1
%142 = getelementptr inbounds i32, i32* %9, i64 %136
store i32 %140, i32* %142
%143 = add nsw i64 %137, 1
%144 = add i32 %138, 1
%145 = icmp eq i32 %144, %133
br i1 %145, label %146, label %135
146: ; preds = %135, %126
%147 = phi i64 [ %127, %126 ], [ %141, %135 ]
%148 = phi i64 [ %128, %126 ], [ %143, %135 ]
%149 = icmp ult i32 %132, 3
br i1 %149, label %307, label %282
150: ; preds = %39
%151 = icmp sgt i32 %42, %2
br i1 %151, label %307, label %152
152: ; preds = %150
%153 = sext i32 %42 to i64
%154 = sext i32 %40 to i64
%155 = sub i32 %2, %42
%156 = zext i32 %155 to i64
%157 = add nuw nsw i64 %156, 1
%158 = icmp ult i32 %155, 7
br i1 %158, label %233, label %159
159: ; preds = %152
%160 = getelementptr i32, i32* %9, i64 %154
%161 = sub i32 %2, %42
%162 = zext i32 %161 to i64
%163 = add nsw i64 %154, %162
%164 = add nsw i64 %163, 1
%165 = getelementptr i32, i32* %9, i64 %164
%166 = getelementptr i32, i32* %0, i64 %153
%167 = add nsw i64 %153, %162
%168 = add nsw i64 %167, 1
%169 = getelementptr i32, i32* %0, i64 %168
%170 = icmp ult i32* %160, %169
%171 = icmp ult i32* %166, %165
%172 = and i1 %170, %171
br i1 %172, label %233, label %173
173: ; preds = %159
%174 = and i64 %157, 8589934584
%175 = add nsw i64 %174, %154
%176 = add nsw i64 %174, %153
%177 = add nsw i64 %174, -8
%178 = lshr exact i64 %177, 3
%179 = add nuw nsw i64 %178, 1
%180 = and i64 %179, 1
%181 = icmp eq i64 %177, 0
br i1 %181, label %215, label %182
182: ; preds = %173
%183 = and i64 %179, 4611686018427387902
br label %184
184: ; preds = %184, %182
%185 = phi i64 [ 0, %182 ], [ %212, %184 ]
%186 = phi i64 [ 0, %182 ], [ %213, %184 ]
%187 = add i64 %185, %154
%188 = add i64 %185, %153
%189 = getelementptr inbounds i32, i32* %0, i64 %188
%190 = bitcast i32* %189 to <4 x i32>*
%191 = load <4 x i32>, <4 x i32>* %190
%192 = getelementptr inbounds i32, i32* %189, i64 4
%193 = bitcast i32* %192 to <4 x i32>*
%194 = load <4 x i32>, <4 x i32>* %193
%195 = getelementptr inbounds i32, i32* %9, i64 %187
%196 = bitcast i32* %195 to <4 x i32>*
store <4 x i32> %191, <4 x i32>* %196
%197 = getelementptr inbounds i32, i32* %195, i64 4
%198 = bitcast i32* %197 to <4 x i32>*
store <4 x i32> %194, <4 x i32>* %198
%199 = or i64 %185, 8
%200 = add i64 %199, %154
%201 = add i64 %199, %153
%202 = getelementptr inbounds i32, i32* %0, i64 %201
%203 = bitcast i32* %202 to <4 x i32>*
%204 = load <4 x i32>, <4 x i32>* %203
%205 = getelementptr inbounds i32, i32* %202, i64 4
%206 = bitcast i32* %205 to <4 x i32>*
%207 = load <4 x i32>, <4 x i32>* %206
%208 = getelementptr inbounds i32, i32* %9, i64 %200
%209 = bitcast i32* %208 to <4 x i32>*
store <4 x i32> %204, <4 x i32>* %209
%210 = getelementptr inbounds i32, i32* %208, i64 4
%211 = bitcast i32* %210 to <4 x i32>*
store <4 x i32> %207, <4 x i32>* %211
%212 = add nuw i64 %185, 16
%213 = add i64 %186, 2
%214 = icmp eq i64 %213, %183
br i1 %214, label %215, label %184
215: ; preds = %184, %173
%216 = phi i64 [ 0, %173 ], [ %212, %184 ]
%217 = icmp eq i64 %180, 0
br i1 %217, label %231, label %218
218: ; preds = %215
%219 = add i64 %216, %154
%220 = add i64 %216, %153
%221 = getelementptr inbounds i32, i32* %0, i64 %220
%222 = bitcast i32* %221 to <4 x i32>*
%223 = load <4 x i32>, <4 x i32>* %222
%224 = getelementptr inbounds i32, i32* %221, i64 4
%225 = bitcast i32* %224 to <4 x i32>*
%226 = load <4 x i32>, <4 x i32>* %225
%227 = getelementptr inbounds i32, i32* %9, i64 %219
%228 = bitcast i32* %227 to <4 x i32>*
store <4 x i32> %223, <4 x i32>* %228
%229 = getelementptr inbounds i32, i32* %227, i64 4
%230 = bitcast i32* %229 to <4 x i32>*
store <4 x i32> %226, <4 x i32>* %230
br label %231
231: ; preds = %215, %218
%232 = icmp eq i64 %157, %174
br i1 %232, label %307, label %233
233: ; preds = %159, %152, %231
%234 = phi i64 [ %154, %159 ], [ %154, %152 ], [ %175, %231 ]
%235 = phi i64 [ %153, %159 ], [ %153, %152 ], [ %176, %231 ]
%236 = add i32 %2, 1
%237 = trunc i64 %235 to i32
%238 = sub i32 %236, %237
%239 = sub i32 %2, %237
%240 = and i32 %238, 3
%241 = icmp eq i32 %240, 0
br i1 %241, label %253, label %242
242: ; preds = %233, %242
%243 = phi i64 [ %248, %242 ], [ %234, %233 ]
%244 = phi i64 [ %250, %242 ], [ %235, %233 ]
%245 = phi i32 [ %251, %242 ], [ 0, %233 ]
%246 = getelementptr inbounds i32, i32* %0, i64 %244
%247 = load i32, i32* %246
%248 = add nsw i64 %243, 1
%249 = getelementptr inbounds i32, i32* %9, i64 %243
store i32 %247, i32* %249
%250 = add nsw i64 %244, 1
%251 = add i32 %245, 1
%252 = icmp eq i32 %251, %240
br i1 %252, label %253, label %242
253: ; preds = %242, %233
%254 = phi i64 [ %234, %233 ], [ %248, %242 ]
%255 = phi i64 [ %235, %233 ], [ %250, %242 ]
%256 = icmp ult i32 %239, 3
br i1 %256, label %307, label %257
257: ; preds = %253, %257
%258 = phi i64 [ %277, %257 ], [ %254, %253 ]
%259 = phi i64 [ %279, %257 ], [ %255, %253 ]
%260 = getelementptr inbounds i32, i32* %0, i64 %259
%261 = load i32, i32* %260
%262 = add nsw i64 %258, 1
%263 = getelementptr inbounds i32, i32* %9, i64 %258
store i32 %261, i32* %263
%264 = add nsw i64 %259, 1
%265 = getelementptr inbounds i32, i32* %0, i64 %264
%266 = load i32, i32* %265
%267 = add nsw i64 %258, 2
%268 = getelementptr inbounds i32, i32* %9, i64 %262
store i32 %266, i32* %268
%269 = add nsw i64 %259, 2
%270 = getelementptr inbounds i32, i32* %0, i64 %269
%271 = load i32, i32* %270
%272 = add nsw i64 %258, 3
%273 = getelementptr inbounds i32, i32* %9, i64 %267
store i32 %271, i32* %273
%274 = add nsw i64 %259, 3
%275 = getelementptr inbounds i32, i32* %0, i64 %274
%276 = load i32, i32* %275
%277 = add nsw i64 %258, 4
%278 = getelementptr inbounds i32, i32* %9, i64 %272
store i32 %276, i32* %278
%279 = add nsw i64 %259, 4
%280 = trunc i64 %279 to i32
%281 = icmp eq i32 %6, %280
br i1 %281, label %307, label %257
282: ; preds = %146, %282
%283 = phi i64 [ %302, %282 ], [ %147, %146 ]
%284 = phi i64 [ %304, %282 ], [ %148, %146 ]
%285 = getelementptr inbounds i32, i32* %0, i64 %284
%286 = load i32, i32* %285
%287 = add nsw i64 %283, 1
%288 = getelementptr inbounds i32, i32* %9, i64 %283
store i32 %286, i32* %288
%289 = add nsw i64 %284, 1
%290 = getelementptr inbounds i32, i32* %0, i64 %289
%291 = load i32, i32* %290
%292 = add nsw i64 %283, 2
%293 = getelementptr inbounds i32, i32* %9, i64 %287
store i32 %291, i32* %293
%294 = add nsw i64 %284, 2
%295 = getelementptr inbounds i32, i32* %0, i64 %294
%296 = load i32, i32* %295
%297 = add nsw i64 %283, 3
%298 = getelementptr inbounds i32, i32* %9, i64 %292
store i32 %296, i32* %298
%299 = add nsw i64 %284, 3
%300 = getelementptr inbounds i32, i32* %0, i64 %299
%301 = load i32, i32* %300
%302 = add nsw i64 %283, 4
%303 = getelementptr inbounds i32, i32* %9, i64 %297
store i32 %301, i32* %303
%304 = add nsw i64 %284, 4
%305 = trunc i64 %304 to i32
%306 = icmp eq i32 %47, %305
br i1 %306, label %307, label %282
307: ; preds = %146, %282, %253, %257, %124, %231, %150
%308 = icmp slt i32 %3, %1
br i1 %308, label %453, label %309
309: ; preds = %307
%310 = sext i32 %1 to i64
%311 = add i32 %3, 1
%312 = sub i32 %3, %1
%313 = zext i32 %312 to i64
%314 = add nuw nsw i64 %313, 1
%315 = icmp ult i32 %312, 7
br i1 %315, label %413, label %316
316: ; preds = %309
%317 = getelementptr i32, i32* %0, i64 %310
%318 = sub i32 %3, %1
%319 = zext i32 %318 to i64
%320 = add nsw i64 %310, %319
%321 = add nsw i64 %320, 1
%322 = getelementptr i32, i32* %0, i64 %321
%323 = getelementptr i32, i32* %9, i64 %310
%324 = getelementptr i32, i32* %9, i64 %321
%325 = icmp ult i32* %317, %324
%326 = icmp ult i32* %323, %322
%327 = and i1 %325, %326
br i1 %327, label %413, label %328
328: ; preds = %316
%329 = and i64 %314, 8589934584
%330 = add nsw i64 %329, %310
%331 = add nsw i64 %329, -8
%332 = lshr exact i64 %331, 3
%333 = add nuw nsw i64 %332, 1
%334 = and i64 %333, 3
%335 = icmp ult i64 %331, 24
br i1 %335, label %391, label %336
336: ; preds = %328
%337 = and i64 %333, 4611686018427387900
br label %338
338: ; preds = %338, %336
%339 = phi i64 [ 0, %336 ], [ %388, %338 ]
%340 = phi i64 [ 0, %336 ], [ %389, %338 ]
%341 = add i64 %339, %310
%342 = getelementptr inbounds i32, i32* %9, i64 %341
%343 = bitcast i32* %342 to <4 x i32>*
%344 = load <4 x i32>, <4 x i32>* %343
%345 = getelementptr inbounds i32, i32* %342, i64 4
%346 = bitcast i32* %345 to <4 x i32>*
%347 = load <4 x i32>, <4 x i32>* %346
%348 = getelementptr inbounds i32, i32* %0, i64 %341
%349 = bitcast i32* %348 to <4 x i32>*
store <4 x i32> %344, <4 x i32>* %349
%350 = getelementptr inbounds i32, i32* %348, i64 4
%351 = bitcast i32* %350 to <4 x i32>*
store <4 x i32> %347, <4 x i32>* %351
%352 = or i64 %339, 8
%353 = add i64 %352, %310
%354 = getelementptr inbounds i32, i32* %9, i64 %353
%355 = bitcast i32* %354 to <4 x i32>*
%356 = load <4 x i32>, <4 x i32>* %355
%357 = getelementptr inbounds i32, i32* %354, i64 4
%358 = bitcast i32* %357 to <4 x i32>*
%359 = load <4 x i32>, <4 x i32>* %358
%360 = getelementptr inbounds i32, i32* %0, i64 %353
%361 = bitcast i32* %360 to <4 x i32>*
store <4 x i32> %356, <4 x i32>* %361
%362 = getelementptr inbounds i32, i32* %360, i64 4
%363 = bitcast i32* %362 to <4 x i32>*
store <4 x i32> %359, <4 x i32>* %363
%364 = or i64 %339, 16
%365 = add i64 %364, %310
%366 = getelementptr inbounds i32, i32* %9, i64 %365
%367 = bitcast i32* %366 to <4 x i32>*
%368 = load <4 x i32>, <4 x i32>* %367
%369 = getelementptr inbounds i32, i32* %366, i64 4
%370 = bitcast i32* %369 to <4 x i32>*
%371 = load <4 x i32>, <4 x i32>* %370
%372 = getelementptr inbounds i32, i32* %0, i64 %365
%373 = bitcast i32* %372 to <4 x i32>*
store <4 x i32> %368, <4 x i32>* %373
%374 = getelementptr inbounds i32, i32* %372, i64 4
%375 = bitcast i32* %374 to <4 x i32>*
store <4 x i32> %371, <4 x i32>* %375
%376 = or i64 %339, 24
%377 = add i64 %376, %310
%378 = getelementptr inbounds i32, i32* %9, i64 %377
%379 = bitcast i32* %378 to <4 x i32>*
%380 = load <4 x i32>, <4 x i32>* %379
%381 = getelementptr inbounds i32, i32* %378, i64 4
%382 = bitcast i32* %381 to <4 x i32>*
%383 = load <4 x i32>, <4 x i32>* %382
%384 = getelementptr inbounds i32, i32* %0, i64 %377
%385 = bitcast i32* %384 to <4 x i32>*
store <4 x i32> %380, <4 x i32>* %385
%386 = getelementptr inbounds i32, i32* %384, i64 4
%387 = bitcast i32* %386 to <4 x i32>*
store <4 x i32> %383, <4 x i32>* %387
%388 = add nuw i64 %339, 32
%389 = add i64 %340, 4
%390 = icmp eq i64 %389, %337
br i1 %390, label %391, label %338
391: ; preds = %338, %328
%392 = phi i64 [ 0, %328 ], [ %388, %338 ]
%393 = icmp eq i64 %334, 0
br i1 %393, label %411, label %394
394: ; preds = %391, %394
%395 = phi i64 [ %408, %394 ], [ %392, %391 ]
%396 = phi i64 [ %409, %394 ], [ 0, %391 ]
%397 = add i64 %395, %310
%398 = getelementptr inbounds i32, i32* %9, i64 %397
%399 = bitcast i32* %398 to <4 x i32>*
%400 = load <4 x i32>, <4 x i32>* %399
%401 = getelementptr inbounds i32, i32* %398, i64 4
%402 = bitcast i32* %401 to <4 x i32>*
%403 = load <4 x i32>, <4 x i32>* %402
%404 = getelementptr inbounds i32, i32* %0, i64 %397
%405 = bitcast i32* %404 to <4 x i32>*
store <4 x i32> %400, <4 x i32>* %405
%406 = getelementptr inbounds i32, i32* %404, i64 4
%407 = bitcast i32* %406 to <4 x i32>*
store <4 x i32> %403, <4 x i32>* %407
%408 = add nuw i64 %395, 8
%409 = add i64 %396, 1
%410 = icmp eq i64 %409, %334
br i1 %410, label %411, label %394
411: ; preds = %394, %391
%412 = icmp eq i64 %314, %329
br i1 %412, label %453, label %413
413: ; preds = %316, %309, %411
%414 = phi i64 [ %310, %316 ], [ %310, %309 ], [ %330, %411 ]
%415 = add i32 %3, 1
%416 = trunc i64 %414 to i32
%417 = sub i32 %415, %416
%418 = sub i32 %3, %416
%419 = and i32 %417, 3
%420 = icmp eq i32 %419, 0
br i1 %420, label %430, label %421
421: ; preds = %413, %421
%422 = phi i64 [ %427, %421 ], [ %414, %413 ]
%423 = phi i32 [ %428, %421 ], [ 0, %413 ]
%424 = getelementptr inbounds i32, i32* %9, i64 %422
%425 = load i32, i32* %424
%426 = getelementptr inbounds i32, i32* %0, i64 %422
store i32 %425, i32* %426
%427 = add nsw i64 %422, 1
%428 = add i32 %423, 1
%429 = icmp eq i32 %428, %419
br i1 %429, label %430, label %421
430: ; preds = %421, %413
%431 = phi i64 [ %414, %413 ], [ %427, %421 ]
%432 = icmp ult i32 %418, 3
br i1 %432, label %453, label %433
433: ; preds = %430, %433
%434 = phi i64 [ %450, %433 ], [ %431, %430 ]
%435 = getelementptr inbounds i32, i32* %9, i64 %434
%436 = load i32, i32* %435
%437 = getelementptr inbounds i32, i32* %0, i64 %434
store i32 %436, i32* %437
%438 = add nsw i64 %434, 1
%439 = getelementptr inbounds i32, i32* %9, i64 %438
%440 = load i32, i32* %439
%441 = getelementptr inbounds i32, i32* %0, i64 %438
store i32 %440, i32* %441
%442 = add nsw i64 %434, 2
%443 = getelementptr inbounds i32, i32* %9, i64 %442
%444 = load i32, i32* %443
%445 = getelementptr inbounds i32, i32* %0, i64 %442
store i32 %444, i32* %445
%446 = add nsw i64 %434, 3
%447 = getelementptr inbounds i32, i32* %9, i64 %446
%448 = load i32, i32* %447
%449 = getelementptr inbounds i32, i32* %0, i64 %446
store i32 %448, i32* %449
%450 = add nsw i64 %434, 4
%451 = trunc i64 %450 to i32
%452 = icmp eq i32 %311, %451
br i1 %452, label %453, label %433
453: ; preds = %430, %433, %411, %307
ret void
}