Lines Matching refs:x_hi
14102 // 64 bits of the product, x_hi, must therefore be at least (1<<62).
14104 // As a consequence, x_hi has either 0 or 1 leading zeroes. Shifting x_hi
14105 // right by either 9 or 10 bits (depending on x_hi's MSB) will therefore
14108 uint64_t x_hi = x.hi;
14117 // If overflow occurs, that adds 1 to x_hi. Since we're about to shift right
14123 // - x_hi = 0x4563918244F3FFFF
14126 if (((x_hi & 0x1FF) == 0x1FF) && ((x_lo + man) < man)) {
14142 // - x_hi = 0x70B7E3696DB29FFF
14146 uint64_t merged_hi = x_hi;
14173 x_hi = merged_hi;
14177 // As mentioned above, shifting x_hi right by either 9 or 10 bits will leave
14183 uint64_t msb = x_hi >> 63;
14184 uint64_t ret_mantissa = x_hi >> (msb + 9);
14196 // - x_hi = 0x54B40B1F852BDA00
14198 if ((x_lo == 0) && ((x_hi & 0x1FF) == 0) && ((ret_mantissa & 3) == 1)) {
14216 // - x_hi = 0x7FFFFFFFFFFFFE80