#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 */
int /*<<< orphan*/ memcpy(void *, void const *, size_t);
void *memmove(void *dest, const void *src, size_t len) {
  char *d = dest;
  const char *s = src;
  if (s < d && (s + len) > d) {
    for (;;) {
      --len;
      if (len == (size_t)-1)
        break;
      d[len] = s[len];
    }
  } else {
    memcpy(dest, src, len);
  }
  return (dest);
}


x86 assembly (clang, -O0):
<memmove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1195 <memmove+0x85>
mov    -0x28(%rbp),%rax
add    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    1195 <memmove+0x85>
jmp    1159 <memmove+0x49>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0xffffffffffffffff,-0x18(%rbp)
jne    1175 <memmove+0x65>
jmp    1190 <memmove+0x80>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1159 <memmove+0x49>
jmp    11a6 <memmove+0x96>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <memcpy@plt>
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memmove>:
push   %rbx
mov    %rdi,%rbx
cmp    %rdi,%rsi
jae    117e <memmove+0x6e>
lea    (%rsi,%rdx,1),%rax
cmp    %rbx,%rax
jbe    117e <memmove+0x6e>
test   %rdx,%rdx
je     11cd <memmove+0xbd>
cmp    $0x4,%rdx
jb     1147 <memmove+0x37>
cmp    %rbx,%rax
jbe    11d2 <memmove+0xc2>
lea    (%rbx,%rdx,1),%rax
cmp    %rsi,%rax
jbe    11d2 <memmove+0xc2>
mov    %rdx,%rcx
lea    -0x1(%rcx),%r8
mov    %rcx,%rdi
and    $0x3,%rdi
je     1188 <memmove+0x78>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rcx),%rax
movzbl -0x1(%rsi,%rcx,1),%edx
mov    %dl,-0x1(%rbx,%rcx,1)
mov    %rax,%rcx
add    $0xffffffffffffffff,%rdi
jne    1160 <memmove+0x50>
cmp    $0x3,%r8
jae    1191 <memmove+0x81>
jmp    11cd <memmove+0xbd>
mov    %rbx,%rdi
call   1030 <memcpy@plt>
jmp    11cd <memmove+0xbd>
mov    %rcx,%rax
cmp    $0x3,%r8
jb     11cd <memmove+0xbd>
mov    %rax,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl -0x1(%rsi,%rax,1),%edx
mov    %dl,-0x1(%rbx,%rax,1)
movzbl -0x2(%rsi,%rax,1),%edx
mov    %dl,-0x2(%rbx,%rax,1)
movzbl -0x3(%rsi,%rax,1),%edx
mov    %dl,-0x3(%rbx,%rax,1)
movzbl -0x4(%rsi,%rax,1),%edx
mov    %dl,-0x4(%rbx,%rax,1)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,%rax
jne    11a0 <memmove+0x90>
mov    %rbx,%rax
pop    %rbx
ret
cmp    $0x10,%rdx
jae    11df <memmove+0xcf>
xor    %eax,%eax
jmp    12a4 <memmove+0x194>
mov    %rdx,%rax
and    $0xfffffffffffffff0,%rax
lea    -0x10(%rax),%rcx
mov    %rcx,%rdi
shr    $0x4,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x30,%rcx
jae    1206 <memmove+0xf6>
xor    %ecx,%ecx
jmp    125b <memmove+0x14b>
and    $0xfffffffffffffffc,%rdi
lea    (%rbx,%rdx,1),%r9
add    $0xfffffffffffffff0,%r9
lea    (%rsi,%rdx,1),%r10
add    $0xfffffffffffffff0,%r10
xor    %ecx,%ecx
nopl   0x0(%rax)
movups (%r10,%rcx,1),%xmm0
movups %xmm0,(%r9,%rcx,1)
movups -0x10(%r10,%rcx,1),%xmm0
movups %xmm0,-0x10(%r9,%rcx,1)
movups -0x20(%r10,%rcx,1),%xmm0
movups %xmm0,-0x20(%r9,%rcx,1)
movups -0x30(%r10,%rcx,1),%xmm0
movups %xmm0,-0x30(%r9,%rcx,1)
add    $0xffffffffffffffc0,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1220 <memmove+0x110>
neg    %rcx
test   %r8,%r8
je     1296 <memmove+0x186>
mov    %rdx,%rdi
sub    %rcx,%rdi
lea    (%rbx,%rdi,1),%r9
add    $0xfffffffffffffff0,%r9
lea    (%rsi,%rdi,1),%r10
add    $0xfffffffffffffff0,%r10
shl    $0x4,%r8
xor    %ecx,%ecx
nopl   0x0(%rax)
movups (%r10,%rcx,1),%xmm0
movups %xmm0,(%r9,%rcx,1)
add    $0xfffffffffffffff0,%rcx
mov    %r8,%rdi
add    %rcx,%rdi
jne    1280 <memmove+0x170>
cmp    %rdx,%rax
je     11cd <memmove+0xbd>
test   $0xc,%dl
je     12ef <memmove+0x1df>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
mov    %edx,%ecx
and    $0x3,%ecx
lea    (%rbx,%rdx,1),%r9
add    $0xfffffffffffffffc,%r9
neg    %rax
lea    (%rsi,%rdx,1),%r10
add    $0xfffffffffffffffc,%r10
mov    %r8,%r11
neg    %r11
nopl   0x0(%rax)
mov    (%r10,%rax,1),%edi
mov    %edi,(%r9,%rax,1)
add    $0xfffffffffffffffc,%rax
cmp    %rax,%r11
jne    12d0 <memmove+0x1c0>
cmp    %rdx,%r8
jne    114a <memmove+0x3a>
jmp    11cd <memmove+0xbd>
and    $0xf,%edx
jmp    1147 <memmove+0x37>

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

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