arch/arm/nwfpe/softfloat-specialize

File Facts

System

Linux kernel

Corpus path

arch/arm/nwfpe/softfloat-specialize

Extension

[no extension]

Size

12308 bytes

Lines

368

Domain

Architecture Layer

Bucket

arch/arm

Inferred role

Architecture Layer: arch/arm

Status

atlas-only

Why This File Exists

CPU and platform-specific kernel glue: boot entry, traps, syscall entry, interrupts, page tables, context switch, and low-level barriers.

• CPU and platform-specific kernel glue: boot entry, traps, syscall entry, interrupts, page tables, context switch, and low-level barriers.

Dependency Surface

• No C-style include directives detected by the generator.

Detected Declarations

• function float_raise
• function float32_is_nan
• function float32_is_signaling_nan
• function float32ToCommonNaN
• function commonNaNToFloat32
• function propagateFloat32NaN
• function float64_is_nan
• function float64_is_signaling_nan
• function float64ToCommonNaN
• function commonNaNToFloat64
• function propagateFloat64NaN
• function floatx80_is_nan
• function floatx80_is_signaling_nan
• function floatx80ToCommonNaN
• function commonNaNToFloatx80
• function propagateFloatx80NaN

Annotated Snippet

if ( aIsNaN ) {
        return ( aIsSignalingNaN & bIsNaN ) ? b : a;
    }
    else {
        return b;
    }

}

/*
-------------------------------------------------------------------------------
The pattern for a default generated double-precision NaN.
-------------------------------------------------------------------------------
*/
#define float64_default_nan LIT64( 0xFFFFFFFFFFFFFFFF )

/*
-------------------------------------------------------------------------------
Returns 1 if the double-precision floating-point value `a' is a NaN;
otherwise returns 0.
-------------------------------------------------------------------------------
*/
flag float64_is_nan( float64 a )
{

    return ( LIT64( 0xFFE0000000000000 ) < (bits64) ( a<<1 ) );

}

/*
-------------------------------------------------------------------------------
Returns 1 if the double-precision floating-point value `a' is a signaling
NaN; otherwise returns 0.
-------------------------------------------------------------------------------
*/
flag float64_is_signaling_nan( float64 a )
{

    return
           ( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
        && ( a & LIT64( 0x0007FFFFFFFFFFFF ) );

}

/*
-------------------------------------------------------------------------------
Returns the result of converting the double-precision floating-point NaN
`a' to the canonical NaN format.  If `a' is a signaling NaN, the invalid
exception is raised.
-------------------------------------------------------------------------------
*/
static commonNaNT float64ToCommonNaN( float64 a )
{
    commonNaNT z;

    if ( float64_is_signaling_nan( a ) ) float_raise( float_flag_invalid );
    z.sign = a>>63;
    z.low = 0;
    z.high = a<<12;
    return z;

}

/*
-------------------------------------------------------------------------------
Returns the result of converting the canonical NaN `a' to the double-
precision floating-point format.
-------------------------------------------------------------------------------
*/
static float64 commonNaNToFloat64( commonNaNT a )

Annotation

• Detected declarations: `function float_raise`, `function float32_is_nan`, `function float32_is_signaling_nan`, `function float32ToCommonNaN`, `function commonNaNToFloat32`, `function propagateFloat32NaN`, `function float64_is_nan`, `function float64_is_signaling_nan`, `function float64ToCommonNaN`, `function commonNaNToFloat64`.
• Atlas domain: Architecture Layer / arch/arm.
• Implementation status: atlas-only.

Implementation Notes

• This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
• Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
• Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.