#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 /*<<< orphan*/ assert(int);
void merge(const int size1, const int size2, const int *const from1,
           const int *const from2, int *const to) {
  assert(size1 >= 0 && size2 >= 0);
  int i = 0, j = 0, k;
  for (k = 0; i < size1 && j < size2; k++) {
    if (from1[i] < from2[j]) {
      to[k] = from1[i++];
    } else {
      to[k] = from2[j++];
    }
  }
  while (i < size1) {
    to[k++] = from1[i++];
  }
  while (j < size2) {
    to[k++] = from2[j++];
  }
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0x2d(%rbp)
jl     1143 <merge+0x33>
cmpl   $0x0,-0x8(%rbp)
setge  %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x4(%rbp),%ecx
mov    %al,-0x2e(%rbp)
jge    1182 <merge+0x72>
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
setl   %al
mov    %al,-0x2e(%rbp)
mov    -0x2e(%rbp),%al
test   $0x1,%al
jne    1192 <merge+0x82>
jmp    1206 <merge+0xf6>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11d3 <merge+0xc3>
mov    -0x10(%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    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11f3 <merge+0xe3>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11f8 <merge+0xe8>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1165 <merge+0x55>
jmp    120b <merge+0xfb>
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1246 <merge+0x136>
mov    -0x10(%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    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    120b <merge+0xfb>
jmp    124b <merge+0x13b>
mov    -0x28(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1286 <merge+0x176>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x2c(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    124b <merge+0x13b>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8,%r15
mov    %rcx,(%rsp)
mov    %rdx,%r12
mov    %esi,%r13d
mov    %edi,%r14d
mov    %esi,%edi
or     %r14d,%edi
not    %edi
shr    $0x1f,%edi
call   1030 <assert@plt>
xor    %edx,%edx
test   %r14d,%r14d
jle    130c <merge+0x1fc>
mov    $0x0,%ecx
mov    $0x0,%eax
test   %r13d,%r13d
mov    (%rsp),%r9
jle    1195 <merge+0x85>
xor    %eax,%eax
xor    %ecx,%ecx
xor    %edx,%edx
xchg   %ax,%ax
mov    %edx,%esi
mov    %ecx,%edi
mov    %edx,%ecx
mov    (%r12,%rcx,4),%ebp
mov    %edi,%ecx
mov    (%r9,%rcx,4),%ebx
xor    %ecx,%ecx
xor    %edx,%edx
cmp    %ebx,%ebp
setge  %cl
setl   %dl
cmovl  %ebp,%ebx
add    %esi,%edx
add    %edi,%ecx
mov    %ebx,(%r15,%rax,4)
add    $0x1,%rax
cmp    %r14d,%edx
jge    1195 <merge+0x85>
cmp    %r13d,%ecx
jl     1160 <merge+0x50>
cmp    %r14d,%edx
jge    131d <merge+0x20d>
mov    %eax,%eax
movslq %edx,%rsi
movslq %r14d,%r11
mov    %r11,%r10
sub    %rsi,%r10
cmp    $0x8,%r10
jb     128b <merge+0x17b>
lea    (%r15,%rax,4),%rdx
lea    (%r12,%r11,4),%rdi
cmp    %rdi,%rdx
jae    11db <merge+0xcb>
lea    (%r11,%rax,1),%rdx
sub    %rsi,%rdx
lea    (%r15,%rdx,4),%rdx
lea    (%r12,%rsi,4),%rdi
cmp    %rdx,%rdi
jb     128b <merge+0x17b>
mov    %r10,%rbx
and    $0xfffffffffffffff8,%rbx
lea    -0x8(%rbx),%rdx
mov    %rdx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rdx,%rdx
je     13d3 <merge+0x2c3>
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%r12,%rsi,4),%rbp
add    $0x30,%rbp
lea    (%r15,%rax,4),%r8
add    $0x30,%r8
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%rbp,%rdi,4),%xmm0
movups -0x20(%rbp,%rdi,4),%xmm1
movups %xmm0,-0x30(%r8,%rdi,4)
movups %xmm1,-0x20(%r8,%rdi,4)
movups -0x10(%rbp,%rdi,4),%xmm0
movups 0x0(%rbp,%rdi,4),%xmm1
movups %xmm0,-0x10(%r8,%rdi,4)
movups %xmm1,(%r8,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rdx
jne    1220 <merge+0x110>
test   $0x1,%r9b
je     1278 <merge+0x168>
lea    (%rdi,%rsi,1),%rdx
add    %rax,%rdi
movups (%r12,%rdx,4),%xmm0
movups 0x10(%r12,%rdx,4),%xmm1
movups %xmm0,(%r15,%rdi,4)
movups %xmm1,0x10(%r15,%rdi,4)
add    %rbx,%rax
cmp    %rbx,%r10
mov    (%rsp),%r9
je     131d <merge+0x20d>
add    %rbx,%rsi
sub    %esi,%r14d
mov    %rsi,%rdi
not    %rdi
add    %r11,%rdi
and    $0x3,%r14
je     12b6 <merge+0x1a6>
nopl   (%rax)
mov    (%r12,%rsi,4),%edx
add    $0x1,%rsi
mov    %edx,(%r15,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%r14
jne    12a0 <merge+0x190>
cmp    $0x3,%rdi
jb     131d <merge+0x20d>
sub    %rsi,%r11
lea    (%r12,%rsi,4),%rsi
add    $0xc,%rsi
lea    (%r15,%rax,4),%rdi
add    $0xc,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    -0xc(%rsi,%rdx,4),%ebp
mov    %ebp,-0xc(%rdi,%rdx,4)
mov    -0x8(%rsi,%rdx,4),%ebp
mov    %ebp,-0x8(%rdi,%rdx,4)
mov    -0x4(%rsi,%rdx,4),%ebp
mov    %ebp,-0x4(%rdi,%rdx,4)
mov    (%rsi,%rdx,4),%ebp
mov    %ebp,(%rdi,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%r11
jne    12e0 <merge+0x1d0>
add    %rdx,%rax
jmp    131d <merge+0x20d>
xor    %ecx,%ecx
xor    %eax,%eax
mov    (%rsp),%r9
cmp    %r14d,%edx
jl     119e <merge+0x8e>
cmp    %r13d,%ecx
jge    1497 <merge+0x387>
mov    %eax,%edx
movslq %ecx,%rcx
movslq %r13d,%rax
mov    %rax,%r10
sub    %rcx,%r10
cmp    $0x8,%r10
jb     141c <merge+0x30c>
lea    (%r15,%rdx,4),%rsi
lea    (%r9,%rax,4),%rdi
cmp    %rdi,%rsi
jae    1363 <merge+0x253>
lea    (%rax,%rdx,1),%rsi
sub    %rcx,%rsi
lea    (%r15,%rsi,4),%rsi
lea    (%r9,%rcx,4),%rdi
cmp    %rsi,%rdi
jb     141c <merge+0x30c>
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     13e4 <merge+0x2d4>
mov    %r9,%rbx
and    $0xfffffffffffffffe,%rbx
mov    (%rsp),%rsi
lea    (%rsi,%rcx,4),%rbp
add    $0x30,%rbp
lea    (%r15,%rdx,4),%rsi
add    $0x30,%rsi
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movups -0x30(%rbp,%rdi,4),%xmm0
movups -0x20(%rbp,%rdi,4),%xmm1
movups %xmm0,-0x30(%rsi,%rdi,4)
movups %xmm1,-0x20(%rsi,%rdi,4)
movups -0x10(%rbp,%rdi,4),%xmm0
movups 0x0(%rbp,%rdi,4),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,4)
movups %xmm1,(%rsi,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbx
jne    13a0 <merge+0x290>
jmp    13e6 <merge+0x2d6>
xor    %edi,%edi
test   $0x1,%r9b
jne    125b <merge+0x14b>
jmp    1278 <merge+0x168>
xor    %edi,%edi
test   $0x1,%r9b
mov    (%rsp),%r9
je     140d <merge+0x2fd>
lea    (%rdi,%rcx,1),%rsi
add    %rdx,%rdi
movups (%r9,%rsi,4),%xmm0
movups 0x10(%r9,%rsi,4),%xmm1
movups %xmm0,(%r15,%rdi,4)
movups %xmm1,0x10(%r15,%rdi,4)
cmp    %r8,%r10
je     1497 <merge+0x387>
add    %r8,%rcx
add    %r8,%rdx
sub    %ecx,%r13d
mov    %rcx,%rsi
not    %rsi
add    %rax,%rsi
and    $0x3,%r13
je     1446 <merge+0x336>
xchg   %ax,%ax
mov    (%r9,%rcx,4),%edi
add    $0x1,%rcx
mov    %edi,(%r15,%rdx,4)
add    $0x1,%rdx
add    $0xffffffffffffffff,%r13
jne    1430 <merge+0x320>
cmp    $0x3,%rsi
jb     1497 <merge+0x387>
sub    %rcx,%rax
lea    (%r9,%rcx,4),%rcx
add    $0xc,%rcx
lea    (%r15,%rdx,4),%rdx
add    $0xc,%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   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    %rsi,%rax
jne    1470 <merge+0x360>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @merge(i32 %0, i32 %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture writeonly %4) {
%6 = or i32 %1, %0
%7 = xor i32 %6, -1
%8 = lshr i32 %7, 31
%9 = tail call i32 @assert(i32 %8)
%10 = icmp sgt i32 %0, 0
%11 = icmp sgt i32 %1, 0
%12 = and i1 %10, %11
br i1 %12, label %120, label %15
13: ; preds = %120
%14 = trunc i64 %138 to i32
br label %15
15: ; preds = %13, %5
%16 = phi i32 [ 0, %5 ], [ %133, %13 ]
%17 = phi i32 [ 0, %5 ], [ %136, %13 ]
%18 = phi i32 [ 0, %5 ], [ %14, %13 ]
%19 = icmp slt i32 %16, %0
br i1 %19, label %20, label %145
20: ; preds = %15
%21 = zext i32 %18 to i64
%22 = sext i32 %16 to i64
%23 = sext i32 %0 to i64
%24 = sub nsw i64 %23, %22
%25 = icmp ult i64 %24, 8
br i1 %25, label %96, label %26
26: ; preds = %20
%27 = getelementptr i32, i32* %4, i64 %21
%28 = add nsw i64 %23, %21
%29 = sub nsw i64 %28, %22
%30 = getelementptr i32, i32* %4, i64 %29
%31 = getelementptr i32, i32* %2, i64 %22
%32 = getelementptr i32, i32* %2, i64 %23
%33 = icmp ult i32* %27, %32
%34 = icmp ult i32* %31, %30
%35 = and i1 %33, %34
br i1 %35, label %96, label %36
36: ; preds = %26
%37 = and i64 %24, -8
%38 = add nsw i64 %37, %22
%39 = add nsw i64 %37, %21
%40 = add nsw i64 %37, -8
%41 = lshr exact i64 %40, 3
%42 = add nuw nsw i64 %41, 1
%43 = and i64 %42, 1
%44 = icmp eq i64 %40, 0
br i1 %44, label %78, label %45
45: ; preds = %36
%46 = and i64 %42, 4611686018427387902
br label %47
47: ; preds = %47, %45
%48 = phi i64 [ 0, %45 ], [ %75, %47 ]
%49 = phi i64 [ 0, %45 ], [ %76, %47 ]
%50 = add i64 %48, %22
%51 = add i64 %48, %21
%52 = getelementptr inbounds i32, i32* %2, i64 %50
%53 = bitcast i32* %52 to <4 x i32>*
%54 = load <4 x i32>, <4 x i32>* %53
%55 = getelementptr inbounds i32, i32* %52, i64 4
%56 = bitcast i32* %55 to <4 x i32>*
%57 = load <4 x i32>, <4 x i32>* %56
%58 = getelementptr inbounds i32, i32* %4, i64 %51
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> %54, <4 x i32>* %59
%60 = getelementptr inbounds i32, i32* %58, i64 4
%61 = bitcast i32* %60 to <4 x i32>*
store <4 x i32> %57, <4 x i32>* %61
%62 = or i64 %48, 8
%63 = add i64 %62, %22
%64 = add i64 %62, %21
%65 = getelementptr inbounds i32, i32* %2, i64 %63
%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 i32, i32* %4, i64 %64
%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 %48, 16
%76 = add i64 %49, 2
%77 = icmp eq i64 %76, %46
br i1 %77, label %78, label %47
78: ; preds = %47, %36
%79 = phi i64 [ 0, %36 ], [ %75, %47 ]
%80 = icmp eq i64 %43, 0
br i1 %80, label %94, label %81
81: ; preds = %78
%82 = add i64 %79, %22
%83 = add i64 %79, %21
%84 = getelementptr inbounds i32, i32* %2, i64 %82
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = getelementptr inbounds i32, i32* %84, i64 4
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = getelementptr inbounds i32, i32* %4, i64 %83
%91 = bitcast i32* %90 to <4 x i32>*
store <4 x i32> %86, <4 x i32>* %91
%92 = getelementptr inbounds i32, i32* %90, i64 4
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %93
br label %94
94: ; preds = %78, %81
%95 = icmp eq i64 %24, %37
br i1 %95, label %142, label %96
96: ; preds = %26, %20, %94
%97 = phi i64 [ %22, %26 ], [ %22, %20 ], [ %38, %94 ]
%98 = phi i64 [ %21, %26 ], [ %21, %20 ], [ %39, %94 ]
%99 = sub nsw i64 %23, %97
%100 = xor i64 %97, -1
%101 = add nsw i64 %100, %23
%102 = and i64 %99, 3
%103 = icmp eq i64 %102, 0
br i1 %103, label %115, label %104
104: ; preds = %96, %104
%105 = phi i64 [ %108, %104 ], [ %97, %96 ]
%106 = phi i64 [ %111, %104 ], [ %98, %96 ]
%107 = phi i64 [ %113, %104 ], [ 0, %96 ]
%108 = add nsw i64 %105, 1
%109 = getelementptr inbounds i32, i32* %2, i64 %105
%110 = load i32, i32* %109
%111 = add nuw nsw i64 %106, 1
%112 = getelementptr inbounds i32, i32* %4, i64 %106
store i32 %110, i32* %112
%113 = add i64 %107, 1
%114 = icmp eq i64 %113, %102
br i1 %114, label %115, label %104
115: ; preds = %104, %96
%116 = phi i64 [ undef, %96 ], [ %111, %104 ]
%117 = phi i64 [ %97, %96 ], [ %108, %104 ]
%118 = phi i64 [ %98, %96 ], [ %111, %104 ]
%119 = icmp ult i64 %101, 3
br i1 %119, label %142, label %247
120: ; preds = %5, %120
%121 = phi i64 [ %138, %120 ], [ 0, %5 ]
%122 = phi i32 [ %136, %120 ], [ 0, %5 ]
%123 = phi i32 [ %133, %120 ], [ 0, %5 ]
%124 = zext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %2, i64 %124
%126 = load i32, i32* %125
%127 = zext i32 %122 to i64
%128 = getelementptr inbounds i32, i32* %3, i64 %127
%129 = load i32, i32* %128
%130 = icmp slt i32 %126, %129
%131 = select i1 %130, i32 %126, i32 %129
%132 = zext i1 %130 to i32
%133 = add nuw nsw i32 %123, %132
%134 = xor i1 %130, true
%135 = zext i1 %134 to i32
%136 = add nuw nsw i32 %122, %135
%137 = getelementptr inbounds i32, i32* %4, i64 %121
store i32 %131, i32* %137
%138 = add nuw i64 %121, 1
%139 = icmp slt i32 %133, %0
%140 = icmp slt i32 %136, %1
%141 = select i1 %139, i1 %140, i1 false
br i1 %141, label %120, label %13
142: ; preds = %115, %247, %94
%143 = phi i64 [ %39, %94 ], [ %116, %115 ], [ %268, %247 ]
%144 = trunc i64 %143 to i32
br label %145
145: ; preds = %142, %15
%146 = phi i32 [ %18, %15 ], [ %144, %142 ]
%147 = icmp slt i32 %17, %1
br i1 %147, label %148, label %295
148: ; preds = %145
%149 = zext i32 %146 to i64
%150 = sext i32 %17 to i64
%151 = sext i32 %1 to i64
%152 = sub nsw i64 %151, %150
%153 = icmp ult i64 %152, 8
br i1 %153, label %224, label %154
154: ; preds = %148
%155 = getelementptr i32, i32* %4, i64 %149
%156 = add nsw i64 %151, %149
%157 = sub nsw i64 %156, %150
%158 = getelementptr i32, i32* %4, i64 %157
%159 = getelementptr i32, i32* %3, i64 %150
%160 = getelementptr i32, i32* %3, i64 %151
%161 = icmp ult i32* %155, %160
%162 = icmp ult i32* %159, %158
%163 = and i1 %161, %162
br i1 %163, label %224, label %164
164: ; preds = %154
%165 = and i64 %152, -8
%166 = add nsw i64 %165, %150
%167 = add nsw i64 %165, %149
%168 = add nsw i64 %165, -8
%169 = lshr exact i64 %168, 3
%170 = add nuw nsw i64 %169, 1
%171 = and i64 %170, 1
%172 = icmp eq i64 %168, 0
br i1 %172, label %206, label %173
173: ; preds = %164
%174 = and i64 %170, 4611686018427387902
br label %175
175: ; preds = %175, %173
%176 = phi i64 [ 0, %173 ], [ %203, %175 ]
%177 = phi i64 [ 0, %173 ], [ %204, %175 ]
%178 = add i64 %176, %150
%179 = add i64 %176, %149
%180 = getelementptr inbounds i32, i32* %3, i64 %178
%181 = bitcast i32* %180 to <4 x i32>*
%182 = load <4 x i32>, <4 x i32>* %181
%183 = getelementptr inbounds i32, i32* %180, i64 4
%184 = bitcast i32* %183 to <4 x i32>*
%185 = load <4 x i32>, <4 x i32>* %184
%186 = getelementptr inbounds i32, i32* %4, i64 %179
%187 = bitcast i32* %186 to <4 x i32>*
store <4 x i32> %182, <4 x i32>* %187
%188 = getelementptr inbounds i32, i32* %186, i64 4
%189 = bitcast i32* %188 to <4 x i32>*
store <4 x i32> %185, <4 x i32>* %189
%190 = or i64 %176, 8
%191 = add i64 %190, %150
%192 = add i64 %190, %149
%193 = getelementptr inbounds i32, i32* %3, i64 %191
%194 = bitcast i32* %193 to <4 x i32>*
%195 = load <4 x i32>, <4 x i32>* %194
%196 = getelementptr inbounds i32, i32* %193, i64 4
%197 = bitcast i32* %196 to <4 x i32>*
%198 = load <4 x i32>, <4 x i32>* %197
%199 = getelementptr inbounds i32, i32* %4, i64 %192
%200 = bitcast i32* %199 to <4 x i32>*
store <4 x i32> %195, <4 x i32>* %200
%201 = getelementptr inbounds i32, i32* %199, i64 4
%202 = bitcast i32* %201 to <4 x i32>*
store <4 x i32> %198, <4 x i32>* %202
%203 = add nuw i64 %176, 16
%204 = add i64 %177, 2
%205 = icmp eq i64 %204, %174
br i1 %205, label %206, label %175
206: ; preds = %175, %164
%207 = phi i64 [ 0, %164 ], [ %203, %175 ]
%208 = icmp eq i64 %171, 0
br i1 %208, label %222, label %209
209: ; preds = %206
%210 = add i64 %207, %150
%211 = add i64 %207, %149
%212 = getelementptr inbounds i32, i32* %3, i64 %210
%213 = bitcast i32* %212 to <4 x i32>*
%214 = load <4 x i32>, <4 x i32>* %213
%215 = getelementptr inbounds i32, i32* %212, i64 4
%216 = bitcast i32* %215 to <4 x i32>*
%217 = load <4 x i32>, <4 x i32>* %216
%218 = getelementptr inbounds i32, i32* %4, i64 %211
%219 = bitcast i32* %218 to <4 x i32>*
store <4 x i32> %214, <4 x i32>* %219
%220 = getelementptr inbounds i32, i32* %218, i64 4
%221 = bitcast i32* %220 to <4 x i32>*
store <4 x i32> %217, <4 x i32>* %221
br label %222
222: ; preds = %206, %209
%223 = icmp eq i64 %152, %165
br i1 %223, label %295, label %224
224: ; preds = %154, %148, %222
%225 = phi i64 [ %150, %154 ], [ %150, %148 ], [ %166, %222 ]
%226 = phi i64 [ %149, %154 ], [ %149, %148 ], [ %167, %222 ]
%227 = sub nsw i64 %151, %225
%228 = xor i64 %225, -1
%229 = add nsw i64 %228, %151
%230 = and i64 %227, 3
%231 = icmp eq i64 %230, 0
br i1 %231, label %243, label %232
232: ; preds = %224, %232
%233 = phi i64 [ %236, %232 ], [ %225, %224 ]
%234 = phi i64 [ %239, %232 ], [ %226, %224 ]
%235 = phi i64 [ %241, %232 ], [ 0, %224 ]
%236 = add nsw i64 %233, 1
%237 = getelementptr inbounds i32, i32* %3, i64 %233
%238 = load i32, i32* %237
%239 = add nuw nsw i64 %234, 1
%240 = getelementptr inbounds i32, i32* %4, i64 %234
store i32 %238, i32* %240
%241 = add i64 %235, 1
%242 = icmp eq i64 %241, %230
br i1 %242, label %243, label %232
243: ; preds = %232, %224
%244 = phi i64 [ %225, %224 ], [ %236, %232 ]
%245 = phi i64 [ %226, %224 ], [ %239, %232 ]
%246 = icmp ult i64 %229, 3
br i1 %246, label %295, label %271
247: ; preds = %115, %247
%248 = phi i64 [ %265, %247 ], [ %117, %115 ]
%249 = phi i64 [ %268, %247 ], [ %118, %115 ]
%250 = add nsw i64 %248, 1
%251 = getelementptr inbounds i32, i32* %2, i64 %248
%252 = load i32, i32* %251
%253 = add nuw nsw i64 %249, 1
%254 = getelementptr inbounds i32, i32* %4, i64 %249
store i32 %252, i32* %254
%255 = add nsw i64 %248, 2
%256 = getelementptr inbounds i32, i32* %2, i64 %250
%257 = load i32, i32* %256
%258 = add nuw nsw i64 %249, 2
%259 = getelementptr inbounds i32, i32* %4, i64 %253
store i32 %257, i32* %259
%260 = add nsw i64 %248, 3
%261 = getelementptr inbounds i32, i32* %2, i64 %255
%262 = load i32, i32* %261
%263 = add nuw nsw i64 %249, 3
%264 = getelementptr inbounds i32, i32* %4, i64 %258
store i32 %262, i32* %264
%265 = add nsw i64 %248, 4
%266 = getelementptr inbounds i32, i32* %2, i64 %260
%267 = load i32, i32* %266
%268 = add nuw nsw i64 %249, 4
%269 = getelementptr inbounds i32, i32* %4, i64 %263
store i32 %267, i32* %269
%270 = icmp eq i64 %265, %23
br i1 %270, label %142, label %247
271: ; preds = %243, %271
%272 = phi i64 [ %289, %271 ], [ %244, %243 ]
%273 = phi i64 [ %292, %271 ], [ %245, %243 ]
%274 = add nsw i64 %272, 1
%275 = getelementptr inbounds i32, i32* %3, i64 %272
%276 = load i32, i32* %275
%277 = add nuw nsw i64 %273, 1
%278 = getelementptr inbounds i32, i32* %4, i64 %273
store i32 %276, i32* %278
%279 = add nsw i64 %272, 2
%280 = getelementptr inbounds i32, i32* %3, i64 %274
%281 = load i32, i32* %280
%282 = add nuw nsw i64 %273, 2
%283 = getelementptr inbounds i32, i32* %4, i64 %277
store i32 %281, i32* %283
%284 = add nsw i64 %272, 3
%285 = getelementptr inbounds i32, i32* %3, i64 %279
%286 = load i32, i32* %285
%287 = add nuw nsw i64 %273, 3
%288 = getelementptr inbounds i32, i32* %4, i64 %282
store i32 %286, i32* %288
%289 = add nsw i64 %272, 4
%290 = getelementptr inbounds i32, i32* %3, i64 %284
%291 = load i32, i32* %290
%292 = add nuw nsw i64 %273, 4
%293 = getelementptr inbounds i32, i32* %4, i64 %287
store i32 %291, i32* %293
%294 = icmp eq i64 %289, %151
br i1 %294, label %295, label %271
295: ; preds = %243, %271, %222, %145
ret void
}