#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 *memmove(void *d, const void *s, size_t n) {
  size_t i;
  if (s >= d || (void *)((char *)s + n) <= d) {
    return memcpy(d, s, n);
  } else {
    for (i = n; i > 0; i--) {
      ((char *)d)[i - 1] = ((const char *)s)[i - 1];
    }
    return d;
  }
}


x86 assembly (clang, -O0):
<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
cmp    -0x10(%rbp),%rax
jae    1144 <memmove+0x34>
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
ja     1166 <memmove+0x56>
mov    -0x10(%rbp),%rdi
mov    %rdi,-0x30(%rbp)
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <memcpy@plt>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11b0 <memmove+0xa0>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jbe    11a8 <memmove+0x98>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x1,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    116e <memmove+0x5e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
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 i8*
%7 = alloca i64
%8 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i64 %2, i64* %7
%9 = load i8*, i8** %6
%10 = load i8*, i8** %5
%11 = icmp uge i8* %9, %10
br i1 %11, label %18, label %12
12: ; preds = %3
%13 = load i8*, i8** %6
%14 = load i64, i64* %7
%15 = getelementptr inbounds i8, i8* %13, i64 %14
%16 = load i8*, i8** %5
%17 = icmp ule i8* %15, %16
br i1 %17, label %18, label %22
18: ; preds = %12, %3
%19 = load i8*, i8** %5
%20 = load i8*, i8** %6
%21 = load i64, i64* %7
store i8* %19, i8** %4
br label %42
22: ; preds = %12
%23 = load i64, i64* %7
store i64 %23, i64* %8
br label %24
24: ; preds = %37, %22
%25 = load i64, i64* %8
%26 = icmp ugt i64 %25, 0
br i1 %26, label %27, label %40
27: ; preds = %24
%28 = load i8*, i8** %6
%29 = load i64, i64* %8
%30 = sub i64 %29, 1
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = load i8*, i8** %5
%34 = load i64, i64* %8
%35 = sub i64 %34, 1
%36 = getelementptr inbounds i8, i8* %33, i64 %35
store i8 %32, i8* %36
br label %37
37: ; preds = %27
%38 = load i64, i64* %8
%39 = add i64 %38, -1
store i64 %39, i64* %8
br label %24
40: ; preds = %24
%41 = load i8*, i8** %5
store i8* %41, i8** %4
br label %42
42: ; preds = %40, %18
%43 = load i8*, i8** %4
ret i8* %43
}

LLVM IR (-O2):
define i8* @memmove(i8* returned writeonly %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 %131
8: ; preds = %3
%9 = icmp eq i64 %2, 0
br i1 %9, label %151, 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 %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 = %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 %151, label %132
131: ; preds = %3
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, %8, %131
ret i8* %0
}