#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 */

/* Variables and functions */
void *memmove(void *dst, const void *src, size_t len) {
  void *dst2 = dst;
  dst += len - 1;
  src += len - 1;
  while (len--)
    *(((unsigned char *)dst--)) = *(((unsigned char *)src--));
  return dst2;
}


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
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
add    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
cmp    $0x0,%rax
je     1178 <memmove+0x78>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    1138 <memmove+0x38>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memmove>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rax
mov    %rdx,%r9
sub    $0x1,%r9
jb     11df <memmove+0xdf>
lea    (%rsi,%r9,1),%r8
add    %rax,%r9
cmp    $0x4,%rdx
jb     113b <memmove+0x3b>
lea    (%rsi,%rdx,1),%rcx
cmp    %rax,%rcx
jbe    11e4 <memmove+0xe4>
lea    (%rax,%rdx,1),%rcx
cmp    %rsi,%rcx
jbe    11e4 <memmove+0xe4>
mov    %r9,%rsi
mov    %rdx,%r10
mov    %r8,%rdi
lea    -0x1(%r10),%r8
mov    %r10,%rdx
and    $0x7,%rdx
je     1179 <memmove+0x79>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdi),%ebx
add    $0xffffffffffffffff,%rdi
mov    %bl,(%rsi)
add    $0xffffffffffffffff,%rsi
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1160 <memmove+0x60>
sub    %rcx,%r10
cmp    $0x7,%r8
jb     11df <memmove+0xdf>
neg    %r10
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rdi,%rcx,1),%edx
mov    %dl,(%rsi,%rcx,1)
movzbl -0x1(%rdi,%rcx,1),%edx
mov    %dl,-0x1(%rsi,%rcx,1)
movzbl -0x2(%rdi,%rcx,1),%edx
mov    %dl,-0x2(%rsi,%rcx,1)
movzbl -0x3(%rdi,%rcx,1),%edx
mov    %dl,-0x3(%rsi,%rcx,1)
movzbl -0x4(%rdi,%rcx,1),%edx
mov    %dl,-0x4(%rsi,%rcx,1)
movzbl -0x5(%rdi,%rcx,1),%edx
mov    %dl,-0x5(%rsi,%rcx,1)
movzbl -0x6(%rdi,%rcx,1),%edx
mov    %dl,-0x6(%rsi,%rcx,1)
movzbl -0x7(%rdi,%rcx,1),%edx
mov    %dl,-0x7(%rsi,%rcx,1)
add    $0xfffffffffffffff8,%rcx
cmp    %rcx,%r10
jne    1190 <memmove+0x90>
pop    %rbx
pop    %r14
pop    %rbp
ret
cmp    $0x10,%rdx
jae    11f1 <memmove+0xf1>
xor    %ecx,%ecx
jmp    12b3 <memmove+0x1b3>
mov    %rdx,%rcx
and    $0xfffffffffffffff0,%rcx
lea    -0x10(%rcx),%rdi
mov    %rdi,%r11
shr    $0x4,%r11
add    $0x1,%r11
mov    %r11d,%r10d
and    $0x3,%r10d
cmp    $0x30,%rdi
jae    1218 <memmove+0x118>
xor    %edi,%edi
jmp    1267 <memmove+0x167>
and    $0xfffffffffffffffc,%r11
lea    -0xf(%r9),%r14
lea    -0xf(%r8),%rbx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movups (%rbx,%rdi,1),%xmm0
movups %xmm0,(%r14,%rdi,1)
movups -0x10(%rbx,%rdi,1),%xmm0
movups %xmm0,-0x10(%r14,%rdi,1)
movups -0x20(%rbx,%rdi,1),%xmm0
movups %xmm0,-0x20(%r14,%rdi,1)
movups -0x30(%rbx,%rdi,1),%xmm0
movups %xmm0,-0x30(%r14,%rdi,1)
add    $0xffffffffffffffc0,%rdi
add    $0xfffffffffffffffc,%r11
jne    1230 <memmove+0x130>
neg    %rdi
test   %r10,%r10
je     12a5 <memmove+0x1a5>
mov    %rdx,%rbx
sub    %rdi,%rbx
lea    (%rsi,%rbx,1),%r11
add    $0xfffffffffffffff0,%r11
lea    (%rax,%rbx,1),%rdi
add    $0xfffffffffffffff0,%rdi
shl    $0x4,%r10
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
movups (%r11,%rbx,1),%xmm0
movups %xmm0,(%rdi,%rbx,1)
add    $0xfffffffffffffff0,%rbx
mov    %r10,%rsi
add    %rbx,%rsi
jne    1290 <memmove+0x190>
cmp    %rdx,%rcx
je     11df <memmove+0xdf>
test   $0xc,%dl
je     1301 <memmove+0x201>
mov    %rdx,%r11
and    $0xfffffffffffffffc,%r11
mov    %r11,%rbx
neg    %rbx
mov    %r9,%rsi
sub    %r11,%rsi
mov    %edx,%r10d
and    $0x3,%r10d
mov    %r8,%rdi
sub    %r11,%rdi
neg    %rcx
cs nopw 0x0(%rax,%rax,1)
mov    -0x3(%r8,%rcx,1),%ebp
mov    %ebp,-0x3(%r9,%rcx,1)
add    $0xfffffffffffffffc,%rcx
cmp    %rcx,%rbx
jne    12e0 <memmove+0x1e0>
cmp    %rdx,%r11
jne    1144 <memmove+0x44>
jmp    11df <memmove+0xdf>
sub    %rcx,%r8
and    $0xf,%edx
sub    %rcx,%r9
jmp    113b <memmove+0x3b>

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

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