void *mempcpy(void *dst, const void *src, long unsigned int n) {
  const char *srcp;
  char *dstp;
  srcp = src;
  dstp = dst;
  while (n-- != 0)
    *dstp++ = *srcp++;
  return dstp;
}


x86 assembly (clang, -O0):
<mempcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%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 <mempcpy+0x60>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    1120 <mempcpy+0x20>
mov    -0x28(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mempcpy>:
mov    %rdi,%rax
test   %rdx,%rdx
je     12a2 <mempcpy+0x1a2>
cmp    $0x20,%rdx
jb     120f <mempcpy+0x10f>
lea    (%rsi,%rdx,1),%rcx
cmp    %rax,%rcx
jbe    112c <mempcpy+0x2c>
lea    (%rax,%rdx,1),%rcx
cmp    %rsi,%rcx
ja     120f <mempcpy+0x10f>
mov    %rdx,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x60,%rcx
jae    1153 <mempcpy+0x53>
xor    %ecx,%ecx
jmp    11b8 <mempcpy+0xb8>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
nopl   0x0(%rax)
movups (%rsi,%rcx,1),%xmm0
movups 0x10(%rsi,%rcx,1),%xmm1
movups %xmm0,(%rax,%rcx,1)
movups %xmm1,0x10(%rax,%rcx,1)
movups 0x20(%rsi,%rcx,1),%xmm0
movups 0x30(%rsi,%rcx,1),%xmm1
movups %xmm0,0x20(%rax,%rcx,1)
movups %xmm1,0x30(%rax,%rcx,1)
movups 0x40(%rsi,%rcx,1),%xmm0
movups 0x50(%rsi,%rcx,1),%xmm1
movups %xmm0,0x40(%rax,%rcx,1)
movups %xmm1,0x50(%rax,%rcx,1)
movups 0x60(%rsi,%rcx,1),%xmm0
movups 0x70(%rsi,%rcx,1),%xmm1
movups %xmm0,0x60(%rax,%rcx,1)
movups %xmm1,0x70(%rax,%rcx,1)
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1160 <mempcpy+0x60>
test   %r9,%r9
je     11fd <mempcpy+0xfd>
lea    (%rsi,%rcx,1),%r10
add    $0x10,%r10
add    %rax,%rcx
add    $0x10,%rcx
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%r10,%rdi,1),%xmm0
movups (%r10,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    11e0 <mempcpy+0xe0>
add    %r8,%rax
cmp    %rdx,%r8
je     12a2 <mempcpy+0x1a2>
and    $0x1f,%edx
add    %r8,%rsi
lea    -0x1(%rdx),%r8
mov    %rdx,%r9
and    $0x7,%r9
je     1239 <mempcpy+0x139>
xor    %edi,%edi
xchg   %ax,%ax
movzbl (%rsi,%rdi,1),%ecx
mov    %cl,(%rax,%rdi,1)
add    $0x1,%rdi
cmp    %rdi,%r9
jne    1220 <mempcpy+0x120>
add    %rdi,%rax
add    %rdi,%rsi
sub    %rdi,%rdx
cmp    $0x7,%r8
jb     12a2 <mempcpy+0x1a2>
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rsi,%rdi,1),%ecx
mov    %cl,(%rax,%rdi,1)
movzbl 0x1(%rsi,%rdi,1),%ecx
mov    %cl,0x1(%rax,%rdi,1)
movzbl 0x2(%rsi,%rdi,1),%ecx
mov    %cl,0x2(%rax,%rdi,1)
movzbl 0x3(%rsi,%rdi,1),%ecx
mov    %cl,0x3(%rax,%rdi,1)
movzbl 0x4(%rsi,%rdi,1),%ecx
mov    %cl,0x4(%rax,%rdi,1)
movzbl 0x5(%rsi,%rdi,1),%ecx
mov    %cl,0x5(%rax,%rdi,1)
movzbl 0x6(%rsi,%rdi,1),%ecx
mov    %cl,0x6(%rax,%rdi,1)
movzbl 0x7(%rsi,%rdi,1),%ecx
mov    %cl,0x7(%rax,%rdi,1)
add    $0x8,%rdi
cmp    %rdi,%rdx
jne    1250 <mempcpy+0x150>
add    %rdi,%rax
ret

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

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