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()
220 			Dbl_setone_sign(resultp1);  in dbl_fadd()
224 			Dbl_setzero_sign(resultp1);  in dbl_fadd()
226 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
233 		/*into*/resultp1,resultp2);  in dbl_fadd()
234 		if(Dbl_isone_hidden(resultp1))  in dbl_fadd()
236 		    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
243 	    	sign_save = Dbl_signextendedsign(resultp1);  in dbl_fadd()
244 		Dbl_leftshiftby1(resultp1,resultp2);  in dbl_fadd()
245 		Dbl_normalize(resultp1,resultp2,result_exponent);  in dbl_fadd()
246 		Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
247                 Dbl_setwrapped_exponent(resultp1,result_exponent,unfl);  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()
290 	if(Dbl_iszero_hidden(resultp1))  in dbl_fadd()
302 	    sign_save = Dbl_signextendedsign(resultp1);  in dbl_fadd()
303             Dbl_leftshiftby1_withextent(resultp1,resultp2,extent,resultp1,resultp2);  in dbl_fadd()
309     	    if(Dbl_iszero(resultp1,resultp2))  in dbl_fadd()
312 		if(Is_rounding_mode(ROUNDMINUS)) Dbl_setone_sign(resultp1);  in dbl_fadd()
313 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
318 	    if(Dbl_isone_hidden(resultp1))  in dbl_fadd()
329 		    Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
349 	    while(Dbl_iszero_hiddenhigh7mantissa(resultp1))  in dbl_fadd()
351 		Dbl_leftshiftby8(resultp1,resultp2);  in dbl_fadd()
356 	    if(Dbl_iszero_hiddenhigh3mantissa(resultp1))  in dbl_fadd()
359 		Dbl_leftshiftby4(resultp1,resultp2);  in dbl_fadd()
365 	    if((jumpsize = Dbl_hiddenhigh3mantissa(resultp1)) > 7)  in dbl_fadd()
369 		Dbl_set_sign(resultp1,/*using*/sign_save);  in dbl_fadd()
370 		Dbl_set_exponent(resultp1,/*using*/result_exponent);  in dbl_fadd()
371 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
374 	    Dbl_sethigh4bits(resultp1,/*using*/sign_save);  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()
402 		Dbl_set_exponent(resultp1,/*using*/result_exponent);  in dbl_fadd()
403 		Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
410 		Dbl_set_sign(resultp1,sign_save);  in dbl_fadd()
411                 Dbl_setwrapped_exponent(resultp1,result_exponent,unfl);  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()
421 	    Dbl_clear_signexponent(resultp1);  in dbl_fadd()
422 	    Dbl_set_sign(resultp1,sign_save);  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()
432 	if(Dbl_isone_hiddenoverflow(resultp1))  in dbl_fadd()
436 	    Dbl_arithrightshiftby1(resultp1,resultp2);  in dbl_fadd()
459 		    Dbl_increment(resultp1,resultp2);  in dbl_fadd()
465 	    if(Dbl_iszero_sign(resultp1))  in dbl_fadd()
468 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
473 	    if(Dbl_isone_sign(resultp1))  in dbl_fadd()
476 		Dbl_increment(resultp1,resultp2);  in dbl_fadd()
482 	if(Dbl_isone_hiddenoverflow(resultp1)) result_exponent++;  in dbl_fadd()
489 	    Dbl_setwrapped_exponent(resultp1,result_exponent,ovfl);  in dbl_fadd()
490 	    Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()
501 	    Dbl_setoverflow(resultp1,resultp2);  in dbl_fadd()
504     else Dbl_set_exponent(resultp1,result_exponent);  in dbl_fadd()
505     Dbl_copytoptr(resultp1,resultp2,dstptr);  in dbl_fadd()