| /seL4-camkes-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 ) ) {
|