Lines Matching refs:high_word
53 // static_cast<float>(high_word) * 2^32 + static_cast<float>(low_word). To
54 // achieve proper rounding in all cases we have to adjust the high_word
56 // the high_word if the low_word may affect the rounding of the high_word.
58 uint32_t high_word = static_cast<uint32_t>(*input >> 32);
61 // If the MSB of the high_word is set, then we make space for a rounding bit.
62 if (high_word < 0x80000000) {
63 high_word <<= 1;
67 if ((high_word & 0xfe000000) && low_word) {
69 high_word |= 1;
72 float result = static_cast<float>(high_word);
91 // static_cast<double>(high_word) * 2^32 + static_cast<double>(low_word).
93 uint32_t high_word = static_cast<uint32_t>(*input >> 32);
97 double result = static_cast<double>(high_word);
