void *memmove(void *dst, const void *src, long len) {
  char *d = dst + len;
  const char *s = src + len;
  for (; len > 0; len--) {
    *(d++) = *(s++);
  }
  return dst;
}


x86 assembly (clang, -O0):
<memmove>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
jle    1166 <memmove+0x66>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1128 <memmove+0x28>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memmove>:
push   %r14
push   %rbx
mov    %rdi,%rax
test   %rdx,%rdx
jle    1155 <memmove+0x55>
lea    (%rsi,%rdx,1),%r8
lea    (%rax,%rdx,1),%r10
cmp    $0x8,%rdx
jb     112b <memmove+0x2b>
lea    (%rsi,%rdx,2),%rcx
cmp    %rcx,%r10
jae    1159 <memmove+0x59>
lea    (%rax,%rdx,2),%rcx
cmp    %rcx,%r8
jae    1159 <memmove+0x59>
mov    %r8,%rsi
mov    %r10,%rcx
mov    %rdx,%rdi
add    $0x1,%rdi
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movzbl (%rsi,%rdx,1),%ebx
mov    %bl,(%rcx,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
cmp    $0x1,%rdi
ja     1140 <memmove+0x40>
pop    %rbx
pop    %r14
ret
cmp    $0x20,%rdx
jae    1167 <memmove+0x67>
xor    %r11d,%r11d
jmp    1259 <memmove+0x159>
mov    %rdx,%r11
and    $0xffffffffffffffe0,%r11
lea    -0x20(%r11),%rcx
mov    %rcx,%r14
shr    $0x5,%r14
add    $0x1,%r14
mov    %r14d,%r9d
and    $0x3,%r9d
cmp    $0x60,%rcx
jae    118e <memmove+0x8e>
xor    %edi,%edi
jmp    1208 <memmove+0x108>
and    $0xfffffffffffffffc,%r14
lea    (%rsi,%rdx,1),%rbx
add    $0x70,%rbx
lea    (%rax,%rdx,1),%rcx
add    $0x70,%rcx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x70(%rbx,%rdi,1),%xmm0
movups -0x60(%rbx,%rdi,1),%xmm1
movups %xmm0,-0x70(%rcx,%rdi,1)
movups %xmm1,-0x60(%rcx,%rdi,1)
movups -0x50(%rbx,%rdi,1),%xmm0
movups -0x40(%rbx,%rdi,1),%xmm1
movups %xmm0,-0x50(%rcx,%rdi,1)
movups %xmm1,-0x40(%rcx,%rdi,1)
movups -0x30(%rbx,%rdi,1),%xmm0
movups -0x20(%rbx,%rdi,1),%xmm1
movups %xmm0,-0x30(%rcx,%rdi,1)
movups %xmm1,-0x20(%rcx,%rdi,1)
movups -0x10(%rbx,%rdi,1),%xmm0
movups (%rbx,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
sub    $0xffffffffffffff80,%rdi
add    $0xfffffffffffffffc,%r14
jne    11b0 <memmove+0xb0>
test   %r9,%r9
je     124b <memmove+0x14b>
add    %rdx,%rdi
lea    (%rax,%rdi,1),%rcx
add    $0x10,%rcx
add    %rdi,%rsi
add    $0x10,%rsi
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x10(%rsi,%rdi,1),%xmm0
movups (%rsi,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    1230 <memmove+0x130>
cmp    %rdx,%r11
je     1155 <memmove+0x55>
test   $0x18,%dl
je     128f <memmove+0x18f>
mov    %rdx,%r9
and    $0xfffffffffffffff8,%r9
lea    (%r8,%r9,1),%rsi
lea    (%r10,%r9,1),%rcx
mov    %edx,%edi
and    $0x7,%edi
nopl   (%rax)
mov    (%r8,%r11,1),%rbx
mov    %rbx,(%r10,%r11,1)
add    $0x8,%r11
cmp    %r11,%r9
jne    1270 <memmove+0x170>
cmp    %rdx,%r9
jne    1134 <memmove+0x34>
jmp    1155 <memmove+0x55>
and    $0x1f,%edx
add    %r11,%r10
add    %r11,%r8
jmp    112b <memmove+0x2b>

LLVM IR (-O0):
define i8* @memmove(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** %4
%10 = load i64, i64* %6
%11 = getelementptr i8, i8* %9, i64 %10
store i8* %11, i8** %7
%12 = load i8*, i8** %5
%13 = load i64, i64* %6
%14 = getelementptr i8, i8* %12, i64 %13
store i8* %14, i8** %8
br label %15
15: ; preds = %24, %3
%16 = load i64, i64* %6
%17 = icmp sgt i64 %16, 0
br i1 %17, label %18, label %27
18: ; preds = %15
%19 = load i8*, i8** %8
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %8
%21 = load i8, i8* %19
%22 = load i8*, i8** %7
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %7
store i8 %21, i8* %22
br label %24
24: ; preds = %18
%25 = load i64, i64* %6
%26 = add nsw i64 %25, -1
store i64 %26, i64* %6
br label %15
27: ; preds = %15
%28 = load i8*, i8** %4
ret i8* %28
}

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