Lines Matching defs:ret_mantissa
14181 // Having bit 53 on (and higher bits off) means that ret_mantissa is a 54-bit
14184 uint64_t ret_mantissa = x_hi >> (msb + 9);
14197 // - ret_mantissa = 0x002A5A058FC295ED
14198 if ((x_lo == 0) && ((x_hi & 0x1FF) == 0) && ((ret_mantissa & 3) == 1)) {
14206 ret_mantissa += ret_mantissa & 1;
14207 ret_mantissa >>= 1;
14210 // uint64_t overflow_adjustment = ret_mantissa >> 53;
14211 // ret_mantissa >>= overflow_adjustment;
14217 // - ret_mantissa = 0x0020000000000000
14218 if ((ret_mantissa >> 53) > 0) {
14219 ret_mantissa >>= 1;
14225 ret_mantissa &= 0x000FFFFFFFFFFFFF;
14228 return ((int64_t)(ret_mantissa | (ret_exp2 << 52)));