| /seL4-test-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,
|