| /seL4-camkes-master/tools/riscv-pk/softfloat/ |
| H A D | f128M_isSignalingNaN.c | 48 uint32_t uiA96; local
51 uiA96 = aWPtr[indexWordHi( 4 )];
52 if ( (uiA96 & 0x7FFF8000) != 0x7FFF0000 ) return false;
54 ((uiA96 & 0x00007FFF) != 0)
|
| H A D | s_isNaNF128M.c | 46 uint32_t uiA96; local
48 uiA96 = aWPtr[indexWordHi( 4 )];
49 if ( (~uiA96 & 0x7FFF0000) != 0 ) return false;
51 ((uiA96 & 0x0000FFFF) != 0)
|
| H A D | f128M_to_f16.c | 58 uint32_t uiA96; local
71 uiA96 = aWPtr[indexWordHi( 4 )];
72 sign = signF128UI96( uiA96 );
73 exp = expF128UI96( uiA96 );
75 fracF128UI96( uiA96 )
|
| H A D | f128M_to_f32.c | 58 uint32_t uiA96; local
69 uiA96 = aWPtr[indexWordHi( 4 )];
70 sign = signF128UI96( uiA96 );
71 exp = expF128UI96( uiA96 );
73 (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )]
|
| H A D | f128M_to_f64.c | 58 uint32_t uiA96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
71 sign = signF128UI96( uiA96 );
72 exp = expF128UI96( uiA96 );
73 frac64 = (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )];
|
| H A D | f128M_to_i32.c | 60 uint32_t uiA96; local
69 uiA96 = aWPtr[indexWordHi( 4 )];
70 sign = signF128UI96( uiA96 );
71 exp = expF128UI96( uiA96 );
72 sig64 = (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )];
|
| H A D | f128M_to_i32_r_minMag.c | 58 uint32_t uiA96; local
69 uiA96 = aWPtr[indexWordHi( 4 )];
70 sign = signF128UI96( uiA96 );
71 exp = expF128UI96( uiA96 );
72 sig64 = (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )];
|
| H A D | f128M_to_i64.c | 60 uint32_t uiA96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
71 sign = signF128UI96( uiA96 );
72 exp = expF128UI96( uiA96 );
73 sig96 = fracF128UI96( uiA96 );
|
| H A D | f128M_to_ui32.c | 60 uint32_t uiA96; local
69 uiA96 = aWPtr[indexWordHi( 4 )];
70 sign = signF128UI96( uiA96 );
71 exp = expF128UI96( uiA96 );
72 sig64 = (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )];
|
| H A D | f128M_to_ui32_r_minMag.c | 58 uint32_t uiA96; local
68 uiA96 = aWPtr[indexWordHi( 4 )];
69 exp = expF128UI96( uiA96 );
70 sig64 = (uint64_t) fracF128UI96( uiA96 )<<32 | aWPtr[indexWord( 4, 2 )];
83 sign = signF128UI96( uiA96 );
|
| H A D | f128M_to_ui64.c | 60 uint32_t uiA96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
71 sign = signF128UI96( uiA96 );
72 exp = expF128UI96( uiA96 );
73 sig96 = fracF128UI96( uiA96 );
|
| H A D | f128M_to_ui64_r_minMag.c | 58 uint32_t uiA96; local
69 uiA96 = aWPtr[indexWordHi( 4 )];
70 sign = signF128UI96( uiA96 );
71 exp = expF128UI96( uiA96 );
72 sig96 = fracF128UI96( uiA96 );
|
| H A D | f128M_eq.c | 58 uint32_t wordA, wordB, uiA96, uiB96; local
67 uiA96 = aWPtr[indexWordHi( 4 )];
70 if ( uiA96 != uiB96 ) {
71 possibleOppositeZeros = (((uiA96 | uiB96) & 0x7FFFFFFF) == 0);
|
| H A D | f128M_eq_signaling.c | 58 uint32_t wordA, wordB, uiA96, uiB96; local
71 uiA96 = aWPtr[indexWordHi( 4 )];
74 if ( uiA96 != uiB96 ) {
75 possibleOppositeZeros = (((uiA96 | uiB96) & 0x7FFFFFFF) == 0);
|
| H A D | f128M_le.c | 57 uint32_t uiA96, uiB96; local
67 uiA96 = aWPtr[indexWordHi( 4 )];
69 signA = signF128UI96( uiA96 );
73 if ( (uiA96 | uiB96) & 0x7FFFFFFF ) return false;
|
| H A D | f128M_le_quiet.c | 58 uint32_t uiA96, uiB96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
72 signA = signF128UI96( uiA96 );
76 if ( (uiA96 | uiB96) & 0x7FFFFFFF ) return false;
|
| H A D | f128M_lt.c | 57 uint32_t uiA96, uiB96; local
67 uiA96 = aWPtr[indexWordHi( 4 )];
69 signA = signF128UI96( uiA96 );
73 if ( (uiA96 | uiB96) & 0x7FFFFFFF ) return true;
|
| H A D | f128M_lt_quiet.c | 58 uint32_t uiA96, uiB96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
72 signA = signF128UI96( uiA96 );
76 if ( (uiA96 | uiB96) & 0x7FFFFFFF ) return true;
|
| H A D | f128M_to_extF80M.c | 59 uint32_t uiA96; local
71 uiA96 = aWPtr[indexWordHi( 4 )];
72 sign = signF128UI96( uiA96 );
73 exp = expF128UI96( uiA96 );
|
| H A D | s_addF128M.c | 52 uint32_t uiA96; local
75 uiA96 = aWPtr[indexWordHi( 4 )];
76 expA = expF128UI96( uiA96 );
83 uiZ96 = uiA96;
86 if ( (expA == 0x7FFF) && (uiZ96 != uiA96) ) {
99 signZ = signF128UI96( uiA96 );
102 if ( (uint32_t) (uiA96<<1) < (uint32_t) (uiB96<<1) ) {
105 expB = expF128UI96( uiA96 );
109 uiA96 = uiB96;
112 sig96A = fracF128UI96( uiA96 );
[all...] |
| H A D | f128M_to_i64_r_minMag.c | 58 uint32_t uiA96; local
70 uiA96 = aWPtr[indexWordHi( 4 )];
71 sign = signF128UI96( uiA96 );
72 exp = expF128UI96( uiA96 );
73 sig96 = fracF128UI96( uiA96 );
|
| H A D | f128M_mul.c | 61 uint32_t uiA96; local
80 uiA96 = aWPtr[indexWordHi( 4 )];
81 expA = expF128UI96( uiA96 );
84 signZ = signF128UI96( uiA96 ) ^ signF128UI96( uiB96 );
109 sigA[indexWordHi( 4 )] = fracF128UI96( uiA96 ) | 0x00010000;
|
| H A D | f128M_sqrt.c | 59 uint32_t uiA96; local
77 uiA96 = aWPtr[indexWordHi( 4 )];
78 signA = signF128UI96( uiA96 );
79 rawExpA = expF128UI96( uiA96 );
84 fracF128UI96( uiA96 )
220 zWPtr[indexWordHi( 4 )] = uiA96;
|
| H A D | f128M_rem.c | 60 uint32_t *zWPtr, uiA96; local
76 uiA96 = aWPtr[indexWordHi( 4 )];
77 expA = expF128UI96( uiA96 );
96 signRem = signF128UI96( uiA96 );
174 zWPtr[indexWordHi( 4 )] = uiA96;
|
| H A D | f128M_div.c | 60 uint32_t *zWPtr, uiA96; local
81 uiA96 = aWPtr[indexWordHi( 4 )];
82 signA = signF128UI96( uiA96 );
83 expA = expF128UI96( uiA96 );
|