void Demapper(short *In, unsigned short *Out, short SymNum) {
  short i, k;
  short x, y;
  unsigned short dibit;
  i = k = 0;
  while (SymNum--) {
    x = In[i++];
    y = In[i++];
    dibit = 0;
    if (y > 0)
      dibit += (unsigned short)2;
    if (x > 0)
      dibit += (unsigned short)1;
    Out[k++] = dibit;
  }
}


x86 assembly (clang, -O0):
<Demapper>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %ax,-0x12(%rbp)
movw   $0x0,-0x16(%rbp)
movw   $0x0,-0x14(%rbp)
mov    -0x12(%rbp),%ax
mov    %ax,%cx
add    $0xffff,%cx
mov    %cx,-0x12(%rbp)
cmp    $0x0,%ax
je     11d0 <Demapper+0xd0>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%cx
mov    %cx,%dx
add    $0x1,%dx
mov    %dx,-0x14(%rbp)
movswq %cx,%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%cx
mov    %cx,%dx
add    $0x1,%dx
mov    %dx,-0x14(%rbp)
movswq %cx,%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x1a(%rbp)
movw   $0x0,-0x1c(%rbp)
movswl -0x1a(%rbp),%eax
cmp    $0x0,%eax
jle    1194 <Demapper+0x94>
movzwl -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %ax,-0x1c(%rbp)
movswl -0x18(%rbp),%eax
cmp    $0x0,%eax
jle    11ac <Demapper+0xac>
movzwl -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %ax,-0x1c(%rbp)
mov    -0x1c(%rbp),%dx
mov    -0x10(%rbp),%rax
mov    -0x16(%rbp),%cx
mov    %cx,%si
add    $0x1,%si
mov    %si,-0x16(%rbp)
movswq %cx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    111f <Demapper+0x1f>
pop    %rbp
ret

x86 assembly (clang, -O2):
<Demapper>:
push   %r15
push   %r14
push   %r12
push   %rbx
test   %dx,%dx
je     115d <Demapper+0x5d>
lea    -0x1(%rdx),%r9d
cmp    $0x3,%r9w
jae    1165 <Demapper+0x65>
xor    %r12d,%r12d
xor    %r15d,%r15d
nopl   (%rax)
lea    0x1(%r12),%ebx
movswq %r12w,%rcx
add    $0x2,%r12d
movswq %bx,%rbx
xor    %eax,%eax
cmpw   $0x0,(%rdi,%rbx,2)
setg   %al
xor    %ebx,%ebx
cmpw   $0x0,(%rdi,%rcx,2)
setg   %bl
movswq %r15w,%rcx
lea    0x1(%r15),%r8d
lea    (%rbx,%rax,2),%eax
mov    %ax,(%rsi,%rcx,2)
mov    %r8d,%r15d
add    $0xffff,%dx
jne    1120 <Demapper+0x20>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
lea    -0x1(%rdx),%ebx
mov    %ebx,%ecx
add    %bx,%cx
setb   %r8b
xor    %r12d,%r12d
or     %bx,%cx
js     124c <Demapper+0x14c>
test   %r8b,%r8b
jne    1254 <Demapper+0x154>
lea    -0x1(%rdx),%eax
movzwl %ax,%eax
lea    (%rdi,%rax,4),%rcx
add    $0x4,%rcx
cmp    %rsi,%rcx
jbe    11aa <Demapper+0xaa>
lea    (%rsi,%rax,2),%rax
add    $0x2,%rax
cmp    %rdi,%rax
ja     1117 <Demapper+0x17>
movzwl %r9w,%r8d
add    $0x1,%r8d
mov    %r8d,%r15d
and    $0xfffffffc,%r15d
sub    %r15d,%edx
lea    (%r15,%r15,1),%r12d
xor    %r9d,%r9d
pxor   %xmm0,%xmm0
movabs $0x4000000000000,%r10
mov    %r15d,%r11d
xor    %r14d,%r14d
nopw   0x0(%rax,%rax,1)
movswq %r9w,%rbx
movdqu (%rdi,%rbx,2),%xmm1
pshuflw $0xe8,%xmm1,%xmm2
pshufhw $0xe8,%xmm2,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshuflw $0xe7,%xmm1,%xmm1
pshufhw $0xe7,%xmm1,%xmm1
pshufd $0xe8,%xmm1,%xmm1
pshuflw $0xb1,%xmm1,%xmm1
pcmpgtw %xmm0,%xmm1
movdqa %xmm1,%xmm3
psrlw  $0xf,%xmm3
psubw  %xmm1,%xmm3
pcmpgtw %xmm0,%xmm2
psubw  %xmm2,%xmm3
mov    %r14,%rbx
sar    $0x2f,%rbx
movq   %xmm3,(%rsi,%rbx,1)
add    %r10,%r14
add    $0x8,%r9d
add    $0xfffffffc,%r11d
jne    11e0 <Demapper+0xe0>
cmp    %r15d,%r8d
jne    1120 <Demapper+0x20>
jmp    115d <Demapper+0x5d>
xor    %r15d,%r15d
jmp    1120 <Demapper+0x20>
xor    %r15d,%r15d
jmp    1120 <Demapper+0x20>

