double _FADD_(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)))
          ? missval1
          : (x) + (y));
}


x86 assembly (clang, -O0):
<_FADD_>:
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 <_FADD_+0x49>
jp     1149 <_FADD_+0x49>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    1149 <_FADD_+0x49>
jp     1149 <_FADD_+0x49>
jmp    119d <_FADD_+0x9d>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x8(%rbp),%xmm0
jne    1164 <_FADD_+0x64>
jp     1164 <_FADD_+0x64>
jmp    118e <_FADD_+0x8e>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jne    117f <_FADD_+0x7f>
jp     117f <_FADD_+0x7f>
jmp    118e <_FADD_+0x8e>
mov    $0x1,%al
test   $0x1,%al
jne    1272 <_FADD_+0x172>
jmp    11c5 <_FADD_+0xc5>
xor    %eax,%eax
test   $0x1,%al
jne    1272 <_FADD_+0x172>
jmp    11c5 <_FADD_+0xc5>
movsd  -0x8(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     11c5 <_FADD_+0xc5>
movsd  -0x18(%rbp),%xmm1
movsd  -0x8(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1272 <_FADD_+0x172>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    11f6 <_FADD_+0xf6>
jp     11f6 <_FADD_+0xf6>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    11f6 <_FADD_+0xf6>
jp     11f6 <_FADD_+0xf6>
jmp    124a <_FADD_+0x14a>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x10(%rbp),%xmm0
jne    1211 <_FADD_+0x111>
jp     1211 <_FADD_+0x111>
jmp    123b <_FADD_+0x13b>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    122c <_FADD_+0x12c>
jp     122c <_FADD_+0x12c>
jmp    123b <_FADD_+0x13b>
mov    $0x1,%al
test   $0x1,%al
jne    1272 <_FADD_+0x172>
jmp    1281 <_FADD_+0x181>
xor    %eax,%eax
test   $0x1,%al
jne    1272 <_FADD_+0x172>
jmp    1281 <_FADD_+0x181>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1281 <_FADD_+0x181>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
ja     1281 <_FADD_+0x181>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    1290 <_FADD_+0x190>
movsd  -0x8(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_FADD_>:
ucomisd %xmm2,%xmm0
jp     111d <_FADD_+0x1d>
je     1118 <_FADD_+0x18>
ucomisd %xmm3,%xmm1
jp     112b <_FADD_+0x2b>
je     1118 <_FADD_+0x18>
addsd  %xmm1,%xmm0
movapd %xmm0,%xmm2
movapd %xmm2,%xmm0
ret
ucomisd %xmm0,%xmm0
jnp    1108 <_FADD_+0x8>
ucomisd %xmm2,%xmm2
jp     1118 <_FADD_+0x18>
jmp    1108 <_FADD_+0x8>
ucomisd %xmm1,%xmm1
jnp    1110 <_FADD_+0x10>
ucomisd %xmm3,%xmm3
jp     1118 <_FADD_+0x18>
jmp    1110 <_FADD_+0x10>

LLVM IR (-O0):
define double @_FADD_(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 %60, label %34
25: ; preds = %20, %16
br i1 false, label %60, 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 %60
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 %60, label %62
51: ; preds = %46, %42
br i1 false, label %60, label %62
52: ; preds = %38
%53 = load double, double* %6
%54 = load double, double* %8
%55 = fcmp olt double %53, %54
br i1 %55, label %62, 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 %62, label %60
60: ; preds = %56, %51, %50, %30, %25, %24
%61 = load double, double* %7
br label %66
62: ; preds = %56, %52, %51, %50
%63 = load double, double* %5
%64 = load double, double* %6
%65 = fadd double %63, %64
br label %66
66: ; preds = %62, %60
%67 = phi double [ %61, %60 ], [ %65, %62 ]
ret double %67
}

LLVM IR (-O2):
define double @_FADD_(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 %22, label %12
10: ; preds = %4
%11 = fcmp ueq double %0, %2
br i1 %11, label %22, label %12
12: ; preds = %6, %10
%13 = fcmp uno double %1, %3
br i1 %13, label %14, label %18
14: ; preds = %12
%15 = fcmp uno double %3, 0.000000e+00
%16 = fcmp uno double %1, 0.000000e+00
%17 = and i1 %16, %15
br i1 %17, label %22, label %20
18: ; preds = %12
%19 = fcmp ueq double %1, %3
br i1 %19, label %22, label %20
20: ; preds = %14, %18
%21 = fadd double %0, %1
br label %22
22: ; preds = %6, %10, %14, %18, %20
%23 = phi double [ %21, %20 ], [ %2, %18 ], [ %2, %14 ], [ %2, %10 ], [ %2, %6 ]
ret double %23
}