#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_16(void *destination, const void *source, int nbytes) {
  int nb_b4, nb_after;
  char *dest = (char *)destination, *src = (char *)source;
  nb_b4 = 16 - ((int)dest % 16);
  if (nb_b4 != 16 && nb_b4 <= nbytes) {
    memcpy(dest, src, nb_b4);
    src += nb_b4;
    dest += nb_b4;
    nbytes -= nb_b4;
  }
  nb_after = nbytes % 16;
  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_16>:
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    -0x28(%rbp),%rax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    $0x10,%eax
sub    %edx,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x10,-0x18(%rbp)
je     119c <memcpy_16+0x8c>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     119c <memcpy_16+0x8c>
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    $0x10,%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    11cf <memcpy_16+0xbf>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x14(%rbp),%edx
call   1030 <memcpy@plt>
cmpl   $0x0,-0x1c(%rbp)
jle    120b <memcpy_16+0xfb>
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_16>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%r15
lea    0xf(%rdi),%ecx
test   %r15d,%r15d
cmovns %r15d,%ecx
and    $0xfffffff0,%ecx
mov    %r15d,%eax
sub    %ecx,%eax
je     1155 <memcpy_16+0x45>
mov    $0x10,%ebp
sub    %eax,%ebp
cmp    %ebx,%ebp
jg     1155 <memcpy_16+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    0xf(%rbx),%ebp
test   %ebx,%ebx
cmovns %ebx,%ebp
and    $0xfffffff0,%ebp
sub    %ebp,%ebx
test   %ebp,%ebp
jle    1173 <memcpy_16+0x63>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %ebp,%edx
call   1030 <memcpy@plt>
test   %ebx,%ebx
jle    1197 <memcpy_16+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_16(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** %9
%14 = ptrtoint i8* %13 to i32
%15 = srem i32 %14, 16
%16 = sub nsw i32 16, %15
store i32 %16, i32* %7
%17 = load i32, i32* %7
%18 = icmp ne i32 %17, 16
br i1 %18, label %19, label %39
19: ; preds = %3
%20 = load i32, i32* %7
%21 = load i32, i32* %6
%22 = icmp sle i32 %20, %21
br i1 %22, label %23, label %39
23: ; preds = %19
%24 = load i8*, i8** %9
%25 = load i8*, i8** %10
%26 = load i32, i32* %7
%27 = call i32 @memcpy(i8* %24, i8* %25, i32 %26)
%28 = load i32, i32* %7
%29 = load i8*, i8** %10
%30 = sext i32 %28 to i64
%31 = getelementptr inbounds i8, i8* %29, i64 %30
store i8* %31, i8** %10
%32 = load i32, i32* %7
%33 = load i8*, i8** %9
%34 = sext i32 %32 to i64
%35 = getelementptr inbounds i8, i8* %33, i64 %34
store i8* %35, i8** %9
%36 = load i32, i32* %7
%37 = load i32, i32* %6
%38 = sub nsw i32 %37, %36
store i32 %38, i32* %6
br label %39
39: ; preds = %23, %19, %3
%40 = load i32, i32* %6
%41 = srem i32 %40, 16
store i32 %41, i32* %8
%42 = load i32, i32* %8
%43 = load i32, i32* %6
%44 = sub nsw i32 %43, %42
store i32 %44, i32* %6
%45 = load i32, i32* %6
%46 = icmp sgt i32 %45, 0
br i1 %46, label %47, label %52
47: ; preds = %39
%48 = load i8*, i8** %9
%49 = load i8*, i8** %10
%50 = load i32, i32* %6
%51 = call i32 @memcpy(i8* %48, i8* %49, i32 %50)
br label %52
52: ; preds = %47, %39
%53 = load i32, i32* %8
%54 = icmp sgt i32 %53, 0
br i1 %54, label %55, label %68
55: ; preds = %52
%56 = load i32, i32* %6
%57 = load i8*, i8** %10
%58 = sext i32 %56 to i64
%59 = getelementptr inbounds i8, i8* %57, i64 %58
store i8* %59, i8** %10
%60 = load i32, i32* %6
%61 = load i8*, i8** %9
%62 = sext i32 %60 to i64
%63 = getelementptr inbounds i8, i8* %61, i64 %62
store i8* %63, i8** %9
%64 = load i8*, i8** %9
%65 = load i8*, i8** %10
%66 = load i32, i32* %8
%67 = call i32 @memcpy(i8* %64, i8* %65, i32 %66)
br label %68
68: ; preds = %55, %52
ret void
}

LLVM IR (-O2):
define void @memcpy_16(i8* %0, i8* %1, i32 %2) {
%4 = ptrtoint i8* %0 to i64
%5 = trunc i64 %4 to i32
%6 = srem i32 %5, 16
%7 = sub nsw i32 16, %6
%8 = icmp eq i32 %6, 0
%9 = icmp sgt i32 %7, %2
%10 = select i1 %8, i1 true, i1 %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, 16
%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
}