#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 destination, const void *restrict source,
             size_t num) {
  uint8_t *real_destination = (uint8_t *)destination;
  uint8_t *real_source = (uint8_t *)source;
  for (size_t i = 0; i < num; ++i) {
    *real_destination = *real_source;
    ++real_destination;
    ++real_source;
  }
  return destination;
}


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    116b <memcpy+0x6b>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x28(%rbp)
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     1210 <memcpy+0x110>
cmp    $0x8,%rdx
jae    111d <memcpy+0x1d>
xor    %r8d,%r8d
mov    %rax,%r9
jmp    11fa <memcpy+0xfa>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x18,%rcx
jae    1144 <memcpy+0x44>
xor    %ecx,%ecx
jmp    11a8 <memcpy+0xa8>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movups (%rsi,%rcx,4),%xmm0
movups 0x10(%rsi,%rcx,4),%xmm1
movups %xmm0,(%rax,%rcx,4)
movups %xmm1,0x10(%rax,%rcx,4)
movups 0x20(%rsi,%rcx,4),%xmm0
movups 0x30(%rsi,%rcx,4),%xmm1
movups %xmm0,0x20(%rax,%rcx,4)
movups %xmm1,0x30(%rax,%rcx,4)
movups 0x40(%rsi,%rcx,4),%xmm0
movups 0x50(%rsi,%rcx,4),%xmm1
movups %xmm0,0x40(%rax,%rcx,4)
movups %xmm1,0x50(%rax,%rcx,4)
movups 0x60(%rsi,%rcx,4),%xmm0
movups 0x70(%rsi,%rcx,4),%xmm1
movups %xmm0,0x60(%rax,%rcx,4)
movups %xmm1,0x70(%rax,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1150 <memcpy+0x50>
test   %r9,%r9
je     11ed <memcpy+0xed>
lea    (%rax,%rcx,4),%r10
add    $0x10,%r10
lea    (%rsi,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rcx,%rdi,1),%xmm0
movups (%rcx,%rdi,1),%xmm1
movups %xmm0,-0x10(%r10,%rdi,1)
movups %xmm1,(%r10,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    11d0 <memcpy+0xd0>
cmp    %rdx,%r8
je     1210 <memcpy+0x110>
lea    (%rsi,%r8,4),%rsi
lea    (%rax,%r8,4),%r9
sub    %r8,%rdx
xor    %edi,%edi
nop
mov    (%rsi,%rdi,4),%ecx
mov    %ecx,(%r9,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%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 i32, i32* %19
%21 = load i32*, i32** %7
store i32 %20, i32* %21
%22 = load i32*, i32** %7
%23 = getelementptr inbounds i32, i32* %22, i32 1
store i32* %23, i32** %7
%24 = load i32*, i32** %8
%25 = getelementptr inbounds i32, i32* %24, i32 1
store i32* %25, i32** %8
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 = icmp eq i64 %2, 0
br i1 %4, label %94, 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 %90, label %9
9: ; preds = %5
%10 = and i64 %2, -8
%11 = getelementptr i32, i32* %6, i64 %10
%12 = getelementptr i32, i32* %7, i64 %10
%13 = add i64 %10, -8
%14 = lshr exact i64 %13, 3
%15 = add nuw nsw i64 %14, 1
%16 = and i64 %15, 3
%17 = icmp ult i64 %13, 24
br i1 %17, label %69, label %18
18: ; preds = %9
%19 = and i64 %15, 4611686018427387900
br label %20
20: ; preds = %20, %18
%21 = phi i64 [ 0, %18 ], [ %66, %20 ]
%22 = phi i64 [ 0, %18 ], [ %67, %20 ]
%23 = getelementptr i32, i32* %6, i64 %21
%24 = getelementptr i32, i32* %7, i64 %21
%25 = bitcast i32* %23 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = getelementptr i32, i32* %23, i64 4
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = bitcast i32* %24 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = getelementptr i32, i32* %24, i64 4
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %29, <4 x i32>* %32
%33 = or i64 %21, 8
%34 = getelementptr i32, i32* %6, i64 %33
%35 = getelementptr i32, i32* %7, i64 %33
%36 = bitcast i32* %34 to <4 x i32>*
%37 = load <4 x i32>, <4 x i32>* %36
%38 = getelementptr i32, i32* %34, i64 4
%39 = bitcast i32* %38 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %37, <4 x i32>* %41
%42 = getelementptr i32, i32* %35, i64 4
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> %40, <4 x i32>* %43
%44 = or i64 %21, 16
%45 = getelementptr i32, i32* %6, i64 %44
%46 = getelementptr i32, i32* %7, i64 %44
%47 = bitcast i32* %45 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = getelementptr i32, i32* %45, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %52
%53 = getelementptr i32, i32* %46, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %54
%55 = or i64 %21, 24
%56 = getelementptr i32, i32* %6, i64 %55
%57 = getelementptr i32, i32* %7, i64 %55
%58 = bitcast i32* %56 to <4 x i32>*
%59 = load <4 x i32>, <4 x i32>* %58
%60 = getelementptr i32, i32* %56, i64 4
%61 = bitcast i32* %60 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = bitcast i32* %57 to <4 x i32>*
store <4 x i32> %59, <4 x i32>* %63
%64 = getelementptr i32, i32* %57, i64 4
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %65
%66 = add nuw i64 %21, 32
%67 = add i64 %22, 4
%68 = icmp eq i64 %67, %19
br i1 %68, label %69, label %20
69: ; preds = %20, %9
%70 = phi i64 [ 0, %9 ], [ %66, %20 ]
%71 = icmp eq i64 %16, 0
br i1 %71, label %88, label %72
72: ; preds = %69, %72
%73 = phi i64 [ %85, %72 ], [ %70, %69 ]
%74 = phi i64 [ %86, %72 ], [ 0, %69 ]
%75 = getelementptr i32, i32* %6, i64 %73
%76 = getelementptr i32, i32* %7, i64 %73
%77 = bitcast i32* %75 to <4 x i32>*
%78 = load <4 x i32>, <4 x i32>* %77
%79 = getelementptr i32, i32* %75, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> %78, <4 x i32>* %82
%83 = getelementptr i32, i32* %76, i64 4
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> %81, <4 x i32>* %84
%85 = add nuw i64 %73, 8
%86 = add i64 %74, 1
%87 = icmp eq i64 %86, %16
br i1 %87, label %88, label %72
88: ; preds = %72, %69
%89 = icmp eq i64 %10, %2
br i1 %89, label %94, label %90
90: ; preds = %5, %88
%91 = phi i64 [ 0, %5 ], [ %10, %88 ]
%92 = phi i32* [ %6, %5 ], [ %11, %88 ]
%93 = phi i32* [ %7, %5 ], [ %12, %88 ]
br label %95
94: ; preds = %95, %88, %3
ret i8* %0
95: ; preds = %90, %95
%96 = phi i64 [ %102, %95 ], [ %91, %90 ]
%97 = phi i32* [ %101, %95 ], [ %92, %90 ]
%98 = phi i32* [ %100, %95 ], [ %93, %90 ]
%99 = load i32, i32* %97
store i32 %99, i32* %98
%100 = getelementptr inbounds i32, i32* %98, i64 1
%101 = getelementptr inbounds i32, i32* %97, i64 1
%102 = add nuw i64 %96, 1
%103 = icmp eq i64 %102, %2
br i1 %103, label %94, label %95
}