#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 count) {
  const char *b = src;
  char *a = dest;
  if (src != dest) {
    if (src > dest) {
      memcpy(dest, src, count);
    } else {
      a += count - 1;
      b += count - 1;
      while (count--) {
        *a-- = *b--;
      }
    }
  }
  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    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     11d0 <memmove+0xc0>
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jbe    1166 <memmove+0x56>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <memcpy@plt>
jmp    11cb <memmove+0xbb>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%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     11c6 <memmove+0xb6>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    1186 <memmove+0x76>
jmp    11cb <memmove+0xbb>
jmp    11d0 <memmove+0xc0>
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    %rdi,%rsi
je     11ff <memmove+0xef>
jbe    112f <memmove+0x1f>
mov    %r14,%rdi
call   1030 <memcpy@plt>
jmp    11ff <memmove+0xef>
mov    %rdx,%r10
sub    $0x1,%r10
jb     11ff <memmove+0xef>
lea    (%rsi,%r10,1),%r8
add    %r14,%r10
cmp    $0x4,%rdx
jb     1163 <memmove+0x53>
lea    (%rsi,%rdx,1),%rax
cmp    %r14,%rax
jbe    120a <memmove+0xfa>
lea    (%r14,%rdx,1),%rax
cmp    %rsi,%rax
jbe    120a <memmove+0xfa>
mov    %r10,%rsi
mov    %r8,%rcx
mov    %rdx,%rbx
lea    -0x1(%rbx),%r8
mov    %rbx,%rdx
and    $0x7,%rdx
je     1199 <memmove+0x89>
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movzbl (%rcx),%eax
add    $0xffffffffffffffff,%rcx
mov    %al,(%rsi)
add    $0xffffffffffffffff,%rsi
add    $0x1,%rdi
cmp    %rdi,%rdx
jne    1180 <memmove+0x70>
sub    %rdi,%rbx
cmp    $0x7,%r8
jb     11ff <memmove+0xef>
neg    %rbx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rcx,%rax,1),%edx
mov    %dl,(%rsi,%rax,1)
movzbl -0x1(%rcx,%rax,1),%edx
mov    %dl,-0x1(%rsi,%rax,1)
movzbl -0x2(%rcx,%rax,1),%edx
mov    %dl,-0x2(%rsi,%rax,1)
movzbl -0x3(%rcx,%rax,1),%edx
mov    %dl,-0x3(%rsi,%rax,1)
movzbl -0x4(%rcx,%rax,1),%edx
mov    %dl,-0x4(%rsi,%rax,1)
movzbl -0x5(%rcx,%rax,1),%edx
mov    %dl,-0x5(%rsi,%rax,1)
movzbl -0x6(%rcx,%rax,1),%edx
mov    %dl,-0x6(%rsi,%rax,1)
movzbl -0x7(%rcx,%rax,1),%edx
mov    %dl,-0x7(%rsi,%rax,1)
add    $0xfffffffffffffff8,%rax
cmp    %rax,%rbx
jne    11b0 <memmove+0xa0>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
cmp    $0x10,%rdx
jae    1217 <memmove+0x107>
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,%r9d
and    $0x3,%r9d
cmp    $0x30,%rax
jae    123e <memmove+0x12e>
xor    %ebx,%ebx
jmp    1287 <memmove+0x177>
and    $0xfffffffffffffffc,%rcx
lea    -0xf(%r10),%r11
lea    -0xf(%r8),%rax
xor    %ebx,%ebx
nopl   0x0(%rax)
movups (%rax,%rbx,1),%xmm0
movups %xmm0,(%r11,%rbx,1)
movups -0x10(%rax,%rbx,1),%xmm0
movups %xmm0,-0x10(%r11,%rbx,1)
movups -0x20(%rax,%rbx,1),%xmm0
movups %xmm0,-0x20(%r11,%rbx,1)
movups -0x30(%rax,%rbx,1),%xmm0
movups %xmm0,-0x30(%r11,%rbx,1)
add    $0xffffffffffffffc0,%rbx
add    $0xfffffffffffffffc,%rcx
jne    1250 <memmove+0x140>
neg    %rbx
test   %r9,%r9
je     12c4 <memmove+0x1b4>
mov    %rdx,%rcx
sub    %rbx,%rcx
lea    (%rsi,%rcx,1),%rax
add    $0xfffffffffffffff0,%rax
add    %r14,%rcx
add    $0xfffffffffffffff0,%rcx
shl    $0x4,%r9
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups (%rax,%rsi,1),%xmm0
movups %xmm0,(%rcx,%rsi,1)
add    $0xfffffffffffffff0,%rsi
mov    %r9,%rbx
add    %rsi,%rbx
jne    12b0 <memmove+0x1a0>
cmp    %rdx,%rdi
je     11ff <memmove+0xef>
test   $0xc,%dl
je     1321 <memmove+0x211>
mov    %rdx,%r9
and    $0xfffffffffffffffc,%r9
mov    %r9,%r11
neg    %r11
mov    %r10,%rsi
sub    %r9,%rsi
mov    %r8,%rcx
sub    %r9,%rcx
mov    %edx,%ebx
and    $0x3,%ebx
neg    %rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    -0x3(%r8,%rdi,1),%eax
mov    %eax,-0x3(%r10,%rdi,1)
add    $0xfffffffffffffffc,%rdi
cmp    %rdi,%r11
jne    1300 <memmove+0x1f0>
cmp    %rdx,%r9
jne    116c <memmove+0x5c>
jmp    11ff <memmove+0xef>
and    $0xf,%edx
sub    %rdi,%r8
sub    %rdi,%r10
jmp    1163 <memmove+0x53>

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

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