#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 */

/* Variables and functions */
void memcpy(void *destination, void *source, int size) {
  int *u_dest = (int *)destination;
  int *u_source = (int *)source;
  int size_int = size / (sizeof(int));
  int remainder = size % (sizeof(int));
  for (int i = 0; i < size_int; i++, u_source++, u_dest++) {
    *u_dest = *u_source;
  }
  char *pdest = (char *)u_dest;
  char *psource = (char *)u_source;
  int i = remainder;
  while (i > 0) {
    *pdest = *psource;
    pdest++;
    psource++;
    i--;
  }
}


x86 assembly (clang, -O0):
<memcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movslq -0x14(%rbp),%rax
shr    $0x2,%rax
mov    %eax,-0x2c(%rbp)
movslq -0x14(%rbp),%rax
and    $0x3,%rax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    117a <memcpy+0x7a>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    113c <memcpy+0x3c>
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jle    11cc <memcpy+0xcc>
mov    -0x48(%rbp),%rax
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %cl,(%rax)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
jmp    1190 <memcpy+0x90>
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy>:
push   %rbx
mov    %edx,%r10d
and    $0x3,%r10d
cmp    $0x4,%edx
jl     12d0 <memcpy+0x1d0>
shr    $0x2,%edx
lea    -0x1(%rdx),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     122c <memcpy+0x12c>
lea    (%rsi,%r9,4),%rax
add    $0x4,%rax
cmp    %rdi,%rax
jbe    1143 <memcpy+0x43>
lea    (%rdi,%r9,4),%rax
add    $0x4,%rax
cmp    %rsi,%rax
ja     122c <memcpy+0x12c>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r11d
and    $0x3,%r11d
cmp    $0x18,%rax
jae    116e <memcpy+0x6e>
xor    %eax,%eax
jmp    11d8 <memcpy+0xd8>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
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    1180 <memcpy+0x80>
test   %r11,%r11
je     121b <memcpy+0x11b>
lea    (%rsi,%rax,4),%rcx
add    $0x10,%rcx
lea    (%rdi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r11
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,%r11
jne    1200 <memcpy+0x100>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
cmp    %r8,%r9
je     12d0 <memcpy+0x1d0>
mov    %edx,%eax
sub    %r8d,%eax
mov    %r8d,%r9d
not    %r9d
add    %edx,%r9d
and    $0x7,%eax
je     1266 <memcpy+0x166>
neg    %eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi),%ebx
mov    %ebx,(%rdi)
add    $0x4,%rsi
add    $0x4,%rdi
add    $0xffffffff,%ecx
cmp    %ecx,%eax
jne    1250 <memcpy+0x150>
sub    %ecx,%r8d
cmp    $0x7,%r9d
jb     12d0 <memcpy+0x1d0>
sub    %r8d,%edx
xor    %eax,%eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi,%rcx,4),%ebx
mov    %ebx,(%rdi,%rcx,4)
mov    0x4(%rsi,%rcx,4),%ebx
mov    %ebx,0x4(%rdi,%rcx,4)
mov    0x8(%rsi,%rcx,4),%ebx
mov    %ebx,0x8(%rdi,%rcx,4)
mov    0xc(%rsi,%rcx,4),%ebx
mov    %ebx,0xc(%rdi,%rcx,4)
mov    0x10(%rsi,%rcx,4),%ebx
mov    %ebx,0x10(%rdi,%rcx,4)
mov    0x14(%rsi,%rcx,4),%ebx
mov    %ebx,0x14(%rdi,%rcx,4)
mov    0x18(%rsi,%rcx,4),%ebx
mov    %ebx,0x18(%rdi,%rcx,4)
mov    0x1c(%rsi,%rcx,4),%ebx
mov    %ebx,0x1c(%rdi,%rcx,4)
add    $0x8,%rcx
add    $0xffffffffffffffe0,%rax
cmp    %ecx,%edx
jne    1280 <memcpy+0x180>
sub    %rax,%rdi
sub    %rax,%rsi
test   %r10d,%r10d
je     12f1 <memcpy+0x1f1>
mov    (%rsi),%al
mov    %al,(%rdi)
cmp    $0x1,%r10d
jbe    12f1 <memcpy+0x1f1>
mov    0x1(%rsi),%al
mov    %al,0x1(%rdi)
cmp    $0x3,%r10d
jne    12f1 <memcpy+0x1f1>
mov    0x2(%rsi),%al
mov    %al,0x2(%rdi)
pop    %rbx
ret

LLVM IR (-O0):
define void @memcpy(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%15 = load i8*, i8** %4
%16 = bitcast i8* %15 to i32*
store i32* %16, i32** %7
%17 = load i8*, i8** %5
%18 = bitcast i8* %17 to i32*
store i32* %18, i32** %8
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = udiv i64 %20, 4
%22 = trunc i64 %21 to i32
store i32 %22, i32* %9
%23 = load i32, i32* %6
%24 = sext i32 %23 to i64
%25 = urem i64 %24, 4
%26 = trunc i64 %25 to i32
store i32 %26, i32* %10
store i32 0, i32* %11
br label %27
27: ; preds = %35, %3
%28 = load i32, i32* %11
%29 = load i32, i32* %9
%30 = icmp slt i32 %28, %29
br i1 %30, label %31, label %42
31: ; preds = %27
%32 = load i32*, i32** %8
%33 = load i32, i32* %32
%34 = load i32*, i32** %7
store i32 %33, i32* %34
br label %35
35: ; preds = %31
%36 = load i32, i32* %11
%37 = add nsw i32 %36, 1
store i32 %37, i32* %11
%38 = load i32*, i32** %8
%39 = getelementptr inbounds i32, i32* %38, i32 1
store i32* %39, i32** %8
%40 = load i32*, i32** %7
%41 = getelementptr inbounds i32, i32* %40, i32 1
store i32* %41, i32** %7
br label %27
42: ; preds = %27
%43 = load i32*, i32** %7
%44 = bitcast i32* %43 to i8*
store i8* %44, i8** %12
%45 = load i32*, i32** %8
%46 = bitcast i32* %45 to i8*
store i8* %46, i8** %13
%47 = load i32, i32* %10
store i32 %47, i32* %14
br label %48
48: ; preds = %51, %42
%49 = load i32, i32* %14
%50 = icmp sgt i32 %49, 0
br i1 %50, label %51, label %61
51: ; preds = %48
%52 = load i8*, i8** %13
%53 = load i8, i8* %52
%54 = load i8*, i8** %12
store i8 %53, i8* %54
%55 = load i8*, i8** %12
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %12
%57 = load i8*, i8** %13
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %13
%59 = load i32, i32* %14
%60 = add nsw i32 %59, -1
store i32 %60, i32* %14
br label %48
61: ; preds = %48
ret void
}

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