57 static u64 ieee754dp_get_rounding(int sn, u64 xm)  in ieee754dp_get_rounding()  argument
61 	if (xm & (DP_MBIT(3) - 1)) {  in ieee754dp_get_rounding()
66 			xm += 0x3 + ((xm >> 3) & 1);  in ieee754dp_get_rounding()
71 				xm += 0x8;  in ieee754dp_get_rounding()
75 				xm += 0x8;  in ieee754dp_get_rounding()
79 	return xm;  in ieee754dp_get_rounding()
88 union ieee754dp ieee754dp_format(int sn, int xe, u64 xm)  in ieee754dp_format()  argument
90 	assert(xm);		/* we don't gen exact zeros (probably should) */  in ieee754dp_format()
92 	assert((xm >> (DP_FBITS + 1 + 3)) == 0);	/* no execess */  in ieee754dp_format()
93 	assert(xm & (DP_HIDDEN_BIT << 3));  in ieee754dp_format()
121 		    ieee754dp_get_rounding(sn, xm) >> (DP_FBITS + 1 + 3))  in ieee754dp_format()
125 			xm = ieee754dp_get_rounding(sn, xm);  in ieee754dp_format()
126 			xm >>= 1;  in ieee754dp_format()
128 			xm &= ~(DP_MBIT(3) - 1);  in ieee754dp_format()
134 			xm = XDPSRS(xm, es);  in ieee754dp_format()
136 			assert((xm & (DP_HIDDEN_BIT << 3)) == 0);  in ieee754dp_format()
140 	if (xm & (DP_MBIT(3) - 1)) {  in ieee754dp_format()
142 		if ((xm & (DP_HIDDEN_BIT << 3)) == 0) {  in ieee754dp_format()
148 		xm = ieee754dp_get_rounding(sn, xm);  in ieee754dp_format()
151 		if (xm >> (DP_FBITS + 3 + 1)) {  in ieee754dp_format()
153 			xm >>= 1;  in ieee754dp_format()
158 	xm >>= 3;  in ieee754dp_format()
160 	assert((xm >> (DP_FBITS + 1)) == 0);	/* no execess */  in ieee754dp_format()
186 	if ((xm & DP_HIDDEN_BIT) == 0) {  in ieee754dp_format()
191 		return builddp(sn, DP_EMIN - 1 + DP_EBIAS, xm);  in ieee754dp_format()
193 		assert((xm >> (DP_FBITS + 1)) == 0);	/* no execess */  in ieee754dp_format()
194 		assert(xm & DP_HIDDEN_BIT);  in ieee754dp_format()
196 		return builddp(sn, xe + DP_EBIAS, xm & ~DP_HIDDEN_BIT);  in ieee754dp_format()