#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 *generic_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 generic_memcpy(dest, src, len);
  while (len--)
    *(--dest_bytes) = *(--src_bytes);
  return dest;
}


x86 assembly (clang, -O0):
<generic_memmove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%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    1164 <generic_memmove+0x54>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <generic_memcpy@plt>
mov    %rax,-0x8(%rbp)
jmp    11b3 <generic_memmove+0xa3>
jmp    1169 <generic_memmove+0x59>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
cmp    $0x0,%rax
je     11ab <generic_memmove+0x9b>
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    1169 <generic_memmove+0x59>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<generic_memmove>:
cmp    %rsi,%rdi
jae    111a <generic_memmove+0xa>
jmp    1030 <generic_memcpy@plt>
push   %rbx
test   %rdx,%rdx
je     1299 <generic_memmove+0x189>
lea    (%rsi,%rdx,1),%rax
lea    (%rdi,%rdx,1),%rcx
cmp    $0x8,%rdx
jb     1205 <generic_memmove+0xf5>
lea    (%rdx,%rdx,2),%r8
mov    %rdi,%rbx
sub    %r8,%rbx
cmp    %rax,%rbx
jae    1154 <generic_memmove+0x44>
mov    %rsi,%rbx
sub    %r8,%rbx
cmp    %rcx,%rbx
jb     1205 <generic_memmove+0xf5>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rbx
mov    %rbx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rbx,%rbx
je     129e <generic_memmove+0x18e>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
lea    (%rsi,%rdx,1),%r11
add    $0xfffffffffffffff0,%r11
lea    (%rdi,%rdx,1),%rbx
add    $0xfffffffffffffff0,%rbx
xor    %esi,%esi
nopl   0x0(%rax)
movups -0x10(%r11,%rsi,4),%xmm0
movups (%r11,%rsi,4),%xmm1
movups %xmm1,(%rbx,%rsi,4)
movups %xmm0,-0x10(%rbx,%rsi,4)
movups -0x30(%r11,%rsi,4),%xmm0
movups -0x20(%r11,%rsi,4),%xmm1
movups %xmm1,-0x20(%rbx,%rsi,4)
movups %xmm0,-0x30(%rbx,%rsi,4)
add    $0xfffffffffffffff0,%rsi
add    $0xfffffffffffffffe,%r10
jne    1190 <generic_memmove+0x80>
neg    %rsi
test   $0x1,%r9b
je     11ef <generic_memmove+0xdf>
shl    $0x2,%rsi
mov    %rcx,%r9
sub    %rsi,%r9
mov    %rax,%rbx
sub    %rsi,%rbx
movups -0x20(%rbx),%xmm0
movups -0x10(%rbx),%xmm1
movups %xmm1,-0x10(%r9)
movups %xmm0,-0x20(%r9)
cmp    %rdx,%r8
je     1299 <generic_memmove+0x189>
shl    $0x2,%r8
and    $0x7,%edx
sub    %r8,%rcx
sub    %r8,%rax
lea    -0x1(%rdx),%r8
mov    %rdx,%r9
and    $0x7,%r9
je     123a <generic_memmove+0x12a>
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x4(%rax),%ebx
add    $0xfffffffffffffffc,%rax
mov    %ebx,-0x4(%rcx)
add    $0xfffffffffffffffc,%rcx
add    $0x1,%rsi
cmp    %rsi,%r9
jne    1220 <generic_memmove+0x110>
sub    %rsi,%rdx
cmp    $0x7,%r8
jb     1299 <generic_memmove+0x189>
neg    %rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
mov    -0x4(%rax,%rsi,4),%ebx
mov    %ebx,-0x4(%rcx,%rsi,4)
mov    -0x8(%rax,%rsi,4),%ebx
mov    %ebx,-0x8(%rcx,%rsi,4)
mov    -0xc(%rax,%rsi,4),%ebx
mov    %ebx,-0xc(%rcx,%rsi,4)
mov    -0x10(%rax,%rsi,4),%ebx
mov    %ebx,-0x10(%rcx,%rsi,4)
mov    -0x14(%rax,%rsi,4),%ebx
mov    %ebx,-0x14(%rcx,%rsi,4)
mov    -0x18(%rax,%rsi,4),%ebx
mov    %ebx,-0x18(%rcx,%rsi,4)
mov    -0x1c(%rax,%rsi,4),%ebx
mov    %ebx,-0x1c(%rcx,%rsi,4)
mov    -0x20(%rax,%rsi,4),%ebx
mov    %ebx,-0x20(%rcx,%rsi,4)
add    $0xfffffffffffffff8,%rsi
cmp    %rsi,%rdx
jne    1250 <generic_memmove+0x140>
mov    %rdi,%rax
pop    %rbx
ret
xor    %esi,%esi
test   $0x1,%r9b
jne    11cd <generic_memmove+0xbd>
jmp    11ef <generic_memmove+0xdf>

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 %26
21: ; preds = %3
%22 = load i8*, i8** %5
%23 = load i8*, i8** %6
%24 = load i64, i64* %7
%25 = call i8* @generic_memcpy(i8* %22, i8* %23, i64 %24)
store i8* %25, i8** %4
br label %39
26: ; preds = %3
br label %27
27: ; preds = %31, %26
%28 = load i64, i64* %7
%29 = add i64 %28, -1
store i64 %29, i64* %7
%30 = icmp ne i64 %28, 0
br i1 %30, label %31, label %37
31: ; preds = %27
%32 = load i32*, i32** %8
%33 = getelementptr inbounds i32, i32* %32, i32 -1
store i32* %33, i32** %8
%34 = load i32, i32* %33
%35 = load i32*, i32** %9
%36 = getelementptr inbounds i32, i32* %35, i32 -1
store i32* %36, i32** %9
store i32 %34, i32* %36
br label %27
37: ; preds = %27
%38 = load i8*, i8** %5
store i8* %38, i8** %4
br label %39
39: ; preds = %37, %21
%40 = load i8*, i8** %4
ret i8* %40
}

