57 	register unsigned int opnd3p1, opnd3p2, resultp1, resultp2;  in dbl_fmpy()  local
211 	Dbl_setzero(opnd3p1,opnd3p2);  in dbl_fmpy()
218 		Dbl_rightshiftby4(opnd3p1,opnd3p2);  in dbl_fmpy()
221                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<3 | opnd2p2>>29,   in dbl_fmpy()
225                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<2 | opnd2p2>>30,   in dbl_fmpy()
229                         Twoword_add(opnd3p1, opnd3p2, opnd2p1<<1 | opnd2p2>>31,  in dbl_fmpy()
233                         Twoword_add(opnd3p1, opnd3p2, opnd2p1, opnd2p2);  in dbl_fmpy()
237 	if (Dbit3p1(opnd3p1)==0) {  in dbl_fmpy()
238 		Dbl_leftshiftby1(opnd3p1,opnd3p2);  in dbl_fmpy()
245 	while (Dbit3p1(opnd3p1)==0) {  in dbl_fmpy()
246 		Dbl_leftshiftby1(opnd3p1,opnd3p2);  in dbl_fmpy()
257 	Dbl_rightshiftby8(opnd3p1,opnd3p2);  in dbl_fmpy()
263 		Dbl_clear_signexponent(opnd3p1);  in dbl_fmpy()
267 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
271 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
276 			      	Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
279 		if (Dbl_isone_hidden(opnd3p1)) dest_exponent++;  in dbl_fmpy()
281 	Dbl_set_mantissa(resultp1,resultp2,opnd3p1,opnd3p2);  in dbl_fmpy()
329 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
330 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
332 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
337 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
338 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
340 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
346 				      	Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
347 					if (Dbl_isone_hiddenoverflow(opnd3p1))  in dbl_fmpy()
349 					Dbl_decrement(opnd3p1,opnd3p2);  in dbl_fmpy()
359 		Dbl_denormalize(opnd3p1,opnd3p2,dest_exponent,guardbit,  in dbl_fmpy()
367 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
372 					Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
378 			      		Dbl_increment(opnd3p1,opnd3p2);  in dbl_fmpy()
384 		Dbl_set_exponentmantissa(resultp1,resultp2,opnd3p1,opnd3p2);  in dbl_fmpy()