43     register unsigned int resultp1 = 0, resultp2 = 0;  in dbl_fadd()  local
74                     Dbl_makequietnan(resultp1,resultp2);  in dbl_fadd()
75 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
215 		/*into*/resultp1,resultp2);  in dbl_fadd()
216 		if(Dbl_iszero_mantissa(resultp1,resultp2))  in dbl_fadd()
226 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
233 		/*into*/resultp1,resultp2);  in dbl_fadd()
236 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
244 		Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
245 		Dbl_normalize(resultp1,resultp2,result_exponent);  in dbl_fadd()
248 	        Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
252 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
289 	/*with*/extent,/*into*/resultp1,resultp2);  in dbl_fadd()
303             Dbl_leftshiftby1_withextent(resultp1,resultp2,extent,resultp1,resultp2);  in dbl_fadd()
309     	    if(Dbl_iszero(resultp1,resultp2))  in dbl_fadd()
313 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
351 		Dbl_leftshiftby8(resultp1,resultp2);  in dbl_fadd()
359 		Dbl_leftshiftby4(resultp1,resultp2);  in dbl_fadd()
371 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
379 		    Dbl_leftshiftby3(resultp1,resultp2);  in dbl_fadd()
386 		    Dbl_leftshiftby2(resultp1,resultp2);  in dbl_fadd()
395 		    Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
403 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
412 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
420 	    Dbl_fix_overshift(resultp1,resultp2,(1-result_exponent),extent);  in dbl_fadd()
423 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
431 	Dbl_addition(leftp1,leftp2,rightp1,rightp2,/*to*/resultp1,resultp2);  in dbl_fadd()
435 	    Dbl_rightshiftby1_withextent(resultp2,extent,extent);  in dbl_fadd()
436 	    Dbl_arithrightshiftby1(resultp1,resultp2);  in dbl_fadd()
456 		  Dbl_isone_lowmantissap2(resultp2))  in dbl_fadd()
459 		    Dbl_increment(resultp1,resultp2);  in dbl_fadd()
468 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
476 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
490 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
501 	    Dbl_setoverflow(resultp1,resultp2);  in dbl_fadd()
505     Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()