int ne(double a, double b) {
  return !(((a) != (a)) || ((b) != (b)) ? (((a) != (a)) && ((b) != (b)) ? 1 : 0)
                                        : !(a < b || b < a));
}


x86 assembly (clang, -O0):
<ne>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  -0x8(%rbp),%xmm0
ucomisd -0x8(%rbp),%xmm0
jne    113f <ne+0x3f>
jp     113f <ne+0x3f>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    113f <ne+0x3f>
jp     113f <ne+0x3f>
jmp    118c <ne+0x8c>
movsd  -0x8(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x8(%rbp),%xmm0
mov    %al,-0x11(%rbp)
jne    115f <ne+0x5f>
jp     115f <ne+0x5f>
jmp    1174 <ne+0x74>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
setne  %al
setp   %cl
or     %cl,%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%dl
xor    %eax,%eax
mov    $0x1,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x18(%rbp)
jmp    11c6 <ne+0xc6>
movsd  -0x8(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
mov    $0x1,%al
ucomisd %xmm1,%xmm0
mov    %al,-0x19(%rbp)
ja     11b9 <ne+0xb9>
movsd  -0x10(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ne>:
ucomisd %xmm1,%xmm0
jp     110f <ne+0xf>
sete   %al
xor    $0x1,%al
movzbl %al,%eax
ret
ucomisd %xmm1,%xmm1
setp   %cl
ucomisd %xmm0,%xmm0
setp   %al
and    %cl,%al
jmp    1109 <ne+0x9>

LLVM IR (-O0):
define i32 @ne(double %0, double %1) {
%3 = alloca double
%4 = alloca double
store double %0, double* %3
store double %1, double* %4
%5 = load double, double* %3
%6 = load double, double* %3
%7 = fcmp une double %5, %6
br i1 %7, label %12, label %8
8: ; preds = %2
%9 = load double, double* %4
%10 = load double, double* %4
%11 = fcmp une double %9, %10
br i1 %11, label %12, label %24
12: ; preds = %8, %2
%13 = load double, double* %3
%14 = load double, double* %3
%15 = fcmp une double %13, %14
br i1 %15, label %16, label %20
16: ; preds = %12
%17 = load double, double* %4
%18 = load double, double* %4
%19 = fcmp une double %17, %18
br label %20
20: ; preds = %16, %12
%21 = phi i1 [ false, %12 ], [ %19, %16 ]
%22 = zext i1 %21 to i64
%23 = select i1 %21, i32 1, i32 0
br label %36
24: ; preds = %8
%25 = load double, double* %3
%26 = load double, double* %4
%27 = fcmp olt double %25, %26
br i1 %27, label %32, label %28
28: ; preds = %24
%29 = load double, double* %4
%30 = load double, double* %3
%31 = fcmp olt double %29, %30
br label %32
32: ; preds = %28, %24
%33 = phi i1 [ true, %24 ], [ %31, %28 ]
%34 = xor i1 %33, true
%35 = zext i1 %34 to i32
br label %36
36: ; preds = %32, %20
%37 = phi i32 [ %23, %20 ], [ %35, %32 ]
%38 = icmp ne i32 %37, 0
%39 = xor i1 %38, true
%40 = zext i1 %39 to i32
ret i32 %40
}

LLVM IR (-O2):
define i32 @ne(double %0, double %1) {
%3 = fcmp uno double %0, %1
br i1 %3, label %4, label %8
4: ; preds = %2
%5 = fcmp uno double %1, 0.000000e+00
%6 = fcmp uno double %0, 0.000000e+00
%7 = and i1 %6, %5
br label %10
8: ; preds = %2
%9 = fcmp ueq double %0, %1
br label %10
10: ; preds = %8, %4
%11 = phi i1 [ %7, %4 ], [ %9, %8 ]
%12 = xor i1 %11, true
%13 = zext i1 %12 to i32
ret i32 %13
}