// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-specialize.h
// Function: propagateFloat64MulAddNaN
static float64 propagateFloat64MulAddNaN(float64 a, float64 b,
                                         float64 c, flag infzero,
                                         float_status *status)
{
    flag aIsQuietNaN, aIsSignalingNaN, bIsQuietNaN, bIsSignalingNaN,
        cIsQuietNaN, cIsSignalingNaN;
    int which;

    aIsQuietNaN = float64_is_quiet_nan(a);
    aIsSignalingNaN = float64_is_signaling_nan(a);
    bIsQuietNaN = float64_is_quiet_nan(b);
    bIsSignalingNaN = float64_is_signaling_nan(b);
    cIsQuietNaN = float64_is_quiet_nan(c);
    cIsSignalingNaN = float64_is_signaling_nan(c);

    if (aIsSignalingNaN | bIsSignalingNaN | cIsSignalingNaN) {
        float_raise(float_flag_invalid, status);
    }

    which = pickNaNMulAdd(aIsQuietNaN, aIsSignalingNaN,
                          bIsQuietNaN, bIsSignalingNaN,
                          cIsQuietNaN, cIsSignalingNaN, infzero, status);

    if (status->default_nan_mode) {
        /* Note that this check is after pickNaNMulAdd so that function
         * has an opportunity to set the Invalid flag.
         */
        return float64_default_nan;
    }

    switch (which) {
    case 0:
        return float64_maybe_silence_nan(a);
    case 1:
        return float64_maybe_silence_nan(b);
    case 2:
        return float64_maybe_silence_nan(c);
    case 3:
    default:
        return float64_default_nan;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movb %cl, %al
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movb %al, -0x21(%rbp)
movq %r8, -0x30(%rbp)
movq -0x10(%rbp), %rdi
callq 0x11240
movb %al, -0x31(%rbp)
movq -0x10(%rbp), %rdi
callq 0x11270
movb %al, -0x32(%rbp)
movq -0x18(%rbp), %rdi
callq 0x11240
movb %al, -0x33(%rbp)
movq -0x18(%rbp), %rdi
callq 0x11270
movb %al, -0x34(%rbp)
movq -0x20(%rbp), %rdi
callq 0x11240
movb %al, -0x35(%rbp)
movq -0x20(%rbp), %rdi
callq 0x11270
movb %al, -0x36(%rbp)
movzbl -0x32(%rbp), %eax
movzbl -0x34(%rbp), %ecx
orl %ecx, %eax
movzbl -0x36(%rbp), %ecx
orl %ecx, %eax
cmpl $0x0, %eax
je 0x19b48
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movb -0x31(%rbp), %dil
movb -0x32(%rbp), %sil
movb -0x33(%rbp), %dl
movb -0x34(%rbp), %cl
movb -0x35(%rbp), %r8b
movb -0x36(%rbp), %r9b
movb -0x21(%rbp), %r10b
movq -0x30(%rbp), %rax
movzbl %dil, %edi
movzbl %sil, %esi
movzbl %dl, %edx
movzbl %cl, %ecx
movzbl %r8b, %r8d
movzbl %r9b, %r9d
movzbl %r10b, %r10d
movl %r10d, (%rsp)
movq %rax, 0x8(%rsp)
callq 0x24190
movl %eax, -0x3c(%rbp)
movq -0x30(%rbp), %rax
cmpb $0x0, 0x6(%rax)
je 0x19bab
movabsq $0x7ff8000000000000, %rax # imm = 0x7FF8000000000000
movq %rax, -0x8(%rbp)
jmp 0x19c09
movl -0x3c(%rbp), %eax
movq %rax, -0x48(%rbp)
subq $0x3, %rax
ja 0x19bfb
movq -0x48(%rbp), %rax
leaq 0xbd45(%rip), %rcx      # 0x25908
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x10(%rbp), %rdi
callq 0x112c0
movq %rax, -0x8(%rbp)
jmp 0x19c09
movq -0x18(%rbp), %rdi
callq 0x112c0
movq %rax, -0x8(%rbp)
jmp 0x19c09
movq -0x20(%rbp), %rdi
callq 0x112c0
movq %rax, -0x8(%rbp)
jmp 0x19c09
jmp 0x19bfb
movabsq $0x7ff8000000000000, %rax # imm = 0x7FF8000000000000
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)