| 830 | *----------------------------------------------------------------------------*/ |
| 831 | |
| 832 | static inline uint64_t extractFloat64Frac( float64 a ) |
| 833 | { |
| 834 | |
| 835 | return float64_val(a) & LIT64( 0x000FFFFFFFFFFFFF ); |
| 836 | |
| 837 | } |
| 838 | |
| 839 | /*---------------------------------------------------------------------------- |
| 840 | | Returns the exponent bits of the double-precision floating-point value `a'. |
no outgoing calls
no test coverage detected