#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 *memcpy(void *, void const *, size_t);
void *memmove2(void *__dest, __const void *__src, size_t count) {
  unsigned char *d = __dest;
  const unsigned char *s = __src;
  if (__dest == __src)
    return __dest;
  if (__dest < __src)
    return memcpy(__dest, __src, count);
  while (count--)
    d[count] = s[count];
  return __dest;
}


x86 assembly (clang, -O0):
<memmove2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    114f <memmove2+0x3f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11c0 <memmove2+0xb0>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    117f <memmove2+0x6f>
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    11c0 <memmove2+0xb0>
jmp    1184 <memmove2+0x74>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
cmp    $0x0,%rax
je     11b8 <memmove2+0xa8>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1184 <memmove2+0x74>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memmove2>:
push   %rbx
mov    %rdi,%rbx
cmp    %rsi,%rdi
je     11cd <memmove2+0xbd>
jae    112c <memmove2+0x1c>
mov    %rbx,%rdi
call   1030 <memcpy@plt>
jmp    11cd <memmove2+0xbd>
test   %rdx,%rdx
je     11cd <memmove2+0xbd>
cmp    $0x4,%rdx
jb     1155 <memmove2+0x45>
lea    (%rsi,%rdx,1),%rax
cmp    %rbx,%rax
jbe    11d2 <memmove2+0xc2>
lea    (%rbx,%rdx,1),%rax
cmp    %rsi,%rax
jbe    11d2 <memmove2+0xc2>
mov    %rdx,%rcx
lea    -0x1(%rcx),%r8
mov    %rcx,%rdi
and    $0x3,%rdi
je     118e <memmove2+0x7e>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x1(%rcx),%rax
movzbl -0x1(%rsi,%rcx,1),%edx
mov    %dl,-0x1(%rbx,%rcx,1)
mov    %rax,%rcx
add    $0xffffffffffffffff,%rdi
jne    1170 <memmove2+0x60>
cmp    $0x3,%r8
jae    1197 <memmove2+0x87>
jmp    11cd <memmove2+0xbd>
mov    %rcx,%rax
cmp    $0x3,%r8
jb     11cd <memmove2+0xbd>
mov    %rax,%rcx
nopw   0x0(%rax,%rax,1)
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 <memmove2+0x90>
mov    %rbx,%rax
pop    %rbx
ret
cmp    $0x10,%rdx
jae    11df <memmove2+0xcf>
xor    %eax,%eax
jmp    12a4 <memmove2+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 <memmove2+0xf6>
xor    %ecx,%ecx
jmp    125b <memmove2+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 <memmove2+0x110>
neg    %rcx
test   %r8,%r8
je     1296 <memmove2+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 <memmove2+0x170>
cmp    %rdx,%rax
je     11cd <memmove2+0xbd>
test   $0xc,%dl
je     12ef <memmove2+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 <memmove2+0x1c0>
cmp    %rdx,%r8
jne    1158 <memmove2+0x48>
jmp    11cd <memmove2+0xbd>
and    $0xf,%edx
jmp    1155 <memmove2+0x45>

LLVM IR (-O0):
define i8* @memmove2(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i8*
store i8* %0, i8** %5
store i8* %1, i8** %6
store i64 %2, i64* %7
%10 = load i8*, i8** %5
store i8* %10, i8** %8
%11 = load i8*, i8** %6
store i8* %11, i8** %9
%12 = load i8*, i8** %5
%13 = load i8*, i8** %6
%14 = icmp eq i8* %12, %13
br i1 %14, label %15, label %17
15: ; preds = %3
%16 = load i8*, i8** %5
store i8* %16, i8** %4
br label %40
17: ; preds = %3
%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 = %17
%22 = load i8*, i8** %5
%23 = load i8*, i8** %6
%24 = load i64, i64* %7
store i8* %22, i8** %4
br label %40
25: ; preds = %17
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 %38
30: ; preds = %26
%31 = load i8*, i8** %9
%32 = load i64, i64* %7
%33 = getelementptr inbounds i8, i8* %31, i64 %32
%34 = load i8, i8* %33
%35 = load i8*, i8** %8
%36 = load i64, i64* %7
%37 = getelementptr inbounds i8, i8* %35, i64 %36
store i8 %34, i8* %37
br label %26
38: ; preds = %26
%39 = load i8*, i8** %5
store i8* %39, i8** %4
br label %40
40: ; preds = %38, %21, %15
%41 = load i8*, i8** %4
ret i8* %41
}

LLVM IR (-O2):
define i8* @memmove2(i8* returned writeonly %0, i8* %1, i64 %2) {
%4 = icmp eq i8* %0, %1
br i1 %4, label %151, label %5
5: ; preds = %3
%6 = icmp ult i8* %0, %1
br i1 %6, label %131, label %7
7: ; preds = %5
%8 = icmp eq i64 %2, 0
br i1 %8, label %151, label %9
9: ; preds = %7
%10 = icmp ult i64 %2, 4
br i1 %10, label %114, label %11
11: ; preds = %9
%12 = getelementptr i8, i8* %0, i64 %2
%13 = getelementptr i8, i8* %1, i64 %2
%14 = icmp ugt i8* %13, %0
%15 = icmp ugt i8* %12, %1
%16 = and i1 %14, %15
br i1 %16, label %114, label %17
17: ; preds = %11
%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 %151, 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 %151, label %114
114: ; preds = %11, %9, %91, %112
%115 = phi i64 [ %2, %9 ], [ %2, %11 ], [ %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 %151, label %132
131: ; preds = %5
tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 %0, i8* align 1 %1, i64 %2, i1 false)
br label %151
132: ; preds = %128, %132
%133 = phi i64 [ %146, %132 ], [ %129, %128 ]
%134 = add i64 %133, -1
%135 = getelementptr inbounds i8, i8* %1, i64 %134
%136 = load i8, i8* %135
%137 = getelementptr inbounds i8, i8* %0, i64 %134
store i8 %136, i8* %137
%138 = add i64 %133, -2
%139 = getelementptr inbounds i8, i8* %1, i64 %138
%140 = load i8, i8* %139
%141 = getelementptr inbounds i8, i8* %0, i64 %138
store i8 %140, i8* %141
%142 = add i64 %133, -3
%143 = getelementptr inbounds i8, i8* %1, i64 %142
%144 = load i8, i8* %143
%145 = getelementptr inbounds i8, i8* %0, i64 %142
store i8 %144, i8* %145
%146 = add i64 %133, -4
%147 = getelementptr inbounds i8, i8* %1, i64 %146
%148 = load i8, i8* %147
%149 = getelementptr inbounds i8, i8* %0, i64 %146
store i8 %148, i8* %149
%150 = icmp eq i64 %146, 0
br i1 %150, label %151, label %132
151: ; preds = %128, %132, %89, %112, %7, %3, %131
ret i8* %0
}