// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: subFloat64Sigs
static float64 subFloat64Sigs(float64 a, float64 b, flag zSign,
                              float_status *status)
{
    int_fast16_t aExp, bExp, zExp;
    uint64_t aSig, bSig, zSig;
    int_fast16_t expDiff;

    aSig = extractFloat64Frac( a );
    aExp = extractFloat64Exp( a );
    bSig = extractFloat64Frac( b );
    bExp = extractFloat64Exp( b );
    expDiff = aExp - bExp;
    aSig <<= 10;
    bSig <<= 10;
    if ( 0 < expDiff ) goto aExpBigger;
    if ( expDiff < 0 ) goto bExpBigger;
    if ( aExp == 0x7FF ) {
        if (aSig | bSig) {
            return propagateFloat64NaN(a, b, status);
        }
        float_raise(float_flag_invalid, status);
        return float64_default_nan;
    }
    if ( aExp == 0 ) {
        aExp = 1;
        bExp = 1;
    }
    if ( bSig < aSig ) goto aBigger;
    if ( aSig < bSig ) goto bBigger;
    return packFloat64(status->float_rounding_mode == float_round_down, 0, 0);
 bExpBigger:
    if ( bExp == 0x7FF ) {
        if (bSig) {
            return propagateFloat64NaN(a, b, status);
        }
        return packFloat64( zSign ^ 1, 0x7FF, 0 );
    }
    if ( aExp == 0 ) {
        ++expDiff;
    }
    else {
        aSig |= LIT64( 0x4000000000000000 );
    }
    shift64RightJamming( aSig, - expDiff, &aSig );
    bSig |= LIT64( 0x4000000000000000 );
 bBigger:
    zSig = bSig - aSig;
    zExp = bExp;
    zSign ^= 1;
    goto normalizeRoundAndPack;
 aExpBigger:
    if ( aExp == 0x7FF ) {
        if (aSig) {
            return propagateFloat64NaN(a, b, status);
        }
        return a;
    }
    if ( bExp == 0 ) {
        --expDiff;
    }
    else {
        bSig |= LIT64( 0x4000000000000000 );
    }
    shift64RightJamming( bSig, expDiff, &bSig );
    aSig |= LIT64( 0x4000000000000000 );
 aBigger:
    zSig = aSig - bSig;
    zExp = aExp;
 normalizeRoundAndPack:
    --zExp;
    return normalizeRoundAndPackFloat64(zSign, zExp, zSig, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movb %dl, %al
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movb %al, -0x19(%rbp)
movq %rcx, -0x28(%rbp)
movq -0x10(%rbp), %rdi
callq 0x116a0
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rdi
callq 0x11680
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
callq 0x116a0
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rdi
callq 0x11680
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rax
subq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x48(%rbp), %rax
shlq $0xa, %rax
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rax
shlq $0xa, %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
cmpq -0x60(%rbp), %rax
jge 0x1843e
jmp 0x185ba
cmpq $0x0, -0x60(%rbp)
jge 0x1844a
jmp 0x184fd
cmpq $0x7ff, -0x30(%rbp)     # imm = 0x7FF
jne 0x1849d
movq -0x48(%rbp), %rax
orq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1847c
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x28(%rbp), %rdx
callq 0x17f70
movq %rax, -0x8(%rbp)
jmp 0x18677
movq -0x28(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movabsq $0x7ff8000000000000, %rax # imm = 0x7FF8000000000000
movq %rax, -0x8(%rbp)
jmp 0x18677
cmpq $0x0, -0x30(%rbp)
jne 0x184b4
movq $0x1, -0x30(%rbp)
movq $0x1, -0x38(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x48(%rbp), %rax
jae 0x184c3
jmp 0x1863c
movq -0x48(%rbp), %rax
cmpq -0x50(%rbp), %rax
jae 0x184d2
jmp 0x18597
movq -0x28(%rbp), %rax
movsbl 0x1(%rax), %eax
cmpl $0x1, %eax
sete %al
andb $0x1, %al
movzbl %al, %eax
xorl %ecx, %ecx
movl %ecx, %edx
movzbl %al, %edi
movq %rdx, %rsi
callq 0x118b0
movq %rax, -0x8(%rbp)
jmp 0x18677
cmpq $0x7ff, -0x38(%rbp)     # imm = 0x7FF
jne 0x18549
cmpq $0x0, -0x50(%rbp)
je 0x18528
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x28(%rbp), %rdx
callq 0x17f70
movq %rax, -0x8(%rbp)
jmp 0x18677
movzbl -0x19(%rbp), %eax
xorl $0x1, %eax
movl $0x7ff, %esi            # imm = 0x7FF
xorl %ecx, %ecx
movl %ecx, %edx
movzbl %al, %edi
callq 0x118b0
movq %rax, -0x8(%rbp)
jmp 0x18677
cmpq $0x0, -0x30(%rbp)
jne 0x1855e
movq -0x60(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x60(%rbp)
jmp 0x18570
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
orq -0x48(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
subq -0x60(%rbp), %rsi
leaq -0x48(%rbp), %rdx
callq 0x11c20
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
orq -0x50(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
subq -0x48(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x40(%rbp)
movzbl -0x19(%rbp), %eax
xorl $0x1, %eax
movb %al, -0x19(%rbp)
jmp 0x18650
cmpq $0x7ff, -0x30(%rbp)     # imm = 0x7FF
jne 0x185f2
cmpq $0x0, -0x48(%rbp)
je 0x185e5
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x28(%rbp), %rdx
callq 0x17f70
movq %rax, -0x8(%rbp)
jmp 0x18677
movq -0x10(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x18677
cmpq $0x0, -0x38(%rbp)
jne 0x18607
movq -0x60(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x60(%rbp)
jmp 0x18619
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
orq -0x50(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
movq -0x60(%rbp), %rsi
leaq -0x50(%rbp), %rdx
callq 0x11c20
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
orq -0x48(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
subq -0x50(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x40(%rbp)
movb -0x19(%rbp), %al
movq -0x40(%rbp), %rsi
movq -0x58(%rbp), %rdx
movq -0x28(%rbp), %rcx
movzbl %al, %edi
callq 0x11fa0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)