void *memcpy_backward(void *dst, const void *src, unsigned size) {
  for (unsigned i = 0; i < size; i++)
    ((char *)dst)[(size - 1) - i] = ((const char *)src)[(size - 1) - i];
  return dst;
}


x86 assembly (clang, -O0):
<memcpy_backward>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1154 <memcpy_backward+0x54>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <memcpy_backward+0x16>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy_backward>:
push   %r14
push   %rbx
mov    %rdi,%rax
test   %edx,%edx
je     11c5 <memcpy_backward+0xc5>
mov    %edx,%r11d
cmp    $0x4,%edx
jae    11c9 <memcpy_backward+0xc9>
xor    %r14d,%r14d
mov    %r14,%r8
not    %r8
add    %r11,%r8
mov    %r11,%r9
and    $0x3,%r9
je     1156 <memcpy_backward+0x56>
mov    %r14d,%edi
not    %edi
add    %edx,%edi
neg    %r9
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
lea    (%rdi,%rdx,1),%ecx
movzbl (%rsi,%rcx,1),%ebx
mov    %bl,(%rax,%rcx,1)
add    $0xffffffffffffffff,%rdx
cmp    %rdx,%r9
jne    1140 <memcpy_backward+0x40>
sub    %rdx,%r14
cmp    $0x3,%r8
jb     11c5 <memcpy_backward+0xc5>
mov    $0xfffffffc,%r8d
sub    %r14d,%r8d
mov    $0xfffffffd,%r9d
sub    %r14d,%r9d
mov    $0xfffffffe,%edi
sub    %r14d,%edi
mov    %r14d,%ebx
not    %ebx
nopl   0x0(%rax,%rax,1)
lea    (%r11,%rbx,1),%edx
movzbl (%rsi,%rdx,1),%ecx
mov    %cl,(%rax,%rdx,1)
lea    (%rdi,%r11,1),%ecx
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rax,%rcx,1)
lea    (%r9,%r11,1),%ecx
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rax,%rcx,1)
lea    (%r8,%r11,1),%ecx
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rax,%rcx,1)
add    $0x4,%r14
add    $0xfffffffffffffffc,%r8
add    $0xfffffffffffffffc,%r9
add    $0xfffffffffffffffc,%rdi
add    $0xfffffffffffffffc,%rbx
cmp    %r14,%r11
jne    1180 <memcpy_backward+0x80>
pop    %rbx
pop    %r14
ret
lea    -0x1(%r11),%rcx
lea    -0x1(%rdx),%r8d
xor    %r14d,%r14d
cmp    %ecx,%r8d
jb     111d <memcpy_backward+0x1d>
shr    $0x20,%rcx
jne    111d <memcpy_backward+0x1d>
lea    -0x1(%rdx),%edi
lea    0x1(%rdi),%rcx
sub    %r11,%rcx
lea    (%rax,%rcx,1),%r9
lea    (%rsi,%rdi,1),%rbx
add    $0x1,%rbx
cmp    %rbx,%r9
jae    1215 <memcpy_backward+0x115>
add    %rax,%rdi
add    $0x1,%rdi
add    %rsi,%rcx
cmp    %rdi,%rcx
jb     111a <memcpy_backward+0x1a>
cmp    $0x10,%edx
jae    1222 <memcpy_backward+0x122>
xor    %r14d,%r14d
jmp    12ea <memcpy_backward+0x1ea>
mov    %r11d,%r14d
and    $0xfffffff0,%r14d
lea    -0x10(%r14),%rdi
mov    %rdi,%rcx
shr    $0x4,%rcx
add    $0x1,%rcx
mov    %ecx,%r9d
and    $0x3,%r9d
cmp    $0x30,%rdi
jae    124a <memcpy_backward+0x14a>
xor    %r10d,%r10d
jmp    12b1 <memcpy_backward+0x1b1>
and    $0xfffffffffffffffc,%rcx
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r8d,%edi
movups -0xf(%rsi,%rdi,1),%xmm0
movups %xmm0,-0xf(%rax,%rdi,1)
mov    %r10d,%edi
xor    $0xffffffef,%edi
add    %edx,%edi
movups -0xf(%rsi,%rdi,1),%xmm0
movups %xmm0,-0xf(%rax,%rdi,1)
mov    %r10d,%edi
xor    $0xffffffdf,%edi
add    %edx,%edi
movups -0xf(%rsi,%rdi,1),%xmm0
movups %xmm0,-0xf(%rax,%rdi,1)
mov    %r10d,%edi
xor    $0xffffffcf,%edi
add    %edx,%edi
movups -0xf(%rsi,%rdi,1),%xmm0
movups %xmm0,-0xf(%rax,%rdi,1)
add    $0x40,%r10
add    $0xffffffc0,%r8d
add    $0xfffffffffffffffc,%rcx
jne    1260 <memcpy_backward+0x160>
test   %r9,%r9
je     12d7 <memcpy_backward+0x1d7>
not    %r10d
add    %edx,%r10d
nopl   0x0(%rax)
mov    %r10d,%ecx
movups -0xf(%rsi,%rcx,1),%xmm0
movups %xmm0,-0xf(%rax,%rcx,1)
add    $0xfffffff0,%r10d
add    $0xffffffffffffffff,%r9
jne    12c0 <memcpy_backward+0x1c0>
cmp    %r11,%r14
je     11c5 <memcpy_backward+0xc5>
test   $0xc,%r11b
je     111d <memcpy_backward+0x1d>
mov    %r14,%rcx
mov    %r11d,%r14d
and    $0xfffffffc,%r14d
mov    %rcx,%rdi
sub    %r14,%rdi
not    %ecx
add    %edx,%ecx
xchg   %ax,%ax
mov    %ecx,%r8d
mov    -0x3(%rsi,%r8,1),%ebx
mov    %ebx,-0x3(%rax,%r8,1)
add    $0xfffffffc,%ecx
add    $0x4,%rdi
jne    1300 <memcpy_backward+0x200>
cmp    %r11,%r14
je     11c5 <memcpy_backward+0xc5>
jmp    111d <memcpy_backward+0x1d>

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

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