/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_invalidF128M.c | 43 void softfloat_invalidF128M( uint32_t *zWPtr ) 47 zWPtr[indexWord( 4, 3 )] = defaultNaNF128UI96; 48 zWPtr[indexWord( 4, 2 )] = defaultNaNF128UI64; 49 zWPtr[indexWord( 4, 1 )] = defaultNaNF128UI32; 50 zWPtr[indexWord( 4, 0 )] = defaultNaNF128UI0;
|
H A D | s_commonNaNToF128M.c | 46 | NaN, and stores this NaN at the location pointed to by `zWPtr'. Argument 47 | `zWPtr' points to an array of four 32-bit elements that concatenate in the 51 softfloat_commonNaNToF128M( const struct commonNaN *aPtr, uint32_t *zWPtr ) 54 zWPtr[indexWord( 4, 3 )] = defaultNaNF128UI96; 55 zWPtr[indexWord( 4, 2 )] = defaultNaNF128UI64; 56 zWPtr[indexWord( 4, 1 )] = defaultNaNF128UI32; 57 zWPtr[indexWord( 4, 0 )] = defaultNaNF128UI0;
|
H A D | s_propagateNaNF128M.c | 46 | pointed to by `zWPtr'. If either original floating-point value is a 48 | and `zWPtr' points to an array of four 32-bit elements that concatenate in 53 const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) 62 zWPtr[indexWord( 4, 3 )] = defaultNaNF128UI96; 63 zWPtr[indexWord( 4, 2 )] = defaultNaNF128UI64; 64 zWPtr[indexWord( 4, 1 )] = defaultNaNF128UI32; 65 zWPtr[indexWord( 4, 0 )] = defaultNaNF128UI0;
|
H A D | extF80M_to_f128M.c | 58 uint32_t *zWPtr; local 69 zWPtr = (uint32_t *) zPtr; 78 zWPtr[indexWord( 4, 0 )] = 0; 82 softfloat_commonNaNToF128M( &commonNaN, zWPtr ); 100 zWPtr[indexWord( 4, 1 )] = (uint32_t) sig<<17; 102 zWPtr[indexWord( 4, 2 )] = sig; 104 zWPtr[indexWordHi( 4 )] = sig>>32; 106 &zWPtr[indexMultiwordHi( 4, 3 )], 108 &zWPtr[indexMultiwordHi( 4, 3 )] 111 sig = (uint64_t) zWPtr[indexWordH [all...] |
H A D | s_normRoundPackMToF128M.c | 44 bool sign, int32_t exp, uint32_t *extSigPtr, uint32_t *zWPtr ) 57 zWPtr[indexWordHi( 4 )] = packToF128UI96( sign, 0, 0 ); 58 zWPtr[indexWord( 4, 2 )] = 0; 59 zWPtr[indexWord( 4, 1 )] = 0; 60 zWPtr[indexWord( 4, 0 )] = 0; 70 softfloat_roundPackMToF128M( sign, exp, extSigPtr, zWPtr );
|
H A D | ui32_to_f128M.c | 55 uint32_t *zWPtr, uiZ96, uiZ64; local 59 zWPtr = (uint32_t *) zPtr; 68 zWPtr[indexWord( 4, 3 )] = uiZ96; 69 zWPtr[indexWord( 4, 2 )] = uiZ64; 70 zWPtr[indexWord( 4, 1 )] = 0; 71 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | s_tryPropagateNaNF128M.c | 45 const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr ) 49 softfloat_propagateNaNF128M( aWPtr, bWPtr, zWPtr );
|
H A D | ui64_to_f128M.c | 55 uint32_t *zWPtr, uiZ96, uiZ64; local 59 zWPtr = (uint32_t *) zPtr; 62 zWPtr[indexWord( 4, 1 )] = 0; 63 zWPtr[indexWord( 4, 0 )] = 0; 67 ptr = zWPtr + indexMultiwordHi( 4, 3 ); 80 zWPtr[indexWord( 4, 3 )] = uiZ96; 81 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | f64_to_f128M.c | 57 uint32_t *zWPtr; local 69 zWPtr = (uint32_t *) zPtr; 79 zWPtr[indexWord( 4, 0 )] = 0; 83 softfloat_commonNaNToF128M( &commonNaN, zWPtr ); 102 zWPtr[indexWord( 4, 1 )] = (uint32_t) frac<<28; 104 zWPtr[indexWordHi( 4 )] = packToF128UI96( sign, exp + 0x3C00, frac>>32 ); 105 zWPtr[indexWord( 4, 2 )] = frac; 110 zWPtr[indexWord( 4, 3 )] = uiZ96; 111 zWPtr[indexWord( 4, 2 )] = 0; 112 zWPtr[indexWor [all...] |
H A D | i32_to_f128M.c | 55 uint32_t *zWPtr; local 62 zWPtr = (uint32_t *) zPtr; 73 zWPtr[indexWord( 4, 3 )] = uiZ96; 74 zWPtr[indexWord( 4, 2 )] = uiZ64; 75 zWPtr[indexWord( 4, 1 )] = 0; 76 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | s_roundPackMToF128M.c | 45 bool sign, int32_t exp, uint32_t *extSigPtr, uint32_t *zWPtr ) 120 zWPtr[indexWordHi( 4 )] = ui; 121 zWPtr[indexWord( 4, 2 )] = uj; 122 zWPtr[indexWord( 4, 1 )] = uj; 123 zWPtr[indexWord( 4, 0 )] = uj; 143 zWPtr[indexWord( 4, 2 )] = extSigPtr[indexWord( 5, 3 )]; 144 zWPtr[indexWord( 4, 1 )] = extSigPtr[indexWord( 5, 2 )]; 145 zWPtr[indexWord( 4, 0 )] = uj; 148 zWPtr[indexWord( 4, 0 )] = uj; 150 zWPtr[indexWor [all...] |
H A D | f16_to_f128M.c | 57 uint32_t *zWPtr; local 69 zWPtr = (uint32_t *) zPtr; 82 softfloat_commonNaNToF128M( &commonNaN, zWPtr ); 103 zWPtr[indexWord( 4, 3 )] = uiZ96; 104 zWPtr[indexWord( 4, 2 )] = 0; 105 zWPtr[indexWord( 4, 1 )] = 0; 106 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | f32_to_f128M.c | 57 uint32_t *zWPtr; local 70 zWPtr = (uint32_t *) zPtr; 84 softfloat_commonNaNToF128M( &commonNaN, zWPtr ); 107 zWPtr[indexWord( 4, 3 )] = uiZ96; 108 zWPtr[indexWord( 4, 2 )] = uiZ64; 109 zWPtr[indexWord( 4, 1 )] = 0; 110 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | i64_to_f128M.c | 55 uint32_t *zWPtr; local 62 zWPtr = (uint32_t *) zPtr; 65 zWPtr[indexWord( 4, 1 )] = 0; 66 zWPtr[indexWord( 4, 0 )] = 0; 72 ptr = zWPtr + indexMultiwordHi( 4, 3 ); 86 zWPtr[indexWord( 4, 3 )] = uiZ96; 87 zWPtr[indexWord( 4, 2 )] = uiZ64;
|
H A D | f128M_roundToInt.c | 70 uint32_t *zWPtr; local 86 zWPtr = (uint32_t *) zPtr; 94 zWPtr[indexWord( 4, 2 )] = 0; 95 zWPtr[indexWord( 4, 1 )] = 0; 96 zWPtr[indexWord( 4, 0 )] = 0; 136 softfloat_propagateNaNF128M( aWPtr, 0, zWPtr ); 139 zWPtr[indexWord( 4, 2 )] = aWPtr[indexWord( 4, 2 )]; 140 zWPtr[indexWord( 4, 1 )] = aWPtr[indexWord( 4, 1 )]; 141 zWPtr[indexWord( 4, 0 )] = aWPtr[indexWord( 4, 0 )]; 158 zWPtr[inde [all...] |
H A D | f128M_mul.c | 60 uint32_t *zWPtr; local 77 zWPtr = (uint32_t *) zPtr; 88 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 99 softfloat_invalidF128M( zWPtr ); 143 softfloat_roundPackMToF128M( signZ, expZ, extSigZPtr, zWPtr ); 150 zWPtr[indexWordHi( 4 )] = uiZ96; 151 zWPtr[indexWord( 4, 2 )] = 0; 152 zWPtr[indexWord( 4, 1 )] = 0; 153 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | s_addF128M.c | 48 uint32_t *zWPtr, 82 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 87 softfloat_invalidF128M( zWPtr ); 91 zWPtr[indexWordHi( 4 )] = uiZ96; 92 zWPtr[indexWord( 4, 2 )] = 0; 93 zWPtr[indexWord( 4, 1 )] = 0; 94 zWPtr[indexWord( 4, 0 )] = 0; 186 zWPtr[indexWordHi( 4 )] = packToF128UI96( signZ, 0, 0 ); 187 zWPtr[indexWord( 4, 2 )] = 0; 188 zWPtr[indexWor 45 softfloat_addF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, uint32_t *zWPtr, bool negateB ) argument [all...] |
H A D | f128M_div.c | 60 uint32_t *zWPtr, uiA96; local 78 zWPtr = (uint32_t *) zPtr; 91 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 164 softfloat_roundPackMToF128M( signZ, expZ, y, zWPtr ); 169 softfloat_invalidF128M( zWPtr ); 179 zWPtr[indexWordHi( 4 )] = uiZ96; 180 zWPtr[indexWord( 4, 2 )] = 0; 181 zWPtr[indexWord( 4, 1 )] = 0; 182 zWPtr[indexWord( 4, 0 )] = 0;
|
H A D | f128M_rem.c | 60 uint32_t *zWPtr, uiA96; local 73 zWPtr = (uint32_t *) zPtr; 82 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) return; 164 softfloat_normRoundPackMToF128M( signRem, expB + 18, remPtr, zWPtr ); 169 softfloat_invalidF128M( zWPtr ); 174 zWPtr[indexWordHi( 4 )] = uiA96; 175 zWPtr[indexWord( 4, 2 )] = aWPtr[indexWord( 4, 2 )]; 176 zWPtr[indexWord( 4, 1 )] = aWPtr[indexWord( 4, 1 )]; 177 zWPtr[indexWord( 4, 0 )] = aWPtr[indexWord( 4, 0 )];
|
H A D | f128M_sqrt.c | 58 uint32_t *zWPtr; local 74 zWPtr = (uint32_t *) zPtr; 88 softfloat_propagateNaNF128M( aWPtr, 0, zWPtr ); 210 softfloat_roundPackMToF128M( 0, expZ, y, zWPtr ); 215 softfloat_invalidF128M( zWPtr ); 220 zWPtr[indexWordHi( 4 )] = uiA96; 221 zWPtr[indexWord( 4, 2 )] = aWPtr[indexWord( 4, 2 )]; 222 zWPtr[indexWord( 4, 1 )] = aWPtr[indexWord( 4, 1 )]; 223 zWPtr[indexWord( 4, 0 )] = aWPtr[indexWord( 4, 0 )];
|
H A D | s_mulAddF128M.c | 49 uint32_t *zWPtr, 98 if ( softfloat_tryPropagateNaNF128M( aWPtr, bWPtr, zWPtr ) ) { 121 zWPtr[indexWordHi( 4 )] = 0; 336 (*roundPackRoutinePtr)( signZ, expZ, extSigPtr, zWPtr ); 341 softfloat_invalidF128M( zWPtr ); 343 softfloat_propagateNaNF128M( zWPtr, cWPtr, zWPtr ); 356 zWPtr[indexWordHi( 4 )] = uiC96; 357 zWPtr[indexWord( 4, 2 )] = cWPtr[indexWord( 4, 2 )]; 358 zWPtr[indexWor 45 softfloat_mulAddF128M( const uint32_t *aWPtr, const uint32_t *bWPtr, const uint32_t *cWPtr, uint32_t *zWPtr, uint_fast8_t op ) argument [all...] |
H A D | specialize.h | 373 | NaN, and stores this NaN at the location pointed to by 'zWPtr'. Argument 374 | 'zWPtr' points to an array of four 32-bit elements that concatenate in the 380 softfloat_commonNaNToF128M( const struct commonNaN *aPtr, uint32_t *zWPtr ) 382 zWPtr[indexWord( 4, 3 )] = defaultNaNF128UI96; 383 zWPtr[indexWord( 4, 2 )] = defaultNaNF128UI64; 384 zWPtr[indexWord( 4, 1 )] = defaultNaNF128UI32; 385 zWPtr[indexWord( 4, 0 )] = defaultNaNF128UI0; 389 softfloat_commonNaNToF128M( const struct commonNaN *aPtr, uint32_t *zWPtr ); 395 | pointed to by 'zWPtr'. If either original floating-point value is a 397 | and 'zWPtr' point [all...] |