void mergesort(int *data, int *buffer, int left, int right) {
  int mid, posLeft, posRight, posBuffer, i;
  if (left + 1 == right) {
    return;
  }
  mid = (left + right) / 2;
  mergesort(data, buffer, left, mid);
  mergesort(data, buffer, mid, right);
  posLeft = left;
  posRight = mid;
  posBuffer = left;
  while (1) {
    if (data[posLeft] <= data[posRight]) {
      buffer[posBuffer++] = data[posLeft++];
      if (posLeft == mid) {
        while (posRight != right) {
          buffer[posBuffer++] = data[posRight++];
        }
        break;
      }
    } else {
      buffer[posBuffer++] = data[posRight++];
      if (posRight == right) {
        while (posLeft != mid) {
          buffer[posBuffer++] = data[posLeft++];
        }
        break;
      }
    }
  }
  for (i = left; i != right; ++i) {
    data[i] = buffer[i];
  }
}


x86 assembly (clang, -O0):
<mergesort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
cmp    -0x18(%rbp),%eax
jne    113a <mergesort+0x2a>
jmp    12da <mergesort+0x1ca>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <mergesort@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%ecx
call   1030 <mergesort@plt>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     121f <mergesort+0x10f>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x20(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    121a <mergesort+0x10a>
jmp    11da <mergesort+0xca>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     1215 <mergesort+0x105>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11da <mergesort+0xca>
jmp    12a4 <mergesort+0x194>
jmp    129f <mergesort+0x18f>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    129a <mergesort+0x18a>
jmp    125a <mergesort+0x14a>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1295 <mergesort+0x185>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x20(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    125a <mergesort+0x14a>
jmp    12a4 <mergesort+0x194>
jmp    129f <mergesort+0x18f>
jmp    1183 <mergesort+0x73>
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x18(%rbp),%eax
je     12da <mergesort+0x1ca>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12aa <mergesort+0x19a>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mergesort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %edx,%ebx
lea    0x1(%rbx),%eax
cmp    %ecx,%eax
je     167e <mergesort+0x56e>
mov    %ecx,%r13d
mov    %rsi,%r15
mov    %rdi,%r14
lea    (%rbx,%r13,1),%eax
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
mov    %ebx,%edx
mov    %ebp,%ecx
call   1030 <mergesort@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %ebp,%edx
mov    %r13d,%ecx
call   1030 <mergesort@plt>
movslq %ebx,%rax
mov    %r14,0x30(%rsp)
lea    (%r14,%rax,4),%r14
add    $0x30,%r14
mov    %ebx,%edx
not    %edx
mov    %rdx,0x38(%rsp)
add    %ebp,%edx
lea    -0x1(%r13),%ecx
mov    %ebx,%r11d
mov    %ebp,%esi
mov    %rbx,0x40(%rsp)
mov    %ebx,%r9d
mov    %r15,(%rsp)
mov    %r13,0x8(%rsp)
mov    %ecx,0x20(%rsp)
mov    %edx,0x14(%rsp)
mov    %r9d,%edi
movslq %r11d,%rdx
mov    %esi,0x24(%rsp)
movslq %esi,%rsi
mov    %ecx,%r8d
sub    %esi,%r8d
mov    %r13d,%ebx
sub    %esi,%ebx
mov    %rsi,0x28(%rsp)
mov    0x30(%rsp),%rcx
lea    (%rcx,%rsi,4),%r10
mov    %rdi,0x18(%rsp)
movslq %edi,%rdi
mov    %r11,%rsi
lea    (%r15,%rdi,4),%r11
xor    %r12d,%r12d
xor    %edi,%edi
mov    %rcx,%r9
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%r9,%rdx,4),%r15d
mov    (%r10,%rdi,4),%r13d
cmp    %r13d,%r15d
jle    1210 <mergesort+0x100>
mov    %r13d,(%r11,%rdi,4)
add    $0xffffffff,%r8d
add    $0x1,%rdi
add    $0xfffffffffffffffc,%r12
cmp    %edi,%ebx
jne    11e0 <mergesort+0xd0>
jmp    1347 <mergesort+0x237>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%esi
mov    0x18(%rsp),%rdx
lea    (%rdx,%rdi,1),%r9d
add    $0x1,%r9d
mov    %r15d,(%r11,%rdi,4)
mov    %rsi,%r11
add    $0x4,%r14
mov    0x14(%rsp),%edx
add    $0xffffffff,%edx
mov    0x24(%rsp),%esi
add    %edi,%esi
cmp    %ebp,%r11d
mov    (%rsp),%r15
mov    0x8(%rsp),%r13
mov    0x20(%rsp),%ecx
jne    1193 <mergesort+0x83>
cmp    %edi,%ebx
mov    0x30(%rsp),%r9
je     14d7 <mergesort+0x3c7>
mov    %r9,%r14
mov    0x28(%rsp),%rbp
lea    (%rdi,%rbp,1),%rcx
mov    0x18(%rsp),%edx
lea    (%rdx,%rdi,1),%r9
add    $0x1,%r9
movslq %r9d,%r13
mov    %ebp,%r11d
not    %r11d
add    0x8(%rsp),%r11d
sub    %rdi,%r11
cmp    $0x7,%r11d
jb     12ce <mergesort+0x1be>
sub    %r12,%r10
mov    (%rsp),%rdx
lea    (%rdx,%r13,4),%r15
mov    %r8d,%esi
lea    (%rsi,%rbp,1),%rdx
add    %rdi,%rdx
lea    (%r14,%rdx,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%r15
mov    (%rsp),%r15
jae    168d <mergesort+0x57d>
mov    %edi,%edx
not    %edx
add    %ebx,%edx
add    %r13,%rdx
lea    (%r15,%rdx,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%r10
jae    168d <mergesort+0x57d>
mov    %r14,%r9
mov    0x8(%rsp),%rdx
mov    %edx,%edi
sub    %ecx,%edi
mov    %ecx,%esi
not    %esi
add    %edx,%esi
and    $0x3,%edi
je     12fa <mergesort+0x1ea>
mov    (%r9,%rcx,4),%edx
add    $0x1,%rcx
mov    %edx,(%r15,%r13,4)
add    $0x1,%r13
add    $0xffffffff,%edi
jne    12e5 <mergesort+0x1d5>
cmp    $0x3,%esi
jb     14d7 <mergesort+0x3c7>
mov    0x8(%rsp),%rsi
sub    %ecx,%esi
lea    (%r9,%rcx,4),%rcx
add    $0xc,%rcx
lea    (%r15,%r13,4),%rdx
add    $0xc,%rdx
xor    %edi,%edi
mov    -0xc(%rcx,%rdi,4),%ebx
mov    %ebx,-0xc(%rdx,%rdi,4)
mov    -0x8(%rcx,%rdi,4),%ebx
mov    %ebx,-0x8(%rdx,%rdi,4)
mov    -0x4(%rcx,%rdi,4),%ebx
mov    %ebx,-0x4(%rdx,%rdi,4)
mov    (%rcx,%rdi,4),%ebx
mov    %ebx,(%rdx,%rdi,4)
add    $0x4,%rdi
cmp    %edi,%esi
jne    131c <mergesort+0x20c>
jmp    14d7 <mergesort+0x3c7>
mov    %rbp,%r11
cmp    %r11d,%esi
mov    (%rsp),%r15
je     14d7 <mergesort+0x3c7>
mov    %rsi,%r8
mov    0x18(%rsp),%esi
add    %rdi,%rsi
movslq %esi,%rsi
not    %r8d
add    %r11d,%r8d
cmp    $0x7,%r8d
jb     1465 <mergesort+0x355>
lea    (%r15,%rsi,4),%rdi
lea    (%rdx,%r8,1),%rbx
lea    (%r9,%rbx,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%rdi
jae    13a2 <mergesort+0x292>
lea    (%rsi,%r8,1),%rdi
lea    (%r15,%rdi,4),%rdi
add    $0x4,%rdi
lea    (%r9,%rdx,4),%rbx
cmp    %rdi,%rbx
jb     1465 <mergesort+0x355>
mov    %r9,%rcx
add    $0x1,%r8
mov    %r8,%r10
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdi
mov    %rdi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rdi,%rdi
je     1432 <mergesort+0x322>
mov    0x14(%rsp),%ebx
add    $0x1,%rbx
and    $0xfffffffffffffff8,%rbx
add    $0xfffffffffffffff8,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
and    $0xfffffffffffffffe,%rbx
mov    $0x8,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x30(%r14),%xmm0
movups -0x20(%r14),%xmm1
lea    (%rdi,%rsi,1),%rbp
movups %xmm0,-0x20(%r15,%rbp,4)
movups %xmm1,-0x10(%r15,%rbp,4)
movups -0x10(%r14),%xmm0
movups (%r14),%xmm1
movups %xmm0,(%r15,%rbp,4)
movups %xmm1,0x10(%r15,%rbp,4)
add    $0x40,%r14
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbx
jne    13f0 <mergesort+0x2e0>
add    $0xfffffffffffffff8,%rdi
jmp    1434 <mergesort+0x324>
xor    %edi,%edi
test   $0x1,%r9b
mov    %rcx,%r9
je     145a <mergesort+0x34a>
lea    (%rdi,%rdx,1),%rcx
add    %rsi,%rdi
movups (%r9,%rcx,4),%xmm0
movups 0x10(%r9,%rcx,4),%xmm1
movups %xmm0,(%r15,%rdi,4)
movups %xmm1,0x10(%r15,%rdi,4)
cmp    %r8,%r10
je     14d7 <mergesort+0x3c7>
add    %r8,%rdx
add    %r8,%rsi
mov    %r11d,%edi
sub    %edx,%edi
mov    %edx,%ecx
not    %ecx
add    %r11d,%ecx
and    $0x3,%edi
je     1495 <mergesort+0x385>
cs nopw 0x0(%rax,%rax,1)
mov    (%r9,%rdx,4),%ebp
add    $0x1,%rdx
mov    %ebp,(%r15,%rsi,4)
add    $0x1,%rsi
add    $0xffffffff,%edi
jne    1480 <mergesort+0x370>
cmp    $0x3,%ecx
jb     14d7 <mergesort+0x3c7>
sub    %edx,%r11d
lea    (%r9,%rdx,4),%rcx
add    $0xc,%rcx
lea    (%r15,%rsi,4),%rdx
add    $0xc,%rdx
xor    %esi,%esi
nop
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,%r11d
jne    14b0 <mergesort+0x3a0>
mov    %r9,%r10
mov    0x8(%rsp),%r9
cmp    %r9d,0x40(%rsp)
je     167e <mergesort+0x56e>
mov    0x38(%rsp),%rbp
add    %r9d,%ebp
cmp    $0x7,%ebp
jb     1613 <mergesort+0x503>
lea    (%r10,%rax,4),%rdx
lea    (%rax,%rbp,1),%rcx
lea    (%r15,%rcx,4),%rsi
add    $0x4,%rsi
cmp    %rsi,%rdx
jae    1528 <mergesort+0x418>
mov    %r10,%rdi
lea    (%r10,%rcx,4),%rcx
add    $0x4,%rcx
lea    (%r15,%rax,4),%rdx
cmp    %rcx,%rdx
jb     1613 <mergesort+0x503>
add    $0x1,%rbp
mov    %rbp,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x3,%edx
cmp    $0x18,%rcx
jae    1551 <mergesort+0x441>
xor    %edi,%edi
jmp    15c8 <mergesort+0x4b8>
and    $0xfffffffffffffffc,%rsi
lea    (%r10,%rax,4),%rbx
add    $0x70,%rbx
lea    (%r15,%rax,4),%rcx
add    $0x70,%rcx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movups -0x70(%rcx,%rdi,4),%xmm0
movups -0x60(%rcx,%rdi,4),%xmm1
movups %xmm0,-0x70(%rbx,%rdi,4)
movups %xmm1,-0x60(%rbx,%rdi,4)
movups -0x50(%rcx,%rdi,4),%xmm0
movups -0x40(%rcx,%rdi,4),%xmm1
movups %xmm0,-0x50(%rbx,%rdi,4)
movups %xmm1,-0x40(%rbx,%rdi,4)
movups -0x30(%rcx,%rdi,4),%xmm0
movups -0x20(%rcx,%rdi,4),%xmm1
movups %xmm0,-0x30(%rbx,%rdi,4)
movups %xmm1,-0x20(%rbx,%rdi,4)
movups -0x10(%rcx,%rdi,4),%xmm0
movups (%rcx,%rdi,4),%xmm1
movups %xmm0,-0x10(%rbx,%rdi,4)
movups %xmm1,(%rbx,%rdi,4)
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1570 <mergesort+0x460>
test   %rdx,%rdx
je     160b <mergesort+0x4fb>
add    %rax,%rdi
lea    (%r10,%rdi,4),%rcx
add    $0x10,%rcx
lea    (%r15,%rdi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%rsi,%rdi,1),%xmm0
movups (%rsi,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    15f0 <mergesort+0x4e0>
cmp    %r8,%rbp
je     167e <mergesort+0x56e>
add    %r8,%rax
mov    %r9d,%edx
sub    %eax,%edx
mov    %eax,%ecx
not    %ecx
add    %r9d,%ecx
and    $0x3,%edx
je     1641 <mergesort+0x531>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%r15,%rax,4),%esi
mov    %esi,(%r10,%rax,4)
add    $0x1,%rax
add    $0xffffffff,%edx
jne    1630 <mergesort+0x520>
cmp    $0x3,%ecx
jb     167e <mergesort+0x56e>
mov    %r9d,%ecx
nopl   0x0(%rax)
mov    (%r15,%rax,4),%edx
mov    %edx,(%r10,%rax,4)
mov    0x4(%r15,%rax,4),%edx
mov    %edx,0x4(%r10,%rax,4)
mov    0x8(%r15,%rax,4),%edx
mov    %edx,0x8(%r10,%rax,4)
mov    0xc(%r15,%rax,4),%edx
mov    %edx,0xc(%r10,%rax,4)
add    $0x4,%rax
cmp    %eax,%ecx
jne    1650 <mergesort+0x540>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r11d,%r11d
add    $0x1,%r11
mov    %r11,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r15
shr    $0x3,%r15
add    $0x1,%r15
test   %rcx,%rcx
je     171e <mergesort+0x60e>
add    $0xffffffff,%ebx
sub    %rdi,%rbx
add    $0x30,%r10
movslq %r9d,%rcx
mov    (%rsp),%rdx
lea    (%rdx,%rcx,4),%r9
add    $0x30,%r9
mov    %ebx,%ecx
add    $0x1,%rcx
and    $0xfffffffffffffff8,%rcx
add    $0xfffffffffffffff8,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %ebx,%ebx
movups -0x30(%r10),%xmm0
movups -0x20(%r10),%xmm1
movups %xmm0,-0x30(%r9,%rbx,4)
movups %xmm1,-0x20(%r9,%rbx,4)
movups -0x10(%r10),%xmm0
movups (%r10),%xmm1
movups %xmm0,-0x10(%r9,%rbx,4)
movups %xmm1,(%r9,%rbx,4)
add    $0x10,%rbx
add    $0x40,%r10
add    $0xfffffffffffffffe,%rcx
jne    16e4 <mergesort+0x5d4>
jmp    1720 <mergesort+0x610>
xor    %ebx,%ebx
test   $0x1,%r15b
mov    (%rsp),%r15
mov    %r14,%r9
je     174d <mergesort+0x63d>
lea    (%rbx,%rbp,1),%rcx
add    %rdi,%rcx
add    %r13,%rbx
movups (%r9,%rcx,4),%xmm0
movups 0x10(%r9,%rcx,4),%xmm1
movups %xmm0,(%r15,%rbx,4)
movups %xmm1,0x10(%r15,%rbx,4)
cmp    %r8,%r11
je     14d7 <mergesort+0x3c7>
add    $0x1,%rsi
and    $0xfffffffffffffff8,%rsi
mov    0x28(%rsp),%rcx
add    %rsi,%rcx
add    %rdi,%rcx
add    %r8,%r13
jmp    12d1 <mergesort+0x1c1>

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

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