void emovi(a, b) unsigned short *a, *b;
{
  register unsigned short *p, *q;
  int i;
  q = b;
  p = a + (6 - 1);
  if (*p & 0x8000)
    *q++ = 0xffff;
  else
    *q++ = 0;
  *q = *p--;
  *q++ &= 0x7fff;
  if ((*(q - 1) & 0x7fff) == 0x7fff) {
    if (eisnan(a)) {
      *q++ = 0;
      for (i = 3; i < (6 + 3); i++)
        *q++ = *p--;
      return;
    }
    for (i = 2; i < (6 + 3); i++)
      *q++ = 0;
    return;
  }
  *q++ = 0;
  for (i = 0; i < 6 - 1; i++)
    *q++ = *p--;
  *q = 0;
}


x86 assembly (clang, -O0):
<emovi>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0xa,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movzwl (%rax),%eax
and    $0x8000,%eax
cmp    $0x0,%eax
je     1162 <emovi+0x52>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movw   $0xffff,(%rax)
jmp    1176 <emovi+0x66>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movw   $0x0,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cx
mov    -0x20(%rbp),%rax
mov    %cx,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movzwl (%rax),%ecx
and    $0x7fff,%ecx
mov    %cx,(%rax)
mov    -0x20(%rbp),%rax
movzwl -0x2(%rax),%eax
and    $0x7fff,%eax
cmp    $0x7fff,%eax
jne    126a <emovi+0x15a>
mov    -0x8(%rbp),%rdi
mov    $0x0,%al
call   1030 <eisnan@plt>
cmp    $0x0,%eax
je     1232 <emovi+0x122>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movw   $0x0,(%rax)
movl   $0x3,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
jge    122d <emovi+0x11d>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11f1 <emovi+0xe1>
jmp    12ca <emovi+0x1ba>
movl   $0x2,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
jge    1265 <emovi+0x155>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movw   $0x0,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1239 <emovi+0x129>
jmp    12ca <emovi+0x1ba>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x20(%rbp)
movw   $0x0,(%rax)
movl   $0x0,-0x24(%rbp)
cmpl   $0x5,-0x24(%rbp)
jge    12c1 <emovi+0x1b1>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1285 <emovi+0x175>
mov    -0x20(%rbp),%rax
movw   $0x0,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<emovi>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
movswl 0xa(%rdi),%eax
shr    $0xf,%eax
mov    %ax,(%rsi)
movzwl 0xa(%rdi),%eax
and    $0x7fff,%eax
mov    %ax,0x2(%rsi)
cmp    $0x7fff,%eax
jne    1183 <emovi+0x73>
mov    %r14,%rdi
xor    %eax,%eax
call   1030 <eisnan@plt>
test   %eax,%eax
je     11bd <emovi+0xad>
movw   $0x0,0x4(%rbx)
movzwl 0x8(%r14),%eax
mov    %ax,0x6(%rbx)
movzwl 0x6(%r14),%eax
mov    %ax,0x8(%rbx)
movzwl 0x4(%r14),%eax
mov    %ax,0xa(%rbx)
movzwl 0x2(%r14),%eax
mov    %ax,0xc(%rbx)
movzwl (%r14),%eax
mov    %ax,0xe(%rbx)
movzwl -0x2(%r14),%eax
mov    %ax,0x10(%rbx)
jmp    11d0 <emovi+0xc0>
movw   $0x0,0x4(%rbx)
movzwl 0x8(%r14),%eax
mov    %ax,0x6(%rbx)
movzwl 0x6(%r14),%eax
mov    %ax,0x8(%rbx)
movzwl 0x4(%r14),%eax
mov    %ax,0xa(%rbx)
movzwl 0x2(%r14),%eax
mov    %ax,0xc(%rbx)
movzwl (%r14),%eax
mov    %ax,0xe(%rbx)
movw   $0x0,0x10(%rbx)
jmp    11d0 <emovi+0xc0>
add    $0x4,%rbx
movq   $0x0,0x6(%rbx)
movq   $0x0,(%rbx)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @emovi(i16* %0, i16* nocapture writeonly %1) {
%3 = getelementptr inbounds i16, i16* %0, i64 5
%4 = load i16, i16* %3
%5 = ashr i16 %4, 15
%6 = getelementptr inbounds i16, i16* %1, i64 1
store i16 %5, i16* %1
%7 = getelementptr inbounds i16, i16* %0, i64 4
%8 = load i16, i16* %3
%9 = getelementptr i16, i16* %1, i64 2
%10 = bitcast i16* %9 to i8*
%11 = and i16 %8, 32767
store i16 %11, i16* %6
%12 = icmp eq i16 %11, 32767
br i1 %12, label %13, label %34
13: ; preds = %2
%14 = tail call i32 (i16*, ...) bitcast (i32 (...)* @eisnan to i32 (i16*, ...)*)(i16* %0)
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %13
br label %49
17: ; preds = %13
%18 = getelementptr inbounds i16, i16* %1, i64 3
store i16 0, i16* %9
%19 = getelementptr inbounds i16, i16* %0, i64 3
%20 = load i16, i16* %7
%21 = getelementptr inbounds i16, i16* %1, i64 4
store i16 %20, i16* %18
%22 = getelementptr inbounds i16, i16* %0, i64 2
%23 = load i16, i16* %19
%24 = getelementptr inbounds i16, i16* %1, i64 5
store i16 %23, i16* %21
%25 = getelementptr inbounds i16, i16* %0, i64 1
%26 = load i16, i16* %22
%27 = getelementptr inbounds i16, i16* %1, i64 6
store i16 %26, i16* %24
%28 = load i16, i16* %25
%29 = getelementptr inbounds i16, i16* %1, i64 7
store i16 %28, i16* %27
%30 = getelementptr inbounds i16, i16* %0, i64 -1
%31 = load i16, i16* %0
%32 = getelementptr inbounds i16, i16* %1, i64 8
store i16 %31, i16* %29
%33 = load i16, i16* %30
store i16 %33, i16* %32
br label %49
34: ; preds = %2
%35 = getelementptr inbounds i16, i16* %1, i64 3
store i16 0, i16* %9
%36 = getelementptr inbounds i16, i16* %0, i64 3
%37 = load i16, i16* %7
%38 = getelementptr inbounds i16, i16* %1, i64 4
store i16 %37, i16* %35
%39 = getelementptr inbounds i16, i16* %0, i64 2
%40 = load i16, i16* %36
%41 = getelementptr inbounds i16, i16* %1, i64 5
store i16 %40, i16* %38
%42 = getelementptr inbounds i16, i16* %0, i64 1
%43 = load i16, i16* %39
%44 = getelementptr inbounds i16, i16* %1, i64 6
store i16 %43, i16* %41
%45 = load i16, i16* %42
%46 = getelementptr inbounds i16, i16* %1, i64 7
store i16 %45, i16* %44
%47 = load i16, i16* %0
%48 = getelementptr inbounds i16, i16* %1, i64 8
store i16 %47, i16* %46
store i16 0, i16* %48
br label %49
49: ; preds = %17, %16, %34
ret void
}