/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | s_tryPropagateNaNF128M.c | 45 const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) 48 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 49 softfloat_propagateNaNF128M( aWPtr, bWPtr, zWPtr ); 44 softfloat_tryPropagateNaNF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) argument
|
H A D | s_propagateNaNF128M.c | 45 | `aWPtr' and `bWPtr' is a NaN, stores the combined NaN result at the location 47 | signaling NaN, the invalid exception is raised. Each of `aWPtr', `bWPtr', 53 const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) 58 || (bWPtr && f128M_isSignalingNaN( (const float128_t *) bWPtr )) 52 softfloat_propagateNaNF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) argument
|
H A D | f128M_le.c | 56 const uint32_t *aWPtr, *bWPtr; local 62 bWPtr = (const uint32_t *) bPtr; 63 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 68 uiB96 = bWPtr[indexWordHi( 4 )]; 75 wordB = bWPtr[indexWord( 4, 2 )]; 78 wordB = bWPtr[indexWord( 4, 1 )]; 81 wordB = bWPtr[indexWord( 4, 0 )]; 86 bWPtr = (const uint32_t *) aPtr; 88 return (softfloat_compare128M( aWPtr, bWPtr ) <= 0);
|
H A D | f128M_le_quiet.c | 57 const uint32_t *aWPtr, *bWPtr; local 63 bWPtr = (const uint32_t *) bPtr; 64 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 71 uiB96 = bWPtr[indexWordHi( 4 )]; 78 wordB = bWPtr[indexWord( 4, 2 )]; 81 wordB = bWPtr[indexWord( 4, 1 )]; 84 wordB = bWPtr[indexWord( 4, 0 )]; 89 bWPtr = (const uint32_t *) aPtr; 91 return (softfloat_compare128M( aWPtr, bWPtr ) <= 0);
|
H A D | f128M_lt.c | 56 const uint32_t *aWPtr, *bWPtr; local 62 bWPtr = (const uint32_t *) bPtr; 63 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 68 uiB96 = bWPtr[indexWordHi( 4 )]; 75 wordB = bWPtr[indexWord( 4, 2 )]; 78 wordB = bWPtr[indexWord( 4, 1 )]; 81 wordB = bWPtr[indexWord( 4, 0 )]; 86 bWPtr = (const uint32_t *) aPtr; 88 return (softfloat_compare128M( aWPtr, bWPtr ) < 0);
|
H A D | f128M_lt_quiet.c | 57 const uint32_t *aWPtr, *bWPtr; local 63 bWPtr = (const uint32_t *) bPtr; 64 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 71 uiB96 = bWPtr[indexWordHi( 4 )]; 78 wordB = bWPtr[indexWord( 4, 2 )]; 81 wordB = bWPtr[indexWord( 4, 1 )]; 84 wordB = bWPtr[indexWord( 4, 0 )]; 89 bWPtr = (const uint32_t *) aPtr; 91 return (softfloat_compare128M( aWPtr, bWPtr ) < 0);
|
H A D | f128M_eq.c | 57 const uint32_t *aWPtr, *bWPtr; local 63 bWPtr = (const uint32_t *) bPtr; 65 wordB = bWPtr[indexWord( 4, 2 )]; 68 uiB96 = bWPtr[indexWordHi( 4 )]; 76 wordB = bWPtr[indexWord( 4, 1 )]; 80 wordB = bWPtr[indexWord( 4, 0 )]; 85 if ( ! softfloat_isNaNF128M( aWPtr ) && ! softfloat_isNaNF128M( bWPtr ) ) { 91 || f128M_isSignalingNaN( (const float128_t *) bWPtr )
|
H A D | f128M_eq_signaling.c | 57 const uint32_t *aWPtr, *bWPtr; local 63 bWPtr = (const uint32_t *) bPtr; 64 if ( softfloat_isNaNF128M( aWPtr ) || softfloat_isNaNF128M( bWPtr ) ) { 69 wordB = bWPtr[indexWord( 4, 2 )]; 72 uiB96 = bWPtr[indexWordHi( 4 )]; 80 wordB = bWPtr[indexWord( 4, 1 )]; 84 wordB = bWPtr[indexWord( 4, 0 )];
|
H A D | f128M_mulAdd.c | 52 const uint64_t *aWPtr, *bWPtr, *cWPtr; local 58 bWPtr = (const uint64_t *) bPtr; 62 uiB64 = bWPtr[indexWord( 2, 1 )]; 63 uiB0 = bWPtr[indexWord( 2, 0 )];
|
H A D | f128M_mul.c | 59 const uint32_t *aWPtr, *bWPtr; local 76 bWPtr = (const uint32_t *) bPtr; 82 uiB96 = bWPtr[indexWordHi( 4 )]; 88 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 92 ptr = bWPtr; 119 sigB[indexWord( 4, 2 )] = bWPtr[indexWord( 4, 2 )]; 120 sigB[indexWord( 4, 1 )] = bWPtr[indexWord( 4, 1 )]; 121 sigB[indexWord( 4, 0 )] = bWPtr[indexWord( 4, 0 )]; 123 expB = softfloat_shiftNormSigF128M( bWPtr, 0, sigB );
|
H A D | s_addF128M.c | 47 const uint32_t *bWPtr, 77 uiB96 = bWPtr[indexWordHi( 4 )]; 82 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 107 aWPtr = bWPtr; 108 bWPtr = tempPtr; 110 uiB96 = bWPtr[indexWordHi( 4 )]; 131 extSigZ[indexWord( 5, 3 )] = bWPtr[indexWord( 4, 2 )]; 132 extSigZ[indexWord( 5, 2 )] = bWPtr[indexWord( 4, 1 )]; 133 extSigZ[indexWord( 5, 1 )] = bWPtr[indexWord( 4, 0 )]; 161 &bWPtr[indexMultiwordL 45 softfloat_addF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr, bool negateB ) argument [all...] |
H A D | f128M_add.c | 48 const uint64_t *aWPtr, *bWPtr; local 60 bWPtr = (const uint64_t *) bPtr; 64 uiB64 = bWPtr[indexWord( 2, 1 )]; 65 uiB0 = bWPtr[indexWord( 2, 0 )];
|
H A D | f128M_sub.c | 48 const uint64_t *aWPtr, *bWPtr; local 60 bWPtr = (const uint64_t *) bPtr; 64 uiB64 = bWPtr[indexWord( 2, 1 )]; 65 uiB0 = bWPtr[indexWord( 2, 0 )];
|
H A D | f128M_div.c | 59 const uint32_t *aWPtr, *bWPtr; local 77 bWPtr = (const uint32_t *) bPtr; 84 uiB96 = bWPtr[indexWordHi( 4 )]; 91 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 101 expB = softfloat_shiftNormSigF128M( bWPtr, 13, sigB );
|
H A D | f128M_rem.c | 59 const uint32_t *aWPtr, *bWPtr; local 72 bWPtr = (const uint32_t *) bPtr; 78 expB = expF128UI96( bWPtr[indexWordHi( 4 )] ); 82 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 91 expB = softfloat_shiftNormSigF128M( bWPtr, 13, x );
|
H A D | s_mulAddF128M.c | 47 const uint32_t *bWPtr, 86 uiB96 = bWPtr[indexWordHi( 4 )]; 98 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) { 104 ptr = (uint32_t *) bWPtr; 144 sigX[indexWord( 4, 2 )] = bWPtr[indexWord( 4, 2 )]; 145 sigX[indexWord( 4, 1 )] = bWPtr[indexWord( 4, 1 )]; 146 sigX[indexWord( 4, 0 )] = bWPtr[indexWord( 4, 0 )]; 148 expB = softfloat_shiftNormSigF128M( bWPtr, 0, sigX ); 45 softfloat_mulAddF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, const uint32_t *cWPtr, uint32_t *zWPtr, uint_fast8_t op ) argument
|
H A D | specialize.h | 394 | 'aWPtr' and 'bWPtr' is a NaN, stores the combined NaN result at the location 396 | signaling NaN, the invalid exception is raised. Each of 'aWPtr', 'bWPtr', 402 const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr );
|