/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | f32_classify.c | 14 uint_fast32_t uiA; local 17 uiA = uA.ui; 19 uint_fast16_t infOrNaN = expF32UI( uiA ) == 0xFF; 20 uint_fast16_t subnormalOrZero = expF32UI( uiA ) == 0; 21 bool sign = signF32UI( uiA ); 24 ( sign && infOrNaN && fracF32UI( uiA ) == 0 ) << 0 | 26 ( sign && subnormalOrZero && fracF32UI( uiA ) ) << 2 | 27 ( sign && subnormalOrZero && fracF32UI( uiA ) == 0 ) << 3 | 28 ( !sign && infOrNaN && fracF32UI( uiA ) == 0 ) << 7 | 30 ( !sign && subnormalOrZero && fracF32UI( uiA ) ) << [all...] |
H A D | f64_classify.c | 14 uint_fast64_t uiA; local 17 uiA = uA.ui; 19 uint_fast16_t infOrNaN = expF64UI( uiA ) == 0x7FF; 20 uint_fast16_t subnormalOrZero = expF64UI( uiA ) == 0; 21 bool sign = signF64UI( uiA ); 24 ( sign && infOrNaN && fracF64UI( uiA ) == 0 ) << 0 | 26 ( sign && subnormalOrZero && fracF64UI( uiA ) ) << 2 | 27 ( sign && subnormalOrZero && fracF64UI( uiA ) == 0 ) << 3 | 28 ( !sign && infOrNaN && fracF64UI( uiA ) == 0 ) << 7 | 30 ( !sign && subnormalOrZero && fracF64UI( uiA ) ) << [all...] |
H A D | f16_add.c | 46 uint_fast16_t uiA; local 54 uiA = uA.ui; 58 if ( signF16UI( uiA ^ uiB ) ) { 59 return softfloat_subMagsF16( uiA, uiB ); 61 return softfloat_addMagsF16( uiA, uiB ); 65 signF16UI( uiA ^ uiB ) ? softfloat_subMagsF16 : softfloat_addMagsF16; 66 return (*magsFuncPtr)( uiA, uiB );
|
H A D | f16_le.c | 46 uint_fast16_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 59 signA = signF16UI( uiA ); 62 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1) 63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f16_lt.c | 46 uint_fast16_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 59 signA = signF16UI( uiA ); 62 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0) 63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | f16_sub.c | 46 uint_fast16_t uiA; local 54 uiA = uA.ui; 58 if ( signF16UI( uiA ^ uiB ) ) { 59 return softfloat_addMagsF16( uiA, uiB ); 61 return softfloat_subMagsF16( uiA, uiB ); 65 signF16UI( uiA ^ uiB ) ? softfloat_addMagsF16 : softfloat_subMagsF16; 66 return (*magsFuncPtr)( uiA, uiB );
|
H A D | f32_add.c | 46 uint_fast32_t uiA; local 54 uiA = uA.ui; 58 if ( signF32UI( uiA ^ uiB ) ) { 59 return softfloat_subMagsF32( uiA, uiB ); 61 return softfloat_addMagsF32( uiA, uiB ); 65 signF32UI( uiA ^ uiB ) ? softfloat_subMagsF32 : softfloat_addMagsF32; 66 return (*magsFuncPtr)( uiA, uiB );
|
H A D | f32_le.c | 46 uint_fast32_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 59 signA = signF32UI( uiA ); 62 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1) 63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f32_lt.c | 46 uint_fast32_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 59 signA = signF32UI( uiA ); 62 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0) 63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | f32_sub.c | 46 uint_fast32_t uiA; local 54 uiA = uA.ui; 58 if ( signF32UI( uiA ^ uiB ) ) { 59 return softfloat_addMagsF32( uiA, uiB ); 61 return softfloat_subMagsF32( uiA, uiB ); 65 signF32UI( uiA ^ uiB ) ? softfloat_addMagsF32 : softfloat_subMagsF32; 66 return (*magsFuncPtr)( uiA, uiB );
|
H A D | f64_le.c | 46 uint_fast64_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 59 signA = signF64UI( uiA ); 63 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 64 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f64_lt.c | 46 uint_fast64_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 59 signA = signF64UI( uiA ); 63 ? signA && ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 64 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | f16_eq_signaling.c | 46 uint_fast16_t uiA; local 51 uiA = uA.ui; 54 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 58 return (uiA == uiB) || ! (uint16_t) ((uiA | uiB)<<1);
|
H A D | f32_eq_signaling.c | 46 uint_fast32_t uiA; local 51 uiA = uA.ui; 54 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 58 return (uiA == uiB) || ! (uint32_t) ((uiA | uiB)<<1);
|
H A D | f64_eq_signaling.c | 46 uint_fast64_t uiA; local 51 uiA = uA.ui; 54 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 58 return (uiA == uiB) || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ));
|
H A D | f16_eq.c | 47 uint_fast16_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 57 softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB ) 63 return (uiA == uiB) || ! (uint16_t) ((uiA | uiB)<<1);
|
H A D | f32_eq.c | 47 uint_fast32_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 57 softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB ) 63 return (uiA == uiB) || ! (uint32_t) ((uiA | uiB)<<1);
|
H A D | f64_eq.c | 47 uint_fast64_t uiA; local 52 uiA = uA.ui; 55 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 57 softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB ) 63 return (uiA == uiB) || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ));
|
H A D | f16_le_quiet.c | 47 uint_fast16_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 58 softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB ) 64 signA = signF16UI( uiA ); 67 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1) 68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f16_lt_quiet.c | 47 uint_fast16_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) { 58 softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB ) 64 signA = signF16UI( uiA ); 67 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0) 68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | f32_le_quiet.c | 47 uint_fast32_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 58 softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB ) 64 signA = signF32UI( uiA ); 67 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1) 68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f32_lt_quiet.c | 47 uint_fast32_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) { 58 softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB ) 64 signA = signF32UI( uiA ); 67 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0) 68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | f64_le_quiet.c | 47 uint_fast64_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 58 softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB ) 64 signA = signF64UI( uiA ); 68 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 69 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
H A D | f64_lt_quiet.c | 47 uint_fast64_t uiA; local 53 uiA = uA.ui; 56 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) { 58 softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB ) 64 signA = signF64UI( uiA ); 68 ? signA && ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 69 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
H A D | s_propagateNaNF16UI.c | 43 | Interpreting `uiA' and `uiB' as the bit patterns of two 16-bit floating- 45 | the combined NaN result. If either `uiA' or `uiB' has the pattern of a 49 softfloat_propagateNaNF16UI( uint_fast16_t uiA, uint_fast16_t uiB ) argument 52 if ( softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB ) ) {
|