#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 */
typedef int /*<<< orphan*/ uint8_t;

/* Variables and functions */
void MemCopy(void *const Dest, const void *const Src, const size_t ByteCount) {
  register const uint8_t *const Stopper = (uint8_t *)Src + ByteCount;
  register const uint8_t *SrcWorker = Src;
  register uint8_t *DestWorker = Dest;
  for (; SrcWorker != Stopper; ++SrcWorker, ++DestWorker) {
    *DestWorker = *SrcWorker;
  }
}


x86 assembly (clang, -O0):
<MemCopy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     116a <MemCopy+0x6a>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    1133 <MemCopy+0x33>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MemCopy>:
lea    0x0(,%rdx,4),%rax
test   %rax,%rax
je     1241 <MemCopy+0x141>
lea    (%rsi,%rdx,4),%r11
movabs $0x3fffffffffffffff,%rcx
ff ff 3f
lea    -0x1(%rdx),%r9
and    %rcx,%r9
cmp    $0x7,%r9
jb     1230 <MemCopy+0x130>
cmp    %rdi,%r11
jbe    1142 <MemCopy+0x42>
lea    (%rdi,%rdx,4),%rax
cmp    %rsi,%rax
ja     1230 <MemCopy+0x130>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%r10d
and    $0x3,%r10d
cmp    $0x18,%rax
jae    116d <MemCopy+0x6d>
xor    %ecx,%ecx
jmp    11d8 <MemCopy+0xd8>
add    $0xfffffffffffffffd,%rcx
and    %rcx,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
movups (%rsi,%rcx,4),%xmm0
movups 0x10(%rsi,%rcx,4),%xmm1
movups %xmm0,(%rdi,%rcx,4)
movups %xmm1,0x10(%rdi,%rcx,4)
movups 0x20(%rsi,%rcx,4),%xmm0
movups 0x30(%rsi,%rcx,4),%xmm1
movups %xmm0,0x20(%rdi,%rcx,4)
movups %xmm1,0x30(%rdi,%rcx,4)
movups 0x40(%rsi,%rcx,4),%xmm0
movups 0x50(%rsi,%rcx,4),%xmm1
movups %xmm0,0x40(%rdi,%rcx,4)
movups %xmm1,0x50(%rdi,%rcx,4)
movups 0x60(%rsi,%rcx,4),%xmm0
movups 0x70(%rsi,%rcx,4),%xmm1
movups %xmm0,0x60(%rdi,%rcx,4)
movups %xmm1,0x70(%rdi,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rdx
jne    1180 <MemCopy+0x80>
test   %r10,%r10
je     121b <MemCopy+0x11b>
lea    (%rsi,%rcx,4),%rdx
add    $0x10,%rdx
lea    (%rdi,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r10
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rdx,%rax,1),%xmm0
movups (%rdx,%rax,1),%xmm1
movups %xmm0,-0x10(%rcx,%rax,1)
movups %xmm1,(%rcx,%rax,1)
add    $0x20,%rax
cmp    %rax,%r10
jne    1200 <MemCopy+0x100>
cmp    %r8,%r9
je     1241 <MemCopy+0x141>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
nopl   0x0(%rax,%rax,1)
mov    (%rsi),%eax
mov    %eax,(%rdi)
add    $0x4,%rsi
add    $0x4,%rdi
cmp    %r11,%rsi
jne    1230 <MemCopy+0x130>
ret

LLVM IR (-O0):
define void @MemCopy(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%10 = load i8*, i8** %5
%11 = bitcast i8* %10 to i32*
%12 = load i64, i64* %6
%13 = getelementptr inbounds i32, i32* %11, i64 %12
store i32* %13, i32** %7
%14 = load i8*, i8** %5
%15 = bitcast i8* %14 to i32*
store i32* %15, i32** %8
%16 = load i8*, i8** %4
%17 = bitcast i8* %16 to i32*
store i32* %17, i32** %9
br label %18
18: ; preds = %26, %3
%19 = load i32*, i32** %8
%20 = load i32*, i32** %7
%21 = icmp ne i32* %19, %20
br i1 %21, label %22, label %31
22: ; preds = %18
%23 = load i32*, i32** %8
%24 = load i32, i32* %23
%25 = load i32*, i32** %9
store i32 %24, i32* %25
br label %26
26: ; preds = %22
%27 = load i32*, i32** %8
%28 = getelementptr inbounds i32, i32* %27, i32 1
store i32* %28, i32** %8
%29 = load i32*, i32** %9
%30 = getelementptr inbounds i32, i32* %29, i32 1
store i32* %30, i32** %9
br label %18
31: ; preds = %18
ret void
}

LLVM IR (-O2):
define void @MemCopy(i8* nocapture writeonly %0, i8* %1, i64 %2) {
%4 = bitcast i8* %1 to i32*
%5 = getelementptr inbounds i32, i32* %4, i64 %2
%6 = icmp eq i32* %5, %4
br i1 %6, label %111, label %7
7: ; preds = %3
%8 = bitcast i8* %0 to i32*
%9 = add i64 %2, 4611686018427387903
%10 = and i64 %9, 4611686018427387903
%11 = add nuw nsw i64 %10, 1
%12 = icmp ult i64 %10, 7
br i1 %12, label %101, label %13
13: ; preds = %7
%14 = shl i64 %2, 2
%15 = getelementptr i8, i8* %0, i64 %14
%16 = getelementptr i8, i8* %1, i64 %14
%17 = icmp ugt i8* %16, %0
%18 = icmp ugt i8* %15, %1
%19 = and i1 %17, %18
br i1 %19, label %101, label %20
20: ; preds = %13
%21 = and i64 %11, 9223372036854775800
%22 = getelementptr i32, i32* %8, i64 %21
%23 = getelementptr i32, i32* %4, i64 %21
%24 = add nsw i64 %21, -8
%25 = lshr exact i64 %24, 3
%26 = add nuw nsw i64 %25, 1
%27 = and i64 %26, 3
%28 = icmp ult i64 %24, 24
br i1 %28, label %80, label %29
29: ; preds = %20
%30 = and i64 %26, 4611686018427387900
br label %31
31: ; preds = %31, %29
%32 = phi i64 [ 0, %29 ], [ %77, %31 ]
%33 = phi i64 [ 0, %29 ], [ %78, %31 ]
%34 = getelementptr i32, i32* %8, i64 %32
%35 = getelementptr i32, i32* %4, i64 %32
%36 = bitcast i32* %35 to <4 x i32>*
%37 = load <4 x i32>, <4 x i32>* %36
%38 = getelementptr i32, i32* %35, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %37, <4 x i32>* %41
%42 = getelementptr i32, i32* %34, i64 4
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> %40, <4 x i32>* %43
%44 = or i64 %32, 8
%45 = getelementptr i32, i32* %8, i64 %44
%46 = getelementptr i32, i32* %4, i64 %44
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = getelementptr i32, i32* %46, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %52
%53 = getelementptr i32, i32* %45, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %54
%55 = or i64 %32, 16
%56 = getelementptr i32, i32* %8, i64 %55
%57 = getelementptr i32, i32* %4, i64 %55
%58 = bitcast i32* %57 to <4 x i32>*
%59 = load <4 x i32>, <4 x i32>* %58
%60 = getelementptr i32, i32* %57, i64 4
%61 = bitcast i32* %60 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> %59, <4 x i32>* %63
%64 = getelementptr i32, i32* %56, i64 4
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %65
%66 = or i64 %32, 24
%67 = getelementptr i32, i32* %8, i64 %66
%68 = getelementptr i32, i32* %4, i64 %66
%69 = bitcast i32* %68 to <4 x i32>*
%70 = load <4 x i32>, <4 x i32>* %69
%71 = getelementptr i32, i32* %68, i64 4
%72 = bitcast i32* %71 to <4 x i32>*
%73 = load <4 x i32>, <4 x i32>* %72
%74 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %74
%75 = getelementptr i32, i32* %67, i64 4
%76 = bitcast i32* %75 to <4 x i32>*
store <4 x i32> %73, <4 x i32>* %76
%77 = add nuw i64 %32, 32
%78 = add i64 %33, 4
%79 = icmp eq i64 %78, %30
br i1 %79, label %80, label %31
80: ; preds = %31, %20
%81 = phi i64 [ 0, %20 ], [ %77, %31 ]
%82 = icmp eq i64 %27, 0
br i1 %82, label %99, label %83
83: ; preds = %80, %83
%84 = phi i64 [ %96, %83 ], [ %81, %80 ]
%85 = phi i64 [ %97, %83 ], [ 0, %80 ]
%86 = getelementptr i32, i32* %8, i64 %84
%87 = getelementptr i32, i32* %4, i64 %84
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = getelementptr i32, i32* %87, i64 4
%91 = bitcast i32* %90 to <4 x i32>*
%92 = load <4 x i32>, <4 x i32>* %91
%93 = bitcast i32* %86 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %93
%94 = getelementptr i32, i32* %86, i64 4
%95 = bitcast i32* %94 to <4 x i32>*
store <4 x i32> %92, <4 x i32>* %95
%96 = add nuw i64 %84, 8
%97 = add i64 %85, 1
%98 = icmp eq i64 %97, %27
br i1 %98, label %99, label %83
99: ; preds = %83, %80
%100 = icmp eq i64 %11, %21
br i1 %100, label %111, label %101
101: ; preds = %13, %7, %99
%102 = phi i32* [ %8, %13 ], [ %8, %7 ], [ %22, %99 ]
%103 = phi i32* [ %4, %13 ], [ %4, %7 ], [ %23, %99 ]
br label %104
104: ; preds = %101, %104
%105 = phi i32* [ %109, %104 ], [ %102, %101 ]
%106 = phi i32* [ %108, %104 ], [ %103, %101 ]
%107 = load i32, i32* %106
store i32 %107, i32* %105
%108 = getelementptr inbounds i32, i32* %106, i64 1
%109 = getelementptr inbounds i32, i32* %105, i64 1
%110 = icmp eq i32* %108, %5
br i1 %110, label %111, label %104
111: ; preds = %104, %99, %3
ret void
}