#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 *__restrict dest, const void *__restrict src, size_t size) {
  uint8_t *dest_bytes = (uint8_t *)dest;
  uint8_t *src_bytes = (uint8_t *)src;
  for (size_t ix = 0; ix < size; ix++) {
    dest_bytes[ix] = src_bytes[ix];
  }
  return dest;
}


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)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    115d <memcpy+0x5d>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1128 <memcpy+0x28>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy>:
mov    %rdi,%rax
test   %rdx,%rdx
je     120f <memcpy+0x10f>
cmp    $0x8,%rdx
jae    1119 <memcpy+0x19>
xor    %ecx,%ecx
jmp    1200 <memcpy+0x100>
mov    %rdx,%rcx
and    $0xfffffffffffffff8,%rcx
lea    -0x8(%rcx),%rdi
mov    %rdi,%r9
shr    $0x3,%r9
add    $0x1,%r9
mov    %r9d,%r8d
and    $0x3,%r8d
cmp    $0x18,%rdi
jae    1140 <memcpy+0x40>
xor    %edi,%edi
jmp    11a8 <memcpy+0xa8>
and    $0xfffffffffffffffc,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups (%rsi,%rdi,4),%xmm0
movups 0x10(%rsi,%rdi,4),%xmm1
movups %xmm0,(%rax,%rdi,4)
movups %xmm1,0x10(%rax,%rdi,4)
movups 0x20(%rsi,%rdi,4),%xmm0
movups 0x30(%rsi,%rdi,4),%xmm1
movups %xmm0,0x20(%rax,%rdi,4)
movups %xmm1,0x30(%rax,%rdi,4)
movups 0x40(%rsi,%rdi,4),%xmm0
movups 0x50(%rsi,%rdi,4),%xmm1
movups %xmm0,0x40(%rax,%rdi,4)
movups %xmm1,0x50(%rax,%rdi,4)
movups 0x60(%rsi,%rdi,4),%xmm0
movups 0x70(%rsi,%rdi,4),%xmm1
movups %xmm0,0x60(%rax,%rdi,4)
movups %xmm1,0x70(%rax,%rdi,4)
add    $0x20,%rdi
add    $0xfffffffffffffffc,%r9
jne    1150 <memcpy+0x50>
test   %r8,%r8
je     11ef <memcpy+0xef>
lea    (%rax,%rdi,4),%r9
add    $0x10,%r9
lea    (%rsi,%rdi,4),%r10
add    $0x10,%r10
shl    $0x5,%r8
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%r10,%rdi,1),%xmm0
movups (%r10,%rdi,1),%xmm1
movups %xmm0,-0x10(%r9,%rdi,1)
movups %xmm1,(%r9,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r8
jne    11d0 <memcpy+0xd0>
cmp    %rdx,%rcx
je     120f <memcpy+0x10f>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsi,%rcx,4),%edi
mov    %edi,(%rax,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1200 <memcpy+0x100>
ret

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

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