void pack_code(int code, unsigned int **p_ch_beg, int *p_ch_bit, int numbits,
               int wsize) {
  int i, ch_bit;
  unsigned int *ch_word;
  ch_bit = *p_ch_bit;
  ch_word = *p_ch_beg;
  for (i = 0; i < numbits; i++) {
    if (ch_bit == 0)
      *ch_word = ((code & (1 << i)) >> i);
    else
      *ch_word |= (((code & (1 << i)) >> i) << ch_bit);
    if (++ch_bit >= wsize) {
      ch_bit = 0;
      (*p_ch_beg)++;
      ch_word++;
    }
  }
  *p_ch_bit = ch_bit;
}


x86 assembly (clang, -O0):
<pack_code>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11d5 <pack_code+0xd5>
cmpl   $0x0,-0x28(%rbp)
jne    116a <pack_code+0x6a>
mov    -0x4(%rbp),%eax
mov    -0x24(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
mov    -0x24(%rbp),%ecx
sar    %cl,%eax
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
jmp    118f <pack_code+0x8f>
mov    -0x4(%rbp),%eax
mov    -0x24(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
mov    -0x24(%rbp),%ecx
sar    %cl,%eax
mov    -0x28(%rbp),%ecx
shl    %cl,%eax
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
or     (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmp    -0x20(%rbp),%eax
jl     11c2 <pack_code+0xc2>
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x4,%rcx
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    11c7 <pack_code+0xc7>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1131 <pack_code+0x31>
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<pack_code>:
push   %rbp
push   %rbx
mov    (%rdx),%r10d
test   %ecx,%ecx
jle    115c <pack_code+0x5c>
mov    %ecx,%r9d
mov    (%rsi),%r11
xor    %eax,%eax
mov    %r11,%rbx
jmp    1128 <pack_code+0x28>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%eax
cmp    %eax,%r9d
je     115c <pack_code+0x5c>
mov    $0x1,%ebp
mov    %eax,%ecx
shl    %cl,%ebp
and    %edi,%ebp
sar    %cl,%ebp
test   %r10d,%r10d
je     1141 <pack_code+0x41>
mov    %r10d,%ecx
shl    %cl,%ebp
or     (%rbx),%ebp
mov    %ebp,(%rbx)
add    $0x1,%r10d
cmp    %r8d,%r10d
jl     1120 <pack_code+0x20>
add    $0x4,%r11
mov    %r11,(%rsi)
add    $0x4,%rbx
xor    %r10d,%r10d
jmp    1120 <pack_code+0x20>
mov    %r10d,(%rdx)
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define void @pack_code(i32 %0, i32** %1, i32* %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32**
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32*
store i32 %0, i32* %6
store i32** %1, i32*** %7
store i32* %2, i32** %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%14 = load i32*, i32** %8
%15 = load i32, i32* %14
store i32 %15, i32* %12
%16 = load i32**, i32*** %7
%17 = load i32*, i32** %16
store i32* %17, i32** %13
store i32 0, i32* %11
br label %18
18: ; preds = %57, %5
%19 = load i32, i32* %11
%20 = load i32, i32* %9
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %60
22: ; preds = %18
%23 = load i32, i32* %12
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %33
25: ; preds = %22
%26 = load i32, i32* %6
%27 = load i32, i32* %11
%28 = shl i32 1, %27
%29 = and i32 %26, %28
%30 = load i32, i32* %11
%31 = ashr i32 %29, %30
%32 = load i32*, i32** %13
store i32 %31, i32* %32
br label %45
33: ; preds = %22
%34 = load i32, i32* %6
%35 = load i32, i32* %11
%36 = shl i32 1, %35
%37 = and i32 %34, %36
%38 = load i32, i32* %11
%39 = ashr i32 %37, %38
%40 = load i32, i32* %12
%41 = shl i32 %39, %40
%42 = load i32*, i32** %13
%43 = load i32, i32* %42
%44 = or i32 %43, %41
store i32 %44, i32* %42
br label %45
45: ; preds = %33, %25
%46 = load i32, i32* %12
%47 = add nsw i32 %46, 1
store i32 %47, i32* %12
%48 = load i32, i32* %10
%49 = icmp sge i32 %47, %48
br i1 %49, label %50, label %56
50: ; preds = %45
store i32 0, i32* %12
%51 = load i32**, i32*** %7
%52 = load i32*, i32** %51
%53 = getelementptr inbounds i32, i32* %52, i32 1
store i32* %53, i32** %51
%54 = load i32*, i32** %13
%55 = getelementptr inbounds i32, i32* %54, i32 1
store i32* %55, i32** %13
br label %56
56: ; preds = %50, %45
br label %57
57: ; preds = %56
%58 = load i32, i32* %11
%59 = add nsw i32 %58, 1
store i32 %59, i32* %11
br label %18
60: ; preds = %18
%61 = load i32, i32* %12
%62 = load i32*, i32** %8
store i32 %61, i32* %62
ret void
}

LLVM IR (-O2):
define void @pack_code(i32 %0, i32** nocapture %1, i32* nocapture %2, i32 %3, i32 %4) {
%6 = load i32, i32* %2
%7 = load i32*, i32** %1
%8 = icmp sgt i32 %3, 0
br i1 %8, label %9, label %35
9: ; preds = %5, %29
%10 = phi i32* [ %30, %29 ], [ %7, %5 ]
%11 = phi i32* [ %32, %29 ], [ %7, %5 ]
%12 = phi i32 [ %31, %29 ], [ %6, %5 ]
%13 = phi i32 [ %33, %29 ], [ 0, %5 ]
%14 = icmp eq i32 %12, 0
%15 = shl nuw i32 1, %13
%16 = and i32 %15, %0
%17 = ashr i32 %16, %13
br i1 %14, label %22, label %18
18: ; preds = %9
%19 = shl i32 %17, %12
%20 = load i32, i32* %11
%21 = or i32 %20, %19
br label %22
22: ; preds = %9, %18
%23 = phi i32 [ %21, %18 ], [ %17, %9 ]
store i32 %23, i32* %11
%24 = add nsw i32 %12, 1
%25 = icmp slt i32 %24, %4
br i1 %25, label %29, label %26
26: ; preds = %22
%27 = getelementptr inbounds i32, i32* %10, i64 1
store i32* %27, i32** %1
%28 = getelementptr inbounds i32, i32* %11, i64 1
br label %29
29: ; preds = %22, %26
%30 = phi i32* [ %27, %26 ], [ %10, %22 ]
%31 = phi i32 [ 0, %26 ], [ %24, %22 ]
%32 = phi i32* [ %28, %26 ], [ %11, %22 ]
%33 = add nuw nsw i32 %13, 1
%34 = icmp eq i32 %33, %3
br i1 %34, label %35, label %9
35: ; preds = %29, %5
%36 = phi i32 [ %6, %5 ], [ %31, %29 ]
store i32 %36, i32* %2
ret void
}