long serialize_right_justifiedstl96(par_buf, bit_stm, n, resol, sync)
short *par_buf, *bit_stm;
long n, resol;
char sync;
{
  register unsigned short tmp, *bs;
  register unsigned short bs_length;
  long j, k;
  bs_length = n * resol;
  bs = (unsigned short *)bit_stm;
  if (sync) {
    *bs++ = 0x6B21;
    *bs++ = bs_length;
  }
  for (j = 0; j < n; j++) {
    tmp = (unsigned short)par_buf[j];
    for (k = 0; k < resol; k++) {
      *bs++ = (tmp & 0x0001) ? 0x0081 : 0x007F;
      tmp >>= 1;
    }
  }
  return ((long)((short *)bs - bit_stm));
}


x86 assembly (clang, -O0):
<serialize_right_justifiedstl96>:
push   %rbp
mov    %rsp,%rbp
mov    %r8b,%al
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %al,-0x21(%rbp)
mov    -0x18(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    %ax,-0x32(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpb   $0x0,-0x21(%rbp)
je     1163 <serialize_right_justifiedstl96+0x63>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x30(%rbp)
movw   $0x6b21,(%rax)
mov    -0x32(%rbp),%cx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cx,(%rax)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    11fd <serialize_right_justifiedstl96+0xfd>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x24(%rbp)
movq   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    11e7 <serialize_right_justifiedstl96+0xe7>
movzwl -0x24(%rbp),%edx
and    $0x1,%edx
mov    $0x7f,%eax
mov    $0x81,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cx,(%rax)
movzwl -0x24(%rbp),%eax
sar    $0x1,%eax
mov    %ax,-0x24(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
jmp    1191 <serialize_right_justifiedstl96+0x91>
jmp    11ec <serialize_right_justifiedstl96+0xec>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    116b <serialize_right_justifiedstl96+0x6b>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x1,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<serialize_right_justifiedstl96>:
push   %rbp
push   %r15
push   %r14
push   %rbx
mov    %rsi,%rax
test   %r8b,%r8b
je     1120 <serialize_right_justifiedstl96+0x20>
mov    %ecx,%ebp
imul   %edx,%ebp
movw   $0x6b21,(%rsi)
lea    0x4(%rsi),%rax
mov    %bp,0x2(%rsi)
test   %rdx,%rdx
jle    11e1 <serialize_right_justifiedstl96+0xe1>
lea    -0x1(%rcx),%r8
mov    %ecx,%r9d
and    $0x3,%r9d
mov    %rcx,%r10
and    $0xfffffffffffffffc,%r10
xor    %r11d,%r11d
jmp    114d <serialize_right_justifiedstl96+0x4d>
add    $0x1,%r11
cmp    %rdx,%r11
je     11e1 <serialize_right_justifiedstl96+0xe1>
test   %rcx,%rcx
jle    1140 <serialize_right_justifiedstl96+0x40>
movzwl (%rdi,%r11,2),%ebx
cmp    $0x3,%r8
jb     11ad <serialize_right_justifiedstl96+0xad>
mov    %r10,%r14
mov    %ebx,%r15d
movzwl %bx,%ebx
mov    %ebx,%ebp
and    $0x1,%ebp
add    %ebp,%ebp
add    $0x7f,%ebp
mov    %bp,(%rax)
shr    $0x4,%ebx
mov    %r15d,%ebp
and    $0x2,%ebp
add    $0x7f,%ebp
mov    %bp,0x2(%rax)
mov    %r15d,%ebp
and    $0x4,%ebp
shr    %ebp
add    $0x7f,%ebp
mov    %bp,0x4(%rax)
and    $0x8,%r15d
shr    $0x2,%r15d
add    $0x7f,%r15d
mov    %r15w,0x6(%rax)
add    $0x8,%rax
add    $0xfffffffffffffffc,%r14
jne    1160 <serialize_right_justifiedstl96+0x60>
test   %r9,%r9
je     1140 <serialize_right_justifiedstl96+0x40>
mov    %r9,%r14
cs nopw 0x0(%rax,%rax,1)
nop
movzwl %bx,%ebx
mov    %ebx,%ebp
and    $0x1,%ebp
add    %ebp,%ebp
add    $0x7f,%ebp
mov    %bp,(%rax)
add    $0x2,%rax
shr    %ebx
add    $0xffffffffffffffff,%r14
jne    11c0 <serialize_right_justifiedstl96+0xc0>
jmp    1140 <serialize_right_justifiedstl96+0x40>
sub    %rsi,%rax
sar    %rax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i64 @serialize_right_justifiedstl96(i16* %0, i16* %1, i64 %2, i64 %3, i32 %4) {
%6 = alloca i16*
%7 = alloca i16*
%8 = alloca i64
%9 = alloca i64
%10 = alloca i8
%11 = alloca i16
%12 = alloca i16*
%13 = alloca i16
%14 = alloca i64
%15 = alloca i64
%16 = trunc i32 %4 to i8
store i16* %0, i16** %6
store i16* %1, i16** %7
store i64 %2, i64* %8
store i64 %3, i64* %9
store i8 %16, i8* %10
%17 = load i64, i64* %8
%18 = load i64, i64* %9
%19 = mul nsw i64 %17, %18
%20 = trunc i64 %19 to i16
store i16 %20, i16* %13
%21 = load i16*, i16** %7
store i16* %21, i16** %12
%22 = load i8, i8* %10
%23 = icmp ne i8 %22, 0
br i1 %23, label %24, label %30
24: ; preds = %5
%25 = load i16*, i16** %12
%26 = getelementptr inbounds i16, i16* %25, i32 1
store i16* %26, i16** %12
store i16 27425, i16* %25
%27 = load i16, i16* %13
%28 = load i16*, i16** %12
%29 = getelementptr inbounds i16, i16* %28, i32 1
store i16* %29, i16** %12
store i16 %27, i16* %28
br label %30
30: ; preds = %24, %5
store i64 0, i64* %14
br label %31
31: ; preds = %62, %30
%32 = load i64, i64* %14
%33 = load i64, i64* %8
%34 = icmp slt i64 %32, %33
br i1 %34, label %35, label %65
35: ; preds = %31
%36 = load i16*, i16** %6
%37 = load i64, i64* %14
%38 = getelementptr inbounds i16, i16* %36, i64 %37
%39 = load i16, i16* %38
store i16 %39, i16* %11
store i64 0, i64* %15
br label %40
40: ; preds = %58, %35
%41 = load i64, i64* %15
%42 = load i64, i64* %9
%43 = icmp slt i64 %41, %42
br i1 %43, label %44, label %61
44: ; preds = %40
%45 = load i16, i16* %11
%46 = zext i16 %45 to i32
%47 = and i32 %46, 1
%48 = icmp ne i32 %47, 0
%49 = zext i1 %48 to i64
%50 = select i1 %48, i32 129, i32 127
%51 = trunc i32 %50 to i16
%52 = load i16*, i16** %12
%53 = getelementptr inbounds i16, i16* %52, i32 1
store i16* %53, i16** %12
store i16 %51, i16* %52
%54 = load i16, i16* %11
%55 = zext i16 %54 to i32
%56 = ashr i32 %55, 1
%57 = trunc i32 %56 to i16
store i16 %57, i16* %11
br label %58
58: ; preds = %44
%59 = load i64, i64* %15
%60 = add nsw i64 %59, 1
store i64 %60, i64* %15
br label %40
61: ; preds = %40
br label %62
62: ; preds = %61
%63 = load i64, i64* %14
%64 = add nsw i64 %63, 1
store i64 %64, i64* %14
br label %31
65: ; preds = %31
%66 = load i16*, i16** %12
%67 = load i16*, i16** %7
%68 = ptrtoint i16* %66 to i64
%69 = ptrtoint i16* %67 to i64
%70 = sub i64 %68, %69
%71 = sdiv exact i64 %70, 2
ret i64 %71
}

LLVM IR (-O2):
define i64 @serialize_right_justifiedstl96(i16* nocapture %0, i16* %1, i64 %2, i64 %3, i32 %4) {
%6 = trunc i32 %4 to i8
%7 = icmp eq i8 %6, 0
br i1 %7, label %13, label %8
8: ; preds = %5
%9 = mul nsw i64 %3, %2
%10 = trunc i64 %9 to i16
%11 = getelementptr inbounds i16, i16* %1, i64 1
store i16 27425, i16* %1
%12 = getelementptr inbounds i16, i16* %1, i64 2
store i16 %10, i16* %11
br label %13
13: ; preds = %8, %5
%14 = phi i16* [ %12, %8 ], [ %1, %5 ]
%15 = icmp sgt i64 %2, 0
br i1 %15, label %16, label %71
16: ; preds = %13
%17 = icmp sgt i64 %3, 0
%18 = add i64 %3, -1
%19 = and i64 %3, 3
%20 = icmp ult i64 %18, 3
%21 = and i64 %3, -4
%22 = icmp eq i64 %19, 0
br label %23
23: ; preds = %16, %67
%24 = phi i64 [ 0, %16 ], [ %69, %67 ]
%25 = phi i16* [ %14, %16 ], [ %68, %67 ]
br i1 %17, label %26, label %67
26: ; preds = %23
%27 = getelementptr inbounds i16, i16* %0, i64 %24
%28 = load i16, i16* %27
br i1 %20, label %52, label %29
29: ; preds = %26, %29
%30 = phi i16 [ %37, %29 ], [ %28, %26 ]
%31 = phi i16* [ %49, %29 ], [ %25, %26 ]
%32 = phi i64 [ %50, %29 ], [ 0, %26 ]
%33 = and i16 %30, 1
%34 = icmp eq i16 %33, 0
%35 = select i1 %34, i16 127, i16 129
%36 = getelementptr inbounds i16, i16* %31, i64 1
store i16 %35, i16* %31
%37 = lshr i16 %30, 4
%38 = and i16 %30, 2
%39 = icmp eq i16 %38, 0
%40 = select i1 %39, i16 127, i16 129
%41 = getelementptr inbounds i16, i16* %31, i64 2
store i16 %40, i16* %36
%42 = and i16 %30, 4
%43 = icmp eq i16 %42, 0
%44 = select i1 %43, i16 127, i16 129
%45 = getelementptr inbounds i16, i16* %31, i64 3
store i16 %44, i16* %41
%46 = and i16 %30, 8
%47 = icmp eq i16 %46, 0
%48 = select i1 %47, i16 127, i16 129
%49 = getelementptr inbounds i16, i16* %31, i64 4
store i16 %48, i16* %45
%50 = add i64 %32, 4
%51 = icmp eq i64 %50, %21
br i1 %51, label %52, label %29
52: ; preds = %29, %26
%53 = phi i16* [ undef, %26 ], [ %49, %29 ]
%54 = phi i16 [ %28, %26 ], [ %37, %29 ]
%55 = phi i16* [ %25, %26 ], [ %49, %29 ]
br i1 %22, label %67, label %56
56: ; preds = %52, %56
%57 = phi i16 [ %64, %56 ], [ %54, %52 ]
%58 = phi i16* [ %63, %56 ], [ %55, %52 ]
%59 = phi i64 [ %65, %56 ], [ 0, %52 ]
%60 = and i16 %57, 1
%61 = icmp eq i16 %60, 0
%62 = select i1 %61, i16 127, i16 129
%63 = getelementptr inbounds i16, i16* %58, i64 1
store i16 %62, i16* %58
%64 = lshr i16 %57, 1
%65 = add i64 %59, 1
%66 = icmp eq i64 %65, %19
br i1 %66, label %67, label %56
67: ; preds = %52, %56, %23
%68 = phi i16* [ %25, %23 ], [ %53, %52 ], [ %63, %56 ]
%69 = add nuw nsw i64 %24, 1
%70 = icmp eq i64 %69, %2
br i1 %70, label %71, label %23
71: ; preds = %67, %13
%72 = phi i16* [ %14, %13 ], [ %68, %67 ]
%73 = ptrtoint i16* %72 to i64
%74 = ptrtoint i16* %1 to i64
%75 = sub i64 %73, %74
%76 = ashr exact i64 %75, 1
ret i64 %76
}