#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 */
unsigned char memcpy_crc(void *dest, const void *src, size_t n) {
  unsigned char sum = 0;
  unsigned char tmp;
  char *cs = (char *)src;
  char *cd = (char *)dest;
  while (n--) {
    tmp = *cs++;
    sum += tmp;
    *cd++ = tmp;
  }
  return sum;
}


x86 assembly (clang, -O0):
<memcpy_crc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movb   $0x0,-0x19(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
cmp    $0x0,%rax
je     1177 <memcpy_crc+0x77>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x1a(%rbp)
movzbl -0x1a(%rbp),%ecx
movzbl -0x19(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x19(%rbp)
mov    -0x1a(%rbp),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
jmp    1124 <memcpy_crc+0x24>
movzbl -0x19(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy_crc>:
push   %rbx
test   %rdx,%rdx
je     11b9 <memcpy_crc+0xb9>
cmp    $0x8,%rdx
jb     112a <memcpy_crc+0x2a>
lea    (%rsi,%rdx,1),%rax
cmp    %rdi,%rax
jbe    11bd <memcpy_crc+0xbd>
lea    (%rdi,%rdx,1),%rax
cmp    %rsi,%rax
jbe    11bd <memcpy_crc+0xbd>
xor    %eax,%eax
mov    %rdi,%r9
mov    %rsi,%rbx
mov    %rdx,%r10
lea    -0x1(%r10),%r8
mov    %r10,%rdi
and    $0x3,%rdi
je     116c <memcpy_crc+0x6c>
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rbx,%rsi,1),%edx
add    %dl,%al
mov    %dl,(%r9,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1150 <memcpy_crc+0x50>
add    %rsi,%r9
add    %rsi,%rbx
sub    %rsi,%r10
cmp    $0x3,%r8
jb     11b7 <memcpy_crc+0xb7>
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rbx,%rdx,1),%ecx
add    %cl,%al
mov    %cl,(%r9,%rdx,1)
movzbl 0x1(%rbx,%rdx,1),%ecx
add    %cl,%al
mov    %cl,0x1(%r9,%rdx,1)
movzbl 0x2(%rbx,%rdx,1),%ecx
add    %cl,%al
mov    %cl,0x2(%r9,%rdx,1)
movzbl 0x3(%rbx,%rdx,1),%ecx
add    %cl,%al
mov    %cl,0x3(%r9,%rdx,1)
add    $0x4,%rdx
cmp    %rdx,%r10
jne    1180 <memcpy_crc+0x80>
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret
cmp    $0x20,%rdx
jae    11cd <memcpy_crc+0xcd>
xor    %eax,%eax
xor    %r8d,%r8d
jmp    1293 <memcpy_crc+0x193>
mov    %rdx,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rax
mov    %rax,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rax,%rax
je     12e4 <memcpy_crc+0x1e4>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu (%rsi,%rax,1),%xmm2
movdqu 0x10(%rsi,%rax,1),%xmm3
paddb  %xmm2,%xmm0
paddb  %xmm3,%xmm1
movdqu %xmm2,(%rdi,%rax,1)
movdqu %xmm3,0x10(%rdi,%rax,1)
movdqu 0x20(%rsi,%rax,1),%xmm2
movdqu 0x30(%rsi,%rax,1),%xmm3
paddb  %xmm2,%xmm0
paddb  %xmm3,%xmm1
movdqu %xmm2,0x20(%rdi,%rax,1)
movdqu %xmm3,0x30(%rdi,%rax,1)
add    $0x40,%rax
add    $0xfffffffffffffffe,%rcx
jne    1200 <memcpy_crc+0x100>
test   $0x1,%r9b
je     126c <memcpy_crc+0x16c>
movdqu (%rsi,%rax,1),%xmm2
movdqu 0x10(%rsi,%rax,1),%xmm3
paddb  %xmm2,%xmm0
paddb  %xmm3,%xmm1
movdqu %xmm2,(%rdi,%rax,1)
movdqu %xmm3,0x10(%rdi,%rax,1)
paddb  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddb  %xmm0,%xmm1
pxor   %xmm0,%xmm0
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rdx,%r8
je     11b7 <memcpy_crc+0xb7>
test   $0x18,%dl
je     12fd <memcpy_crc+0x1fd>
mov    %rdx,%r11
and    $0xfffffffffffffff8,%r11
lea    (%rdi,%r11,1),%r9
lea    (%rsi,%r11,1),%rbx
mov    %edx,%r10d
and    $0x7,%r10d
movzbl %al,%eax
movd   %eax,%xmm0
mov    (%rsi,%r8,1),%rax
movq   %rax,%xmm1
paddb  %xmm1,%xmm0
mov    %rax,(%rdi,%r8,1)
add    $0x8,%r8
cmp    %r8,%r11
jne    12b0 <memcpy_crc+0x1b0>
pxor   %xmm1,%xmm1
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rdx,%r11
jne    1135 <memcpy_crc+0x35>
jmp    11b7 <memcpy_crc+0xb7>
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    124e <memcpy_crc+0x14e>
jmp    126c <memcpy_crc+0x16c>
and    $0x1f,%edx
add    %r8,%rsi
add    %r8,%rdi
jmp    112c <memcpy_crc+0x2c>

LLVM IR (-O0):
define zeroext i8 @memcpy_crc(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i8
%8 = alloca i8
%9 = alloca i8*
%10 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
store i8 0, i8* %7
%11 = load i8*, i8** %5
store i8* %11, i8** %9
%12 = load i8*, i8** %4
store i8* %12, i8** %10
br label %13
13: ; preds = %17, %3
%14 = load i64, i64* %6
%15 = add i64 %14, -1
store i64 %15, i64* %6
%16 = icmp ne i64 %14, 0
br i1 %16, label %17, label %30
17: ; preds = %13
%18 = load i8*, i8** %9
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %9
%20 = load i8, i8* %18
store i8 %20, i8* %8
%21 = load i8, i8* %8
%22 = zext i8 %21 to i32
%23 = load i8, i8* %7
%24 = zext i8 %23 to i32
%25 = add nsw i32 %24, %22
%26 = trunc i32 %25 to i8
store i8 %26, i8* %7
%27 = load i8, i8* %8
%28 = load i8*, i8** %10
%29 = getelementptr inbounds i8, i8* %28, i32 1
store i8* %29, i8** %10
store i8 %27, i8* %28
br label %13
30: ; preds = %13
%31 = load i8, i8* %7
ret i8 %31
}

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