#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;

/* Variables and functions */
void *memcpy(void *, void const *, size_t);
void *generic_memmove(void *dest, const void *src, size_t len) {
  const uint8_t *src_bytes = (src + len);
  uint8_t *dest_bytes = (dest + len);
  if (dest < src)
    return memcpy(dest, src, len);
  while (len--)
    *(--dest_bytes) = *(--src_bytes);
  return dest;
}


x86 assembly (clang, -O0):
<generic_memmove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    116c <generic_memmove+0x5c>
mov    -0x10(%rbp),%rdi
mov    %rdi,-0x38(%rbp)
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <memcpy@plt>
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11bb <generic_memmove+0xab>
jmp    1171 <generic_memmove+0x61>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
cmp    $0x0,%rax
je     11b3 <generic_memmove+0xa3>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x28(%rbp)
mov    -0x4(%rax),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,-0x4(%rax)
jmp    1171 <generic_memmove+0x61>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<generic_memmove>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
cmp    %rsi,%rdi
jae    1129 <generic_memmove+0x19>
mov    %r14,%rdi
call   1030 <memcpy@plt>
jmp    12a9 <generic_memmove+0x199>
test   %rdx,%rdx
je     12a9 <generic_memmove+0x199>
lea    (%rsi,%rdx,1),%rax
lea    (%r14,%rdx,1),%rcx
cmp    $0x8,%rdx
jb     1213 <generic_memmove+0x103>
lea    (%rdx,%rdx,2),%rdi
mov    %r14,%rbx
sub    %rdi,%rbx
cmp    %rax,%rbx
jae    1162 <generic_memmove+0x52>
mov    %rsi,%rbx
sub    %rdi,%rbx
cmp    %rcx,%rbx
jb     1213 <generic_memmove+0x103>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdi
mov    %rdi,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rdi,%rdi
je     12b4 <generic_memmove+0x1a4>
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
lea    (%rsi,%rdx,1),%r10
add    $0xfffffffffffffff0,%r10
lea    (%r14,%rdx,1),%rbx
add    $0xfffffffffffffff0,%rbx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x10(%r10,%rsi,4),%xmm0
movups (%r10,%rsi,4),%xmm1
movups %xmm1,(%rbx,%rsi,4)
movups %xmm0,-0x10(%rbx,%rsi,4)
movups -0x30(%r10,%rsi,4),%xmm0
movups -0x20(%r10,%rsi,4),%xmm1
movups %xmm1,-0x20(%rbx,%rsi,4)
movups %xmm0,-0x30(%rbx,%rsi,4)
add    $0xfffffffffffffff0,%rsi
add    $0xfffffffffffffffe,%rdi
jne    11a0 <generic_memmove+0x90>
neg    %rsi
test   $0x1,%r9b
je     11fd <generic_memmove+0xed>
shl    $0x2,%rsi
mov    %rcx,%rdi
sub    %rsi,%rdi
mov    %rax,%rbx
sub    %rsi,%rbx
movups -0x20(%rbx),%xmm0
movups -0x10(%rbx),%xmm1
movups %xmm1,-0x10(%rdi)
movups %xmm0,-0x20(%rdi)
cmp    %rdx,%r8
je     12a9 <generic_memmove+0x199>
shl    $0x2,%r8
and    $0x7,%edx
sub    %r8,%rcx
sub    %r8,%rax
lea    -0x1(%rdx),%r8
mov    %rdx,%rdi
and    $0x7,%rdi
je     124a <generic_memmove+0x13a>
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x4(%rax),%ebx
add    $0xfffffffffffffffc,%rax
mov    %ebx,-0x4(%rcx)
add    $0xfffffffffffffffc,%rcx
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1230 <generic_memmove+0x120>
sub    %rsi,%rdx
cmp    $0x7,%r8
jb     12a9 <generic_memmove+0x199>
neg    %rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
mov    -0x4(%rax,%rsi,4),%edi
mov    %edi,-0x4(%rcx,%rsi,4)
mov    -0x8(%rax,%rsi,4),%edi
mov    %edi,-0x8(%rcx,%rsi,4)
mov    -0xc(%rax,%rsi,4),%edi
mov    %edi,-0xc(%rcx,%rsi,4)
mov    -0x10(%rax,%rsi,4),%edi
mov    %edi,-0x10(%rcx,%rsi,4)
mov    -0x14(%rax,%rsi,4),%edi
mov    %edi,-0x14(%rcx,%rsi,4)
mov    -0x18(%rax,%rsi,4),%edi
mov    %edi,-0x18(%rcx,%rsi,4)
mov    -0x1c(%rax,%rsi,4),%edi
mov    %edi,-0x1c(%rcx,%rsi,4)
mov    -0x20(%rax,%rsi,4),%edi
mov    %edi,-0x20(%rcx,%rsi,4)
add    $0xfffffffffffffff8,%rsi
cmp    %rsi,%rdx
jne    1260 <generic_memmove+0x150>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
xor    %esi,%esi
test   $0x1,%r9b
jne    11dd <generic_memmove+0xcd>
jmp    11fd <generic_memmove+0xed>

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

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