/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_mul128MTo256M.c | 45 const uint32_t *aPtr, const uint32_t *bPtr, uint32_t *zPtr ) 52 bPtr += indexWordLo( 4 ); 55 wordB = *bPtr; 66 bPtr += wordIncr; 68 wordB = *bPtr; 44 softfloat_mul128MTo256M( const uint32_t *aPtr, const uint32_t *bPtr, uint32_t *zPtr ) argument
|
H A D | s_remStepMBy32.c | 48 const uint32_t *bPtr, 60 dwordProd = (uint64_t) bPtr[index] * q; 71 dwordProd = (uint64_t) bPtr[index] * q + (dwordProd>>32); 44 softfloat_remStepMBy32( uint_fast8_t size_words, const uint32_t *remPtr, uint_fast8_t dist, const uint32_t *bPtr, uint32_t q, uint32_t *zPtr ) argument
|
H A D | primitives.h | 502 | Adds the two 256-bit integers pointed to by 'aPtr' and 'bPtr'. The addition 504 | location pointed to by 'zPtr'. Each of 'aPtr', 'bPtr', and 'zPtr' points to 510 const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ); 538 | Subtracts the 256-bit integer pointed to by 'bPtr' from the 256-bit integer 541 | by 'zPtr'. Each of 'aPtr', 'bPtr', and 'zPtr' points to an array of four 547 const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ); 622 | Compares the two 96-bit unsigned integers pointed to by 'aPtr' and 'bPtr'. 626 | Each of 'aPtr' and 'bPtr' points to an array of three 32-bit elements that 629 int_fast8_t softfloat_compare96M( const uint32_t *aPtr, const uint32_t *bPtr ); 634 | Compares the two 128-bit unsigned integers pointed to by 'aPtr' and 'bPtr' [all...] |
H A D | extF80M_mul.c | 48 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 51 *zPtr = extF80_mul( *aPtr, *bPtr ); 59 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 76 bSPtr = (const struct extFloat80M *) bPtr; 47 extF80M_mul( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument 58 extF80M_mul( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument
|
H A D | f128M_mul.c | 47 f128M_mul( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 50 *zPtr = f128_mul( *aPtr, *bPtr ); 57 f128M_mul( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 76 bWPtr = (const uint32_t *) bPtr;
|
H A D | extF80M_div.c | 48 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 51 *zPtr = extF80_div( *aPtr, *bPtr ); 59 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 80 bSPtr = (const struct extFloat80M *) bPtr; 47 extF80M_div( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument 58 extF80M_div( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument
|
H A D | extF80M_rem.c | 48 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 51 *zPtr = extF80_rem( *aPtr, *bPtr ); 59 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 75 bSPtr = (const struct extFloat80M *) bPtr; 47 extF80M_rem( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument 58 extF80M_rem( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument
|
H A D | f128M_div.c | 47 f128M_div( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 50 *zPtr = f128_div( *aPtr, *bPtr ); 57 f128M_div( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 77 bWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_rem.c | 47 f128M_rem( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 50 *zPtr = f128_rem( *aPtr, *bPtr ); 57 f128M_rem( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 72 bWPtr = (const uint32_t *) bPtr;
|