/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_normSubnormalF128SigM.c | 44 int_fast16_t shiftDist; local 48 shiftDist = 0; 52 shiftDist += 32; 53 if ( 128 <= shiftDist ) return 1; 56 shiftDist += softfloat_countLeadingZeros32( wordSig ) - 15; 57 if ( shiftDist ) softfloat_shiftLeft128M( sigPtr, shiftDist, sigPtr ); 58 return 1 - shiftDist;
|
H A D | ui64_to_f16.c | 44 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros64( a ) - 53; 49 if ( 0 <= shiftDist ) { 52 0, 0x18 - shiftDist, (uint_fast16_t) a<<shiftDist ) 56 shiftDist += 4; 58 (shiftDist < 0) ? softfloat_shortShiftRightJam64( a, -shiftDist ) 59 : (uint_fast16_t) a<<shiftDist; 60 return softfloat_roundPackToF16( 0, 0x1C - shiftDist, si [all...] |
H A D | ui64_to_f32.c | 44 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros64( a ) - 40; 49 if ( 0 <= shiftDist ) { 52 0, 0x95 - shiftDist, (uint_fast32_t) a<<shiftDist ) 56 shiftDist += 7; 58 (shiftDist < 0) ? softfloat_shortShiftRightJam64( a, -shiftDist ) 59 : (uint_fast32_t) a<<shiftDist; 60 return softfloat_roundPackToF32( 0, 0x9C - shiftDist, si [all...] |
H A D | s_normExtF80SigM.c | 44 int_fast8_t shiftDist; local 47 shiftDist = softfloat_countLeadingZeros64( sig ); 48 *sigPtr = sig<<shiftDist; 49 return -shiftDist;
|
H A D | ui32_to_f16.c | 44 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros32( a ) - 21; 49 if ( 0 <= shiftDist ) { 52 0, 0x18 - shiftDist, (uint_fast16_t) a<<shiftDist ) 56 shiftDist += 4; 58 (shiftDist < 0) 59 ? a>>(-shiftDist) | ((uint32_t) (a<<(shiftDist & 31)) != 0) 60 : (uint_fast16_t) a<<shiftDist; [all...] |
H A D | i64_to_f16.c | 47 int_fast8_t shiftDist; local 53 shiftDist = softfloat_countLeadingZeros64( absA ) - 53; 54 if ( 0 <= shiftDist ) { 57 sign, 0x18 - shiftDist, (uint_fast16_t) absA<<shiftDist ) 61 shiftDist += 4; 63 (shiftDist < 0) 64 ? softfloat_shortShiftRightJam64( absA, -shiftDist ) 65 : (uint_fast16_t) absA<<shiftDist; 66 return softfloat_roundPackToF16( sign, 0x1C - shiftDist, si [all...] |
H A D | i64_to_f32.c | 47 int_fast8_t shiftDist; local 53 shiftDist = softfloat_countLeadingZeros64( absA ) - 40; 54 if ( 0 <= shiftDist ) { 57 sign, 0x95 - shiftDist, (uint_fast32_t) absA<<shiftDist ) 61 shiftDist += 7; 63 (shiftDist < 0) 64 ? softfloat_shortShiftRightJam64( absA, -shiftDist ) 65 : (uint_fast32_t) absA<<shiftDist; 66 return softfloat_roundPackToF32( sign, 0x9C - shiftDist, si [all...] |
H A D | s_normSubnormalF128Sig.c | 44 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros64( sig0 ) - 15; 49 z.exp = -63 - shiftDist; 50 if ( shiftDist < 0 ) { 51 z.sig.v64 = sig0>>-shiftDist; 52 z.sig.v0 = sig0<<(shiftDist & 63); 54 z.sig.v64 = sig0<<shiftDist; 58 shiftDist = softfloat_countLeadingZeros64( sig64 ) - 15; 59 z.exp = 1 - shiftDist; 60 z.sig = softfloat_shortShiftLeft128( sig64, sig0, shiftDist ); [all...] |
H A D | s_normRoundPackToF16.c | 45 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros16( sig ) - 1; 49 exp -= shiftDist; 50 if ( (4 <= shiftDist) && ((unsigned int) exp < 0x1D) ) { 51 uZ.ui = packToF16UI( sign, sig ? exp : 0, sig<<(shiftDist - 4) ); 54 return softfloat_roundPackToF16( sign, exp, sig<<shiftDist );
|
H A D | s_normRoundPackToF32.c | 45 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros32( sig ) - 1; 49 exp -= shiftDist; 50 if ( (7 <= shiftDist) && ((unsigned int) exp < 0xFD) ) { 51 uZ.ui = packToF32UI( sign, sig ? exp : 0, sig<<(shiftDist - 7) ); 54 return softfloat_roundPackToF32( sign, exp, sig<<shiftDist );
|
H A D | s_normRoundPackToF64.c | 45 int_fast8_t shiftDist; local 48 shiftDist = softfloat_countLeadingZeros64( sig ) - 1; 49 exp -= shiftDist; 50 if ( (10 <= shiftDist) && ((unsigned int) exp < 0x7FD) ) { 51 uZ.ui = packToF64UI( sign, sig ? exp : 0, sig<<(shiftDist - 10) ); 54 return softfloat_roundPackToF64( sign, exp, sig<<shiftDist );
|
H A D | s_normRoundPackMToExtF80M.c | 51 int_fast16_t shiftDist; local 54 shiftDist = 0; 57 shiftDist = 32; 60 shiftDist = 64; 69 shiftDist += softfloat_countLeadingZeros32( wordSig ); 70 if ( shiftDist ) { 71 exp -= shiftDist; 72 softfloat_shiftLeft96M( extSigPtr, shiftDist, extSigPtr );
|
H A D | s_normRoundPackMToF128M.c | 47 int_fast16_t shiftDist; local 51 shiftDist = 0; 55 shiftDist += 32; 56 if ( 160 <= shiftDist ) { 65 shiftDist += softfloat_countLeadingZeros32( wordSig ) - 15; 66 if ( shiftDist ) { 67 exp -= shiftDist; 68 softfloat_shiftLeft160M( extSigPtr, shiftDist, extSigPtr );
|
H A D | i32_to_f16.c | 47 int_fast8_t shiftDist; local 53 shiftDist = softfloat_countLeadingZeros32( absA ) - 21; 54 if ( 0 <= shiftDist ) { 57 sign, 0x18 - shiftDist, (uint_fast16_t) absA<<shiftDist ) 61 shiftDist += 4; 63 (shiftDist < 0) 64 ? absA>>(-shiftDist) 65 | ((uint32_t) (absA<<(shiftDist & 31)) != 0) 66 : (uint_fast16_t) absA<<shiftDist; [all...] |
H A D | s_normSubnormalExtF80Sig.c | 43 int_fast8_t shiftDist; local 46 shiftDist = softfloat_countLeadingZeros64( sig ); 47 z.exp = -shiftDist; 48 z.sig = sig<<shiftDist;
|
H A D | s_normSubnormalF16Sig.c | 43 int_fast8_t shiftDist; local 46 shiftDist = softfloat_countLeadingZeros16( sig ) - 5; 47 z.exp = 1 - shiftDist; 48 z.sig = sig<<shiftDist;
|
H A D | s_normSubnormalF32Sig.c | 43 int_fast8_t shiftDist; local 46 shiftDist = softfloat_countLeadingZeros32( sig ) - 8; 47 z.exp = 1 - shiftDist; 48 z.sig = sig<<shiftDist;
|
H A D | s_normSubnormalF64Sig.c | 43 int_fast8_t shiftDist; local 46 shiftDist = softfloat_countLeadingZeros64( sig ) - 11; 47 z.exp = 1 - shiftDist; 48 z.sig = sig<<shiftDist;
|
H A D | ui32_to_f64.c | 45 int_fast8_t shiftDist; local 51 shiftDist = softfloat_countLeadingZeros32( a ) + 21; 53 packToF64UI( 0, 0x432 - shiftDist, (uint_fast64_t) a<<shiftDist );
|
H A D | f32_to_ui64_r_minMag.c | 50 int_fast16_t shiftDist; local 62 shiftDist = 0xBE - exp; 63 if ( 64 <= shiftDist ) { 72 if ( sign || (shiftDist < 0) ) { 82 z = sig64>>shiftDist; 83 shiftDist = 40 - shiftDist; 84 if ( exact && (shiftDist < 0) && (uint32_t) (sig<<(shiftDist & 31)) ) {
|
H A D | ui64_to_f128.c | 45 int_fast8_t shiftDist; local 53 shiftDist = softfloat_countLeadingZeros64( a ) + 49; 54 if ( 64 <= shiftDist ) { 55 zSig.v64 = a<<(shiftDist - 64); 58 zSig = softfloat_shortShiftLeft128( 0, a, shiftDist ); 60 uiZ64 = packToF128UI64( 0, 0x406E - shiftDist, zSig.v64 );
|
H A D | extF80M_to_i64_r_minMag.c | 61 int32_t shiftDist; local 76 shiftDist = 0x403E - exp; 77 if ( 64 <= shiftDist ) { 83 if ( shiftDist < 0 ) { 84 if ( shiftDist <= -63 ) goto invalid; 85 shiftDist = -shiftDist; 86 absZ = sig<<shiftDist; 87 if ( absZ>>shiftDist != sig ) goto invalid; 90 if ( shiftDist ) abs local [all...] |
H A D | extF80M_to_ui64_r_minMag.c | 61 int32_t shiftDist; local 74 shiftDist = 0x403E - exp; 75 if ( 64 <= shiftDist ) { 82 if ( shiftDist < 0 ) { 83 if ( sign || (shiftDist <= -63) ) goto invalid; 84 shiftDist = -shiftDist; 85 z = sig<<shiftDist; 86 if ( z>>shiftDist != sig ) goto invalid; 89 if ( shiftDist ) local [all...] |
H A D | f64_to_ui64_r_minMag.c | 50 int_fast16_t shiftDist; local 62 shiftDist = 0x433 - exp; 63 if ( 53 <= shiftDist ) { 73 if ( shiftDist <= 0 ) { 74 if ( shiftDist < -11 ) goto invalid; 75 z = (sig | UINT64_C( 0x0010000000000000 ))<<-shiftDist; 78 z = sig>>shiftDist; 79 if ( exact && (uint64_t) (sig<<(-shiftDist & 63)) ) {
|
H A D | ui32_to_extF80.c | 45 int_fast8_t shiftDist; local 50 shiftDist = softfloat_countLeadingZeros32( a ); 51 uiZ64 = 0x401E - shiftDist; 52 a <<= shiftDist; local
|