unsigned char *SCE_Encode_Write(unsigned long m, int *off, int n,
                                unsigned char *out) {
  unsigned char mask;
  int offset = *off;
  while (offset > 8) {
    offset -= 8;
    out++;
  }
  mask = (unsigned char)((1 << (8 - offset)) - 1);
  if (offset + n < 8) {
    mask ^= (unsigned char)((1 << (8 - n - offset)) - 1);
    *out = (unsigned char)((*out & ~mask) |
                           (mask & (unsigned char)(m << (8 - n - offset))));
    *off = offset + n;
  } else {
    *out = (unsigned char)((~mask & *out) |
                           (mask & (unsigned char)(m >> (n - 8 + offset))));
    n -= (8 - offset);
    while (n > 0) {
      out++;
      if (n < 8) {
        *out = (unsigned char)(m << (8 - n)) |
               (*out & (unsigned char)((1 << (8 - n)) - 1));
      } else {
        *out = (unsigned char)(m >> (n - 8));
      }
      n -= 8;
    }
    if (n == 0) {
      *off = 0;
      out++;
    } else
      *off = n + 8;
  }
  return out;
}


x86 assembly (clang, -O0):
<SCE_Encode_Write>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x8,-0x28(%rbp)
jle    1140 <SCE_Encode_Write+0x40>
mov    -0x28(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    111c <SCE_Encode_Write+0x1c>
mov    $0x8,%ecx
sub    -0x28(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
sub    $0x1,%eax
mov    %al,-0x21(%rbp)
mov    -0x28(%rbp),%eax
add    -0x14(%rbp),%eax
cmp    $0x8,%eax
jge    11d3 <SCE_Encode_Write+0xd3>
mov    $0x8,%ecx
sub    -0x14(%rbp),%ecx
sub    -0x28(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
sub    $0x1,%eax
movzbl %al,%ecx
movzbl -0x21(%rbp),%eax
xor    %ecx,%eax
mov    %al,-0x21(%rbp)
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
movzbl -0x21(%rbp),%ecx
xor    $0xffffffff,%ecx
and    %ecx,%eax
movzbl -0x21(%rbp),%ecx
mov    %ecx,-0x2c(%rbp)
mov    -0x8(%rbp),%rdx
mov    $0x8,%ecx
sub    -0x14(%rbp),%ecx
sub    -0x28(%rbp),%ecx
mov    %ecx,%ecx
shl    %cl,%rdx
mov    -0x2c(%rbp),%ecx
movzbl %dl,%edx
and    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%ecx
add    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    12e0 <SCE_Encode_Write+0x1e0>
movzbl -0x21(%rbp),%eax
xor    $0xffffffff,%eax
mov    -0x20(%rbp),%rcx
movzbl (%rcx),%ecx
and    %ecx,%eax
movzbl -0x21(%rbp),%ecx
mov    %ecx,-0x30(%rbp)
mov    -0x8(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x8,%ecx
add    -0x28(%rbp),%ecx
mov    %ecx,%ecx
shr    %cl,%rdx
mov    -0x30(%rbp),%ecx
movzbl %dl,%edx
and    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
mov    $0x8,%ecx
sub    -0x28(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    12aa <SCE_Encode_Write+0x1aa>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x8,-0x14(%rbp)
jge    1285 <SCE_Encode_Write+0x185>
mov    -0x8(%rbp),%rax
mov    $0x8,%ecx
sub    -0x14(%rbp),%ecx
mov    %ecx,%ecx
shl    %cl,%rax
movzbl %al,%eax
mov    -0x20(%rbp),%rcx
movzbl (%rcx),%ecx
mov    %ecx,-0x34(%rbp)
mov    $0x8,%ecx
sub    -0x14(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%edx
mov    -0x34(%rbp),%ecx
sub    $0x1,%edx
movzbl %dl,%edx
and    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
jmp    129c <SCE_Encode_Write+0x19c>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x8,%ecx
mov    %ecx,%ecx
shr    %cl,%rax
mov    %al,%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x14(%rbp)
jmp    121e <SCE_Encode_Write+0x11e>
cmpl   $0x0,-0x14(%rbp)
jne    12cf <SCE_Encode_Write+0x1cf>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    12db <SCE_Encode_Write+0x1db>
mov    -0x14(%rbp),%ecx
add    $0x8,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    12e0 <SCE_Encode_Write+0x1e0>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<SCE_Encode_Write>:
push   %rbx
mov    %rcx,%rax
mov    (%rsi),%r10d
cmp    $0x9,%r10d
jl     113d <SCE_Encode_Write+0x3d>
cmp    $0x10,%r10d
mov    $0x10,%ecx
cmovl  %r10d,%ecx
mov    %r10,%rbx
sub    %rcx,%rbx
add    $0x7,%rbx
mov    %ebx,%ecx
and    $0xfffffff8,%ecx
shr    $0x3,%rbx
neg    %ecx
add    %ecx,%r10d
add    $0xfffffff8,%r10d
add    %rbx,%rax
add    $0x1,%rax
mov    $0x8,%r9d
sub    %r10d,%r9d
mov    $0xffffffff,%r11d
mov    %r9d,%ecx
shl    %cl,%r11d
mov    $0xffffffff,%ebx
lea    (%r10,%rdx,1),%r8d
cmp    $0x7,%r8d
jg     117f <SCE_Encode_Write+0x7f>
mov    $0x8,%cl
sub    %r8b,%cl
shl    %cl,%ebx
xor    %r11d,%ebx
movzbl (%rax),%edx
shl    %cl,%rdi
xor    %edx,%edi
and    %ebx,%edi
xor    %edx,%edi
mov    %dil,(%rax)
jmp    1207 <SCE_Encode_Write+0x107>
add    $0xf8,%r8b
mov    %rdi,%rbx
mov    %r8d,%ecx
shr    %cl,%rbx
mov    (%rax),%cl
xor    %bl,%cl
and    %r11b,%cl
xor    %bl,%cl
mov    %cl,(%rax)
mov    %edx,%r8d
sub    %r9d,%r8d
jle    11d8 <SCE_Encode_Write+0xd8>
add    $0x1,%rax
lea    (%r10,%rdx,1),%r8d
add    $0xfffffff0,%r8d
nopl   0x0(%rax,%rax,1)
mov    %r8d,%edx
add    $0x8,%edx
jb     11e9 <SCE_Encode_Write+0xe9>
mov    %rdi,%rbx
mov    %r8d,%ecx
shr    %cl,%rbx
mov    %bl,(%rax)
add    $0x1,%rax
add    $0xfffffff8,%r8d
cmp    $0x8,%edx
jg     11b0 <SCE_Encode_Write+0xb0>
add    $0xffffffffffffffff,%rax
add    $0x8,%r8d
test   %r8d,%r8d
jne    1203 <SCE_Encode_Write+0x103>
movl   $0x0,(%rsi)
add    $0x1,%rax
pop    %rbx
ret
mov    %r8d,%ecx
neg    %cl
shl    %cl,%rdi
movzbl (%rax),%edx
mov    $0xffffffff,%ebx
shl    %cl,%ebx
not    %ebx
and    %edx,%ebx
or     %edi,%ebx
mov    %bl,(%rax)
add    $0x8,%r8d
mov    %r8d,(%rsi)
pop    %rbx
ret

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

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