LLVM IR (-O0):
define void @Demapper(i16* %0, i16* %1, i16 signext %2) {
%4 = alloca i16*
%5 = alloca i16*
%6 = alloca i16
%7 = alloca i16
%8 = alloca i16
%9 = alloca i16
%10 = alloca i16
%11 = alloca i16
store i16* %0, i16** %4
store i16* %1, i16** %5
store i16 %2, i16* %6
store i16 0, i16* %8
store i16 0, i16* %7
br label %12
12: ; preds = %46, %3
%13 = load i16, i16* %6
%14 = add i16 %13, -1
store i16 %14, i16* %6
%15 = icmp ne i16 %13, 0
br i1 %15, label %16, label %53
16: ; preds = %12
%17 = load i16*, i16** %4
%18 = load i16, i16* %7
%19 = add i16 %18, 1
store i16 %19, i16* %7
%20 = sext i16 %18 to i64
%21 = getelementptr inbounds i16, i16* %17, i64 %20
%22 = load i16, i16* %21
store i16 %22, i16* %9
%23 = load i16*, i16** %4
%24 = load i16, i16* %7
%25 = add i16 %24, 1
store i16 %25, i16* %7
%26 = sext i16 %24 to i64
%27 = getelementptr inbounds i16, i16* %23, i64 %26
%28 = load i16, i16* %27
store i16 %28, i16* %10
store i16 0, i16* %11
%29 = load i16, i16* %10
%30 = sext i16 %29 to i32
%31 = icmp sgt i32 %30, 0
br i1 %31, label %32, label %37
32: ; preds = %16
%33 = load i16, i16* %11
%34 = zext i16 %33 to i32
%35 = add nsw i32 %34, 2
%36 = trunc i32 %35 to i16
store i16 %36, i16* %11
br label %37
37: ; preds = %32, %16
%38 = load i16, i16* %9
%39 = sext i16 %38 to i32
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %46
41: ; preds = %37
%42 = load i16, i16* %11
%43 = zext i16 %42 to i32
%44 = add nsw i32 %43, 1
%45 = trunc i32 %44 to i16
store i16 %45, i16* %11
br label %46
46: ; preds = %41, %37
%47 = load i16, i16* %11
%48 = load i16*, i16** %5
%49 = load i16, i16* %8
%50 = add i16 %49, 1
store i16 %50, i16* %8
%51 = sext i16 %49 to i64
%52 = getelementptr inbounds i16, i16* %48, i64 %51
store i16 %47, i16* %52
br label %12
53: ; preds = %12
ret void
}

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