#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 memcpy(void *dest, const void *src, size_t num) {
  uint8_t *dest8 = (uint8_t *)dest;
  const uint8_t *src8 = (const uint8_t *)src;
  while (num--) {
    *dest8++ = *src8++;
  }
}


x86 assembly (clang, -O0):
<memcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
cmp    $0x0,%rax
je     1160 <memcpy+0x60>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    %ecx,(%rax)
jmp    1120 <memcpy+0x20>
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy>:
test   %rdx,%rdx
je     1287 <memcpy+0x187>
cmp    $0x8,%rdx
jb     1211 <memcpy+0x111>
lea    (%rsi,%rdx,4),%rax
cmp    %rdi,%rax
jbe    1129 <memcpy+0x29>
lea    (%rdi,%rdx,4),%rax
cmp    %rsi,%rax
ja     1211 <memcpy+0x111>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r9d
and    $0x3,%r9d
cmp    $0x18,%rax
jae    1150 <memcpy+0x50>
xor    %eax,%eax
jmp    11b8 <memcpy+0xb8>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
movups %xmm0,(%rdi,%rax,4)
movups %xmm1,0x10(%rdi,%rax,4)
movups 0x20(%rsi,%rax,4),%xmm0
movups 0x30(%rsi,%rax,4),%xmm1
movups %xmm0,0x20(%rdi,%rax,4)
movups %xmm1,0x30(%rdi,%rax,4)
movups 0x40(%rsi,%rax,4),%xmm0
movups 0x50(%rsi,%rax,4),%xmm1
movups %xmm0,0x40(%rdi,%rax,4)
movups %xmm1,0x50(%rdi,%rax,4)
movups 0x60(%rsi,%rax,4),%xmm0
movups 0x70(%rsi,%rax,4),%xmm1
movups %xmm0,0x60(%rdi,%rax,4)
movups %xmm1,0x70(%rdi,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1160 <memcpy+0x60>
test   %r9,%r9
je     11fd <memcpy+0xfd>
lea    (%rdi,%rax,4),%r10
add    $0x10,%r10
lea    (%rsi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r9
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rax,%rcx,1),%xmm0
movups (%rax,%rcx,1),%xmm1
movups %xmm0,-0x10(%r10,%rcx,1)
movups %xmm1,(%r10,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r9
jne    11e0 <memcpy+0xe0>
cmp    %rdx,%r8
je     1287 <memcpy+0x187>
and    $0x7,%edx
lea    (%rsi,%r8,4),%rsi
lea    (%rdi,%r8,4),%rdi
lea    -0x1(%rdx),%r8
mov    %rdx,%r9
and    $0x7,%r9
je     1238 <memcpy+0x138>
xor    %eax,%eax
mov    (%rsi),%ecx
add    $0x4,%rsi
mov    %ecx,(%rdi)
add    $0x4,%rdi
add    $0x1,%rax
cmp    %rax,%r9
jne    1220 <memcpy+0x120>
sub    %rax,%rdx
cmp    $0x7,%r8
jb     1287 <memcpy+0x187>
xor    %eax,%eax
mov    (%rsi,%rax,4),%ecx
mov    %ecx,(%rdi,%rax,4)
mov    0x4(%rsi,%rax,4),%ecx
mov    %ecx,0x4(%rdi,%rax,4)
mov    0x8(%rsi,%rax,4),%ecx
mov    %ecx,0x8(%rdi,%rax,4)
mov    0xc(%rsi,%rax,4),%ecx
mov    %ecx,0xc(%rdi,%rax,4)
mov    0x10(%rsi,%rax,4),%ecx
mov    %ecx,0x10(%rdi,%rax,4)
mov    0x14(%rsi,%rax,4),%ecx
mov    %ecx,0x14(%rdi,%rax,4)
mov    0x18(%rsi,%rax,4),%ecx
mov    %ecx,0x18(%rdi,%rax,4)
mov    0x1c(%rsi,%rax,4),%ecx
mov    %ecx,0x1c(%rdi,%rax,4)
add    $0x8,%rax
cmp    %rax,%rdx
jne    1240 <memcpy+0x140>
ret

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

LLVM IR (-O2):
define void @memcpy(i8* nocapture writeonly %0, i8* nocapture %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %151, label %5
5: ; preds = %3
%6 = bitcast i8* %1 to i32*
%7 = bitcast i8* %0 to i32*
%8 = icmp ult i64 %2, 8
br i1 %8, label %98, label %9
9: ; preds = %5
%10 = shl i64 %2, 2
%11 = getelementptr i8, i8* %0, i64 %10
%12 = getelementptr i8, i8* %1, i64 %10
%13 = icmp ugt i8* %12, %0
%14 = icmp ugt i8* %11, %1
%15 = and i1 %13, %14
br i1 %15, label %98, label %16
16: ; preds = %9
%17 = and i64 %2, -8
%18 = getelementptr i32, i32* %6, i64 %17
%19 = getelementptr i32, i32* %7, i64 %17
%20 = and i64 %2, 7
%21 = add i64 %17, -8
%22 = lshr exact i64 %21, 3
%23 = add nuw nsw i64 %22, 1
%24 = and i64 %23, 3
%25 = icmp ult i64 %21, 24
br i1 %25, label %77, label %26
26: ; preds = %16
%27 = and i64 %23, 4611686018427387900
br label %28
28: ; preds = %28, %26
%29 = phi i64 [ 0, %26 ], [ %74, %28 ]
%30 = phi i64 [ 0, %26 ], [ %75, %28 ]
%31 = getelementptr i32, i32* %6, i64 %29
%32 = getelementptr i32, i32* %7, i64 %29
%33 = bitcast i32* %31 to <4 x i32>*
%34 = load <4 x i32>, <4 x i32>* %33
%35 = getelementptr i32, i32* %31, i64 4
%36 = bitcast i32* %35 to <4 x i32>*
%37 = load <4 x i32>, <4 x i32>* %36
%38 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %38
%39 = getelementptr i32, i32* %32, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %37, <4 x i32>* %40
%41 = or i64 %29, 8
%42 = getelementptr i32, i32* %6, i64 %41
%43 = getelementptr i32, i32* %7, i64 %41
%44 = bitcast i32* %42 to <4 x i32>*
%45 = load <4 x i32>, <4 x i32>* %44
%46 = getelementptr i32, i32* %42, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %49
%50 = getelementptr i32, i32* %43, i64 4
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %51
%52 = or i64 %29, 16
%53 = getelementptr i32, i32* %6, i64 %52
%54 = getelementptr i32, i32* %7, i64 %52
%55 = bitcast i32* %53 to <4 x i32>*
%56 = load <4 x i32>, <4 x i32>* %55
%57 = getelementptr i32, i32* %53, i64 4
%58 = bitcast i32* %57 to <4 x i32>*
%59 = load <4 x i32>, <4 x i32>* %58
%60 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %56, <4 x i32>* %60
%61 = getelementptr i32, i32* %54, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %59, <4 x i32>* %62
%63 = or i64 %29, 24
%64 = getelementptr i32, i32* %6, i64 %63
%65 = getelementptr i32, i32* %7, i64 %63
%66 = bitcast i32* %64 to <4 x i32>*
%67 = load <4 x i32>, <4 x i32>* %66
%68 = getelementptr i32, i32* %64, i64 4
%69 = bitcast i32* %68 to <4 x i32>*
%70 = load <4 x i32>, <4 x i32>* %69
%71 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %67, <4 x i32>* %71
%72 = getelementptr i32, i32* %65, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %73
%74 = add nuw i64 %29, 32
%75 = add i64 %30, 4
%76 = icmp eq i64 %75, %27
br i1 %76, label %77, label %28
77: ; preds = %28, %16
%78 = phi i64 [ 0, %16 ], [ %74, %28 ]
%79 = icmp eq i64 %24, 0
br i1 %79, label %96, label %80
80: ; preds = %77, %80
%81 = phi i64 [ %93, %80 ], [ %78, %77 ]
%82 = phi i64 [ %94, %80 ], [ 0, %77 ]
%83 = getelementptr i32, i32* %6, i64 %81
%84 = getelementptr i32, i32* %7, i64 %81
%85 = bitcast i32* %83 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = getelementptr i32, i32* %83, i64 4
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = bitcast i32* %84 to <4 x i32>*
store <4 x i32> %86, <4 x i32>* %90
%91 = getelementptr i32, i32* %84, i64 4
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %92
%93 = add nuw i64 %81, 8
%94 = add i64 %82, 1
%95 = icmp eq i64 %94, %24
br i1 %95, label %96, label %80
96: ; preds = %80, %77
%97 = icmp eq i64 %17, %2
br i1 %97, label %151, label %98
98: ; preds = %9, %5, %96
%99 = phi i32* [ %6, %9 ], [ %6, %5 ], [ %18, %96 ]
%100 = phi i32* [ %7, %9 ], [ %7, %5 ], [ %19, %96 ]
%101 = phi i64 [ %2, %9 ], [ %2, %5 ], [ %20, %96 ]
%102 = add i64 %101, -1
%103 = and i64 %101, 7
%104 = icmp eq i64 %103, 0
br i1 %104, label %116, label %105
105: ; preds = %98, %105
%106 = phi i32* [ %111, %105 ], [ %99, %98 ]
%107 = phi i32* [ %113, %105 ], [ %100, %98 ]
%108 = phi i64 [ %110, %105 ], [ %101, %98 ]
%109 = phi i64 [ %114, %105 ], [ 0, %98 ]
%110 = add i64 %108, -1
%111 = getelementptr inbounds i32, i32* %106, i64 1
%112 = load i32, i32* %106
%113 = getelementptr inbounds i32, i32* %107, i64 1
store i32 %112, i32* %107
%114 = add i64 %109, 1
%115 = icmp eq i64 %114, %103
br i1 %115, label %116, label %105
116: ; preds = %105, %98
%117 = phi i32* [ %99, %98 ], [ %111, %105 ]
%118 = phi i32* [ %100, %98 ], [ %113, %105 ]
%119 = phi i64 [ %101, %98 ], [ %110, %105 ]
%120 = icmp ult i64 %102, 7
br i1 %120, label %151, label %121
121: ; preds = %116, %121
%122 = phi i32* [ %147, %121 ], [ %117, %116 ]
%123 = phi i32* [ %149, %121 ], [ %118, %116 ]
%124 = phi i64 [ %146, %121 ], [ %119, %116 ]
%125 = getelementptr inbounds i32, i32* %122, i64 1
%126 = load i32, i32* %122
%127 = getelementptr inbounds i32, i32* %123, i64 1
store i32 %126, i32* %123
%128 = getelementptr inbounds i32, i32* %122, i64 2
%129 = load i32, i32* %125
%130 = getelementptr inbounds i32, i32* %123, i64 2
store i32 %129, i32* %127
%131 = getelementptr inbounds i32, i32* %122, i64 3
%132 = load i32, i32* %128
%133 = getelementptr inbounds i32, i32* %123, i64 3
store i32 %132, i32* %130
%134 = getelementptr inbounds i32, i32* %122, i64 4
%135 = load i32, i32* %131
%136 = getelementptr inbounds i32, i32* %123, i64 4
store i32 %135, i32* %133
%137 = getelementptr inbounds i32, i32* %122, i64 5
%138 = load i32, i32* %134
%139 = getelementptr inbounds i32, i32* %123, i64 5
store i32 %138, i32* %136
%140 = getelementptr inbounds i32, i32* %122, i64 6
%141 = load i32, i32* %137
%142 = getelementptr inbounds i32, i32* %123, i64 6
store i32 %141, i32* %139
%143 = getelementptr inbounds i32, i32* %122, i64 7
%144 = load i32, i32* %140
%145 = getelementptr inbounds i32, i32* %123, i64 7
store i32 %144, i32* %142
%146 = add i64 %124, -8
%147 = getelementptr inbounds i32, i32* %122, i64 8
%148 = load i32, i32* %143
%149 = getelementptr inbounds i32, i32* %123, i64 8
store i32 %148, i32* %145
%150 = icmp eq i64 %146, 0
br i1 %150, label %151, label %121
151: ; preds = %116, %121, %96, %3
ret void
}