65 			xm += 0x3 + ((xm >> 3) & 1);  in ieee754dp_get_rounding()
66 			/* xm += (xm&0x8)?0x4:0x3 */  in ieee754dp_get_rounding()
70 				xm += 0x8;  in ieee754dp_get_rounding()
74 				xm += 0x8;  in ieee754dp_get_rounding()
84  * xe is an unbiased exponent
87 union ieee754dp ieee754dp_format(int sn, int xe, u64 xm)  in ieee754dp_format()  argument
91 	assert((xm >> (DP_FBITS + 1 + 3)) == 0);	/* no excess */  in ieee754dp_format()
94 	if (xe < DP_EMIN) {  in ieee754dp_format()
96 		int es = DP_EMIN - xe;  in ieee754dp_format()
107 				if (sn == 0)  in ieee754dp_format()
108 					return ieee754dp_min(0);  in ieee754dp_format()
112 				if (sn == 0)  in ieee754dp_format()
113 					return ieee754dp_zero(0);  in ieee754dp_format()
119 		if (xe == DP_EMIN - 1 &&  in ieee754dp_format()
128 			xe++;  in ieee754dp_format()
134 			xe += es;  in ieee754dp_format()
135 			assert((xm & (DP_HIDDEN_BIT << 3)) == 0);  in ieee754dp_format()
136 			assert(xe == DP_EMIN);  in ieee754dp_format()
141 		if ((xm & (DP_HIDDEN_BIT << 3)) == 0) {  in ieee754dp_format()
153 			xe++;  in ieee754dp_format()
159 	assert((xm >> (DP_FBITS + 1)) == 0);	/* no excess */  in ieee754dp_format()
160 	assert(xe >= DP_EMIN);  in ieee754dp_format()
162 	if (xe > DP_EMAX) {  in ieee754dp_format()
172 			if (sn == 0)  in ieee754dp_format()
173 				return ieee754dp_inf(0);  in ieee754dp_format()
177 			if (sn == 0)  in ieee754dp_format()
178 				return ieee754dp_max(0);  in ieee754dp_format()
185 	if ((xm & DP_HIDDEN_BIT) == 0) {  in ieee754dp_format()
187 		assert(xe == DP_EMIN);  in ieee754dp_format()
192 		assert((xm >> (DP_FBITS + 1)) == 0);	/* no excess */  in ieee754dp_format()
195 		return builddp(sn, xe + DP_EBIAS, xm & ~DP_HIDDEN_BIT);  in ieee754dp_format()