int decode_block1(unsigned char *in, int length, unsigned char *out) {
  unsigned short t0, t1, t3;
  unsigned char *t2;
  int len = 0;
  while (length != 0) {
    t0 = (((in)[0] << 8) + ((in)[1]));
    in += 2;
    if ((t0 & 0x8000) == 0) {
      t1 = (t0 & 0xFFC0) << 1;
      t0 &= 0x3F;
      t0 = t0 | t1;
      do {
        (out)[0] = ((t0) >> 8) & 0xFF;
        (out)[1] = ((t0)) & 0xFF;
      } while (0);
      out += 2;
      len += 2;
      length -= 2;
    } else {
      t1 = t0 & 0x1F;
      t0 = (t0 & 0x7FFF) >> 5;
      length -= 2;
      t2 = out - t0;
      while (t1 != 0) {
        t3 = (((t2)[0] << 8) + ((t2)[1]));
        t2 += 2;
        out += 2;
        len += 2;
        t1 -= 1;
        do {
          (out - 2)[0] = ((t3) >> 8) & 0xFF;
          (out - 2)[1] = ((t3)) & 0xFF;
        } while (0);
      }
    }
  }
  return len;
}


x86 assembly (clang, -O0):
<decode_block1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     128a <decode_block1+0x18a>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
shl    $0x8,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
add    %ecx,%eax
mov    %ax,-0x1a(%rbp)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
movzwl -0x1a(%rbp),%eax
and    $0x8000,%eax
cmp    $0x0,%eax
jne    11c8 <decode_block1+0xc8>
movzwl -0x1a(%rbp),%eax
and    $0xffc0,%eax
shl    $0x1,%eax
mov    %ax,-0x1c(%rbp)
movzwl -0x1a(%rbp),%eax
and    $0x3f,%eax
mov    %ax,-0x1a(%rbp)
movzwl -0x1a(%rbp),%eax
movzwl -0x1c(%rbp),%ecx
or     %ecx,%eax
mov    %ax,-0x1a(%rbp)
movzwl -0x1a(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,(%rax)
movzwl -0x1a(%rbp),%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0xc(%rbp)
jmp    1285 <decode_block1+0x185>
movzwl -0x1a(%rbp),%eax
and    $0x1f,%eax
mov    %ax,-0x1c(%rbp)
movzwl -0x1a(%rbp),%eax
and    $0x7fff,%eax
sar    $0x5,%eax
mov    %ax,-0x1a(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0x18(%rbp),%rax
movzwl -0x1a(%rbp),%ecx
movslq %ecx,%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
movzwl -0x1c(%rbp),%eax
cmp    $0x0,%eax
je     1280 <decode_block1+0x180>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
shl    $0x8,%eax
mov    -0x28(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
add    %ecx,%eax
mov    %ax,-0x1e(%rbp)
mov    -0x28(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
movzwl -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %ax,-0x1c(%rbp)
movzwl -0x1e(%rbp),%eax
sar    $0x8,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,-0x2(%rax)
movzwl -0x1e(%rbp),%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,-0x1(%rax)
jmp    1203 <decode_block1+0x103>
jmp    1285 <decode_block1+0x185>
jmp    1116 <decode_block1+0x16>
mov    -0x2c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<decode_block1>:
xor    %eax,%eax
test   %esi,%esi
jne    1138 <decode_block1+0x38>
ret
nopw   0x0(%rax,%rax,1)
lea    (%rcx,%rcx,1),%r9d
and    $0x80,%r9b
and    $0x3f,%cl
or     %r9b,%cl
shr    $0x7,%r8d
mov    %r8b,(%rdx)
mov    %cl,0x1(%rdx)
add    $0x2,%rdx
add    $0x2,%eax
add    $0x2,%rdi
add    $0xfffffffe,%esi
je     1106 <decode_block1+0x6>
movzbl (%rdi),%r9d
mov    %r9,%r8
shl    $0x8,%r8
movzbl 0x1(%rdi),%ecx
or     %rcx,%r8
test   $0x80,%r9b
je     1110 <decode_block1+0x10>
and    $0x1f,%ecx
je     112f <decode_block1+0x2f>
shr    $0x5,%r8d
and    $0x3ff,%r8d
neg    %r8
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzwl (%rdx,%r8,1),%r9d
add    $0x2,%eax
add    $0xffffffff,%ecx
mov    %r9w,(%rdx)
add    $0x2,%rdx
and    $0xffff,%ecx
jne    1170 <decode_block1+0x70>
jmp    112f <decode_block1+0x2f>

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

LLVM IR (-O2):
define i32 @decode_block1(i8* nocapture %0, i32 %1, i8* nocapture %2) {
%4 = icmp eq i32 %1, 0
br i1 %4, label %60, label %5
5: ; preds = %3, %55
%6 = phi i32 [ %57, %55 ], [ 0, %3 ]
%7 = phi i8* [ %17, %55 ], [ %0, %3 ]
%8 = phi i8* [ %56, %55 ], [ %2, %3 ]
%9 = phi i32 [ %58, %55 ], [ %1, %3 ]
%10 = load i8, i8* %7
%11 = zext i8 %10 to i32
%12 = shl nuw nsw i32 %11, 8
%13 = getelementptr inbounds i8, i8* %7, i64 1
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = or i32 %12, %15
%17 = getelementptr inbounds i8, i8* %7, i64 2
%18 = and i32 %11, 128
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %30
20: ; preds = %5
%21 = shl i8 %14, 1
%22 = and i8 %21, -128
%23 = and i8 %14, 63
%24 = or i8 %22, %23
%25 = lshr i32 %16, 7
%26 = trunc i32 %25 to i8
store i8 %26, i8* %8
%27 = getelementptr inbounds i8, i8* %8, i64 1
store i8 %24, i8* %27
%28 = getelementptr inbounds i8, i8* %8, i64 2
%29 = add nsw i32 %6, 2
br label %55
30: ; preds = %5
%31 = and i8 %14, 31
%32 = icmp eq i8 %31, 0
br i1 %32, label %55, label %33
33: ; preds = %30
%34 = zext i8 %31 to i32
%35 = lshr i32 %16, 5
%36 = and i32 %35, 1023
%37 = zext i32 %36 to i64
%38 = sub nsw i64 0, %37
%39 = getelementptr inbounds i8, i8* %8, i64 %38
br label %40
40: ; preds = %33, %40
%41 = phi i32 [ %53, %40 ], [ %34, %33 ]
%42 = phi i32 [ %50, %40 ], [ %6, %33 ]
%43 = phi i8* [ %48, %40 ], [ %39, %33 ]
%44 = phi i8* [ %49, %40 ], [ %8, %33 ]
%45 = load i8, i8* %43
%46 = getelementptr inbounds i8, i8* %43, i64 1
%47 = load i8, i8* %46
%48 = getelementptr inbounds i8, i8* %43, i64 2
%49 = getelementptr inbounds i8, i8* %44, i64 2
%50 = add nsw i32 %42, 2
%51 = add nuw nsw i32 %41, 65535
store i8 %45, i8* %44
%52 = getelementptr inbounds i8, i8* %44, i64 1
store i8 %47, i8* %52
%53 = and i32 %51, 65535
%54 = icmp eq i32 %53, 0
br i1 %54, label %55, label %40
55: ; preds = %40, %30, %20
%56 = phi i8* [ %28, %20 ], [ %8, %30 ], [ %49, %40 ]
%57 = phi i32 [ %29, %20 ], [ %6, %30 ], [ %50, %40 ]
%58 = add nsw i32 %9, -2
%59 = icmp eq i32 %58, 0
br i1 %59, label %60, label %5
60: ; preds = %55, %3
%61 = phi i32 [ 0, %3 ], [ %57, %55 ]
ret i32 %61
}