#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(char *, char const *, size_t);
void *memmove(void *s1, const void *s2, size_t n) {
  char const *s = s2;
  char *d = s1;
  if (d <= s || d >= s + n) {
    memcpy(d, s, n);
  } else {
    d += n;
    s += n;
    while (n--) {
      *--d = *--s;
    }
  }
  return s1;
}


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    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    1157 <memmove+0x47>
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jb     116d <memmove+0x5d>
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <memcpy@plt>
jmp    11cc <memmove+0xbc>
mov    -0x18(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
cmp    $0x0,%rax
je     11c7 <memmove+0xb7>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x1(%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,-0x1(%rax)
jmp    1185 <memmove+0x75>
jmp    11cc <memmove+0xbc>
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memmove>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
cmp    %rsi,%rdi
jbe    11f3 <memmove+0xe3>
lea    (%rsi,%rdx,1),%r9
cmp    %r14,%r9
jbe    11f3 <memmove+0xe3>
test   %rdx,%rdx
je     11fb <memmove+0xeb>
lea    (%r14,%rdx,1),%r8
cmp    $0x4,%rdx
jb     1152 <memmove+0x42>
cmp    %r14,%r9
jbe    1206 <memmove+0xf6>
cmp    %rsi,%r8
jbe    1206 <memmove+0xf6>
mov    %r8,%rsi
mov    %r9,%rax
mov    %rdx,%rcx
lea    -0x1(%rcx),%r8
mov    %rcx,%rdi
and    $0x7,%rdi
je     118b <memmove+0x7b>
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movzbl -0x1(%rax),%ebx
add    $0xffffffffffffffff,%rax
mov    %bl,-0x1(%rsi)
add    $0xffffffffffffffff,%rsi
add    $0x1,%rdx
cmp    %rdx,%rdi
jne    1170 <memmove+0x60>
sub    %rdx,%rcx
cmp    $0x7,%r8
jb     11fb <memmove+0xeb>
neg    %rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
movzbl -0x1(%rax,%rdx,1),%ebx
mov    %bl,-0x1(%rsi,%rdx,1)
movzbl -0x2(%rax,%rdx,1),%ebx
mov    %bl,-0x2(%rsi,%rdx,1)
movzbl -0x3(%rax,%rdx,1),%ebx
mov    %bl,-0x3(%rsi,%rdx,1)
movzbl -0x4(%rax,%rdx,1),%ebx
mov    %bl,-0x4(%rsi,%rdx,1)
movzbl -0x5(%rax,%rdx,1),%ebx
mov    %bl,-0x5(%rsi,%rdx,1)
movzbl -0x6(%rax,%rdx,1),%ebx
mov    %bl,-0x6(%rsi,%rdx,1)
movzbl -0x7(%rax,%rdx,1),%ebx
mov    %bl,-0x7(%rsi,%rdx,1)
movzbl -0x8(%rax,%rdx,1),%ebx
mov    %bl,-0x8(%rsi,%rdx,1)
add    $0xfffffffffffffff8,%rdx
cmp    %rdx,%rcx
jne    11a0 <memmove+0x90>
jmp    11fb <memmove+0xeb>
mov    %r14,%rdi
call   1030 <memcpy@plt>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
cmp    $0x10,%rdx
jae    1213 <memmove+0x103>
xor    %edi,%edi
jmp    12d2 <memmove+0x1c2>
mov    %rdx,%rdi
and    $0xfffffffffffffff0,%rdi
lea    -0x10(%rdi),%rax
mov    %rax,%rcx
shr    $0x4,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x30,%rax
jae    123a <memmove+0x12a>
xor    %eax,%eax
jmp    1287 <memmove+0x177>
and    $0xfffffffffffffffc,%rcx
lea    -0x10(%r9),%r11
lea    -0x10(%r8),%rbx
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movups (%r11,%rax,1),%xmm0
movups %xmm0,(%rbx,%rax,1)
movups -0x10(%r11,%rax,1),%xmm0
movups %xmm0,-0x10(%rbx,%rax,1)
movups -0x20(%r11,%rax,1),%xmm0
movups %xmm0,-0x20(%rbx,%rax,1)
movups -0x30(%r11,%rax,1),%xmm0
movups %xmm0,-0x30(%rbx,%rax,1)
add    $0xffffffffffffffc0,%rax
add    $0xfffffffffffffffc,%rcx
jne    1250 <memmove+0x140>
neg    %rax
test   %r10,%r10
je     12c4 <memmove+0x1b4>
mov    %rdx,%rcx
sub    %rax,%rcx
lea    (%rsi,%rcx,1),%rax
add    $0xfffffffffffffff0,%rax
add    %r14,%rcx
add    $0xfffffffffffffff0,%rcx
shl    $0x4,%r10
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups (%rax,%rsi,1),%xmm0
movups %xmm0,(%rcx,%rsi,1)
add    $0xfffffffffffffff0,%rsi
mov    %r10,%rbx
add    %rsi,%rbx
jne    12b0 <memmove+0x1a0>
cmp    %rdx,%rdi
je     11fb <memmove+0xeb>
test   $0xc,%dl
je     1321 <memmove+0x211>
mov    %rdx,%r10
and    $0xfffffffffffffffc,%r10
mov    %r10,%r11
neg    %r11
mov    %r8,%rsi
sub    %r10,%rsi
mov    %r9,%rax
sub    %r10,%rax
mov    %edx,%ecx
and    $0x3,%ecx
neg    %rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    -0x4(%r9,%rdi,1),%ebx
mov    %ebx,-0x4(%r8,%rdi,1)
add    $0xfffffffffffffffc,%rdi
cmp    %rdi,%r11
jne    1300 <memmove+0x1f0>
cmp    %rdx,%r10
jne    115b <memmove+0x4b>
jmp    11fb <memmove+0xeb>
and    $0xf,%edx
sub    %rdi,%r9
sub    %rdi,%r8
jmp    1152 <memmove+0x42>

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** %5
store i8* %9, i8** %7
%10 = load i8*, i8** %4
store i8* %10, i8** %8
%11 = load i8*, i8** %8
%12 = load i8*, i8** %7
%13 = icmp ule i8* %11, %12
br i1 %13, label %20, label %14
14: ; preds = %3
%15 = load i8*, i8** %8
%16 = load i8*, i8** %7
%17 = load i64, i64* %6
%18 = getelementptr inbounds i8, i8* %16, i64 %17
%19 = icmp uge i8* %15, %18
br i1 %19, label %20, label %25
20: ; preds = %14, %3
%21 = load i8*, i8** %8
%22 = load i8*, i8** %7
%23 = load i64, i64* %6
%24 = call i32 @memcpy(i8* %21, i8* %22, i64 %23)
br label %43
25: ; preds = %14
%26 = load i64, i64* %6
%27 = load i8*, i8** %8
%28 = getelementptr inbounds i8, i8* %27, i64 %26
store i8* %28, i8** %8
%29 = load i64, i64* %6
%30 = load i8*, i8** %7
%31 = getelementptr inbounds i8, i8* %30, i64 %29
store i8* %31, i8** %7
br label %32
32: ; preds = %36, %25
%33 = load i64, i64* %6
%34 = add i64 %33, -1
store i64 %34, i64* %6
%35 = icmp ne i64 %33, 0
br i1 %35, label %36, label %42
36: ; preds = %32
%37 = load i8*, i8** %7
%38 = getelementptr inbounds i8, i8* %37, i32 -1
store i8* %38, i8** %7
%39 = load i8, i8* %38
%40 = load i8*, i8** %8
%41 = getelementptr inbounds i8, i8* %40, i32 -1
store i8* %41, i8** %8
store i8 %39, i8* %41
br label %32
42: ; preds = %32
br label %43
43: ; preds = %42, %20
%44 = load i8*, i8** %4
ret i8* %44
}

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