#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ uint8_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
void mem_rcopy(uint8_t *dst, uint8_t const *src, uint16_t len) {
  src += len;
  while (len--) {
    *dst++ = *--src;
  }
}


x86 assembly (clang, -O0):
<mem_rcopy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
je     1160 <mem_rcopy+0x60>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x10(%rbp)
mov    -0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
jmp    1124 <mem_rcopy+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mem_rcopy>:
push   %rbx
test   %edx,%edx
je     12a2 <mem_rcopy+0x1a2>
movslq %edx,%r11
lea    (%rsi,%r11,4),%rax
lea    -0x1(%rdx),%r10d
cmp    $0x7,%r10d
jb     1221 <mem_rcopy+0x121>
cmp    %rdi,%rax
jbe    1141 <mem_rcopy+0x41>
lea    (%rdi,%r10,4),%rcx
add    $0x4,%rcx
mov    %r10,%rbx
not    %rbx
add    %r11,%rbx
lea    (%rsi,%rbx,4),%rbx
cmp    %rcx,%rbx
jb     1221 <mem_rcopy+0x121>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     12a4 <mem_rcopy+0x1a4>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
lea    0x30(%rdi),%rbx
lea    (%rsi,%r11,4),%r11
add    $0xfffffffffffffff0,%r11
xor    %esi,%esi
nopl   0x0(%rax)
movdqu -0x10(%r11,%rsi,4),%xmm0
movdqu (%r11,%rsi,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,-0x30(%rbx)
movdqu %xmm0,-0x20(%rbx)
movdqu -0x30(%r11,%rsi,4),%xmm0
movdqu -0x20(%r11,%rsi,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,-0x10(%rbx)
movdqu %xmm0,(%rbx)
add    $0x40,%rbx
add    $0xfffffffffffffff0,%rsi
add    $0xfffffffffffffffe,%rcx
jne    1180 <mem_rcopy+0x80>
neg    %rsi
test   $0x1,%r9b
je     1206 <mem_rcopy+0x106>
lea    0x0(,%rsi,4),%rcx
mov    %rax,%rbx
sub    %rcx,%rbx
movdqu -0x20(%rbx),%xmm0
movdqu -0x10(%rbx),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqu %xmm1,(%rdi,%rsi,4)
movdqu %xmm0,0x10(%rdi,%rsi,4)
cmp    %r8,%r10
je     12a2 <mem_rcopy+0x1a2>
lea    0x0(,%r8,4),%rcx
sub    %r8d,%edx
sub    %rcx,%rax
lea    (%rdi,%r8,4),%rdi
lea    -0x1(%rdx),%r8d
mov    %edx,%esi
and    $0x7,%esi
je     1246 <mem_rcopy+0x146>
xor    %ebx,%ebx
xchg   %ax,%ax
mov    -0x4(%rax),%ecx
add    $0xfffffffffffffffc,%rax
mov    %ecx,(%rdi)
add    $0x4,%rdi
add    $0x1,%ebx
cmp    %ebx,%esi
jne    1230 <mem_rcopy+0x130>
sub    %ebx,%edx
cmp    $0x7,%r8d
jb     12a2 <mem_rcopy+0x1a2>
mov    %edx,%ecx
add    $0xfffffffffffffffc,%rax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rax),%esi
mov    %esi,(%rdi,%rdx,4)
mov    -0x4(%rax),%esi
mov    %esi,0x4(%rdi,%rdx,4)
mov    -0x8(%rax),%esi
mov    %esi,0x8(%rdi,%rdx,4)
mov    -0xc(%rax),%esi
mov    %esi,0xc(%rdi,%rdx,4)
mov    -0x10(%rax),%esi
mov    %esi,0x10(%rdi,%rdx,4)
mov    -0x14(%rax),%esi
mov    %esi,0x14(%rdi,%rdx,4)
mov    -0x18(%rax),%esi
mov    %esi,0x18(%rdi,%rdx,4)
mov    -0x1c(%rax),%esi
mov    %esi,0x1c(%rdi,%rdx,4)
add    $0x8,%rdx
add    $0xffffffffffffffe0,%rax
cmp    %edx,%ecx
jne    1260 <mem_rcopy+0x160>
pop    %rbx
ret
xor    %esi,%esi
test   $0x1,%r9b
jne    11d9 <mem_rcopy+0xd9>
jmp    1206 <mem_rcopy+0x106>

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

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