LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_to_int64_round_to_zero
int64 floatx80_to_int64_round_to_zero(floatx80 a, float_status *status)
{
    flag aSign;
    int32 aExp, shiftCount;
    uint64_t aSig;
    int64 z;

    aSig = extractFloatx80Frac( a );
    aExp = extractFloatx80Exp( a );
    aSign = extractFloatx80Sign( a );
    shiftCount = aExp - 0x403E;
    if ( 0 <= shiftCount ) {
        aSig &= LIT64( 0x7FFFFFFFFFFFFFFF );
        if ( ( a.high != 0xC03E ) || aSig ) {
            float_raise(float_flag_invalid, status);
            if ( ! aSign || ( ( aExp == 0x7FFF ) && aSig ) ) {
                return LIT64( 0x7FFFFFFFFFFFFFFF );
            }
        }
        return (int64_t) LIT64( 0x8000000000000000 );
    }
    else if ( aExp < 0x3FFF ) {
        if (aExp | aSig) {
            status->float_exception_flags |= float_flag_inexact;
        }
        return 0;
    }
    z = aSig>>( - shiftCount );
    if ( (uint64_t) ( aSig<<( shiftCount & 63 ) ) ) {
        status->float_exception_flags |= float_flag_inexact;
    }
    if ( aSign ) z = - z;
    return z;

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %si, %ax
movq %rdi, -0x18(%rbp)
movw %ax, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x21(%rbp)
movl -0x28(%rbp), %eax
subl $0x403e, %eax           # imm = 0x403E
movl %eax, -0x2c(%rbp)
xorl %eax, %eax
cmpl -0x2c(%rbp), %eax
jg 0x1aea7
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
andq -0x38(%rbp), %rax
movq %rax, -0x38(%rbp)
movzwl -0x10(%rbp), %eax
cmpl $0xc03e, %eax           # imm = 0xC03E
jne 0x1ae5e
cmpq $0x0, -0x38(%rbp)
je 0x1ae97
movq -0x20(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
cmpb $0x0, -0x21(%rbp)
je 0x1ae82
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1ae95
cmpq $0x0, -0x38(%rbp)
je 0x1ae95
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
movq %rax, -0x8(%rbp)
jmp 0x1af25
jmp 0x1ae97
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, -0x8(%rbp)
jmp 0x1af25
cmpl $0x3fff, -0x28(%rbp)    # imm = 0x3FFF
jge 0x1aed6
movslq -0x28(%rbp), %rax
orq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x1aecc
movq -0x20(%rbp), %rax
movsbl 0x2(%rax), %ecx
orl $0x20, %ecx
movb %cl, 0x2(%rax)
movq $0x0, -0x8(%rbp)
jmp 0x1af25
jmp 0x1aed8
movq -0x38(%rbp), %rax
xorl %ecx, %ecx
subl -0x2c(%rbp), %ecx
movl %ecx, %ecx
shrq %cl, %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movl -0x2c(%rbp), %ecx
andl $0x3f, %ecx
movl %ecx, %ecx
shlq %cl, %rax
cmpq $0x0, %rax
je 0x1af0d
movq -0x20(%rbp), %rax
movsbl 0x2(%rax), %ecx
orl $0x20, %ecx
movb %cl, 0x2(%rax)
cmpb $0x0, -0x21(%rbp)
je 0x1af1d
xorl %eax, %eax
subq -0x40(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_to_float32
float32 floatx80_to_float32(floatx80 a, float_status *status)
{
    flag aSign;
    int32 aExp;
    uint64_t aSig;

    aSig = extractFloatx80Frac( a );
    aExp = extractFloatx80Exp( a );
    aSign = extractFloatx80Sign( a );
    if ( aExp == 0x7FFF ) {
        if ( (uint64_t) ( aSig<<1 ) ) {
            return commonNaNToFloat32(floatx80ToCommonNaN(a, status), status);
        }
        return packFloat32( aSign, 0xFF, 0 );
    }
    shift64RightJamming( aSig, 33, &aSig );
    if ( aExp || aSig ) aExp -= 0x3F81;
    return roundAndPackFloat32(aSign, aExp, aSig, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movw %si, %ax
movq %rdi, -0x18(%rbp)
movw %ax, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x21(%rbp)
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1afe3
movq -0x30(%rbp), %rax
shlq %rax
cmpq $0x0, %rax
je 0x1afce
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rsi
leaq -0x48(%rbp), %rdi
movzwl -0x10(%rbp), %edx
callq 0x1b040
movq -0x20(%rbp), %rdi
leaq -0x48(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x16e90
movl %eax, -0x4(%rbp)
jmp 0x1b029
movl $0xff, %esi
xorl %edx, %edx
movzbl -0x21(%rbp), %edi
callq 0x11750
movl %eax, -0x4(%rbp)
jmp 0x1b029
movq -0x30(%rbp), %rdi
movl $0x21, %esi
leaq -0x30(%rbp), %rdx
callq 0x11c20
cmpl $0x0, -0x28(%rbp)
jne 0x1b002
cmpq $0x0, -0x30(%rbp)
je 0x1b00d
movl -0x28(%rbp), %eax
subl $0x3f81, %eax           # imm = 0x3F81
movl %eax, -0x28(%rbp)
movb -0x21(%rbp), %al
movslq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rcx
movl %ecx, %edx
movq -0x20(%rbp), %rcx
movzbl %al, %edi
callq 0x11cb0
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-specialize.h
// Function: floatx80ToCommonNaN
static commonNaNT floatx80ToCommonNaN(floatx80 a, float_status *status)
{
    commonNaNT z;

    if (floatx80_is_signaling_nan(a)) {
        float_raise(float_flag_invalid, status);
    }
    if ( a.low >> 63 ) {
        z.sign = a.high >> 15;
        z.low = 0;
        z.high = a.low << 1;
    } else {
        z.sign = floatx80_default_nan_high >> 15;
        z.low = 0;
        z.high = floatx80_default_nan_low << 1;
    }
    return z;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x28(%rbp)
movw %dx, %ax
movq %rdi, -0x20(%rbp)
movq %rsi, -0x10(%rbp)
movw %ax, -0x8(%rbp)
movq %rcx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movzwl -0x8(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
je 0x1b07f
movq -0x18(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movq -0x10(%rbp), %rax
shrq $0x3f, %rax
cmpq $0x0, %rax
je 0x1b0af
movq -0x28(%rbp), %rax
movzwl -0x8(%rbp), %ecx
sarl $0xf, %ecx
movb %cl, (%rax)
movq $0x0, 0x10(%rax)
movq -0x10(%rbp), %rcx
shlq %rcx
movq %rcx, 0x8(%rax)
jmp 0x1b0cc
movq -0x28(%rbp), %rax
movb $0x1, (%rax)
movq $0x0, 0x10(%rax)
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x8(%rax)
movq -0x20(%rbp), %rax
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_to_float64
float64 floatx80_to_float64(floatx80 a, float_status *status)
{
    flag aSign;
    int32 aExp;
    uint64_t aSig, zSig;

    aSig = extractFloatx80Frac( a );
    aExp = extractFloatx80Exp( a );
    aSign = extractFloatx80Sign( a );
    if ( aExp == 0x7FFF ) {
        if ( (uint64_t) ( aSig<<1 ) ) {
            return commonNaNToFloat64(floatx80ToCommonNaN(a, status), status);
        }
        return packFloat64( aSign, 0x7FF, 0 );
    }
    shift64RightJamming( aSig, 1, &zSig );
    if ( aExp || aSig ) aExp -= 0x3C01;
    return roundAndPackFloat64(aSign, aExp, zSig, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movw %si, %ax
movq %rdi, -0x18(%rbp)
movw %ax, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x21(%rbp)
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1b197
movq -0x30(%rbp), %rax
shlq %rax
cmpq $0x0, %rax
je 0x1b17f
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rsi
leaq -0x50(%rbp), %rdi
movzwl -0x10(%rbp), %edx
callq 0x1b040
movq -0x20(%rbp), %rdi
leaq -0x50(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x134d0
movq %rax, -0x8(%rbp)
jmp 0x1b1dc
movl $0x7ff, %esi            # imm = 0x7FF
xorl %eax, %eax
movl %eax, %edx
movzbl -0x21(%rbp), %edi
callq 0x118b0
movq %rax, -0x8(%rbp)
jmp 0x1b1dc
movq -0x30(%rbp), %rdi
movl $0x1, %esi
leaq -0x38(%rbp), %rdx
callq 0x11c20
cmpl $0x0, -0x28(%rbp)
jne 0x1b1b6
cmpq $0x0, -0x30(%rbp)
je 0x1b1c1
movl -0x28(%rbp), %eax
subl $0x3c01, %eax           # imm = 0x3C01
movl %eax, -0x28(%rbp)
movb -0x21(%rbp), %al
movslq -0x28(%rbp), %rsi
movq -0x38(%rbp), %rdx
movq -0x20(%rbp), %rcx
movzbl %al, %edi
callq 0x12390
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_to_float128
float128 floatx80_to_float128(floatx80 a, float_status *status)
{
    flag aSign;
    int_fast16_t aExp;
    uint64_t aSig, zSig0, zSig1;

    aSig = extractFloatx80Frac( a );
    aExp = extractFloatx80Exp( a );
    aSign = extractFloatx80Sign( a );
    if ( ( aExp == 0x7FFF ) && (uint64_t) ( aSig<<1 ) ) {
        return commonNaNToFloat128(floatx80ToCommonNaN(a, status), status);
    }
    shift128Right( aSig<<1, 0, 16, &zSig0, &zSig1 );
    return packFloat128( aSign, aExp, zSig0, zSig1 );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movw %si, %ax
movq %rdi, -0x20(%rbp)
movw %ax, -0x18(%rbp)
movq %rdx, -0x28(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x1ab30
movq %rax, -0x40(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x1ab50
cltq
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x1ab70
movb %al, -0x29(%rbp)
cmpq $0x7fff, -0x38(%rbp)    # imm = 0x7FFF
jne 0x1b29a
movq -0x40(%rbp), %rax
shlq %rax
cmpq $0x0, %rax
je 0x1b29a
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rsi
leaq -0x68(%rbp), %rdi
movzwl -0x18(%rbp), %edx
callq 0x1b040
movq -0x28(%rbp), %rdi
leaq -0x68(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x13900
movq %rax, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
jmp 0x1b2d8
movq -0x40(%rbp), %rdi
shlq %rdi
xorl %eax, %eax
movl %eax, %esi
movl $0x10, %edx
leaq -0x48(%rbp), %rcx
leaq -0x50(%rbp), %r8
callq 0x17be0
movb -0x29(%rbp), %al
movq -0x38(%rbp), %rcx
movl %ecx, %esi
movq -0x48(%rbp), %rdx
movq -0x50(%rbp), %rcx
movzbl %al, %edi
callq 0x11a80
movq %rax, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movq -0x10(%rbp), %rax
movq -0x8(%rbp), %rdx
addq $0x80, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-specialize.h
// Function: propagateFloatx80NaN
static floatx80 propagateFloatx80NaN(floatx80 a, floatx80 b,
                                     float_status *status)
{
    flag aIsQuietNaN, aIsSignalingNaN, bIsQuietNaN, bIsSignalingNaN;
    flag aIsLargerSignificand;

    aIsQuietNaN = floatx80_is_quiet_nan( a );
    aIsSignalingNaN = floatx80_is_signaling_nan( a );
    bIsQuietNaN = floatx80_is_quiet_nan( b );
    bIsSignalingNaN = floatx80_is_signaling_nan( b );

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

    if (status->default_nan_mode) {
        a.low = floatx80_default_nan_low;
        a.high = floatx80_default_nan_high;
        return a;
    }

    if (a.low < b.low) {
        aIsLargerSignificand = 0;
    } else if (b.low < a.low) {
        aIsLargerSignificand = 1;
    } else {
        aIsLargerSignificand = (a.high < b.high) ? 1 : 0;
    }

    if (pickNaN(aIsQuietNaN, aIsSignalingNaN, bIsQuietNaN, bIsSignalingNaN,
                aIsLargerSignificand)) {
        return floatx80_maybe_silence_nan(b);
    } else {
        return floatx80_maybe_silence_nan(a);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x20(%rbp)
movw %cx, -0x18(%rbp)
movq %rdx, -0x30(%rbp)
movw %ax, -0x28(%rbp)
movq %r8, -0x38(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x11310
movb %al, -0x39(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x11360
movb %al, -0x3a(%rbp)
movq -0x30(%rbp), %rdi
movzwl -0x28(%rbp), %esi
callq 0x11310
movb %al, -0x3b(%rbp)
movq -0x30(%rbp), %rdi
movzwl -0x28(%rbp), %esi
callq 0x11360
movb %al, -0x3c(%rbp)
movzbl -0x3a(%rbp), %eax
movzbl -0x3c(%rbp), %ecx
orl %ecx, %eax
cmpl $0x0, %eax
je 0x1b6ef
movq -0x38(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movq -0x38(%rbp), %rax
cmpb $0x0, 0x6(%rax)
je 0x1b722
movabsq $-0x4000000000000000, %rax # imm = 0xC000000000000000
movq %rax, -0x20(%rbp)
movw $0xffff, -0x18(%rbp)    # imm = 0xFFFF
movq -0x20(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1b7b0
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
jae 0x1b732
movb $0x0, -0x3d(%rbp)
jmp 0x1b75b
movq -0x30(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x1b742
movb $0x1, -0x3d(%rbp)
jmp 0x1b759
movzwl -0x18(%rbp), %edx
movzwl -0x28(%rbp), %esi
xorl %eax, %eax
movl $0x1, %ecx
cmpl %esi, %edx
cmovll %ecx, %eax
movb %al, -0x3d(%rbp)
jmp 0x1b75b
movb -0x39(%rbp), %sil
movb -0x3a(%rbp), %dl
movb -0x3b(%rbp), %cl
movb -0x3c(%rbp), %al
movzbl %sil, %edi
movzbl %dl, %esi
movzbl %cl, %edx
movzbl %al, %ecx
movzbl -0x3d(%rbp), %r8d
callq 0x24100
cmpl $0x0, %eax
je 0x1b79b
movq -0x30(%rbp), %rdi
movzwl -0x28(%rbp), %esi
callq 0x113d0
movq %rax, -0x10(%rbp)
movw %dx, -0x8(%rbp)
jmp 0x1b7b0
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x113d0
movq %rax, -0x10(%rbp)
movw %dx, -0x8(%rbp)
movq -0x10(%rbp), %rax
movw -0x8(%rbp), %dx
addq $0x40, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_add
floatx80 floatx80_add(floatx80 a, floatx80 b, float_status *status)
{
    flag aSign, bSign;

    aSign = extractFloatx80Sign( a );
    bSign = extractFloatx80Sign( b );
    if ( aSign == bSign ) {
        return addFloatx80Sigs(a, b, aSign, status);
    }
    else {
        return subFloatx80Sigs(a, b, aSign, status);
    }

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x20(%rbp)
movw %cx, -0x18(%rbp)
movq %rdx, -0x30(%rbp)
movw %ax, -0x28(%rbp)
movq %r8, -0x38(%rbp)
movq -0x20(%rbp), %rdi
movzwl -0x18(%rbp), %esi
callq 0x1ab70
movb %al, -0x39(%rbp)
movq -0x30(%rbp), %rdi
movzwl -0x28(%rbp), %esi
callq 0x1ab70
movb %al, -0x3a(%rbp)
movzbl -0x39(%rbp), %eax
movzbl -0x3a(%rbp), %ecx
cmpl %ecx, %eax
jne 0x1b83b
movb -0x39(%rbp), %al
movq -0x38(%rbp), %r9
movq -0x20(%rbp), %rdi
movw -0x18(%rbp), %cx
movq -0x30(%rbp), %rdx
movzwl %cx, %esi
movzwl -0x28(%rbp), %ecx
movzbl %al, %r8d
callq 0x1b880
movq %rax, -0x10(%rbp)
movw %dx, -0x8(%rbp)
jmp 0x1b866
movb -0x39(%rbp), %al
movq -0x38(%rbp), %r9
movq -0x20(%rbp), %rdi
movw -0x18(%rbp), %cx
movq -0x30(%rbp), %rdx
movzwl %cx, %esi
movzwl -0x28(%rbp), %ecx
movzbl %al, %r8d
callq 0x1bb50
movq %rax, -0x10(%rbp)
movw %dx, -0x8(%rbp)
movq -0x10(%rbp), %rax
movw -0x8(%rbp), %dx
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: normalizeRoundAndPackFloatx80
static floatx80 normalizeRoundAndPackFloatx80(int8 roundingPrecision,
                                              flag zSign, int32 zExp,
                                              uint64_t zSig0, uint64_t zSig1,
                                              float_status *status)
{
    int8 shiftCount;

    if ( zSig0 == 0 ) {
        zSig0 = zSig1;
        zSig1 = 0;
        zExp -= 64;
    }
    shiftCount = countLeadingZeros64( zSig0 );
    shortShift128Left( zSig0, zSig1, shiftCount, &zSig0, &zSig1 );
    zExp -= shiftCount;
    return roundAndPackFloatx80(roundingPrecision, zSign, zExp,
                                zSig0, zSig1, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movb %sil, %al
movb %dil, %sil
movb %sil, -0x11(%rbp)
movb %al, -0x12(%rbp)
movl %edx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x1d3a4
movq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq $0x0, -0x28(%rbp)
movl -0x18(%rbp), %eax
subl $0x40, %eax
movl %eax, -0x18(%rbp)
movq -0x20(%rbp), %rdi
callq 0x11bf0
movb %al, -0x31(%rbp)
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
movsbq -0x31(%rbp), %rdx
leaq -0x20(%rbp), %rcx
leaq -0x28(%rbp), %r8
callq 0x121c0
movsbl -0x31(%rbp), %ecx
movl -0x18(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x18(%rbp)
movsbl -0x11(%rbp), %edi
movzbl -0x12(%rbp), %esi
movl -0x18(%rbp), %edx
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %r8
movq -0x30(%rbp), %r9
callq 0x1c260
movq %rax, -0x10(%rbp)
movw %dx, -0x8(%rbp)
movq -0x10(%rbp), %rax
movw -0x8(%rbp), %dx
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-macros.h
// Function: sub192
static inline void
 sub192(
     uint64_t a0,
     uint64_t a1,
     uint64_t a2,
     uint64_t b0,
     uint64_t b1,
     uint64_t b2,
     uint64_t *z0Ptr,
     uint64_t *z1Ptr,
     uint64_t *z2Ptr
 )
{
    uint64_t z0, z1, z2;
    int8 borrow0, borrow1;

    z2 = a2 - b2;
    borrow1 = ( a2 < b2 );
    z1 = a1 - b1;
    borrow0 = ( a1 < b1 );
    z0 = a0 - b0;
    z0 -= ( z1 < borrow1 );
    z1 -= borrow1;
    z0 -= borrow0;
    *z2Ptr = z2;
    *z1Ptr = z1;
    *z0Ptr = z0;

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x18(%rbp), %rax
subq -0x30(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rax
cmpq -0x30(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movb %al, -0x4a(%rbp)
movq -0x10(%rbp), %rax
subq -0x28(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x10(%rbp), %rax
cmpq -0x28(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movb %al, -0x49(%rbp)
movq -0x8(%rbp), %rax
subq -0x20(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rax
movsbq -0x4a(%rbp), %rcx
cmpq %rcx, %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movslq %eax, %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
movsbq -0x4a(%rbp), %rcx
movq -0x40(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x40(%rbp)
movsbq -0x49(%rbp), %rcx
movq -0x38(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x38(%rbp)
movq -0x48(%rbp), %rcx
movq 0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rcx
movq 0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x38(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
popq %rbp
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-macros.h
// Function: add192
static inline void
 add192(
     uint64_t a0,
     uint64_t a1,
     uint64_t a2,
     uint64_t b0,
     uint64_t b1,
     uint64_t b2,
     uint64_t *z0Ptr,
     uint64_t *z1Ptr,
     uint64_t *z2Ptr
 )
{
    uint64_t z0, z1, z2;
    int8 carry0, carry1;

    z2 = a2 + b2;
    carry1 = ( z2 < a2 );
    z1 = a1 + b1;
    carry0 = ( z1 < a1 );
    z0 = a0 + b0;
    z1 += carry1;
    z0 += ( z1 < carry1 );
    z0 += carry0;
    *z2Ptr = z2;
    *z1Ptr = z1;
    *z0Ptr = z0;

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x18(%rbp), %rax
addq -0x30(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
cmpq -0x18(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movb %al, -0x4a(%rbp)
movq -0x10(%rbp), %rax
addq -0x28(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cmpq -0x10(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movb %al, -0x49(%rbp)
movq -0x8(%rbp), %rax
addq -0x20(%rbp), %rax
movq %rax, -0x38(%rbp)
movsbq -0x4a(%rbp), %rax
addq -0x40(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movsbq -0x4a(%rbp), %rcx
cmpq %rcx, %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
addq -0x38(%rbp), %rax
movq %rax, -0x38(%rbp)
movsbq -0x49(%rbp), %rax
addq -0x38(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x48(%rbp), %rcx
movq 0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rcx
movq 0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x38(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_eq
int floatx80_eq(floatx80 a, floatx80 b, float_status *status)
{

    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        float_raise(float_flag_invalid, status);
        return 0;
    }
    return
           ( a.low == b.low )
        && (    ( a.high == b.high )
             || (    ( a.low == 0 )
                  && ( (uint16_t) ( ( a.high | b.high )<<1 ) == 0 ) )
           );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1da4c
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1da76
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1da8d
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1da8d
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x0, -0x4(%rbp)
jmp 0x1dae8
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq -0x28(%rbp), %rcx
movb %al, -0x31(%rbp)
jne 0x1dadd
movzwl -0x10(%rbp), %ecx
movzwl -0x20(%rbp), %edx
movb $0x1, %al
cmpl %edx, %ecx
movb %al, -0x32(%rbp)
je 0x1dad7
xorl %eax, %eax
cmpq $0x0, -0x18(%rbp)
movb %al, -0x33(%rbp)
jne 0x1dad1
movzwl -0x10(%rbp), %eax
movzwl -0x20(%rbp), %ecx
orl %ecx, %eax
shll %eax
movzwl %ax, %eax
cmpl $0x0, %eax
sete %al
movb %al, -0x33(%rbp)
movb -0x33(%rbp), %al
movb %al, -0x32(%rbp)
movb -0x32(%rbp), %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_le
int floatx80_le(floatx80 a, floatx80 b, float_status *status)
{
    flag aSign, bSign;

    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        float_raise(float_flag_invalid, status);
        return 0;
    }
    aSign = extractFloatx80Sign( a );
    bSign = extractFloatx80Sign( b );
    if ( aSign != bSign ) {
        return
               aSign
            || (    ( ( (uint16_t) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
                 == 0 );
    }
    return
          aSign ? le128( b.high, b.low, a.high, a.low )
        : le128( a.high, a.low, b.high, b.low );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1db4c
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1db76
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1db90
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1db90
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x0, -0x4(%rbp)
jmp 0x1dc47
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x31(%rbp)
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab70
movb %al, -0x32(%rbp)
movzbl -0x31(%rbp), %eax
movzbl -0x32(%rbp), %ecx
cmpl %ecx, %eax
je 0x1dbf8
movzbl -0x31(%rbp), %ecx
movb $0x1, %al
cmpl $0x0, %ecx
movb %al, -0x33(%rbp)
jne 0x1dbeb
movzwl -0x10(%rbp), %eax
movzwl -0x20(%rbp), %ecx
orl %ecx, %eax
shll %eax
movzwl %ax, %eax
orq -0x18(%rbp), %rax
orq -0x28(%rbp), %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x33(%rbp)
movb -0x33(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4(%rbp)
jmp 0x1dc47
movzbl -0x31(%rbp), %eax
cmpl $0x0, %eax
je 0x1dc22
movzwl -0x20(%rbp), %eax
movl %eax, %edi
movq -0x28(%rbp), %rsi
movzwl -0x10(%rbp), %eax
movl %eax, %edx
movq -0x18(%rbp), %rcx
callq 0x1d2d0
movzbl %al, %eax
movl %eax, -0x38(%rbp)
jmp 0x1dc41
movzwl -0x10(%rbp), %eax
movl %eax, %edi
movq -0x18(%rbp), %rsi
movzwl -0x20(%rbp), %eax
movl %eax, %edx
movq -0x28(%rbp), %rcx
callq 0x1d2d0
movzbl %al, %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_lt
int floatx80_lt(floatx80 a, floatx80 b, float_status *status)
{
    flag aSign, bSign;

    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        float_raise(float_flag_invalid, status);
        return 0;
    }
    aSign = extractFloatx80Sign( a );
    bSign = extractFloatx80Sign( b );
    if ( aSign != bSign ) {
        return
               aSign
            && (    ( ( (uint16_t) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
                 != 0 );
    }
    return
          aSign ? lt128( b.high, b.low, a.high, a.low )
        : lt128( a.high, a.low, b.high, b.low );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1dc9c
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1dcc6
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1dce0
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1dce0
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x0, -0x4(%rbp)
jmp 0x1dd97
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x31(%rbp)
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab70
movb %al, -0x32(%rbp)
movzbl -0x31(%rbp), %eax
movzbl -0x32(%rbp), %ecx
cmpl %ecx, %eax
je 0x1dd48
movzbl -0x31(%rbp), %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x33(%rbp)
je 0x1dd3b
movzwl -0x10(%rbp), %eax
movzwl -0x20(%rbp), %ecx
orl %ecx, %eax
shll %eax
movzwl %ax, %eax
orq -0x18(%rbp), %rax
orq -0x28(%rbp), %rax
cmpq $0x0, %rax
setne %al
movb %al, -0x33(%rbp)
movb -0x33(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4(%rbp)
jmp 0x1dd97
movzbl -0x31(%rbp), %eax
cmpl $0x0, %eax
je 0x1dd72
movzwl -0x20(%rbp), %eax
movl %eax, %edi
movq -0x28(%rbp), %rsi
movzwl -0x10(%rbp), %eax
movl %eax, %edx
movq -0x18(%rbp), %rcx
callq 0x19d70
movzbl %al, %eax
movl %eax, -0x38(%rbp)
jmp 0x1dd91
movzwl -0x10(%rbp), %eax
movl %eax, %edi
movq -0x18(%rbp), %rsi
movzwl -0x20(%rbp), %eax
movl %eax, %edx
movq -0x28(%rbp), %rcx
callq 0x19d70
movzbl %al, %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_unordered
int floatx80_unordered(floatx80 a, floatx80 b, float_status *status)
{
    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        float_raise(float_flag_invalid, status);
        return 1;
    }
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1ddec
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1de16
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1de2d
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1de2d
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x1, -0x4(%rbp)
jmp 0x1de34
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_eq_quiet
int floatx80_eq_quiet(floatx80 a, floatx80 b, float_status *status)
{

    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        if (    floatx80_is_signaling_nan( a )
             || floatx80_is_signaling_nan( b ) ) {
            float_raise(float_flag_invalid, status);
        }
        return 0;
    }
    return
           ( a.low == b.low )
        && (    ( a.high == b.high )
             || (    ( a.low == 0 )
                  && ( (uint16_t) ( ( a.high | b.high )<<1 ) == 0 ) )
           );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1de8c
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1deb6
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1def1
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1def1
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
jne 0x1deda
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
je 0x1dee8
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x0, -0x4(%rbp)
jmp 0x1df4c
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq -0x28(%rbp), %rcx
movb %al, -0x31(%rbp)
jne 0x1df41
movzwl -0x10(%rbp), %ecx
movzwl -0x20(%rbp), %edx
movb $0x1, %al
cmpl %edx, %ecx
movb %al, -0x32(%rbp)
je 0x1df3b
xorl %eax, %eax
cmpq $0x0, -0x18(%rbp)
movb %al, -0x33(%rbp)
jne 0x1df35
movzwl -0x10(%rbp), %eax
movzwl -0x20(%rbp), %ecx
orl %ecx, %eax
shll %eax
movzwl %ax, %eax
cmpl $0x0, %eax
sete %al
movb %al, -0x33(%rbp)
movb -0x33(%rbp), %al
movb %al, -0x32(%rbp)
movb -0x32(%rbp), %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_lt_quiet
int floatx80_lt_quiet(floatx80 a, floatx80 b, float_status *status)
{
    flag aSign, bSign;

    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        if (    floatx80_is_signaling_nan( a )
             || floatx80_is_signaling_nan( b ) ) {
            float_raise(float_flag_invalid, status);
        }
        return 0;
    }
    aSign = extractFloatx80Sign( a );
    bSign = extractFloatx80Sign( b );
    if ( aSign != bSign ) {
        return
               aSign
            && (    ( ( (uint16_t) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
                 != 0 );
    }
    return
          aSign ? lt128( b.high, b.low, a.high, a.low )
        : lt128( a.high, a.low, b.high, b.low );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1e12c
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1e156
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1e194
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1e194
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
jne 0x1e17a
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
je 0x1e188
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x0, -0x4(%rbp)
jmp 0x1e24b
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab70
movb %al, -0x31(%rbp)
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab70
movb %al, -0x32(%rbp)
movzbl -0x31(%rbp), %eax
movzbl -0x32(%rbp), %ecx
cmpl %ecx, %eax
je 0x1e1fc
movzbl -0x31(%rbp), %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x33(%rbp)
je 0x1e1ef
movzwl -0x10(%rbp), %eax
movzwl -0x20(%rbp), %ecx
orl %ecx, %eax
shll %eax
movzwl %ax, %eax
orq -0x18(%rbp), %rax
orq -0x28(%rbp), %rax
cmpq $0x0, %rax
setne %al
movb %al, -0x33(%rbp)
movb -0x33(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4(%rbp)
jmp 0x1e24b
movzbl -0x31(%rbp), %eax
cmpl $0x0, %eax
je 0x1e226
movzwl -0x20(%rbp), %eax
movl %eax, %edi
movq -0x28(%rbp), %rsi
movzwl -0x10(%rbp), %eax
movl %eax, %edx
movq -0x18(%rbp), %rcx
callq 0x19d70
movzbl %al, %eax
movl %eax, -0x38(%rbp)
jmp 0x1e245
movzwl -0x10(%rbp), %eax
movl %eax, %edi
movq -0x18(%rbp), %rsi
movzwl -0x20(%rbp), %eax
movl %eax, %edx
movq -0x28(%rbp), %rcx
callq 0x19d70
movzbl %al, %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: floatx80_unordered_quiet
int floatx80_unordered_quiet(floatx80 a, floatx80 b, float_status *status)
{
    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )
         || (    ( extractFloatx80Exp( b ) == 0x7FFF )
              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )
       ) {
        if (    floatx80_is_signaling_nan( a )
             || floatx80_is_signaling_nan( b ) ) {
            float_raise(float_flag_invalid, status);
        }
        return 1;
    }
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movw %cx, %ax
movw %si, %cx
movq %rdi, -0x18(%rbp)
movw %cx, -0x10(%rbp)
movq %rdx, -0x28(%rbp)
movw %ax, -0x20(%rbp)
movq %r8, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1e2ac
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
jne 0x1e2d6
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab50
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x1e311
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x1ab30
shlq %rax
cmpq $0x0, %rax
je 0x1e311
movq -0x18(%rbp), %rdi
movzwl -0x10(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
jne 0x1e2fa
movq -0x28(%rbp), %rdi
movzwl -0x20(%rbp), %esi
callq 0x11360
cmpl $0x0, %eax
je 0x1e308
movq -0x30(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movl $0x1, -0x4(%rbp)
jmp 0x1e318
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: float128_to_int32
int32 float128_to_int32(float128 a, float_status *status)
{
    flag aSign;
    int32 aExp, shiftCount;
    uint64_t aSig0, aSig1;

    aSig1 = extractFloat128Frac1( a );
    aSig0 = extractFloat128Frac0( a );
    aExp = extractFloat128Exp( a );
    aSign = extractFloat128Sign( a );
    if ( ( aExp == 0x7FFF ) && ( aSig0 | aSig1 ) ) aSign = 0;
    if ( aExp ) aSig0 |= LIT64( 0x0001000000000000 );
    aSig0 |= ( aSig1 != 0 );
    shiftCount = 0x4028 - aExp;
    if ( 0 < shiftCount ) shift64RightJamming( aSig0, shiftCount, &aSig0 );
    return roundAndPackInt32(aSign, aSig0, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1e410
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1e430
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1e450
movl %eax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1e470
movb %al, -0x19(%rbp)
cmpl $0x7fff, -0x20(%rbp)    # imm = 0x7FFF
jne 0x1e3a1
movq -0x30(%rbp), %rax
orq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x1e3a1
movb $0x0, -0x19(%rbp)
cmpl $0x0, -0x20(%rbp)
je 0x1e3b9
movabsq $0x1000000000000, %rax  # imm = 0x1000000000000
orq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x38(%rbp)
setne %al
andb $0x1, %al
movzbl %al, %eax
cltq
orq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
movl $0x4028, %eax           # imm = 0x4028
subl -0x20(%rbp), %eax
movl %eax, -0x24(%rbp)
xorl %eax, %eax
cmpl -0x24(%rbp), %eax
jge 0x1e3f3
movq -0x30(%rbp), %rdi
movslq -0x24(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x11c20
movb -0x19(%rbp), %al
movq -0x30(%rbp), %rsi
movq -0x18(%rbp), %rdx
movzbl %al, %edi
callq 0x12820
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: float128_to_int64
int64 float128_to_int64(float128 a, float_status *status)
{
    flag aSign;
    int32 aExp, shiftCount;
    uint64_t aSig0, aSig1;

    aSig1 = extractFloat128Frac1( a );
    aSig0 = extractFloat128Frac0( a );
    aExp = extractFloat128Exp( a );
    aSign = extractFloat128Sign( a );
    if ( aExp ) aSig0 |= LIT64( 0x0001000000000000 );
    shiftCount = 0x402F - aExp;
    if ( shiftCount <= 0 ) {
        if ( 0x403E < aExp ) {
            float_raise(float_flag_invalid, status);
            if (    ! aSign
                 || (    ( aExp == 0x7FFF )
                      && ( aSig1 || ( aSig0 != LIT64( 0x0001000000000000 ) ) )
                    )
               ) {
                return LIT64( 0x7FFFFFFFFFFFFFFF );
            }
            return (int64_t) LIT64( 0x8000000000000000 );
        }
        shortShift128Left( aSig0, aSig1, - shiftCount, &aSig0, &aSig1 );
    }
    else {
        shift64ExtraRightJamming( aSig0, aSig1, shiftCount, &aSig0, &aSig1 );
    }
    return roundAndPackInt64(aSign, aSig0, aSig1, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x18(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e410
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e430
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e450
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e470
movb %al, -0x21(%rbp)
cmpl $0x0, -0x28(%rbp)
je 0x1e67e
movabsq $0x1000000000000, %rax  # imm = 0x1000000000000
orq -0x38(%rbp), %rax
movq %rax, -0x38(%rbp)
movl $0x402f, %eax           # imm = 0x402F
subl -0x28(%rbp), %eax
movl %eax, -0x2c(%rbp)
cmpl $0x0, -0x2c(%rbp)
jg 0x1e70c
movl $0x403e, %eax           # imm = 0x403E
cmpl -0x28(%rbp), %eax
jge 0x1e6ed
movq -0x20(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
cmpb $0x0, -0x21(%rbp)
je 0x1e6cd
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1e6dd
cmpq $0x0, -0x40(%rbp)
jne 0x1e6cd
movabsq $0x1000000000000, %rax  # imm = 0x1000000000000
cmpq %rax, -0x38(%rbp)
je 0x1e6dd
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
movq %rax, -0x8(%rbp)
jmp 0x1e740
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, -0x8(%rbp)
jmp 0x1e740
movq -0x38(%rbp), %rdi
movq -0x40(%rbp), %rsi
xorl %eax, %eax
subl -0x2c(%rbp), %eax
movslq %eax, %rdx
leaq -0x38(%rbp), %rcx
leaq -0x40(%rbp), %r8
callq 0x121c0
jmp 0x1e725
movq -0x38(%rbp), %rdi
movq -0x40(%rbp), %rsi
movslq -0x2c(%rbp), %rdx
leaq -0x38(%rbp), %rcx
leaq -0x40(%rbp), %r8
callq 0x12ce0
movb -0x21(%rbp), %al
movq -0x38(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq -0x20(%rbp), %rcx
movzbl %al, %edi
callq 0x12dc0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: float128_to_float32
float32 float128_to_float32(float128 a, float_status *status)
{
    flag aSign;
    int32 aExp;
    uint64_t aSig0, aSig1;
    uint32_t zSig;

    aSig1 = extractFloat128Frac1( a );
    aSig0 = extractFloat128Frac0( a );
    aExp = extractFloat128Exp( a );
    aSign = extractFloat128Sign( a );
    if ( aExp == 0x7FFF ) {
        if ( aSig0 | aSig1 ) {
            return commonNaNToFloat32(float128ToCommonNaN(a, status), status);
        }
        return packFloat32( aSign, 0xFF, 0 );
    }
    aSig0 |= ( aSig1 != 0 );
    shift64RightJamming( aSig0, 18, &aSig0 );
    zSig = aSig0;
    if ( aExp || zSig ) {
        zSig |= 0x40000000;
        aExp -= 0x3F81;
    }
    return roundAndPackFloat32(aSign, aExp, zSig, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x18(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e410
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e430
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e450
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e470
movb %al, -0x21(%rbp)
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1ea25
movq -0x30(%rbp), %rax
orq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x1ea10
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rsi
movq -0x10(%rbp), %rdx
leaq -0x58(%rbp), %rdi
callq 0x1eaa0
movq -0x20(%rbp), %rdi
leaq -0x58(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x16e90
movl %eax, -0x4(%rbp)
jmp 0x1ea90
movl $0xff, %esi
xorl %edx, %edx
movzbl -0x21(%rbp), %edi
callq 0x11750
movl %eax, -0x4(%rbp)
jmp 0x1ea90
cmpq $0x0, -0x38(%rbp)
setne %al
andb $0x1, %al
movzbl %al, %eax
cltq
orq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
movl $0x12, %esi
leaq -0x30(%rbp), %rdx
callq 0x11c20
movq -0x30(%rbp), %rax
movl %eax, -0x3c(%rbp)
cmpl $0x0, -0x28(%rbp)
jne 0x1ea61
cmpl $0x0, -0x3c(%rbp)
je 0x1ea77
movl -0x3c(%rbp), %eax
orl $0x40000000, %eax       # imm = 0x40000000
movl %eax, -0x3c(%rbp)
movl -0x28(%rbp), %eax
subl $0x3f81, %eax           # imm = 0x3F81
movl %eax, -0x28(%rbp)
movb -0x21(%rbp), %al
movslq -0x28(%rbp), %rsi
movl -0x3c(%rbp), %edx
movq -0x20(%rbp), %rcx
movzbl %al, %edi
callq 0x11cb0
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x70, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/./softfloat-specialize.h
// Function: float128ToCommonNaN
static commonNaNT float128ToCommonNaN(float128 a, float_status *status)
{
    commonNaNT z;

    if (float128_is_signaling_nan(a)) {
        float_raise(float_flag_invalid, status);
    }
    z.sign = a.high>>63;
    shortShift128Left( a.high, a.low, 16, &z.high, &z.low );
    return z;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x28(%rbp)
movq %rdi, -0x20(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movq %rcx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x114a0
cmpl $0x0, %eax
je 0x1eadc
movq -0x18(%rbp), %rsi
movl $0x1, %edi
callq 0x11080
movq -0x28(%rbp), %r8
movq -0x8(%rbp), %rax
shrq $0x3f, %rax
movb %al, (%r8)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq %r8, %rcx
addq $0x8, %rcx
addq $0x10, %r8
movl $0x10, %edx
callq 0x121c0
movq -0x20(%rbp), %rax
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mbitsnbites[P]SoftFP/softfloat.c
// Function: float128_to_float64
float64 float128_to_float64(float128 a, float_status *status)
{
    flag aSign;
    int32 aExp;
    uint64_t aSig0, aSig1;

    aSig1 = extractFloat128Frac1( a );
    aSig0 = extractFloat128Frac0( a );
    aExp = extractFloat128Exp( a );
    aSign = extractFloat128Sign( a );
    if ( aExp == 0x7FFF ) {
        if ( aSig0 | aSig1 ) {
            return commonNaNToFloat64(float128ToCommonNaN(a, status), status);
        }
        return packFloat64( aSign, 0x7FF, 0 );
    }
    shortShift128Left( aSig0, aSig1, 14, &aSig0, &aSig1 );
    aSig0 |= ( aSig1 != 0 );
    if ( aExp || aSig0 ) {
        aSig0 |= LIT64( 0x4000000000000000 );
        aExp -= 0x3C01;
    }
    return roundAndPackFloat64(aSign, aExp, aSig0, status);

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x18(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e410
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e430
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e450
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1e470
movb %al, -0x21(%rbp)
cmpl $0x7fff, -0x28(%rbp)    # imm = 0x7FFF
jne 0x1ebe9
movq -0x30(%rbp), %rax
orq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x1ebd1
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rsi
movq -0x10(%rbp), %rdx
leaq -0x50(%rbp), %rdi
callq 0x1eaa0
movq -0x20(%rbp), %rdi
leaq -0x50(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x134d0
movq %rax, -0x8(%rbp)
jmp 0x1ec5f
movl $0x7ff, %esi            # imm = 0x7FF
xorl %eax, %eax
movl %eax, %edx
movzbl -0x21(%rbp), %edi
callq 0x118b0
movq %rax, -0x8(%rbp)
jmp 0x1ec5f
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
movl $0xe, %edx
leaq -0x30(%rbp), %rcx
leaq -0x38(%rbp), %r8
callq 0x121c0
cmpq $0x0, -0x38(%rbp)
setne %al
andb $0x1, %al
movzbl %al, %eax
cltq
orq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
cmpl $0x0, -0x28(%rbp)
jne 0x1ec27
cmpq $0x0, -0x30(%rbp)
je 0x1ec44
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
orq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0x28(%rbp), %eax
subl $0x3c01, %eax           # imm = 0x3C01
movl %eax, -0x28(%rbp)
movb -0x21(%rbp), %al
movslq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rdx
movq -0x20(%rbp), %rcx
movzbl %al, %edi
callq 0x12390
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
nopl (%rax)