void merge(int A1[], int l1, int A2[], int l2, int A[]) {
  int i = 0, j = 0, count = 0;
  while (count < l1 + l2) {
    if (A1[i] < A2[j])
      A[count++] = A1[i++];
    if (A2[j] < A1[i])
      A[count++] = A2[j++];
    if (A1[i] == A2[j]) {
      A[count++] = A1[i++];
      A[count++] = A2[j++];
    }
    if (i == l1) {
      while (j != l2)
        A[count++] = A2[j++];
    }
    if (j == l2) {
      while (i != l1)
        A[count++] = A1[i++];
    }
  }
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    12df <merge+0x1df>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1182 <merge+0x82>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11c8 <merge+0xc8>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1238 <merge+0x138>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1289 <merge+0x189>
jmp    1249 <merge+0x149>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1284 <merge+0x184>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1249 <merge+0x149>
jmp    1289 <merge+0x189>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    12da <merge+0x1da>
jmp    129a <merge+0x19a>
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
je     12d5 <merge+0x1d5>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    129a <merge+0x19a>
jmp    12da <merge+0x1da>
jmp    112b <merge+0x2b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%r15d
add    %esi,%r15d
jle    15b5 <merge+0x4b5>
lea    0x4(%r8),%rax
mov    %rax,-0x40(%rsp)
lea    0x4(%rdi),%rax
mov    %rax,-0x8(%rsp)
lea    0x4(%rdx),%rax
mov    %rax,-0x10(%rsp)
lea    0x30(%rdx),%rax
mov    %rax,-0x28(%rsp)
lea    0x30(%r8),%rax
mov    %rax,-0x48(%rsp)
lea    0xc(%rdx),%rax
mov    %rax,-0x18(%rsp)
lea    0xc(%r8),%rax
mov    %rax,-0x38(%rsp)
lea    0x30(%rdi),%rax
mov    %rax,-0x30(%rsp)
lea    0xc(%rdi),%rax
mov    %rax,-0x20(%rsp)
xor    %r9d,%r9d
xor    %r10d,%r10d
xor    %r12d,%r12d
mov    %r15d,-0x4c(%rsp)
jmp    118c <merge+0x8c>
nopw   0x0(%rax,%rax,1)
mov    %esi,%r12d
cmp    %r15d,%r9d
jge    15b5 <merge+0x4b5>
movslq %r12d,%rbx
mov    (%rdi,%rbx,4),%eax
movslq %r10d,%r13
mov    (%rdx,%r13,4),%ebp
cmp    %ebp,%eax
jl     11b0 <merge+0xb0>
cmp    %eax,%ebp
jl     11d2 <merge+0xd2>
cmp    %ebp,%eax
je     11f4 <merge+0xf4>
cmp    %esi,%r12d
je     1219 <merge+0x119>
jmp    13d1 <merge+0x2d1>
nop
movslq %r12d,%rbx
add    $0x1,%r12d
movslq %r9d,%rbp
add    $0x1,%r9d
mov    %eax,(%r8,%rbp,4)
mov    (%rdx,%r13,4),%ebp
mov    0x4(%rdi,%rbx,4),%eax
add    $0x1,%rbx
cmp    %eax,%ebp
jge    11a1 <merge+0xa1>
movslq %r10d,%r13
add    $0x1,%r10d
movslq %r9d,%rax
add    $0x1,%r9d
mov    %ebp,(%r8,%rax,4)
mov    (%rdi,%rbx,4),%eax
mov    0x4(%rdx,%r13,4),%ebp
add    $0x1,%r13
cmp    %ebp,%eax
jne    11a5 <merge+0xa5>
add    $0x1,%r12d
movslq %r9d,%rax
mov    %ebp,(%r8,%rax,4)
add    $0x1,%r10d
mov    (%rdx,%r13,4),%ebp
lea    0x2(%rax),%r9d
mov    %ebp,0x4(%r8,%rax,4)
cmp    %esi,%r12d
jne    13d1 <merge+0x2d1>
cmp    %ecx,%r10d
je     13d1 <merge+0x2d1>
movslq %r9d,%r9
movslq %r10d,%r13
not    %r10d
add    %ecx,%r10d
cmp    $0x7,%r10d
jb     1340 <merge+0x240>
lea    (%r8,%r9,4),%rax
lea    (%r10,%r13,1),%rbp
mov    -0x10(%rsp),%rbx
lea    (%rbx,%rbp,4),%rbp
cmp    %rbp,%rax
jae    126f <merge+0x16f>
lea    (%r9,%r10,1),%rax
mov    -0x40(%rsp),%rbp
lea    0x0(,%rax,4),%rax
add    %rbp,%rax
lea    (%rdx,%r13,4),%rbp
cmp    %rax,%rbp
jb     1340 <merge+0x240>
add    $0x1,%r10
mov    %r10,%rbx
movabs $0x1fffffff8,%rax
and    %rax,%rbx
lea    -0x8(%rbx),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     1593 <merge+0x493>
mov    %r11,%rax
movabs $0x3ffffffffffffffe,%rbp
ff ff 3f
and    %rbp,%rax
mov    -0x28(%rsp),%rbp
lea    0x0(,%r13,4),%r14
add    %rbp,%r14
mov    -0x48(%rsp),%rbp
lea    0x0(,%r9,4),%r15
add    %rbp,%r15
xor    %ebp,%ebp
nopl   (%rax)
movups -0x30(%r14,%rbp,4),%xmm0
movups -0x20(%r14,%rbp,4),%xmm1
movups %xmm0,-0x30(%r15,%rbp,4)
movups %xmm1,-0x20(%r15,%rbp,4)
movups -0x10(%r14,%rbp,4),%xmm0
movups (%r14,%rbp,4),%xmm1
movups %xmm0,-0x10(%r15,%rbp,4)
movups %xmm1,(%r15,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rax
jne    12d0 <merge+0x1d0>
test   $0x1,%r11b
je     132b <merge+0x22b>
mov    %rbp,%rax
add    %r13,%rax
add    %r9,%rbp
movups (%rdx,%rax,4),%xmm0
movups 0x10(%rdx,%rax,4),%xmm1
movups %xmm0,(%r8,%rbp,4)
movups %xmm1,0x10(%r8,%rbp,4)
add    %rbx,%r9
cmp    %rbx,%r10
mov    -0x4c(%rsp),%r15d
je     13ce <merge+0x2ce>
add    %rbx,%r13
nop
mov    %ecx,%ebp
sub    %r13d,%ebp
mov    %r13d,%eax
not    %eax
add    %ecx,%eax
and    $0x3,%ebp
je     1375 <merge+0x275>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdx,%r13,4),%ebx
add    $0x1,%r13
mov    %ebx,(%r8,%r9,4)
add    $0x1,%r9
add    $0xffffffff,%ebp
jne    1360 <merge+0x260>
cmp    $0x3,%eax
jb     13ce <merge+0x2ce>
mov    %ecx,%r10d
sub    %r13d,%r10d
mov    -0x18(%rsp),%rax
lea    (%rax,%r13,4),%r11
mov    -0x38(%rsp),%rax
lea    (%rax,%r9,4),%rax
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0xc(%r11,%rbx,4),%ebp
mov    %ebp,-0xc(%rax,%rbx,4)
mov    -0x8(%r11,%rbx,4),%ebp
mov    %ebp,-0x8(%rax,%rbx,4)
mov    -0x4(%r11,%rbx,4),%ebp
mov    %ebp,-0x4(%rax,%rbx,4)
mov    (%r11,%rbx,4),%ebp
mov    %ebp,(%rax,%rbx,4)
add    $0x4,%rbx
cmp    %ebx,%r10d
jne    13a0 <merge+0x2a0>
add    %rbx,%r9
mov    %ecx,%r10d
cmp    %ecx,%r10d
jne    1183 <merge+0x83>
cmp    %esi,%r12d
je     1183 <merge+0x83>
movslq %r9d,%r9
movslq %r12d,%rbx
not    %r12d
add    %esi,%r12d
cmp    $0x7,%r12d
jb     1500 <merge+0x400>
lea    (%r8,%r9,4),%r11
lea    (%rbx,%r12,1),%rbp
mov    -0x8(%rsp),%rax
lea    (%rax,%rbp,4),%rbp
cmp    %rbp,%r11
jae    1430 <merge+0x330>
lea    (%r9,%r12,1),%rax
mov    -0x40(%rsp),%rbp
lea    0x0(,%rax,4),%rax
add    %rbp,%rax
lea    (%rdi,%rbx,4),%rbp
cmp    %rax,%rbp
jb     1500 <merge+0x400>
add    $0x1,%r12
mov    %r12,%r13
movabs $0x1fffffff8,%rax
and    %rax,%r13
lea    -0x8(%r13),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     15a4 <merge+0x4a4>
mov    %r11,%rax
movabs $0x3ffffffffffffffe,%rbp
ff ff 3f
and    %rbp,%rax
mov    -0x30(%rsp),%rbp
lea    0x0(,%rbx,4),%r14
add    %rbp,%r14
mov    -0x48(%rsp),%rbp
lea    0x0(,%r9,4),%r15
add    %rbp,%r15
xor    %ebp,%ebp
xchg   %ax,%ax
movups -0x30(%r14,%rbp,4),%xmm0
movups -0x20(%r14,%rbp,4),%xmm1
movups %xmm0,-0x30(%r15,%rbp,4)
movups %xmm1,-0x20(%r15,%rbp,4)
movups -0x10(%r14,%rbp,4),%xmm0
movups (%r14,%rbp,4),%xmm1
movups %xmm0,-0x10(%r15,%rbp,4)
movups %xmm1,(%r15,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rax
jne    1490 <merge+0x390>
test   $0x1,%r11b
je     14e9 <merge+0x3e9>
lea    (%rbx,%rbp,1),%rax
add    %r9,%rbp
movups (%rdi,%rax,4),%xmm0
movups 0x10(%rdi,%rax,4),%xmm1
movups %xmm0,(%r8,%rbp,4)
movups %xmm1,0x10(%r8,%rbp,4)
add    %r13,%r9
cmp    %r13,%r12
mov    -0x4c(%rsp),%r15d
je     1180 <merge+0x80>
add    %r13,%rbx
nopl   (%rax)
mov    %esi,%ebp
sub    %ebx,%ebp
mov    %ebx,%r11d
not    %r11d
add    %esi,%r11d
and    $0x3,%ebp
je     1534 <merge+0x434>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rdi,%rbx,4),%eax
add    $0x1,%rbx
mov    %eax,(%r8,%r9,4)
add    $0x1,%r9
add    $0xffffffff,%ebp
jne    1520 <merge+0x420>
cmp    $0x3,%r11d
jb     1180 <merge+0x80>
mov    %esi,%r11d
sub    %ebx,%r11d
mov    -0x20(%rsp),%rax
lea    (%rax,%rbx,4),%r14
mov    -0x38(%rsp),%rax
lea    (%rax,%r9,4),%rax
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    -0xc(%r14,%rbx,4),%ebp
mov    %ebp,-0xc(%rax,%rbx,4)
mov    -0x8(%r14,%rbx,4),%ebp
mov    %ebp,-0x8(%rax,%rbx,4)
mov    -0x4(%r14,%rbx,4),%ebp
mov    %ebp,-0x4(%rax,%rbx,4)
mov    (%r14,%rbx,4),%ebp
mov    %ebp,(%rax,%rbx,4)
add    $0x4,%rbx
cmp    %ebx,%r11d
jne    1560 <merge+0x460>
add    %rbx,%r9
jmp    1180 <merge+0x80>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    130e <merge+0x20e>
jmp    132b <merge+0x22b>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    14ce <merge+0x3ce>
jmp    14e9 <merge+0x3e9>
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
store i32 0, i32* %11
store i32 0, i32* %12
store i32 0, i32* %13
br label %14
14: ; preds = %147, %5
%15 = load i32, i32* %13
%16 = load i32, i32* %7
%17 = load i32, i32* %9
%18 = add nsw i32 %16, %17
%19 = icmp slt i32 %15, %18
br i1 %19, label %20, label %148
20: ; preds = %14
%21 = load i32*, i32** %6
%22 = load i32, i32* %11
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %21, i64 %23
%25 = load i32, i32* %24
%26 = load i32*, i32** %8
%27 = load i32, i32* %12
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = icmp slt i32 %25, %30
br i1 %31, label %32, label %44
32: ; preds = %20
%33 = load i32*, i32** %6
%34 = load i32, i32* %11
%35 = add nsw i32 %34, 1
store i32 %35, i32* %11
%36 = sext i32 %34 to i64
%37 = getelementptr inbounds i32, i32* %33, i64 %36
%38 = load i32, i32* %37
%39 = load i32*, i32** %10
%40 = load i32, i32* %13
%41 = add nsw i32 %40, 1
store i32 %41, i32* %13
%42 = sext i32 %40 to i64
%43 = getelementptr inbounds i32, i32* %39, i64 %42
store i32 %38, i32* %43
br label %44
44: ; preds = %32, %20
%45 = load i32*, i32** %8
%46 = load i32, i32* %12
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = load i32, i32* %48
%50 = load i32*, i32** %6
%51 = load i32, i32* %11
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = icmp slt i32 %49, %54
br i1 %55, label %56, label %68
56: ; preds = %44
%57 = load i32*, i32** %8
%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 = add nsw i32 %64, 1
store i32 %65, i32* %13
%66 = sext i32 %64 to i64
%67 = getelementptr inbounds i32, i32* %63, i64 %66
store i32 %62, i32* %67
br label %68
68: ; preds = %56, %44
%69 = load i32*, i32** %6
%70 = load i32, i32* %11
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
%73 = load i32, i32* %72
%74 = load i32*, i32** %8
%75 = load i32, i32* %12
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = icmp eq i32 %73, %78
br i1 %79, label %80, label %103
80: ; preds = %68
%81 = load i32*, i32** %6
%82 = load i32, i32* %11
%83 = add nsw i32 %82, 1
store i32 %83, i32* %11
%84 = sext i32 %82 to i64
%85 = getelementptr inbounds i32, i32* %81, i64 %84
%86 = load i32, i32* %85
%87 = load i32*, i32** %10
%88 = load i32, i32* %13
%89 = add nsw i32 %88, 1
store i32 %89, i32* %13
%90 = sext i32 %88 to i64
%91 = getelementptr inbounds i32, i32* %87, i64 %90
store i32 %86, i32* %91
%92 = load i32*, i32** %8
%93 = load i32, i32* %12
%94 = add nsw i32 %93, 1
store i32 %94, i32* %12
%95 = sext i32 %93 to i64
%96 = getelementptr inbounds i32, i32* %92, i64 %95
%97 = load i32, i32* %96
%98 = load i32*, i32** %10
%99 = load i32, i32* %13
%100 = add nsw i32 %99, 1
store i32 %100, i32* %13
%101 = sext i32 %99 to i64
%102 = getelementptr inbounds i32, i32* %98, i64 %101
store i32 %97, i32* %102
br label %103
103: ; preds = %80, %68
%104 = load i32, i32* %11
%105 = load i32, i32* %7
%106 = icmp eq i32 %104, %105
br i1 %106, label %107, label %125
107: ; preds = %103
br label %108
108: ; preds = %112, %107
%109 = load i32, i32* %12
%110 = load i32, i32* %9
%111 = icmp ne i32 %109, %110
br i1 %111, label %112, label %124
112: ; preds = %108
%113 = load i32*, i32** %8
%114 = load i32, i32* %12
%115 = add nsw i32 %114, 1
store i32 %115, i32* %12
%116 = sext i32 %114 to i64
%117 = getelementptr inbounds i32, i32* %113, i64 %116
%118 = load i32, i32* %117
%119 = load i32*, i32** %10
%120 = load i32, i32* %13
%121 = add nsw i32 %120, 1
store i32 %121, i32* %13
%122 = sext i32 %120 to i64
%123 = getelementptr inbounds i32, i32* %119, i64 %122
store i32 %118, i32* %123
br label %108
124: ; preds = %108
br label %125
125: ; preds = %124, %103
%126 = load i32, i32* %12
%127 = load i32, i32* %9
%128 = icmp eq i32 %126, %127
br i1 %128, label %129, label %147
129: ; preds = %125
br label %130
130: ; preds = %134, %129
%131 = load i32, i32* %11
%132 = load i32, i32* %7
%133 = icmp ne i32 %131, %132
br i1 %133, label %134, label %146
134: ; preds = %130
%135 = load i32*, i32** %6
%136 = load i32, i32* %11
%137 = add nsw i32 %136, 1
store i32 %137, i32* %11
%138 = sext i32 %136 to i64
%139 = getelementptr inbounds i32, i32* %135, i64 %138
%140 = load i32, i32* %139
%141 = load i32*, i32** %10
%142 = load i32, i32* %13
%143 = add nsw i32 %142, 1
store i32 %143, i32* %13
%144 = sext i32 %142 to i64
%145 = getelementptr inbounds i32, i32* %141, i64 %144
store i32 %140, i32* %145
br label %130
146: ; preds = %130
br label %147
147: ; preds = %146, %125
br label %14
148: ; preds = %14
ret void
}

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