44 	register unsigned int opnd3p1, opnd3p2, resultp1, resultp2;  in dbl_fmpy()  local
198 	Dbl_setzero(opnd3p1,opnd3p2);  in dbl_fmpy()
205 		Dbl_rightshiftby4(opnd3p1,opnd3p2);  in dbl_fmpy()
208                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<3 | opnd2p2>>29,   in dbl_fmpy()
212                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<2 | opnd2p2>>30,   in dbl_fmpy()
216                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<1 | opnd2p2>>31,  in dbl_fmpy()
220                         Twoword_add(opnd3p1, opnd3p2, opnd2p1, opnd2p2);  in dbl_fmpy()
224 	if (Dbit3p1(opnd3p1)==0) {  in dbl_fmpy()
225 		Dbl_leftshiftby1(opnd3p1,opnd3p2);  in dbl_fmpy()
232 	while (Dbit3p1(opnd3p1)==0) {  in dbl_fmpy()
233 		Dbl_leftshiftby1(opnd3p1,opnd3p2);  in dbl_fmpy()
244 	Dbl_rightshiftby8(opnd3p1,opnd3p2);  in dbl_fmpy()
250 		Dbl_clear_signexponent(opnd3p1);  in dbl_fmpy()
254 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
258 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
263 			      	Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
266 		if (Dbl_isone_hidden(opnd3p1)) dest_exponent++;  in dbl_fmpy()
268 	Dbl_set_mantissa(resultp1,resultp2,opnd3p1,opnd3p2);  in dbl_fmpy()
316 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
317 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
319 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
324 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
325 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
327 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
333 				      	Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
334 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
336 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
346 		Dbl_denormalize(opnd3p1,opnd3p2,dest_exponent,guardbit,  in dbl_fmpy()
354 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
359 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
365 			      		Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
371 		Dbl_set_exponentmantissa(resultp1,resultp2,opnd3p1,opnd3p2);  in dbl_fmpy()