void q_copy(unsigned char *src, int pos, unsigned char *dst, int size) {
  src += pos >> 3;
  pos &= 7;
  if (pos + size <= 8)
    *dst |= *src & (((1 << size) - 1) << pos);
  else {
    if (pos) {
      *dst++ |= *src++ & (0xff << pos);
      size -= 8 - pos;
    }
    while (size >= 8) {
      *dst++ = *src++;
      size -= 8;
    }
    if (size > 0)
      *dst |= *src & ((1 << size) - 1);
  }
}


x86 assembly (clang, -O0):
<q_copy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0xc(%rbp),%ecx
sar    $0x3,%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
and    $0x7,%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
cmp    $0x8,%eax
jg     1169 <q_copy+0x69>
mov    -0x8(%rbp),%rax
movzbl (%rax),%edx
mov    -0x1c(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
sub    $0x1,%eax
mov    -0xc(%rbp),%ecx
shl    %cl,%eax
and    %eax,%edx
mov    -0x18(%rbp),%rax
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    1226 <q_copy+0x126>
cmpl   $0x0,-0xc(%rbp)
je     11b7 <q_copy+0xb7>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%edx
mov    -0xc(%rbp),%ecx
mov    $0xff,%eax
shl    %cl,%eax
and    %eax,%edx
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
mov    $0x8,%ecx
sub    -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
jmp    11bc <q_copy+0xbc>
cmpl   $0x8,-0x1c(%rbp)
jl     11f6 <q_copy+0xf6>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x1c(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x1c(%rbp)
jmp    11bc <q_copy+0xbc>
cmpl   $0x0,-0x1c(%rbp)
jle    1221 <q_copy+0x121>
mov    -0x8(%rbp),%rax
movzbl (%rax),%edx
mov    -0x1c(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
sub    $0x1,%eax
and    %eax,%edx
mov    -0x18(%rbp),%rax
movzbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    1226 <q_copy+0x126>
pop    %rbp
ret

x86 assembly (clang, -O2):
<q_copy>:
push   %rbx
mov    %ecx,%r8d
mov    %esi,%eax
sar    $0x3,%eax
cltq
add    %rdi,%rax
mov    %esi,%edi
and    $0x7,%edi
lea    (%rdi,%r8,1),%ecx
cmp    $0x8,%ecx
jg     1131 <q_copy+0x31>
mov    $0xffffffff,%esi
mov    %r8d,%ecx
shl    %cl,%esi
not    %esi
mov    %edi,%ecx
shl    %cl,%esi
jmp    12bb <q_copy+0x1bb>
test   %edi,%edi
je     1153 <q_copy+0x53>
mov    $0xff,%ebx
mov    %edi,%ecx
shl    %cl,%ebx
and    (%rax),%bl
or     %bl,(%rdx)
add    $0x1,%rax
add    $0x1,%rdx
or     $0xfffffff8,%esi
add    %r8d,%esi
mov    %esi,%r8d
cmp    $0x8,%r8d
jl     12a9 <q_copy+0x1a9>
xor    %esi,%esi
mov    %r8d,%r10d
sub    $0xf,%r10d
cmovb  %esi,%r10d
add    $0x7,%r10d
cmp    $0xf8,%r10d
jb     1289 <q_copy+0x189>
mov    %r8d,%ecx
sub    $0xf,%ecx
cmovb  %esi,%ecx
add    $0x7,%ecx
shr    $0x3,%ecx
lea    (%rax,%rcx,1),%rsi
add    $0x1,%rsi
cmp    %rsi,%rdx
jae    11a7 <q_copy+0xa7>
add    %rdx,%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jb     1289 <q_copy+0x189>
shr    $0x3,%r10d
add    $0x1,%r10d
mov    %r10d,%r9d
and    $0xffffffe0,%r9d
lea    -0x20(%r9),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%esi
and    $0x3,%esi
cmp    $0x60,%rcx
jae    11d4 <q_copy+0xd4>
xor    %ecx,%ecx
jmp    1238 <q_copy+0x138>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movups (%rax,%rcx,1),%xmm0
movups 0x10(%rax,%rcx,1),%xmm1
movups %xmm0,(%rdx,%rcx,1)
movups %xmm1,0x10(%rdx,%rcx,1)
movups 0x20(%rax,%rcx,1),%xmm0
movups 0x30(%rax,%rcx,1),%xmm1
movups %xmm0,0x20(%rdx,%rcx,1)
movups %xmm1,0x30(%rdx,%rcx,1)
movups 0x40(%rax,%rcx,1),%xmm0
movups 0x50(%rax,%rcx,1),%xmm1
movups %xmm0,0x40(%rdx,%rcx,1)
movups %xmm1,0x50(%rdx,%rcx,1)
movups 0x60(%rax,%rcx,1),%xmm0
movups 0x70(%rax,%rcx,1),%xmm1
movups %xmm0,0x60(%rdx,%rcx,1)
movups %xmm1,0x70(%rdx,%rcx,1)
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%rdi
jne    11e0 <q_copy+0xe0>
lea    0x0(,%r9,8),%r11d
test   %rsi,%rsi
je     127b <q_copy+0x17b>
lea    (%rax,%rcx,1),%rdi
add    $0x10,%rdi
add    %rdx,%rcx
add    $0x10,%rcx
shl    $0x5,%rsi
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movups -0x10(%rdi,%rbx,1),%xmm0
movups (%rdi,%rbx,1),%xmm1
movups %xmm0,-0x10(%rcx,%rbx,1)
movups %xmm1,(%rcx,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%rsi
jne    1260 <q_copy+0x160>
sub    %r11d,%r8d
add    %r9,%rdx
add    %r9,%rax
cmp    %r10,%r9
je     12a9 <q_copy+0x1a9>
mov    %r8d,%ecx
nopl   0x0(%rax)
movzbl (%rax),%ebx
add    $0x1,%rax
mov    %bl,(%rdx)
add    $0x1,%rdx
lea    -0x8(%rcx),%r8d
cmp    $0xf,%ecx
mov    %r8d,%ecx
ja     1290 <q_copy+0x190>
test   %r8d,%r8d
jle    12c1 <q_copy+0x1c1>
mov    $0xffffffff,%esi
mov    %r8d,%ecx
shl    %cl,%esi
not    %sil
and    (%rax),%sil
or     %sil,(%rdx)
pop    %rbx
ret

LLVM IR (-O0):
define void @q_copy(i8* %0, i32 %1, i8* %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i8* %2, i8** %7
store i32 %3, i32* %8
%9 = load i32, i32* %6
%10 = ashr i32 %9, 3
%11 = load i8*, i8** %5
%12 = sext i32 %10 to i64
%13 = getelementptr inbounds i8, i8* %11, i64 %12
store i8* %13, i8** %5
%14 = load i32, i32* %6
%15 = and i32 %14, 7
store i32 %15, i32* %6
%16 = load i32, i32* %6
%17 = load i32, i32* %8
%18 = add nsw i32 %16, %17
%19 = icmp sle i32 %18, 8
br i1 %19, label %20, label %35
20: ; preds = %4
%21 = load i8*, i8** %5
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = load i32, i32* %8
%25 = shl i32 1, %24
%26 = sub nsw i32 %25, 1
%27 = load i32, i32* %6
%28 = shl i32 %26, %27
%29 = and i32 %23, %28
%30 = load i8*, i8** %7
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = or i32 %32, %29
%34 = trunc i32 %33 to i8
store i8 %34, i8* %30
br label %85
35: ; preds = %4
%36 = load i32, i32* %6
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %56
38: ; preds = %35
%39 = load i8*, i8** %5
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %5
%41 = load i8, i8* %39
%42 = zext i8 %41 to i32
%43 = load i32, i32* %6
%44 = shl i32 255, %43
%45 = and i32 %42, %44
%46 = load i8*, i8** %7
%47 = getelementptr inbounds i8, i8* %46, i32 1
store i8* %47, i8** %7
%48 = load i8, i8* %46
%49 = zext i8 %48 to i32
%50 = or i32 %49, %45
%51 = trunc i32 %50 to i8
store i8 %51, i8* %46
%52 = load i32, i32* %6
%53 = sub nsw i32 8, %52
%54 = load i32, i32* %8
%55 = sub nsw i32 %54, %53
store i32 %55, i32* %8
br label %56
56: ; preds = %38, %35
br label %57
57: ; preds = %60, %56
%58 = load i32, i32* %8
%59 = icmp sge i32 %58, 8
br i1 %59, label %60, label %68
60: ; preds = %57
%61 = load i8*, i8** %5
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %5
%63 = load i8, i8* %61
%64 = load i8*, i8** %7
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %7
store i8 %63, i8* %64
%66 = load i32, i32* %8
%67 = sub nsw i32 %66, 8
store i32 %67, i32* %8
br label %57
68: ; preds = %57
%69 = load i32, i32* %8
%70 = icmp sgt i32 %69, 0
br i1 %70, label %71, label %84
71: ; preds = %68
%72 = load i8*, i8** %5
%73 = load i8, i8* %72
%74 = zext i8 %73 to i32
%75 = load i32, i32* %8
%76 = shl i32 1, %75
%77 = sub nsw i32 %76, 1
%78 = and i32 %74, %77
%79 = load i8*, i8** %7
%80 = load i8, i8* %79
%81 = zext i8 %80 to i32
%82 = or i32 %81, %78
%83 = trunc i32 %82 to i8
store i8 %83, i8* %79
br label %84
84: ; preds = %71, %68
br label %85
85: ; preds = %84, %20
ret void
}

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