void mem_copy(int *source, int *destination, unsigned int length) {
  int i;
  if (source < destination) {
    for (i = 0; i < length; i++) {
      *(destination++) = *(source++);
    }
  } else {
    source += length;
    destination += length;
    for (i = 0; i < length; i++) {
      *(--destination) = *(--source);
    }
  }
  return;
}


x86 assembly (clang, -O0):
<mem_copy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1165 <mem_copy+0x65>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1160 <mem_copy+0x60>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x10(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1124 <mem_copy+0x24>
jmp    11d7 <mem_copy+0xd7>
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,%ecx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,%ecx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    11d2 <mem_copy+0xd2>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x8(%rbp)
mov    -0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x4(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1194 <mem_copy+0x94>
jmp    11d7 <mem_copy+0xd7>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mem_copy>:
push   %r14
push   %rbx
cmp    %rsi,%rdi
jae    1171 <mem_copy+0x71>
test   %edx,%edx
je     1466 <mem_copy+0x366>
lea    -0x1(%rdx),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     13cc <mem_copy+0x2cc>
lea    (%rdi,%r9,4),%rax
add    $0x4,%rax
cmp    %rsi,%rax
jbe    113f <mem_copy+0x3f>
lea    (%rsi,%r9,4),%rax
add    $0x4,%rax
cmp    %rdi,%rax
ja     13cc <mem_copy+0x2cc>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%r10d
and    $0x3,%r10d
cmp    $0x18,%rcx
jae    130e <mem_copy+0x20e>
xor    %ecx,%ecx
jmp    1378 <mem_copy+0x278>
test   %edx,%edx
je     1466 <mem_copy+0x366>
mov    %edx,%r11d
lea    (%rsi,%r11,4),%rax
lea    (%rdi,%r11,4),%rcx
lea    -0x1(%rdx),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     1274 <mem_copy+0x174>
mov    %r9,%r10
not    %r10
add    %r11,%r10
lea    (%rsi,%r10,4),%rbx
cmp    %rcx,%rbx
jae    11b4 <mem_copy+0xb4>
lea    (%rdi,%r10,4),%rbx
cmp    %rax,%rbx
jb     1274 <mem_copy+0x174>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rbx
mov    %rbx,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rbx,%rbx
je     146a <mem_copy+0x36a>
movabs $0x3ffffffffffffffc,%rbx
ff ff 3f
or     $0x2,%rbx
and    %r10,%rbx
lea    (%rsi,%r11,4),%r14
add    $0xfffffffffffffff0,%r14
lea    (%rdi,%r11,4),%rdi
add    $0xfffffffffffffff0,%rdi
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rdi,%rsi,4),%xmm0
movups (%rdi,%rsi,4),%xmm1
movups %xmm1,(%r14,%rsi,4)
movups %xmm0,-0x10(%r14,%rsi,4)
movups -0x30(%rdi,%rsi,4),%xmm0
movups -0x20(%rdi,%rsi,4),%xmm1
movups %xmm1,-0x20(%r14,%rsi,4)
movups %xmm0,-0x30(%r14,%rsi,4)
add    $0xfffffffffffffff0,%rsi
add    $0xfffffffffffffffe,%rbx
jne    1200 <mem_copy+0x100>
neg    %rsi
test   $0x1,%r10b
je     125d <mem_copy+0x15d>
shl    $0x2,%rsi
mov    %rcx,%rdi
sub    %rsi,%rdi
mov    %rax,%rbx
sub    %rsi,%rbx
movups -0x20(%rdi),%xmm0
movups -0x10(%rdi),%xmm1
movups %xmm1,-0x10(%rbx)
movups %xmm0,-0x20(%rbx)
cmp    %r8,%r9
je     1466 <mem_copy+0x366>
lea    0x0(,%r8,4),%rsi
sub    %rsi,%rcx
sub    %rsi,%rax
mov    %edx,%edi
sub    %r8d,%edi
mov    %r8d,%r9d
not    %r9d
add    %edx,%r9d
and    $0x7,%edi
je     12a9 <mem_copy+0x1a9>
neg    %edi
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
mov    -0x4(%rcx),%esi
add    $0xfffffffffffffffc,%rcx
mov    %esi,-0x4(%rax)
add    $0xfffffffffffffffc,%rax
add    $0xffffffffffffffff,%rbx
cmp    %ebx,%edi
jne    1290 <mem_copy+0x190>
sub    %ebx,%r8d
cmp    $0x7,%r9d
jb     1466 <mem_copy+0x366>
sub    %edx,%r8d
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
mov    -0x4(%rcx,%rdx,4),%esi
mov    %esi,-0x4(%rax,%rdx,4)
mov    -0x8(%rcx,%rdx,4),%esi
mov    %esi,-0x8(%rax,%rdx,4)
mov    -0xc(%rcx,%rdx,4),%esi
mov    %esi,-0xc(%rax,%rdx,4)
mov    -0x10(%rcx,%rdx,4),%esi
mov    %esi,-0x10(%rax,%rdx,4)
mov    -0x14(%rcx,%rdx,4),%esi
mov    %esi,-0x14(%rax,%rdx,4)
mov    -0x18(%rcx,%rdx,4),%esi
mov    %esi,-0x18(%rax,%rdx,4)
mov    -0x1c(%rcx,%rdx,4),%esi
mov    %esi,-0x1c(%rax,%rdx,4)
mov    -0x20(%rcx,%rdx,4),%esi
mov    %esi,-0x20(%rax,%rdx,4)
add    $0xfffffffffffffff8,%rdx
cmp    %edx,%r8d
jne    12c0 <mem_copy+0x1c0>
jmp    1466 <mem_copy+0x366>
and    $0xfffffffffffffffc,%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups (%rdi,%rcx,4),%xmm0
movups 0x10(%rdi,%rcx,4),%xmm1
movups %xmm0,(%rsi,%rcx,4)
movups %xmm1,0x10(%rsi,%rcx,4)
movups 0x20(%rdi,%rcx,4),%xmm0
movups 0x30(%rdi,%rcx,4),%xmm1
movups %xmm0,0x20(%rsi,%rcx,4)
movups %xmm1,0x30(%rsi,%rcx,4)
movups 0x40(%rdi,%rcx,4),%xmm0
movups 0x50(%rdi,%rcx,4),%xmm1
movups %xmm0,0x40(%rsi,%rcx,4)
movups %xmm1,0x50(%rsi,%rcx,4)
movups 0x60(%rdi,%rcx,4),%xmm0
movups 0x70(%rdi,%rcx,4),%xmm1
movups %xmm0,0x60(%rsi,%rcx,4)
movups %xmm1,0x70(%rsi,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rax
jne    1320 <mem_copy+0x220>
test   %r10,%r10
je     13bb <mem_copy+0x2bb>
lea    (%rsi,%rcx,4),%rax
add    $0x10,%rax
lea    (%rdi,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r10
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rcx,%rbx,1),%xmm0
movups (%rcx,%rbx,1),%xmm1
movups %xmm0,-0x10(%rax,%rbx,1)
movups %xmm1,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r10
jne    13a0 <mem_copy+0x2a0>
cmp    %r8,%r9
je     1466 <mem_copy+0x366>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
mov    %edx,%ecx
sub    %r8d,%ecx
mov    %r8d,%r9d
not    %r9d
add    %edx,%r9d
and    $0x7,%ecx
je     1406 <mem_copy+0x306>
neg    %ecx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rdi),%eax
add    $0x4,%rdi
mov    %eax,(%rsi)
add    $0x4,%rsi
add    $0xffffffff,%ebx
cmp    %ebx,%ecx
jne    13f0 <mem_copy+0x2f0>
sub    %ebx,%r8d
cmp    $0x7,%r9d
jb     1466 <mem_copy+0x366>
sub    %r8d,%edx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%ecx
mov    %ecx,(%rsi,%rax,4)
mov    0x4(%rdi,%rax,4),%ecx
mov    %ecx,0x4(%rsi,%rax,4)
mov    0x8(%rdi,%rax,4),%ecx
mov    %ecx,0x8(%rsi,%rax,4)
mov    0xc(%rdi,%rax,4),%ecx
mov    %ecx,0xc(%rsi,%rax,4)
mov    0x10(%rdi,%rax,4),%ecx
mov    %ecx,0x10(%rsi,%rax,4)
mov    0x14(%rdi,%rax,4),%ecx
mov    %ecx,0x14(%rsi,%rax,4)
mov    0x18(%rdi,%rax,4),%ecx
mov    %ecx,0x18(%rsi,%rax,4)
mov    0x1c(%rdi,%rax,4),%ecx
mov    %ecx,0x1c(%rsi,%rax,4)
add    $0x8,%rax
cmp    %eax,%edx
jne    1420 <mem_copy+0x320>
pop    %rbx
pop    %r14
ret
xor    %esi,%esi
test   $0x1,%r10b
jne    123d <mem_copy+0x13d>
jmp    125d <mem_copy+0x15d>

LLVM IR (-O0):
define void @mem_copy(i32* %0, i32* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%8 = load i32*, i32** %4
%9 = load i32*, i32** %5
%10 = icmp ult i32* %8, %9
br i1 %10, label %11, label %26
11: ; preds = %3
store i32 0, i32* %7
br label %12
12: ; preds = %22, %11
%13 = load i32, i32* %7
%14 = load i32, i32* %6
%15 = icmp ult i32 %13, %14
br i1 %15, label %16, label %25
16: ; preds = %12
%17 = load i32*, i32** %4
%18 = getelementptr inbounds i32, i32* %17, i32 1
store i32* %18, i32** %4
%19 = load i32, i32* %17
%20 = load i32*, i32** %5
%21 = getelementptr inbounds i32, i32* %20, i32 1
store i32* %21, i32** %5
store i32 %19, i32* %20
br label %22
22: ; preds = %16
%23 = load i32, i32* %7
%24 = add nsw i32 %23, 1
store i32 %24, i32* %7
br label %12
25: ; preds = %12
br label %49
26: ; preds = %3
%27 = load i32, i32* %6
%28 = load i32*, i32** %4
%29 = zext i32 %27 to i64
%30 = getelementptr inbounds i32, i32* %28, i64 %29
store i32* %30, i32** %4
%31 = load i32, i32* %6
%32 = load i32*, i32** %5
%33 = zext i32 %31 to i64
%34 = getelementptr inbounds i32, i32* %32, i64 %33
store i32* %34, i32** %5
store i32 0, i32* %7
br label %35
35: ; preds = %45, %26
%36 = load i32, i32* %7
%37 = load i32, i32* %6
%38 = icmp ult i32 %36, %37
br i1 %38, label %39, label %48
39: ; preds = %35
%40 = load i32*, i32** %4
%41 = getelementptr inbounds i32, i32* %40, i32 -1
store i32* %41, i32** %4
%42 = load i32, i32* %41
%43 = load i32*, i32** %5
%44 = getelementptr inbounds i32, i32* %43, i32 -1
store i32* %44, i32** %5
store i32 %42, i32* %44
br label %45
45: ; preds = %39
%46 = load i32, i32* %7
%47 = add nsw i32 %46, 1
store i32 %47, i32* %7
br label %35
48: ; preds = %35
br label %49
49: ; preds = %48, %25
ret void
}

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