/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | s_compare128M.c | 43 int_fast8_t softfloat_compare128M( const uint32_t *aPtr, const uint32_t *bPtr ) 52 wordB = bPtr[index];
|
H A D | s_compare96M.c | 43 int_fast8_t softfloat_compare96M( const uint32_t *aPtr, const uint32_t *bPtr ) 52 wordB = bPtr[index];
|
H A D | extF80M_eq.c | 46 bool extF80M_eq( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 49 return extF80_eq( *aPtr, *bPtr ); 55 bool extF80M_eq( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 66 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | extF80M_eq_signaling.c | 45 bool extF80M_eq_signaling( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 48 return extF80_eq_signaling( *aPtr, *bPtr ); 54 bool extF80M_eq_signaling( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 65 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | f128M_mulAdd.c | 47 const float128_t *bPtr, 58 bWPtr = (const uint64_t *) bPtr; 75 const float128_t *bPtr, 83 (const uint32_t *) bPtr, 45 f128M_mulAdd( const float128_t *aPtr, const float128_t *bPtr, const float128_t *cPtr, float128_t *zPtr ) argument 73 f128M_mulAdd( const float128_t *aPtr, const float128_t *bPtr, const float128_t *cPtr, float128_t *zPtr ) argument
|
H A D | s_add256M.c | 45 const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ) 55 wordZ = wordA + bPtr[index] + carry; 44 softfloat_add256M( const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ) argument
|
H A D | s_sub256M.c | 45 const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ) 55 wordB = bPtr[index]; 44 softfloat_sub256M( const uint64_t *aPtr, const uint64_t *bPtr, uint64_t *zPtr ) argument
|
H A D | f128M_le_quiet.c | 46 bool f128M_le_quiet( const float128_t *aPtr, const float128_t *bPtr ) 49 return f128_le_quiet( *aPtr, *bPtr ); 55 bool f128M_le_quiet( const float128_t *aPtr, const float128_t *bPtr ) 63 bWPtr = (const uint32_t *) bPtr; 65 if ( f128M_isSignalingNaN( aPtr ) || f128M_isSignalingNaN( bPtr ) ) { 88 aWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_lt_quiet.c | 46 bool f128M_lt_quiet( const float128_t *aPtr, const float128_t *bPtr ) 49 return f128_lt_quiet( *aPtr, *bPtr ); 55 bool f128M_lt_quiet( const float128_t *aPtr, const float128_t *bPtr ) 63 bWPtr = (const uint32_t *) bPtr; 65 if ( f128M_isSignalingNaN( aPtr ) || f128M_isSignalingNaN( bPtr ) ) { 88 aWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_le.c | 45 bool f128M_le( const float128_t *aPtr, const float128_t *bPtr ) 48 return f128_le( *aPtr, *bPtr ); 54 bool f128M_le( const float128_t *aPtr, const float128_t *bPtr ) 62 bWPtr = (const uint32_t *) bPtr; 85 aWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_lt.c | 45 bool f128M_lt( const float128_t *aPtr, const float128_t *bPtr ) 48 return f128_lt( *aPtr, *bPtr ); 54 bool f128M_lt( const float128_t *aPtr, const float128_t *bPtr ) 62 bWPtr = (const uint32_t *) bPtr; 85 aWPtr = (const uint32_t *) bPtr;
|
H A D | s_addCarryM.c | 47 const uint32_t *bPtr, 59 wordZ = wordA + bPtr[index] + carry; 44 softfloat_addCarryM( uint_fast8_t size_words, const uint32_t *aPtr, const uint32_t *bPtr, uint_fast8_t carry, uint32_t *zPtr ) argument
|
H A D | s_addComplCarryM.c | 47 const uint32_t *bPtr, 59 wordZ = wordA + ~bPtr[index] + carry; 44 softfloat_addComplCarryM( uint_fast8_t size_words, const uint32_t *aPtr, const uint32_t *bPtr, uint_fast8_t carry, uint32_t *zPtr ) argument
|
H A D | s_addM.c | 47 const uint32_t *bPtr, 60 wordZ = wordA + bPtr[index] + carry; 44 softfloat_addM( uint_fast8_t size_words, const uint32_t *aPtr, const uint32_t *bPtr, uint32_t *zPtr ) argument
|
H A D | s_subM.c | 47 const uint32_t *bPtr, 60 wordB = bPtr[index]; 44 softfloat_subM( uint_fast8_t size_words, const uint32_t *aPtr, const uint32_t *bPtr, uint32_t *zPtr ) argument
|
H A D | extF80M_add.c | 46 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 62 bSPtr = (const struct extFloat80M *) bPtr; 87 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 92 (const struct extFloat80M *) bPtr, 45 extF80M_add( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument 86 extF80M_add( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument
|
H A D | extF80M_le.c | 45 bool extF80M_le( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 48 return extF80_le( *aPtr, *bPtr ); 54 bool extF80M_le( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 66 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | extF80M_le_quiet.c | 46 bool extF80M_le_quiet( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 49 return extF80_le_quiet( *aPtr, *bPtr ); 55 bool extF80M_le_quiet( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 67 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | extF80M_lt.c | 45 bool extF80M_lt( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 48 return extF80_lt( *aPtr, *bPtr ); 54 bool extF80M_lt( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 66 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | extF80M_lt_quiet.c | 46 bool extF80M_lt_quiet( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 49 return extF80_lt_quiet( *aPtr, *bPtr ); 55 bool extF80M_lt_quiet( const extFloat80_t *aPtr, const extFloat80_t *bPtr ) 67 bSPtr = (const struct extFloat80M *) bPtr;
|
H A D | extF80M_sub.c | 46 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 62 bSPtr = (const struct extFloat80M *) bPtr; 87 const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) 92 (const struct extFloat80M *) bPtr, 45 extF80M_sub( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument 86 extF80M_sub( const extFloat80_t *aPtr, const extFloat80_t *bPtr, extFloat80_t *zPtr ) argument
|
H A D | f128M_add.c | 46 f128M_add( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 60 bWPtr = (const uint64_t *) bPtr; 84 f128M_add( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 89 (const uint32_t *) bPtr,
|
H A D | f128M_eq.c | 46 bool f128M_eq( const float128_t *aPtr, const float128_t *bPtr ) 49 return f128_eq( *aPtr, *bPtr ); 55 bool f128M_eq( const float128_t *aPtr, const float128_t *bPtr ) 63 bWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_eq_signaling.c | 46 bool f128M_eq_signaling( const float128_t *aPtr, const float128_t *bPtr ) 49 return f128_eq_signaling( *aPtr, *bPtr ); 55 bool f128M_eq_signaling( const float128_t *aPtr, const float128_t *bPtr ) 63 bWPtr = (const uint32_t *) bPtr;
|
H A D | f128M_sub.c | 46 f128M_sub( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 60 bWPtr = (const uint64_t *) bPtr; 84 f128M_sub( const float128_t *aPtr, const float128_t *bPtr, float128_t *zPtr ) argument 89 (const uint32_t *) bPtr,
|