int ecmp(a, b)
unsigned short *a, *b;
{
  unsigned short ai[(6 + 3)], bi[(6 + 3)];
  register unsigned short *p, *q;
  register int i;
  int msign;
  if (eisnan(a) || eisnan(b))
    return (-2);
  emovi(a, ai);
  p = ai;
  emovi(b, bi);
  q = bi;
  if (*p != *q) {
    for (i = 1; i < (6 + 3) - 1; i++) {
      if (ai[i] != 0)
        goto nzro;
      if (bi[i] != 0)
        goto nzro;
    }
    return (0);
  nzro:
    if (*p == 0)
      return (1);
    else
      return (-1);
  }
  if (*p == 0)
    msign = 1;
  else
    msign = -1;
  i = (6 + 3) - 1;
  do {
    if (*p++ != *q++) {
      goto diff;
    }
  } while (--i > 0);
  return (0);
diff:
  if (*(--p) > *(--q))
    return (msign);
  else
    return (-msign);
}


x86 assembly (clang, -O0):
<ecmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1040 <eisnan@plt>
cmp    $0x0,%eax
jne    1158 <ecmp+0x38>
mov    -0x18(%rbp),%rdi
mov    $0x0,%al
call   1040 <eisnan@plt>
cmp    $0x0,%eax
je     1164 <ecmp+0x44>
movl   $0xfffffffe,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
mov    -0x10(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x0,%al
call   1030 <emovi@plt>
lea    -0x30(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x18(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    $0x0,%al
call   1030 <emovi@plt>
lea    -0x50(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x58(%rbp),%rax
movzwl (%rax),%eax
mov    -0x60(%rbp),%rcx
movzwl (%rcx),%ecx
cmp    %ecx,%eax
je     122e <ecmp+0x10e>
movl   $0x1,-0x64(%rbp)
cmpl   $0x8,-0x64(%rbp)
jge    11fa <ecmp+0xda>
movslq -0x64(%rbp),%rax
movzwl -0x30(%rbp,%rax,2),%eax
cmp    $0x0,%eax
je     11d0 <ecmp+0xb0>
jmp    1206 <ecmp+0xe6>
movslq -0x64(%rbp),%rax
movzwl -0x50(%rbp,%rax,2),%eax
cmp    $0x0,%eax
je     11e7 <ecmp+0xc7>
jmp    1206 <ecmp+0xe6>
jmp    11ec <ecmp+0xcc>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    11af <ecmp+0x8f>
movl   $0x0,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
mov    -0x58(%rbp),%rax
movzwl (%rax),%eax
cmp    $0x0,%eax
jne    1222 <ecmp+0x102>
movl   $0x1,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
movl   $0xffffffff,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
mov    -0x58(%rbp),%rax
movzwl (%rax),%eax
cmp    $0x0,%eax
jne    124a <ecmp+0x12a>
movl   $0x1,-0x68(%rbp)
jmp    1251 <ecmp+0x131>
movl   $0xffffffff,-0x68(%rbp)
movl   $0x8,-0x64(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x58(%rbp)
movzwl (%rax),%eax
mov    -0x60(%rbp),%rcx
mov    %rcx,%rdx
add    $0x2,%rdx
mov    %rdx,-0x60(%rbp)
movzwl (%rcx),%ecx
cmp    %ecx,%eax
je     1289 <ecmp+0x169>
jmp    12ac <ecmp+0x18c>
jmp    128e <ecmp+0x16e>
mov    -0x64(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x64(%rbp)
cmp    $0x0,%eax
jg     1258 <ecmp+0x138>
movl   $0x0,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x58(%rbp)
movzwl -0x2(%rax),%eax
mov    -0x60(%rbp),%rcx
mov    %rcx,%rdx
add    $0xfffffffffffffffe,%rdx
mov    %rdx,-0x60(%rbp)
movzwl -0x2(%rcx),%ecx
cmp    %ecx,%eax
jle    12e5 <ecmp+0x1c5>
mov    -0x68(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12ed <ecmp+0x1cd>
xor    %eax,%eax
sub    -0x68(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ecmp>:
push   %rbp
push   %r14
push   %rbx
sub    $0x40,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %eax,%eax
call   1040 <eisnan@plt>
mov    $0xfffffffe,%ebp
test   %eax,%eax
jne    120a <ecmp+0xea>
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <eisnan@plt>
test   %eax,%eax
jne    120a <ecmp+0xea>
lea    0x20(%rsp),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <emovi@plt>
mov    %rsp,%rsi
mov    %r14,%rdi
xor    %eax,%eax
call   1030 <emovi@plt>
movzwl 0x20(%rsp),%eax
cmp    (%rsp),%ax
jne    11fa <ecmp+0xda>
neg    %ax
sbb    %eax,%eax
movzwl 0x22(%rsp),%ecx
movzwl 0x2(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x24(%rsp),%ecx
movzwl 0x4(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x26(%rsp),%ecx
movzwl 0x6(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x28(%rsp),%ecx
movzwl 0x8(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x2a(%rsp),%ecx
movzwl 0xa(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x2c(%rsp),%ecx
movzwl 0xc(%rsp),%edx
cmp    %dx,%cx
jne    11eb <ecmp+0xcb>
movzwl 0x2e(%rsp),%ecx
movzwl 0xe(%rsp),%edx
xor    %ebp,%ebp
cmp    %dx,%cx
je     120a <ecmp+0xea>
or     $0x1,%eax
mov    %eax,%ebp
neg    %ebp
cmp    %dx,%cx
cmova  %eax,%ebp
jmp    120a <ecmp+0xea>
cmpw   $0x0,0x22(%rsp)
je     1215 <ecmp+0xf5>
neg    %ax
sbb    %ebp,%ebp
or     $0x1,%ebp
mov    %ebp,%eax
add    $0x40,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret
movdqu 0x2(%rsp),%xmm0
pinsrw $0x1,0x24(%rsp),%xmm0
pinsrw $0x2,0x4(%rsp),%xmm0
pinsrw $0x3,0x26(%rsp),%xmm0
pinsrw $0x4,0x6(%rsp),%xmm0
pinsrw $0x5,0x28(%rsp),%xmm0
pinsrw $0x6,0x8(%rsp),%xmm0
pinsrw $0x7,0x2a(%rsp),%xmm0
pxor   %xmm1,%xmm1
pcmpeqw %xmm0,%xmm1
pmovmskb %xmm1,%ecx
xor    $0xffff,%ecx
jne    1202 <ecmp+0xe2>
cmpw   $0x0,0xa(%rsp)
jne    1202 <ecmp+0xe2>
cmpw   $0x0,0x2c(%rsp)
jne    1202 <ecmp+0xe2>
cmpw   $0x0,0xc(%rsp)
jne    1202 <ecmp+0xe2>
cmpw   $0x0,0x2e(%rsp)
jne    1202 <ecmp+0xe2>
xor    %ebp,%ebp
cmpw   $0x0,0xe(%rsp)
je     120a <ecmp+0xea>
jmp    1202 <ecmp+0xe2>

LLVM IR (-O0):
define i32 @ecmp(i16* %0, i16* %1) {
%3 = alloca i32
%4 = alloca i16*
%5 = alloca i16*
%6 = alloca [9 x i16]
%7 = alloca [9 x i16]
%8 = alloca i16*
%9 = alloca i16*
%10 = alloca i32
%11 = alloca i32
store i16* %0, i16** %4
store i16* %1, i16** %5
%12 = load i16*, i16** %4
%13 = call i32 (i16*, ...) bitcast (i32 (...)* @eisnan to i32 (i16*, ...)*)(i16* %12)
%14 = icmp ne i32 %13, 0
br i1 %14, label %19, label %15
15: ; preds = %2
%16 = load i16*, i16** %5
%17 = call i32 (i16*, ...) bitcast (i32 (...)* @eisnan to i32 (i16*, ...)*)(i16* %16)
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %15, %2
store i32 -2, i32* %3
br label %108
20: ; preds = %15
%21 = load i16*, i16** %4
%22 = getelementptr inbounds [9 x i16], [9 x i16]* %6, i64 0, i64 0
%23 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %21, i16* %22)
%24 = getelementptr inbounds [9 x i16], [9 x i16]* %6, i64 0, i64 0
store i16* %24, i16** %8
%25 = load i16*, i16** %5
%26 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%27 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %25, i16* %26)
%28 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
store i16* %28, i16** %9
%29 = load i16*, i16** %8
%30 = load i16, i16* %29
%31 = zext i16 %30 to i32
%32 = load i16*, i16** %9
%33 = load i16, i16* %32
%34 = zext i16 %33 to i32
%35 = icmp ne i32 %31, %34
br i1 %35, label %36, label %68
36: ; preds = %20
store i32 1, i32* %10
br label %37
37: ; preds = %57, %36
%38 = load i32, i32* %10
%39 = icmp slt i32 %38, 8
br i1 %39, label %40, label %60
40: ; preds = %37
%41 = load i32, i32* %10
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds [9 x i16], [9 x i16]* %6, i64 0, i64 %42
%44 = load i16, i16* %43
%45 = zext i16 %44 to i32
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %48
47: ; preds = %40
br label %61
48: ; preds = %40
%49 = load i32, i32* %10
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 %50
%52 = load i16, i16* %51
%53 = zext i16 %52 to i32
%54 = icmp ne i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %48
br label %61
56: ; preds = %48
br label %57
57: ; preds = %56
%58 = load i32, i32* %10
%59 = add nsw i32 %58, 1
store i32 %59, i32* %10
br label %37
60: ; preds = %37
store i32 0, i32* %3
br label %108
61: ; preds = %55, %47
%62 = load i16*, i16** %8
%63 = load i16, i16* %62
%64 = zext i16 %63 to i32
%65 = icmp eq i32 %64, 0
br i1 %65, label %66, label %67
66: ; preds = %61
store i32 1, i32* %3
br label %108
67: ; preds = %61
store i32 -1, i32* %3
br label %108
68: ; preds = %20
%69 = load i16*, i16** %8
%70 = load i16, i16* %69
%71 = zext i16 %70 to i32
%72 = icmp eq i32 %71, 0
br i1 %72, label %73, label %74
73: ; preds = %68
store i32 1, i32* %11
br label %75
74: ; preds = %68
store i32 -1, i32* %11
br label %75
75: ; preds = %74, %73
store i32 8, i32* %10
br label %76
76: ; preds = %88, %75
%77 = load i16*, i16** %8
%78 = getelementptr inbounds i16, i16* %77, i32 1
store i16* %78, i16** %8
%79 = load i16, i16* %77
%80 = zext i16 %79 to i32
%81 = load i16*, i16** %9
%82 = getelementptr inbounds i16, i16* %81, i32 1
store i16* %82, i16** %9
%83 = load i16, i16* %81
%84 = zext i16 %83 to i32
%85 = icmp ne i32 %80, %84
br i1 %85, label %86, label %87
86: ; preds = %76
br label %93
87: ; preds = %76
br label %88
88: ; preds = %87
%89 = load i32, i32* %10
%90 = add nsw i32 %89, -1
store i32 %90, i32* %10
%91 = icmp sgt i32 %90, 0
br i1 %91, label %76, label %92
92: ; preds = %88
store i32 0, i32* %3
br label %108
93: ; preds = %86
%94 = load i16*, i16** %8
%95 = getelementptr inbounds i16, i16* %94, i32 -1
store i16* %95, i16** %8
%96 = load i16, i16* %95
%97 = zext i16 %96 to i32
%98 = load i16*, i16** %9
%99 = getelementptr inbounds i16, i16* %98, i32 -1
store i16* %99, i16** %9
%100 = load i16, i16* %99
%101 = zext i16 %100 to i32
%102 = icmp sgt i32 %97, %101
br i1 %102, label %103, label %105
103: ; preds = %93
%104 = load i32, i32* %11
store i32 %104, i32* %3
br label %108
105: ; preds = %93
%106 = load i32, i32* %11
%107 = sub nsw i32 0, %106
store i32 %107, i32* %3
br label %108
108: ; preds = %105, %103, %92, %67, %66, %60, %19
%109 = load i32, i32* %3
ret i32 %109
}

LLVM IR (-O2):
define i32 @ecmp(i16* %0, i16* %1) {
%3 = alloca [9 x i16]
%4 = alloca [9 x i16]
%5 = bitcast [9 x i16]* %3 to i8*
%6 = bitcast [9 x i16]* %4 to i8*
%7 = tail call i32 (i16*, ...) bitcast (i32 (...)* @eisnan to i32 (i16*, ...)*)(i16* %0)
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %126
9: ; preds = %2
%10 = tail call i32 (i16*, ...) bitcast (i32 (...)* @eisnan to i32 (i16*, ...)*)(i16* %1)
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %126
12: ; preds = %9
%13 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 0
%14 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %0, i16* %13)
%15 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 0
%16 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %1, i16* %15)
%17 = load i16, i16* %13
%18 = load i16, i16* %15
%19 = icmp eq i16 %17, %18
br i1 %19, label %76, label %20
20: ; preds = %12
%21 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 1
%22 = load i16, i16* %21
%23 = icmp eq i16 %22, 0
br i1 %23, label %24, label %73
24: ; preds = %20
%25 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 1
%26 = bitcast i16* %25 to <8 x i16>*
%27 = load <8 x i16>, <8 x i16>* %26
%28 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 2
%29 = load i16, i16* %28
%30 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 2
%31 = load i16, i16* %30
%32 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 3
%33 = load i16, i16* %32
%34 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 3
%35 = load i16, i16* %34
%36 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 4
%37 = load i16, i16* %36
%38 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 4
%39 = load i16, i16* %38
%40 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 5
%41 = load i16, i16* %40
%42 = insertelement <8 x i16> %27, i16 %29, i64 1
%43 = insertelement <8 x i16> %42, i16 %31, i64 2
%44 = insertelement <8 x i16> %43, i16 %33, i64 3
%45 = insertelement <8 x i16> %44, i16 %35, i64 4
%46 = insertelement <8 x i16> %45, i16 %37, i64 5
%47 = insertelement <8 x i16> %46, i16 %39, i64 6
%48 = insertelement <8 x i16> %47, i16 %41, i64 7
%49 = freeze <8 x i16> %48
%50 = icmp ne <8 x i16> %49, zeroinitializer
%51 = bitcast <8 x i1> %50 to i8
%52 = icmp eq i8 %51, 0
%53 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 5
%54 = load i16, i16* %53
%55 = icmp eq i16 %54, 0
%56 = select i1 %52, i1 %55, i1 false
%57 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 6
%58 = load i16, i16* %57
%59 = icmp eq i16 %58, 0
%60 = select i1 %56, i1 %59, i1 false
%61 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 6
%62 = load i16, i16* %61
%63 = icmp eq i16 %62, 0
%64 = select i1 %60, i1 %63, i1 false
%65 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 7
%66 = load i16, i16* %65
%67 = icmp eq i16 %66, 0
%68 = select i1 %64, i1 %67, i1 false
%69 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 7
%70 = load i16, i16* %69
%71 = icmp eq i16 %70, 0
%72 = select i1 %68, i1 %71, i1 false
br i1 %72, label %126, label %73
73: ; preds = %24, %20
%74 = icmp eq i16 %17, 0
%75 = select i1 %74, i32 1, i32 -1
br label %126
76: ; preds = %12
%77 = icmp eq i16 %17, 0
%78 = select i1 %77, i32 1, i32 -1
%79 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 1
%80 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 1
%81 = load i16, i16* %80
%82 = load i16, i16* %79
%83 = icmp eq i16 %81, %82
br i1 %83, label %84, label %120
84: ; preds = %76
%85 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 2
%86 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 2
%87 = load i16, i16* %86
%88 = load i16, i16* %85
%89 = icmp eq i16 %87, %88
br i1 %89, label %90, label %120
90: ; preds = %84
%91 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 3
%92 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 3
%93 = load i16, i16* %92
%94 = load i16, i16* %91
%95 = icmp eq i16 %93, %94
br i1 %95, label %96, label %120
96: ; preds = %90
%97 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 4
%98 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 4
%99 = load i16, i16* %98
%100 = load i16, i16* %97
%101 = icmp eq i16 %99, %100
br i1 %101, label %102, label %120
102: ; preds = %96
%103 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 5
%104 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 5
%105 = load i16, i16* %104
%106 = load i16, i16* %103
%107 = icmp eq i16 %105, %106
br i1 %107, label %108, label %120
108: ; preds = %102
%109 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 6
%110 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 6
%111 = load i16, i16* %110
%112 = load i16, i16* %109
%113 = icmp eq i16 %111, %112
br i1 %113, label %114, label %120
114: ; preds = %108
%115 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 7
%116 = getelementptr inbounds [9 x i16], [9 x i16]* %3, i64 0, i64 7
%117 = load i16, i16* %116
%118 = load i16, i16* %115
%119 = icmp eq i16 %117, %118
br i1 %119, label %126, label %120
120: ; preds = %114, %108, %102, %96, %90, %84, %76
%121 = phi i16 [ %81, %76 ], [ %87, %84 ], [ %93, %90 ], [ %99, %96 ], [ %105, %102 ], [ %111, %108 ], [ %117, %114 ]
%122 = phi i16 [ %82, %76 ], [ %88, %84 ], [ %94, %90 ], [ %100, %96 ], [ %106, %102 ], [ %112, %108 ], [ %118, %114 ]
%123 = icmp ugt i16 %121, %122
%124 = sub nsw i32 0, %78
%125 = select i1 %123, i32 %78, i32 %124
br label %126
126: ; preds = %24, %114, %120, %73, %2, %9
%127 = phi i32 [ -2, %9 ], [ -2, %2 ], [ %75, %73 ], [ %125, %120 ], [ 0, %114 ], [ 0, %24 ]
ret i32 %127
}