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

    aIsQuietNaN = float32_is_quiet_nan(a);
    aIsSignalingNaN = float32_is_signaling_nan(a);
    bIsQuietNaN = float32_is_quiet_nan(b);
    bIsSignalingNaN = float32_is_signaling_nan(b);
    cIsQuietNaN = float32_is_quiet_nan(c);
    cIsSignalingNaN = float32_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 float32_default_nan;
    }

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movb %cl, %al
movl %edi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movb %al, -0x11(%rbp)
movq %r8, -0x20(%rbp)
movl -0x8(%rbp), %edi
callq 0x11180
movb %al, -0x21(%rbp)
movl -0x8(%rbp), %edi
callq 0x111b0
movb %al, -0x22(%rbp)
movl -0xc(%rbp), %edi
callq 0x11180
movb %al, -0x23(%rbp)
movl -0xc(%rbp), %edi
callq 0x111b0
movb %al, -0x24(%rbp)
movl -0x10(%rbp), %edi
callq 0x11180
movb %al, -0x25(%rbp)
movl -0x10(%rbp), %edi
callq 0x111b0
movb %al, -0x26(%rbp)
movzbl -0x22(%rbp), %eax
movzbl -0x24(%rbp), %ecx
orl %ecx, %eax
movzbl -0x26(%rbp), %ecx
orl %ecx, %eax
cmpl $0x0, %eax
je 0x1553f
movq -0x20(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movb -0x21(%rbp), %dil
movb -0x22(%rbp), %sil
movb -0x23(%rbp), %dl
movb -0x24(%rbp), %cl
movb -0x25(%rbp), %r8b
movb -0x26(%rbp), %r9b
movb -0x11(%rbp), %r10b
movq -0x20(%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, -0x2c(%rbp)
movq -0x20(%rbp), %rax
cmpb $0x0, 0x6(%rax)
je 0x1559b
movl $0x7fc00000, -0x4(%rbp) # imm = 0x7FC00000
jmp 0x155ec
movl -0x2c(%rbp), %eax
movq %rax, -0x38(%rbp)
subq $0x3, %rax
ja 0x155e5
movq -0x38(%rbp), %rax
leaq 0x10309(%rip), %rcx     # 0x258bc
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl -0x8(%rbp), %edi
callq 0x11200
movl %eax, -0x4(%rbp)
jmp 0x155ec
movl -0xc(%rbp), %edi
callq 0x11200
movl %eax, -0x4(%rbp)
jmp 0x155ec
movl -0x10(%rbp), %edi
callq 0x11200
movl %eax, -0x4(%rbp)
jmp 0x155ec
jmp 0x155e5
movl $0x7fc00000, -0x4(%rbp) # imm = 0x7FC00000
movl -0x4(%rbp), %eax
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)