| 419 | } |
| 420 | |
| 421 | floatx80 getFloatInternalUnrounded( void ) |
| 422 | { |
| 423 | flag zSign = floatx80_internal_sign; |
| 424 | int32_t zExp = floatx80_internal_exp; |
| 425 | uint64_t zSig = floatx80_internal_sig0; |
| 426 | |
| 427 | return packFloatx80( zSign, zExp & 0x7FFF, zSig ); |
| 428 | |
| 429 | } |
| 430 | |
| 431 | uint64_t getFloatInternalGRS( void ) |
| 432 | { |
no test coverage detected