void *memcpy(volatile unsigned char *d, const volatile unsigned char *s,
             int i) {
  while (i--)
    *d++ = *s++;
}


x86 assembly (clang, -O0):
<memcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     114a <memcpy+0x4a>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    110f <memcpy+0xf>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy>:
test   %edx,%edx
je     119e <memcpy+0x9e>
lea    -0x1(%rdx),%r8d
test   $0x7,%dl
je     1138 <memcpy+0x38>
mov    %edx,%r9d
and    $0x7,%r9d
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movzbl (%rsi,%rcx,1),%eax
mov    %al,(%rdi,%rcx,1)
add    $0x1,%rcx
cmp    %ecx,%r9d
jne    1120 <memcpy+0x20>
sub    %ecx,%edx
add    %rcx,%rsi
add    %rcx,%rdi
cmp    $0x7,%r8d
jb     119e <memcpy+0x9e>
mov    %edx,%eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rsi,%rcx,1),%edx
mov    %dl,(%rdi,%rcx,1)
movzbl 0x1(%rsi,%rcx,1),%edx
mov    %dl,0x1(%rdi,%rcx,1)
movzbl 0x2(%rsi,%rcx,1),%edx
mov    %dl,0x2(%rdi,%rcx,1)
movzbl 0x3(%rsi,%rcx,1),%edx
mov    %dl,0x3(%rdi,%rcx,1)
movzbl 0x4(%rsi,%rcx,1),%edx
mov    %dl,0x4(%rdi,%rcx,1)
movzbl 0x5(%rsi,%rcx,1),%edx
mov    %dl,0x5(%rdi,%rcx,1)
movzbl 0x6(%rsi,%rcx,1),%edx
mov    %dl,0x6(%rdi,%rcx,1)
movzbl 0x7(%rsi,%rcx,1),%edx
mov    %dl,0x7(%rdi,%rcx,1)
add    $0x8,%rcx
cmp    %ecx,%eax
jne    1150 <memcpy+0x50>
ret

LLVM IR (-O0):
define i8* @memcpy(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
br label %8
8: ; preds = %12, %3
%9 = load i32, i32* %7
%10 = add nsw i32 %9, -1
store i32 %10, i32* %7
%11 = icmp ne i32 %9, 0
br i1 %11, label %12, label %18
12: ; preds = %8
%13 = load i8*, i8** %6
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %6
%15 = load volatile i8, i8* %13
%16 = load i8*, i8** %5
%17 = getelementptr inbounds i8, i8* %16, i32 1
store i8* %17, i8** %5
store volatile i8 %15, i8* %16
br label %8
18: ; preds = %8
%19 = load i8*, i8** %4
ret i8* %19
}

LLVM IR (-O2):
define noalias i8* @memcpy(i8* %0, i8* %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %55, label %5
5: ; preds = %3
%6 = add i32 %2, -1
%7 = and i32 %2, 7
%8 = icmp eq i32 %7, 0
br i1 %8, label %20, label %9
9: ; preds = %5, %9
%10 = phi i32 [ %14, %9 ], [ %2, %5 ]
%11 = phi i8* [ %15, %9 ], [ %1, %5 ]
%12 = phi i8* [ %17, %9 ], [ %0, %5 ]
%13 = phi i32 [ %18, %9 ], [ 0, %5 ]
%14 = add nsw i32 %10, -1
%15 = getelementptr inbounds i8, i8* %11, i64 1
%16 = load volatile i8, i8* %11
%17 = getelementptr inbounds i8, i8* %12, i64 1
store volatile i8 %16, i8* %12
%18 = add i32 %13, 1
%19 = icmp eq i32 %18, %7
br i1 %19, label %20, label %9
20: ; preds = %9, %5
%21 = phi i32 [ %2, %5 ], [ %14, %9 ]
%22 = phi i8* [ %1, %5 ], [ %15, %9 ]
%23 = phi i8* [ %0, %5 ], [ %17, %9 ]
%24 = icmp ult i32 %6, 7
br i1 %24, label %55, label %25
25: ; preds = %20, %25
%26 = phi i32 [ %50, %25 ], [ %21, %20 ]
%27 = phi i8* [ %51, %25 ], [ %22, %20 ]
%28 = phi i8* [ %53, %25 ], [ %23, %20 ]
%29 = getelementptr inbounds i8, i8* %27, i64 1
%30 = load volatile i8, i8* %27
%31 = getelementptr inbounds i8, i8* %28, i64 1
store volatile i8 %30, i8* %28
%32 = getelementptr inbounds i8, i8* %27, i64 2
%33 = load volatile i8, i8* %29
%34 = getelementptr inbounds i8, i8* %28, i64 2
store volatile i8 %33, i8* %31
%35 = getelementptr inbounds i8, i8* %27, i64 3
%36 = load volatile i8, i8* %32
%37 = getelementptr inbounds i8, i8* %28, i64 3
store volatile i8 %36, i8* %34
%38 = getelementptr inbounds i8, i8* %27, i64 4
%39 = load volatile i8, i8* %35
%40 = getelementptr inbounds i8, i8* %28, i64 4
store volatile i8 %39, i8* %37
%41 = getelementptr inbounds i8, i8* %27, i64 5
%42 = load volatile i8, i8* %38
%43 = getelementptr inbounds i8, i8* %28, i64 5
store volatile i8 %42, i8* %40
%44 = getelementptr inbounds i8, i8* %27, i64 6
%45 = load volatile i8, i8* %41
%46 = getelementptr inbounds i8, i8* %28, i64 6
store volatile i8 %45, i8* %43
%47 = getelementptr inbounds i8, i8* %27, i64 7
%48 = load volatile i8, i8* %44
%49 = getelementptr inbounds i8, i8* %28, i64 7
store volatile i8 %48, i8* %46
%50 = add nsw i32 %26, -8
%51 = getelementptr inbounds i8, i8* %27, i64 8
%52 = load volatile i8, i8* %47
%53 = getelementptr inbounds i8, i8* %28, i64 8
store volatile i8 %52, i8* %49
%54 = icmp eq i32 %50, 0
br i1 %54, label %55, label %25
55: ; preds = %20, %25, %3
ret i8* undef
}