16 	u64 rm;  in ieee754dp_mul()  local
104 	/* rm = xm * ym, re = xe+ye basically */  in ieee754dp_mul()
116 	 * Multiply 64 bits xm, ym to give high 64 bits rm with stickness.  in ieee754dp_mul()
143 	rm = hrm | (lrm != 0);  in ieee754dp_mul()
148 	if ((s64) rm < 0) {  in ieee754dp_mul()
149 		rm = (rm >> (64 - (DP_FBITS + 1 + 3))) |  in ieee754dp_mul()
150 		     ((rm << (DP_FBITS + 1 + 3)) != 0);  in ieee754dp_mul()
153 		rm = (rm >> (64 - (DP_FBITS + 1 + 3 + 1))) |  in ieee754dp_mul()
154 		     ((rm << (DP_FBITS + 1 + 3 + 1)) != 0);  in ieee754dp_mul()
156 	assert(rm & (DP_HIDDEN_BIT << 3));  in ieee754dp_mul()
158 	return ieee754dp_format(rs, re, rm);  in ieee754dp_mul()