void CopyBytes(unsigned char *to, unsigned char *from, unsigned char count) {
  do {
    *to = *from;
    to++;
    from++;
  } while (--count);
}


x86 assembly (clang, -O0):
<CopyBytes>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x11(%rbp),%al
add    $0xff,%al
mov    %al,-0x11(%rbp)
cmp    $0x0,%al
jne    1111 <CopyBytes+0x11>
pop    %rbp
ret

x86 assembly (clang, -O2):
<CopyBytes>:
push   %rbx
lea    -0x1(%rdx),%eax
cmp    $0x7,%al
jb     112e <CopyBytes+0x2e>
movzbl %al,%r8d
lea    (%rsi,%r8,1),%rcx
add    $0x1,%rcx
cmp    %rdi,%rcx
jbe    11d1 <CopyBytes+0xd1>
lea    (%rdi,%r8,1),%rcx
add    $0x1,%rcx
cmp    %rsi,%rcx
jbe    11d1 <CopyBytes+0xd1>
mov    %rdi,%rax
mov    %rsi,%rcx
lea    -0x1(%rdx),%r8d
test   $0x7,%dl
je     1168 <CopyBytes+0x68>
movzbl %dl,%edx
mov    %edx,%esi
and    $0x7,%esi
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movzbl (%rcx,%rdi,1),%ebx
mov    %bl,(%rax,%rdi,1)
add    $0x1,%rdi
cmp    %dil,%sil
jne    1150 <CopyBytes+0x50>
add    %rdi,%rax
add    %rdi,%rcx
sub    %edi,%edx
cmp    $0x7,%r8b
jb     11cf <CopyBytes+0xcf>
movzbl %dl,%edx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rcx,%rsi,1),%ebx
mov    %bl,(%rax,%rsi,1)
movzbl 0x1(%rcx,%rsi,1),%ebx
mov    %bl,0x1(%rax,%rsi,1)
movzbl 0x2(%rcx,%rsi,1),%ebx
mov    %bl,0x2(%rax,%rsi,1)
movzbl 0x3(%rcx,%rsi,1),%ebx
mov    %bl,0x3(%rax,%rsi,1)
movzbl 0x4(%rcx,%rsi,1),%ebx
mov    %bl,0x4(%rax,%rsi,1)
movzbl 0x5(%rcx,%rsi,1),%ebx
mov    %bl,0x5(%rax,%rsi,1)
movzbl 0x6(%rcx,%rsi,1),%ebx
mov    %bl,0x6(%rax,%rsi,1)
movzbl 0x7(%rcx,%rsi,1),%ebx
mov    %bl,0x7(%rax,%rsi,1)
add    $0x8,%rsi
cmp    %sil,%dl
jne    1180 <CopyBytes+0x80>
pop    %rbx
ret
cmp    $0x1f,%al
jae    11dd <CopyBytes+0xdd>
xor    %r9d,%r9d
jmp    12ba <CopyBytes+0x1ba>
lea    0x1(%r8),%r10
mov    %r10d,%r9d
and    $0xffffffe0,%r9d
lea    -0x20(%r9),%rax
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%r11d
and    $0x3,%r11d
cmp    $0x60,%rax
jae    1208 <CopyBytes+0x108>
xor    %eax,%eax
jmp    1268 <CopyBytes+0x168>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
xchg   %ax,%ax
movups (%rsi,%rax,1),%xmm0
movups 0x10(%rsi,%rax,1),%xmm1
movups %xmm0,(%rdi,%rax,1)
movups %xmm1,0x10(%rdi,%rax,1)
movups 0x20(%rsi,%rax,1),%xmm0
movups 0x30(%rsi,%rax,1),%xmm1
movups %xmm0,0x20(%rdi,%rax,1)
movups %xmm1,0x30(%rdi,%rax,1)
movups 0x40(%rsi,%rax,1),%xmm0
movups 0x50(%rsi,%rax,1),%xmm1
movups %xmm0,0x40(%rdi,%rax,1)
movups %xmm1,0x50(%rdi,%rax,1)
movups 0x60(%rsi,%rax,1),%xmm0
movups 0x70(%rsi,%rax,1),%xmm1
movups %xmm0,0x60(%rdi,%rax,1)
movups %xmm1,0x70(%rdi,%rax,1)
sub    $0xffffffffffffff80,%rax
add    $0xfffffffffffffffc,%rcx
jne    1210 <CopyBytes+0x110>
test   %r11,%r11
je     12ab <CopyBytes+0x1ab>
lea    (%rsi,%rax,1),%rcx
add    $0x10,%rcx
add    %rdi,%rax
add    $0x10,%rax
shl    $0x5,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%rcx,%rbx,1),%xmm0
movups (%rcx,%rbx,1),%xmm1
movups %xmm0,-0x10(%rax,%rbx,1)
movups %xmm1,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r11
jne    1290 <CopyBytes+0x190>
cmp    %r9,%r10
je     11cf <CopyBytes+0xcf>
test   $0x18,%r10b
je     12ef <CopyBytes+0x1ef>
add    $0x1,%r8
mov    %r8d,%r10d
and    $0xfffffff8,%r10d
lea    (%rdi,%r10,1),%rax
lea    (%rsi,%r10,1),%rcx
sub    %r10b,%dl
mov    (%rsi,%r9,1),%rbx
mov    %rbx,(%rdi,%r9,1)
add    $0x8,%r9
cmp    %r9,%r10
jne    12d0 <CopyBytes+0x1d0>
cmp    %r10,%r8
jne    1134 <CopyBytes+0x34>
jmp    11cf <CopyBytes+0xcf>
sub    %r9b,%dl
add    %r9,%rsi
add    %r9,%rdi
jmp    112e <CopyBytes+0x2e>

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

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