LLVM IR (-O2):
define i8* @generic_memmove(i8* %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 %161, 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 %161, 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 %161, label %131
129: ; preds = %3
%130 = tail call i8* @generic_memcpy(i8* %0, i8* %1, i64 %2)
br label %161
131: ; preds = %124, %131
%132 = phi i32* [ %159, %131 ], [ %125, %124 ]
%133 = phi i32* [ %157, %131 ], [ %126, %124 ]
%134 = phi i64 [ %156, %131 ], [ %127, %124 ]
%135 = getelementptr inbounds i32, i32* %133, i64 -1
%136 = load i32, i32* %135
%137 = getelementptr inbounds i32, i32* %132, i64 -1
store i32 %136, i32* %137
%138 = getelementptr inbounds i32, i32* %133, i64 -2
%139 = load i32, i32* %138
%140 = getelementptr inbounds i32, i32* %132, i64 -2
store i32 %139, i32* %140
%141 = getelementptr inbounds i32, i32* %133, i64 -3
%142 = load i32, i32* %141
%143 = getelementptr inbounds i32, i32* %132, i64 -3
store i32 %142, i32* %143
%144 = getelementptr inbounds i32, i32* %133, i64 -4
%145 = load i32, i32* %144
%146 = getelementptr inbounds i32, i32* %132, i64 -4
store i32 %145, i32* %146
%147 = getelementptr inbounds i32, i32* %133, i64 -5
%148 = load i32, i32* %147
%149 = getelementptr inbounds i32, i32* %132, i64 -5
store i32 %148, i32* %149
%150 = getelementptr inbounds i32, i32* %133, i64 -6
%151 = load i32, i32* %150
%152 = getelementptr inbounds i32, i32* %132, i64 -6
store i32 %151, i32* %152
%153 = getelementptr inbounds i32, i32* %133, i64 -7
%154 = load i32, i32* %153
%155 = getelementptr inbounds i32, i32* %132, i64 -7
store i32 %154, i32* %155
%156 = add i64 %134, -8
%157 = getelementptr inbounds i32, i32* %133, i64 -8
%158 = load i32, i32* %157
%159 = getelementptr inbounds i32, i32* %132, i64 -8
store i32 %158, i32* %159
%160 = icmp eq i64 %156, 0
br i1 %160, label %161, label %131
161: ; preds = %124, %131, %104, %5, %129
%162 = phi i8* [ %130, %129 ], [ %0, %5 ], [ %0, %104 ], [ %0, %131 ], [ %0, %124 ]
ret i8* %162
}