double _FDIV_(const double x, const double y, const double missval1,
              const double missval2) {
  return (
      ((((x)) != ((x))) || ((missval1) != (missval1))
           ? ((((x)) != ((x))) && ((missval1) != (missval1)) ? 1 : 0)
           : !((x) < missval1 || missval1 < (x))) ||
              ((((y)) != ((y))) || ((missval2) != (missval2))
                   ? ((((y)) != ((y))) && ((missval2) != (missval2)) ? 1 : 0)
                   : !((y) < missval2 || missval2 < (y))) ||
              ((((y)) != ((y))) || ((0.) != (0.))
                   ? ((((y)) != ((y))) && ((0.) != (0.)) ? 1 : 0)
                   : !((y) < 0. || 0. < (y)))
          ? missval1
          : (x) / (y));
}


x86 assembly (clang, -O0):
<_FDIV_>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  -0x8(%rbp),%xmm0
ucomisd -0x8(%rbp),%xmm0
jne    1149 <_FDIV_+0x49>
jp     1149 <_FDIV_+0x49>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    1149 <_FDIV_+0x49>
jp     1149 <_FDIV_+0x49>
jmp    119d <_FDIV_+0x9d>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x8(%rbp),%xmm0
jne    1164 <_FDIV_+0x64>
jp     1164 <_FDIV_+0x64>
jmp    118e <_FDIV_+0x8e>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    117f <_FDIV_+0x7f>
jp     117f <_FDIV_+0x7f>
jmp    118e <_FDIV_+0x8e>
mov    $0x1,%al
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    11c5 <_FDIV_+0xc5>
xor    %eax,%eax
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    11c5 <_FDIV_+0xc5>
movsd  -0x8(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     11c5 <_FDIV_+0xc5>
movsd  -0x18(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12f5 <_FDIV_+0x1f5>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    11f6 <_FDIV_+0xf6>
jp     11f6 <_FDIV_+0xf6>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    11f6 <_FDIV_+0xf6>
jp     11f6 <_FDIV_+0xf6>
jmp    124a <_FDIV_+0x14a>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    1211 <_FDIV_+0x111>
jp     1211 <_FDIV_+0x111>
jmp    123b <_FDIV_+0x13b>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    122c <_FDIV_+0x12c>
jp     122c <_FDIV_+0x12c>
jmp    123b <_FDIV_+0x13b>
mov    $0x1,%al
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    1272 <_FDIV_+0x172>
xor    %eax,%eax
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    1272 <_FDIV_+0x172>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1272 <_FDIV_+0x172>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12f5 <_FDIV_+0x1f5>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    128d <_FDIV_+0x18d>
jp     128d <_FDIV_+0x18d>
jmp    12d5 <_FDIV_+0x1d5>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    12a8 <_FDIV_+0x1a8>
jp     12a8 <_FDIV_+0x1a8>
jmp    12c6 <_FDIV_+0x1c6>
xor    %eax,%eax
test   $0x1,%al
jne    12b7 <_FDIV_+0x1b7>
jmp    12c6 <_FDIV_+0x1c6>
mov    $0x1,%al
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    1304 <_FDIV_+0x204>
xor    %eax,%eax
test   $0x1,%al
jne    12f5 <_FDIV_+0x1f5>
jmp    1304 <_FDIV_+0x204>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
ja     1304 <_FDIV_+0x204>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
ja     1304 <_FDIV_+0x204>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    1313 <_FDIV_+0x213>
movsd  -0x8(%rbp),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_FDIV_>:
ucomisd %xmm2,%xmm0
jp     112d <_FDIV_+0x2d>
je     1128 <_FDIV_+0x28>
ucomisd %xmm3,%xmm1
jp     113b <_FDIV_+0x3b>
xorpd  %xmm4,%xmm4
ucomisd %xmm4,%xmm1
jne    111a <_FDIV_+0x1a>
jnp    1128 <_FDIV_+0x28>
ucomisd %xmm3,%xmm1
je     1128 <_FDIV_+0x28>
divsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
movapd %xmm2,%xmm0
ret
ucomisd %xmm0,%xmm0
jnp    1108 <_FDIV_+0x8>
ucomisd %xmm2,%xmm2
jp     1128 <_FDIV_+0x28>
jmp    1108 <_FDIV_+0x8>
ucomisd %xmm1,%xmm1
setnp  %al
ucomisd %xmm3,%xmm3
setnp  %cl
xorpd  %xmm3,%xmm3
ucomisd %xmm3,%xmm1
jne    1155 <_FDIV_+0x55>
jnp    1128 <_FDIV_+0x28>
or     %cl,%al
jne    1120 <_FDIV_+0x20>
jmp    1128 <_FDIV_+0x28>

LLVM IR (-O0):
define double @_FDIV_(double %0, double %1, double %2, double %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
store double %3, double* %8
%9 = load double, double* %5
%10 = load double, double* %5
%11 = fcmp une double %9, %10
br i1 %11, label %16, label %12
12: ; preds = %4
%13 = load double, double* %7
%14 = load double, double* %7
%15 = fcmp une double %13, %14
br i1 %15, label %16, label %26
16: ; preds = %12, %4
%17 = load double, double* %5
%18 = load double, double* %5
%19 = fcmp une double %17, %18
br i1 %19, label %20, label %25
20: ; preds = %16
%21 = load double, double* %7
%22 = load double, double* %7
%23 = fcmp une double %21, %22
br i1 %23, label %24, label %25
24: ; preds = %20
br i1 true, label %77, label %34
25: ; preds = %20, %16
br i1 false, label %77, label %34
26: ; preds = %12
%27 = load double, double* %5
%28 = load double, double* %7
%29 = fcmp olt double %27, %28
br i1 %29, label %34, label %30
30: ; preds = %26
%31 = load double, double* %7
%32 = load double, double* %5
%33 = fcmp olt double %31, %32
br i1 %33, label %34, label %77
34: ; preds = %30, %26, %25, %24
%35 = load double, double* %6
%36 = load double, double* %6
%37 = fcmp une double %35, %36
br i1 %37, label %42, label %38
38: ; preds = %34
%39 = load double, double* %8
%40 = load double, double* %8
%41 = fcmp une double %39, %40
br i1 %41, label %42, label %52
42: ; preds = %38, %34
%43 = load double, double* %6
%44 = load double, double* %6
%45 = fcmp une double %43, %44
br i1 %45, label %46, label %51
46: ; preds = %42
%47 = load double, double* %8
%48 = load double, double* %8
%49 = fcmp une double %47, %48
br i1 %49, label %50, label %51
50: ; preds = %46
br i1 true, label %77, label %60
51: ; preds = %46, %42
br i1 false, label %77, label %60
52: ; preds = %38
%53 = load double, double* %6
%54 = load double, double* %8
%55 = fcmp olt double %53, %54
br i1 %55, label %60, label %56
56: ; preds = %52
%57 = load double, double* %8
%58 = load double, double* %6
%59 = fcmp olt double %57, %58
br i1 %59, label %60, label %77
60: ; preds = %56, %52, %51, %50
%61 = load double, double* %6
%62 = load double, double* %6
%63 = fcmp une double %61, %62
br i1 %63, label %64, label %71
64: ; preds = %60
%65 = load double, double* %6
%66 = load double, double* %6
%67 = fcmp une double %65, %66
br i1 %67, label %68, label %70
68: ; preds = %64
br i1 false, label %69, label %70
69: ; preds = %68
br i1 true, label %77, label %79
70: ; preds = %68, %64
br i1 false, label %77, label %79
71: ; preds = %60
%72 = load double, double* %6
%73 = fcmp olt double %72, 0.000000e+00
br i1 %73, label %79, label %74
74: ; preds = %71
%75 = load double, double* %6
%76 = fcmp olt double 0.000000e+00, %75
br i1 %76, label %79, label %77
77: ; preds = %74, %70, %69, %56, %51, %50, %30, %25, %24
%78 = load double, double* %7
br label %83
79: ; preds = %74, %71, %70, %69
%80 = load double, double* %5
%81 = load double, double* %6
%82 = fdiv double %80, %81
br label %83
83: ; preds = %79, %77
%84 = phi double [ %78, %77 ], [ %82, %79 ]
ret double %84
}

LLVM IR (-O2):
define double @_FDIV_(double %0, double %1, double %2, double %3) {
%5 = fcmp uno double %0, %2
br i1 %5, label %6, label %10
6: ; preds = %4
%7 = fcmp uno double %2, 0.000000e+00
%8 = fcmp uno double %0, 0.000000e+00
%9 = and i1 %8, %7
br i1 %9, label %26, label %12
10: ; preds = %4
%11 = fcmp ueq double %0, %2
br i1 %11, label %26, label %12
12: ; preds = %6, %10
%13 = fcmp uno double %1, %3
br i1 %13, label %14, label %20
14: ; preds = %12
%15 = fcmp ord double %1, 0.000000e+00
%16 = fcmp ord double %3, 0.000000e+00
%17 = or i1 %15, %16
%18 = fcmp une double %1, 0.000000e+00
%19 = and i1 %18, %17
br i1 %19, label %24, label %26
20: ; preds = %12
%21 = fcmp one double %1, %3
%22 = fcmp une double %1, 0.000000e+00
%23 = and i1 %22, %21
br i1 %23, label %24, label %26
24: ; preds = %20, %14
%25 = fdiv double %0, %1
br label %26
26: ; preds = %6, %10, %14, %20, %24
%27 = phi double [ %25, %24 ], [ %2, %20 ], [ %2, %14 ], [ %2, %10 ], [ %2, %6 ]
ret double %27
}