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()
233 			Dbl_setone_sign(resultp1);  in dbl_fadd()
237 			Dbl_setzero_sign(resultp1);  in dbl_fadd()
239 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
246 		/*into*/resultp1,resultp2);  in dbl_fadd()
247 		if(Dbl_isone_hidden(resultp1))  in dbl_fadd()
249 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
256 	    	sign_save = Dbl_signextendedsign(resultp1);  in dbl_fadd()
257 		Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
258 		Dbl_normalize(resultp1,resultp2,result_exponent);  in dbl_fadd()
259 		Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
260                 Dbl_setwrapped_exponent(resultp1,result_exponent,unfl);  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()
303 	if(Dbl_iszero_hidden(resultp1))  in dbl_fadd()
315 	    sign_save = Dbl_signextendedsign(resultp1);  in dbl_fadd()
316             Dbl_leftshiftby1_withextent(resultp1,resultp2,extent,resultp1,resultp2);  in dbl_fadd()
322     	    if(Dbl_iszero(resultp1,resultp2))  in dbl_fadd()
325 		if(Is_rounding_mode(ROUNDMINUS)) Dbl_setone_sign(resultp1);  in dbl_fadd()
326 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
331 	    if(Dbl_isone_hidden(resultp1))  in dbl_fadd()
342 		    Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
362 	    while(Dbl_iszero_hiddenhigh7mantissa(resultp1))  in dbl_fadd()
364 		Dbl_leftshiftby8(resultp1,resultp2);  in dbl_fadd()
369 	    if(Dbl_iszero_hiddenhigh3mantissa(resultp1))  in dbl_fadd()
372 		Dbl_leftshiftby4(resultp1,resultp2);  in dbl_fadd()
378 	    if((jumpsize = Dbl_hiddenhigh3mantissa(resultp1)) > 7)  in dbl_fadd()
382 		Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
383 		Dbl_set_exponent(resultp1,/*using*/result_exponent);  in dbl_fadd()
384 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
387 	    Dbl_sethigh4bits(resultp1,/*using*/sign_save);  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()
415 		Dbl_set_exponent(resultp1,/*using*/result_exponent);  in dbl_fadd()
416 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
423 		Dbl_set_sign(resultp1,sign_save);  in dbl_fadd()
424                 Dbl_setwrapped_exponent(resultp1,result_exponent,unfl);  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()
434 	    Dbl_clear_signexponent(resultp1);  in dbl_fadd()
435 	    Dbl_set_sign(resultp1,sign_save);  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()
445 	if(Dbl_isone_hiddenoverflow(resultp1))  in dbl_fadd()
449 	    Dbl_arithrightshiftby1(resultp1,resultp2);  in dbl_fadd()
472 		    Dbl_increment(resultp1,resultp2);  in dbl_fadd()
478 	    if(Dbl_iszero_sign(resultp1))  in dbl_fadd()
481 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
486 	    if(Dbl_isone_sign(resultp1))  in dbl_fadd()
489 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
495 	if(Dbl_isone_hiddenoverflow(resultp1)) result_exponent++;  in dbl_fadd()
502 	    Dbl_setwrapped_exponent(resultp1,result_exponent,ovfl);  in dbl_fadd()
503 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
514 	    Dbl_setoverflow(resultp1,resultp2);  in dbl_fadd()
517     else Dbl_set_exponent(resultp1,result_exponent);  in dbl_fadd()
518     Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()