56     register unsigned int resultp1 = 0, resultp2 = 0;  in dbl_fadd()  local
87                     Dbl_makequietnan(resultp1,resultp2);  in dbl_fadd()
88 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
228 		/*into*/resultp1,resultp2);  in dbl_fadd()
229 		if(Dbl_iszero_mantissa(resultp1,resultp2))  in dbl_fadd()
239 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
246 		/*into*/resultp1,resultp2);  in dbl_fadd()
249 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
257 		Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
258 		Dbl_normalize(resultp1,resultp2,result_exponent);  in dbl_fadd()
261 	        Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
265 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
302 	/*with*/extent,/*into*/resultp1,resultp2);  in dbl_fadd()
316             Dbl_leftshiftby1_withextent(resultp1,resultp2,extent,resultp1,resultp2);  in dbl_fadd()
322     	    if(Dbl_iszero(resultp1,resultp2))  in dbl_fadd()
326 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
364 		Dbl_leftshiftby8(resultp1,resultp2);  in dbl_fadd()
372 		Dbl_leftshiftby4(resultp1,resultp2);  in dbl_fadd()
384 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
392 		    Dbl_leftshiftby3(resultp1,resultp2);  in dbl_fadd()
399 		    Dbl_leftshiftby2(resultp1,resultp2);  in dbl_fadd()
408 		    Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
416 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
425 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
433 	    Dbl_fix_overshift(resultp1,resultp2,(1-result_exponent),extent);  in dbl_fadd()
436 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
444 	Dbl_addition(leftp1,leftp2,rightp1,rightp2,/*to*/resultp1,resultp2);  in dbl_fadd()
448 	    Dbl_rightshiftby1_withextent(resultp2,extent,extent);  in dbl_fadd()
449 	    Dbl_arithrightshiftby1(resultp1,resultp2);  in dbl_fadd()
469 		  Dbl_isone_lowmantissap2(resultp2))  in dbl_fadd()
472 		    Dbl_increment(resultp1,resultp2);  in dbl_fadd()
481 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
489 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
503 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
514 	    Dbl_setoverflow(resultp1,resultp2);  in dbl_fadd()
518     Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()