#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 *, int);
void memcpy_8(void *destination, const void *source, int nbytes) {
  int nb_b4, nb_after;
  char *dest = (char *)destination, *src = (char *)source;
  nb_b4 = 8 - ((long int)src % 8);
  if (nb_b4 != 8 && nb_b4 <= nbytes) {
    memcpy(dest, src, nb_b4);
    src += nb_b4;
    dest += nb_b4;
    nbytes -= nb_b4;
  }
  nb_after = nbytes % 8;
  nbytes -= nb_after;
  if (nbytes > 0) {
    memcpy(dest, src, nbytes);
  }
  if (nb_after > 0) {
    src += nbytes;
    dest += nbytes;
    memcpy(dest, src, nb_after);
  }
}


x86 assembly (clang, -O0):
<memcpy_8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    $0x8,%ecx
cqto
idiv   %rcx
mov    $0x8,%eax
sub    %rdx,%rax
mov    %eax,-0x18(%rbp)
cmpl   $0x8,-0x18(%rbp)
je     119f <memcpy_8+0x8f>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     119f <memcpy_8+0x8f>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x18(%rbp),%edx
call   1030 <memcpy@plt>
mov    -0x18(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %edx,-0x1c(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    11d2 <memcpy_8+0xc2>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <memcpy@plt>
cmpl   $0x0,-0x1c(%rbp)
jle    120e <memcpy_8+0xfe>
mov    -0x14(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1030 <memcpy@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy_8>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%r15
lea    0x7(%rsi),%ecx
test   %rsi,%rsi
cmovns %r14d,%ecx
and    $0xfffffff8,%ecx
mov    %r14d,%eax
sub    %ecx,%eax
je     1155 <memcpy_8+0x45>
mov    $0x8,%ebp
sub    %eax,%ebp
cmp    %ebx,%ebp
jg     1155 <memcpy_8+0x45>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %ebp,%edx
call   1030 <memcpy@plt>
mov    %ebp,%eax
add    %rax,%r14
add    %rax,%r15
sub    %ebp,%ebx
lea    0x7(%rbx),%ebp
test   %ebx,%ebx
cmovns %ebx,%ebp
and    $0xfffffff8,%ebp
sub    %ebp,%ebx
test   %ebp,%ebp
jle    1173 <memcpy_8+0x63>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %ebp,%edx
call   1030 <memcpy@plt>
test   %ebx,%ebx
jle    1197 <memcpy_8+0x87>
movslq %ebp,%rax
add    %rax,%r14
add    %rax,%r15
mov    %r15,%rdi
mov    %r14,%rsi
mov    %ebx,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <memcpy@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @memcpy_8(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%11 = load i8*, i8** %4
store i8* %11, i8** %9
%12 = load i8*, i8** %5
store i8* %12, i8** %10
%13 = load i8*, i8** %10
%14 = ptrtoint i8* %13 to i64
%15 = srem i64 %14, 8
%16 = sub nsw i64 8, %15
%17 = trunc i64 %16 to i32
store i32 %17, i32* %7
%18 = load i32, i32* %7
%19 = icmp ne i32 %18, 8
br i1 %19, label %20, label %40
20: ; preds = %3
%21 = load i32, i32* %7
%22 = load i32, i32* %6
%23 = icmp sle i32 %21, %22
br i1 %23, label %24, label %40
24: ; preds = %20
%25 = load i8*, i8** %9
%26 = load i8*, i8** %10
%27 = load i32, i32* %7
%28 = call i32 @memcpy(i8* %25, i8* %26, i32 %27)
%29 = load i32, i32* %7
%30 = load i8*, i8** %10
%31 = sext i32 %29 to i64
%32 = getelementptr inbounds i8, i8* %30, i64 %31
store i8* %32, i8** %10
%33 = load i32, i32* %7
%34 = load i8*, i8** %9
%35 = sext i32 %33 to i64
%36 = getelementptr inbounds i8, i8* %34, i64 %35
store i8* %36, i8** %9
%37 = load i32, i32* %7
%38 = load i32, i32* %6
%39 = sub nsw i32 %38, %37
store i32 %39, i32* %6
br label %40
40: ; preds = %24, %20, %3
%41 = load i32, i32* %6
%42 = srem i32 %41, 8
store i32 %42, i32* %8
%43 = load i32, i32* %8
%44 = load i32, i32* %6
%45 = sub nsw i32 %44, %43
store i32 %45, i32* %6
%46 = load i32, i32* %6
%47 = icmp sgt i32 %46, 0
br i1 %47, label %48, label %53
48: ; preds = %40
%49 = load i8*, i8** %9
%50 = load i8*, i8** %10
%51 = load i32, i32* %6
%52 = call i32 @memcpy(i8* %49, i8* %50, i32 %51)
br label %53
53: ; preds = %48, %40
%54 = load i32, i32* %8
%55 = icmp sgt i32 %54, 0
br i1 %55, label %56, label %69
56: ; preds = %53
%57 = load i32, i32* %6
%58 = load i8*, i8** %10
%59 = sext i32 %57 to i64
%60 = getelementptr inbounds i8, i8* %58, i64 %59
store i8* %60, i8** %10
%61 = load i32, i32* %6
%62 = load i8*, i8** %9
%63 = sext i32 %61 to i64
%64 = getelementptr inbounds i8, i8* %62, i64 %63
store i8* %64, i8** %9
%65 = load i8*, i8** %9
%66 = load i8*, i8** %10
%67 = load i32, i32* %8
%68 = call i32 @memcpy(i8* %65, i8* %66, i32 %67)
br label %69
69: ; preds = %56, %53
ret void
}

LLVM IR (-O2):
define void @memcpy_8(i8* %0, i8* %1, i32 %2) {
%4 = ptrtoint i8* %1 to i64
%5 = srem i64 %4, 8
%6 = trunc i64 %5 to i32
%7 = sub nsw i32 8, %6
%8 = icmp eq i32 %6, 0
%9 = icmp sgt i32 %7, %2
%10 = or i1 %8, %9
br i1 %10, label %17, label %11
11: ; preds = %3
%12 = tail call i32 @memcpy(i8* %0, i8* %1, i32 %7)
%13 = zext i32 %7 to i64
%14 = getelementptr inbounds i8, i8* %1, i64 %13
%15 = getelementptr inbounds i8, i8* %0, i64 %13
%16 = sub nsw i32 %2, %7
br label %17
17: ; preds = %11, %3
%18 = phi i32 [ %16, %11 ], [ %2, %3 ]
%19 = phi i8* [ %15, %11 ], [ %0, %3 ]
%20 = phi i8* [ %14, %11 ], [ %1, %3 ]
%21 = srem i32 %18, 8
%22 = sub nsw i32 %18, %21
%23 = icmp sgt i32 %22, 0
br i1 %23, label %24, label %26
24: ; preds = %17
%25 = tail call i32 @memcpy(i8* %19, i8* %20, i32 %22)
br label %26
26: ; preds = %24, %17
%27 = icmp sgt i32 %21, 0
br i1 %27, label %28, label %33
28: ; preds = %26
%29 = sext i32 %22 to i64
%30 = getelementptr inbounds i8, i8* %20, i64 %29
%31 = getelementptr inbounds i8, i8* %19, i64 %29
%32 = tail call i32 @memcpy(i8* %31, i8* %30, i32 %21)
br label %33
33: ; preds = %28, %26
ret void
}