| /seL4-test-master/tools/riscv-pk/softfloat/ |
| H A D | f16_add.c | 48 uint_fast16_t uiB; local
56 uiB = uB.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 | 48 uint_fast16_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) {
60 signB = signF16UI( uiB );
62 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1)
63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f16_lt.c | 48 uint_fast16_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) {
60 signB = signF16UI( uiB );
62 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0)
63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f16_sub.c | 48 uint_fast16_t uiB; local
56 uiB = uB.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 | 48 uint_fast32_t uiB; local
56 uiB = uB.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 | 48 uint_fast32_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
60 signB = signF32UI( uiB );
62 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1)
63 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f32_lt.c | 48 uint_fast32_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
60 signB = signF32UI( uiB );
62 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0)
63 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f32_sub.c | 48 uint_fast32_t uiB; local
56 uiB = uB.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 | 48 uint_fast64_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) {
60 signB = signF64UI( uiB );
63 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
64 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f64_lt.c | 48 uint_fast64_t uiB; local
54 uiB = uB.ui;
55 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) {
60 signB = signF64UI( uiB );
63 ? signA && ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
64 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f16_eq_signaling.c | 48 uint_fast16_t uiB; local
53 uiB = uB.ui;
54 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) {
58 return (uiA == uiB) || ! (uint16_t) ((uiA | uiB)<<1);
|
| H A D | f32_eq_signaling.c | 48 uint_fast32_t uiB; local
53 uiB = uB.ui;
54 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
58 return (uiA == uiB) || ! (uint32_t) ((uiA | uiB)<<1);
|
| H A D | f64_eq_signaling.c | 48 uint_fast64_t uiB; local
53 uiB = uB.ui;
54 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) {
58 return (uiA == uiB) || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ));
|
| H A D | f16_eq.c | 49 uint_fast16_t uiB; local
54 uiB = uB.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 | 49 uint_fast32_t uiB; local
54 uiB = uB.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 | 49 uint_fast64_t uiB; local
54 uiB = uB.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 | 49 uint_fast16_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) {
58 softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB )
65 signB = signF16UI( uiB );
67 (signA != signB) ? signA || ! (uint16_t) ((uiA | uiB)<<1)
68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f16_lt_quiet.c | 49 uint_fast16_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF16UI( uiA ) || isNaNF16UI( uiB ) ) {
58 softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB )
65 signB = signF16UI( uiB );
67 (signA != signB) ? signA && ((uint16_t) ((uiA | uiB)<<1) != 0)
68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f32_le_quiet.c | 49 uint_fast32_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
58 softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB )
65 signB = signF32UI( uiB );
67 (signA != signB) ? signA || ! (uint32_t) ((uiA | uiB)<<1)
68 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f32_lt_quiet.c | 49 uint_fast32_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF32UI( uiA ) || isNaNF32UI( uiB ) ) {
58 softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB )
65 signB = signF32UI( uiB );
67 (signA != signB) ? signA && ((uint32_t) ((uiA | uiB)<<1) != 0)
68 : (uiA != uiB) && (signA ^ (uiA < uiB));
|
| H A D | f64_le_quiet.c | 49 uint_fast64_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) {
58 softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB )
65 signB = signF64UI( uiB );
68 ? signA || ! ((uiA | uiB) & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
69 : (uiA == uiB) || (signA ^ (uiA < uiB));
|
| H A D | f64_lt_quiet.c | 49 uint_fast64_t uiB; local
55 uiB = uB.ui;
56 if ( isNaNF64UI( uiA ) || isNaNF64UI( uiB ) ) {
58 softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB )
65 signB = signF64UI( uiB );
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 )
52 if ( softfloat_isSigNaNF16UI( uiA ) || softfloat_isSigNaNF16UI( uiB ) ) {
|
| H A D | s_propagateNaNF32UI.c | 43 | Interpreting `uiA' and `uiB' as the bit patterns of two 32-bit floating-
45 | the combined NaN result. If either `uiA' or `uiB' has the pattern of a
49 softfloat_propagateNaNF32UI( uint_fast32_t uiA, uint_fast32_t uiB )
52 if ( softfloat_isSigNaNF32UI( uiA ) || softfloat_isSigNaNF32UI( uiB ) ) {
|
| H A D | s_propagateNaNF64UI.c | 43 | Interpreting `uiA' and `uiB' as the bit patterns of two 64-bit floating-
45 | the combined NaN result. If either `uiA' or `uiB' has the pattern of a
49 softfloat_propagateNaNF64UI( uint_fast64_t uiA, uint_fast64_t uiB )
52 if ( softfloat_isSigNaNF64UI( uiA ) || softfloat_isSigNaNF64UI( uiB ) ) {
|