void _memcpyBack(void *_dest, const void *_src, int len) {
  char *dest = (char *)_dest;
  const char *src = (const char *)_src;
  for (int i = len - 1; i >= 0; i--) {
    dest[i] = src[i];
  }
}


x86 assembly (clang, -O0):
<_memcpyBack>:
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)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     1156 <_memcpyBack+0x56>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1128 <_memcpyBack+0x28>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_memcpyBack>:
push   %r14
push   %rbx
test   %edx,%edx
jle    1134 <_memcpyBack+0x34>
mov    %edx,%r8d
cmp    $0x4,%edx
jae    1138 <_memcpyBack+0x38>
mov    %r8,%rax
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
lea    -0x2(%rax),%ecx
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rdi,%rcx,1)
add    $0xffffffffffffffff,%rax
cmp    $0x1,%rax
ja     1120 <_memcpyBack+0x20>
pop    %rbx
pop    %r14
ret
lea    -0x1(%r8),%r10
lea    -0x1(%rdx),%eax
cmp    %r10d,%eax
jb     110f <_memcpyBack+0xf>
mov    %r10,%rcx
shr    $0x20,%rcx
jne    110f <_memcpyBack+0xf>
lea    0x1(%rax),%rcx
sub    %r8,%rcx
lea    (%rdi,%rcx,1),%r9
lea    (%rsi,%rax,1),%rbx
add    $0x1,%rbx
cmp    %rbx,%r9
jae    1174 <_memcpyBack+0x74>
add    %rdi,%rax
add    $0x1,%rax
add    %rsi,%rcx
cmp    %rax,%rcx
jb     110f <_memcpyBack+0xf>
cmp    $0x10,%edx
jae    1181 <_memcpyBack+0x81>
xor    %r14d,%r14d
jmp    1235 <_memcpyBack+0x135>
mov    %r8d,%r14d
and    $0xfffffff0,%r14d
lea    -0x10(%r14),%rax
mov    %rax,%r11
shr    $0x4,%r11
add    $0x1,%r11
mov    %r11d,%r9d
and    $0x3,%r9d
cmp    $0x30,%rax
jae    11a8 <_memcpyBack+0xa8>
xor    %edx,%edx
jmp    1205 <_memcpyBack+0x105>
and    $0xfffffffffffffffc,%r11
mov    $0xffffffcf,%eax
add    %r8,%rax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
mov    %r10d,%ecx
movups -0xf(%rsi,%rcx,1),%xmm0
movups %xmm0,-0xf(%rdi,%rcx,1)
lea    0x20(%rax),%ecx
movups -0xf(%rsi,%rcx,1),%xmm0
movups %xmm0,-0xf(%rdi,%rcx,1)
lea    0x10(%rax),%ecx
movups -0xf(%rsi,%rcx,1),%xmm0
movups %xmm0,-0xf(%rdi,%rcx,1)
mov    %eax,%ecx
movups -0xf(%rsi,%rcx,1),%xmm0
movups %xmm0,-0xf(%rdi,%rcx,1)
add    $0x40,%rdx
add    $0xffffffffffffffc0,%rax
add    $0xffffffffffffffc0,%r10
add    $0xfffffffffffffffc,%r11
jne    11c0 <_memcpyBack+0xc0>
test   %r9,%r9
je     1226 <_memcpyBack+0x126>
not    %rdx
add    %r8,%rdx
mov    %edx,%eax
movups -0xf(%rsi,%rax,1),%xmm0
movups %xmm0,-0xf(%rdi,%rax,1)
add    $0xfffffffffffffff0,%rdx
add    $0xffffffffffffffff,%r9
jne    1210 <_memcpyBack+0x110>
cmp    %r8,%r14
je     1134 <_memcpyBack+0x34>
test   $0xc,%r8b
je     1272 <_memcpyBack+0x172>
mov    %r8d,%r9d
and    $0xfffffffc,%r9d
mov    %r8d,%eax
and    $0x3,%eax
mov    %r14,%rcx
not    %rcx
add    %r8,%rcx
sub    %r9,%r14
xchg   %ax,%ax
mov    %ecx,%edx
mov    -0x3(%rsi,%rdx,1),%ebx
mov    %ebx,-0x3(%rdi,%rdx,1)
add    $0xfffffffffffffffc,%rcx
add    $0x4,%r14
jne    1250 <_memcpyBack+0x150>
cmp    %r8,%r9
jne    1112 <_memcpyBack+0x12>
jmp    1134 <_memcpyBack+0x34>
and    $0xf,%r8d
jmp    110f <_memcpyBack+0xf>

LLVM IR (-O0):
define void @_memcpyBack(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%10 = load i8*, i8** %4
store i8* %10, i8** %7
%11 = load i8*, i8** %5
store i8* %11, i8** %8
%12 = load i32, i32* %6
%13 = sub nsw i32 %12, 1
store i32 %13, i32* %9
br label %14
14: ; preds = %27, %3
%15 = load i32, i32* %9
%16 = icmp sge i32 %15, 0
br i1 %16, label %17, label %30
17: ; preds = %14
%18 = load i8*, i8** %8
%19 = load i32, i32* %9
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = load i8*, i8** %7
%24 = load i32, i32* %9
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
store i8 %22, i8* %26
br label %27
27: ; preds = %17
%28 = load i32, i32* %9
%29 = add nsw i32 %28, -1
store i32 %29, i32* %9
br label %14
30: ; preds = %14
ret void
}

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