memcpy(char *to, char *from, int count) {
  if (to < 0x200000) {
    printk("mcpy %p %p size %d\n", to, from, count);
  }
  while (count--)
    *(to++) = *(from++);
}


x86 assembly (clang, -O0):
<memcpy>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    $0x200000,%eax
cmp    %rax,-0x10(%rbp)
jae    114b <memcpy+0x3b>
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
lea    0xebc(%rip),%rdi
mov    $0x0,%al
call   1030 <printk@plt>
jmp    1150 <memcpy+0x40>
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     118b <memcpy+0x7b>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    1150 <memcpy+0x40>
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy>:
push   %r15
push   %r14
push   %rbx
mov    %edx,%r14d
mov    %rsi,%r15
mov    %rdi,%rbx
cmp    $0x1fffff,%rdi
ja     113e <memcpy+0x2e>
lea    0xed2(%rip),%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
mov    %r14d,%ecx
xor    %eax,%eax
call   1030 <printk@plt>
test   %r14d,%r14d
je     120e <memcpy+0xfe>
lea    -0x1(%r14),%r9d
cmp    $0x7,%r9d
jb     1173 <memcpy+0x63>
lea    (%r15,%r9,1),%rax
add    $0x1,%rax
cmp    %rbx,%rax
jbe    1214 <memcpy+0x104>
lea    (%rbx,%r9,1),%rax
add    $0x1,%rax
cmp    %r15,%rax
jbe    1214 <memcpy+0x104>
mov    %r15,%rsi
mov    %rbx,%rdi
lea    -0x1(%r14),%eax
test   $0x7,%r14b
je     11a8 <memcpy+0x98>
mov    %r14d,%edx
and    $0x7,%edx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movzbl (%rsi,%rcx,1),%ebx
mov    %bl,(%rdi,%rcx,1)
add    $0x1,%rcx
cmp    %ecx,%edx
jne    1190 <memcpy+0x80>
sub    %ecx,%r14d
add    %rcx,%rsi
add    %rcx,%rdi
cmp    $0x7,%eax
jb     120e <memcpy+0xfe>
mov    %r14d,%eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rdi,%rcx,1)
movzbl 0x1(%rsi,%rcx,1),%edx
mov    %dl,0x1(%rdi,%rcx,1)
movzbl 0x2(%rsi,%rcx,1),%edx
mov    %dl,0x2(%rdi,%rcx,1)
movzbl 0x3(%rsi,%rcx,1),%edx
mov    %dl,0x3(%rdi,%rcx,1)
movzbl 0x4(%rsi,%rcx,1),%edx
mov    %dl,0x4(%rdi,%rcx,1)
movzbl 0x5(%rsi,%rcx,1),%edx
mov    %dl,0x5(%rdi,%rcx,1)
movzbl 0x6(%rsi,%rcx,1),%edx
mov    %dl,0x6(%rdi,%rcx,1)
movzbl 0x7(%rsi,%rcx,1),%edx
mov    %dl,0x7(%rdi,%rcx,1)
add    $0x8,%rcx
cmp    %ecx,%eax
jne    11c0 <memcpy+0xb0>
pop    %rbx
pop    %r14
pop    %r15
ret
movabs $0x1ffffffe0,%rcx
cmp    $0x1f,%r9d
jae    122b <memcpy+0x11b>
xor    %edx,%edx
jmp    130a <memcpy+0x1fa>
lea    0x1(%r9),%r8
mov    %r8,%rdx
and    %rcx,%rdx
lea    -0x20(%rdx),%rax
mov    %rax,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x60,%rax
jae    1255 <memcpy+0x145>
xor    %eax,%eax
jmp    12c0 <memcpy+0x1b0>
and    $0xfffffffffffffffc,%rdi
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movups (%r15,%rax,1),%xmm0
movups 0x10(%r15,%rax,1),%xmm1
movups %xmm0,(%rbx,%rax,1)
movups %xmm1,0x10(%rbx,%rax,1)
movups 0x20(%r15,%rax,1),%xmm0
movups 0x30(%r15,%rax,1),%xmm1
movups %xmm0,0x20(%rbx,%rax,1)
movups %xmm1,0x30(%rbx,%rax,1)
movups 0x40(%r15,%rax,1),%xmm0
movups 0x50(%r15,%rax,1),%xmm1
movups %xmm0,0x40(%rbx,%rax,1)
movups %xmm1,0x50(%rbx,%rax,1)
movups 0x60(%r15,%rax,1),%xmm0
movups 0x70(%r15,%rax,1),%xmm1
movups %xmm0,0x60(%rbx,%rax,1)
movups %xmm1,0x70(%rbx,%rax,1)
sub    $0xffffffffffffff80,%rax
add    $0xfffffffffffffffc,%rdi
jne    1260 <memcpy+0x150>
test   %r10,%r10
je     12fb <memcpy+0x1eb>
lea    (%rbx,%rax,1),%rdi
add    $0x10,%rdi
add    %r15,%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rax,%rsi,1),%xmm0
movups (%rax,%rsi,1),%xmm1
movups %xmm0,-0x10(%rdi,%rsi,1)
movups %xmm1,(%rdi,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%r10
jne    12e0 <memcpy+0x1d0>
cmp    %rdx,%r8
je     120e <memcpy+0xfe>
test   $0x18,%r8b
je     133f <memcpy+0x22f>
add    $0x1,%r9
add    $0x18,%rcx
and    %r9,%rcx
sub    %ecx,%r14d
lea    (%r15,%rcx,1),%rsi
lea    (%rbx,%rcx,1),%rdi
mov    (%r15,%rdx,1),%rax
mov    %rax,(%rbx,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rcx
jne    1320 <memcpy+0x210>
cmp    %rcx,%r9
jne    1179 <memcpy+0x69>
jmp    120e <memcpy+0xfe>
add    %rdx,%rbx
add    %rdx,%r15
sub    %edx,%r14d
jmp    1173 <memcpy+0x63>

LLVM IR (-O0):
@.str = [20 x i8] c"mcpy %p %p size %d\0A\00"
define i32 @memcpy(i8* %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
%8 = load i8*, i8** %5
%9 = icmp ult i8* %8, inttoptr (i64 2097152 to i8*)
br i1 %9, label %10, label %15
10: ; preds = %3
%11 = load i8*, i8** %5
%12 = load i8*, i8** %6
%13 = load i32, i32* %7
%14 = call i32 (i8*, i8*, i8*, i32, ...) bitcast (i32 (...)* @printk to i32 (i8*, i8*, i8*, i32, ...)*)(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0), i8* %11, i8* %12, i32 %13)
br label %15
15: ; preds = %10, %3
br label %16
16: ; preds = %20, %15
%17 = load i32, i32* %7
%18 = add nsw i32 %17, -1
store i32 %18, i32* %7
%19 = icmp ne i32 %17, 0
br i1 %19, label %20, label %26
20: ; preds = %16
%21 = load i8*, i8** %6
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %6
%23 = load i8, i8* %21
%24 = load i8*, i8** %5
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %5
store i8 %23, i8* %24
br label %16
26: ; preds = %16
%27 = load i32, i32* %4
ret i32 %27
}

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