#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 abs(long);
void memcpy1(void *dest, void *src, size_t count) {
  if (!count) {
    return;
  }
  int diff = abs((long)(dest - src));
  if (diff >= 4)
    while (count >= 4) {
      *(unsigned int *)dest = *(unsigned int *)src;
      dest += 4;
      src += 4;
      count -= 4;
    }
  if ((diff >= 2) && (count >= 2))
    while (count >= 2) {
      *(unsigned long long *)dest = *(unsigned long long *)src;
      dest += 2;
      src += 2;
      count -= 2;
    }
  if ((diff >= 1) && (count = 1))
    while (count >= 1) {
      *(unsigned long long *)dest = *(unsigned long long *)src;
      dest += 1;
      src += 1;
      count -= 1;
    }
  return;
}


x86 assembly (clang, -O0):
<memcpy1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1134 <memcpy1+0x24>
jmp    126e <memcpy1+0x15e>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rax
sub    %rax,%rdi
call   1030 <abs@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jl     119b <memcpy1+0x8b>
jmp    1156 <memcpy1+0x46>
cmpq   $0x4,-0x18(%rbp)
jb     1196 <memcpy1+0x86>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1156 <memcpy1+0x46>
jmp    119b <memcpy1+0x8b>
cmpl   $0x2,-0x1c(%rbp)
jl     11fc <memcpy1+0xec>
cmpq   $0x2,-0x18(%rbp)
jb     11fc <memcpy1+0xec>
jmp    11b5 <memcpy1+0xa5>
cmpq   $0x2,-0x18(%rbp)
jb     11f7 <memcpy1+0xe7>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    11b5 <memcpy1+0xa5>
jmp    11fc <memcpy1+0xec>
cmpl   $0x1,-0x1c(%rbp)
jl     1269 <memcpy1+0x159>
movq   $0x1,-0x18(%rbp)
mov    $0x1,%al
test   $0x1,%al
jne    121d <memcpy1+0x10d>
jmp    1269 <memcpy1+0x159>
jmp    1222 <memcpy1+0x112>
cmpq   $0x1,-0x18(%rbp)
jb     1264 <memcpy1+0x154>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1222 <memcpy1+0x112>
jmp    1269 <memcpy1+0x159>
jmp    126e <memcpy1+0x15e>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy1>:
push   %r15
push   %r14
push   %rbx
test   %rdx,%rdx
je     12ca <memcpy1+0x1ba>
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,%r14
sub    %rsi,%rdi
call   1030 <abs@plt>
cmp    $0x4,%r15
jb     1227 <memcpy1+0x117>
cmp    $0x4,%eax
jl     1227 <memcpy1+0x117>
lea    -0x4(%r15),%rcx
cmp    $0x1c,%rcx
jb     1210 <memcpy1+0x100>
mov    %r15,%rdx
and    $0xfffffffffffffffc,%rdx
lea    (%rbx,%rdx,1),%rsi
cmp    %r14,%rsi
jbe    116c <memcpy1+0x5c>
add    %r14,%rdx
cmp    %rbx,%rdx
ja     1210 <memcpy1+0x100>
shr    $0x2,%rcx
add    $0x1,%rcx
mov    %rcx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     11d6 <memcpy1+0xc6>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movups (%rbx,%rdi,1),%xmm0
movups 0x10(%rbx,%rdi,1),%xmm1
movups %xmm0,(%r14,%rdi,1)
movups %xmm1,0x10(%r14,%rdi,1)
movups 0x20(%rbx,%rdi,1),%xmm0
movups 0x30(%rbx,%rdi,1),%xmm1
movups %xmm0,0x20(%r14,%rdi,1)
movups %xmm1,0x30(%r14,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11a0 <memcpy1+0x90>
jmp    11d8 <memcpy1+0xc8>
xor    %edi,%edi
lea    0x0(,%r8,4),%rsi
test   $0x1,%dl
je     11f9 <memcpy1+0xe9>
movups (%rbx,%rdi,1),%xmm0
movups 0x10(%rbx,%rdi,1),%xmm1
movups %xmm0,(%r14,%rdi,1)
movups %xmm1,0x10(%r14,%rdi,1)
lea    (%rbx,%r8,4),%rbx
sub    %rsi,%r15
lea    (%r14,%r8,4),%r14
cmp    %r8,%rcx
je     1227 <memcpy1+0x117>
nopl   0x0(%rax)
mov    (%rbx),%ecx
mov    %ecx,(%r14)
add    $0x4,%r14
add    $0x4,%rbx
add    $0xfffffffffffffffc,%r15
cmp    $0x3,%r15
ja     1210 <memcpy1+0x100>
cmp    $0x2,%eax
jl     12c0 <memcpy1+0x1b0>
cmp    $0x2,%r15
jb     12c0 <memcpy1+0x1b0>
lea    -0x2(%r15),%rcx
mov    %ecx,%edx
shr    %edx
add    $0x1,%edx
and    $0x7,%rdx
je     126a <memcpy1+0x15a>
add    %rdx,%rdx
xor    %esi,%esi
mov    (%rbx,%rsi,1),%rdi
mov    %rdi,(%r14,%rsi,1)
add    $0x2,%rsi
cmp    %rsi,%rdx
jne    1250 <memcpy1+0x140>
add    %rsi,%rbx
sub    %rsi,%r15
add    %rsi,%r14
cmp    $0xe,%rcx
jb     12c0 <memcpy1+0x1b0>
mov    (%rbx),%rcx
mov    %rcx,(%r14)
mov    0x2(%rbx),%rcx
mov    %rcx,0x2(%r14)
mov    0x4(%rbx),%rcx
mov    %rcx,0x4(%r14)
mov    0x6(%rbx),%rcx
mov    %rcx,0x6(%r14)
mov    0x8(%rbx),%rcx
mov    %rcx,0x8(%r14)
mov    0xa(%rbx),%rcx
mov    %rcx,0xa(%r14)
mov    0xc(%rbx),%rcx
mov    %rcx,0xc(%r14)
mov    0xe(%rbx),%rcx
mov    %rcx,0xe(%r14)
add    $0x10,%r14
add    $0x10,%rbx
add    $0xfffffffffffffff0,%r15
cmp    $0x1,%r15
ja     1270 <memcpy1+0x160>
test   %eax,%eax
jle    12ca <memcpy1+0x1ba>
mov    (%rbx),%rax
mov    %rax,(%r14)
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @memcpy1(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%8 = load i64, i64* %6
%9 = icmp ne i64 %8, 0
br i1 %9, label %11, label %10
10: ; preds = %3
br label %82
11: ; preds = %3
%12 = load i8*, i8** %4
%13 = load i8*, i8** %5
%14 = ptrtoint i8* %12 to i64
%15 = ptrtoint i8* %13 to i64
%16 = sub i64 %14, %15
%17 = call i32 @abs(i64 %16)
store i32 %17, i32* %7
%18 = load i32, i32* %7
%19 = icmp sge i32 %18, 4
br i1 %19, label %20, label %37
20: ; preds = %11
br label %21
21: ; preds = %24, %20
%22 = load i64, i64* %6
%23 = icmp uge i64 %22, 4
br i1 %23, label %24, label %36
24: ; preds = %21
%25 = load i8*, i8** %5
%26 = bitcast i8* %25 to i32*
%27 = load i32, i32* %26
%28 = load i8*, i8** %4
%29 = bitcast i8* %28 to i32*
store i32 %27, i32* %29
%30 = load i8*, i8** %4
%31 = getelementptr i8, i8* %30, i64 4
store i8* %31, i8** %4
%32 = load i8*, i8** %5
%33 = getelementptr i8, i8* %32, i64 4
store i8* %33, i8** %5
%34 = load i64, i64* %6
%35 = sub i64 %34, 4
store i64 %35, i64* %6
br label %21
36: ; preds = %21
br label %37
37: ; preds = %36, %11
%38 = load i32, i32* %7
%39 = icmp sge i32 %38, 2
br i1 %39, label %40, label %60
40: ; preds = %37
%41 = load i64, i64* %6
%42 = icmp uge i64 %41, 2
br i1 %42, label %43, label %60
43: ; preds = %40
br label %44
44: ; preds = %47, %43
%45 = load i64, i64* %6
%46 = icmp uge i64 %45, 2
br i1 %46, label %47, label %59
47: ; preds = %44
%48 = load i8*, i8** %5
%49 = bitcast i8* %48 to i64*
%50 = load i64, i64* %49
%51 = load i8*, i8** %4
%52 = bitcast i8* %51 to i64*
store i64 %50, i64* %52
%53 = load i8*, i8** %4
%54 = getelementptr i8, i8* %53, i64 2
store i8* %54, i8** %4
%55 = load i8*, i8** %5
%56 = getelementptr i8, i8* %55, i64 2
store i8* %56, i8** %5
%57 = load i64, i64* %6
%58 = sub i64 %57, 2
store i64 %58, i64* %6
br label %44
59: ; preds = %44
br label %60
60: ; preds = %59, %40, %37
%61 = load i32, i32* %7
%62 = icmp sge i32 %61, 1
br i1 %62, label %63, label %81
63: ; preds = %60
store i64 1, i64* %6
br i1 true, label %64, label %81
64: ; preds = %63
br label %65
65: ; preds = %68, %64
%66 = load i64, i64* %6
%67 = icmp uge i64 %66, 1
br i1 %67, label %68, label %80
68: ; preds = %65
%69 = load i8*, i8** %5
%70 = bitcast i8* %69 to i64*
%71 = load i64, i64* %70
%72 = load i8*, i8** %4
%73 = bitcast i8* %72 to i64*
store i64 %71, i64* %73
%74 = load i8*, i8** %4
%75 = getelementptr i8, i8* %74, i64 1
store i8* %75, i8** %4
%76 = load i8*, i8** %5
%77 = getelementptr i8, i8* %76, i64 1
store i8* %77, i8** %5
%78 = load i64, i64* %6
%79 = sub i64 %78, 1
store i64 %79, i64* %6
br label %65
80: ; preds = %65
br label %81
81: ; preds = %80, %63, %60
br label %82
82: ; preds = %81, %10
ret void
}

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