55     register unsigned int leftp1, leftp2, rightp1, rightp2, extent;  in dbl_fadd()  local
65     Dbl_copyfromptr(rightptr,rightp1,rightp2);  in dbl_fadd()
69     Dbl_xortointp1(leftp1,rightp1,/*to*/save);  in dbl_fadd()
78 	    if (Dbl_isnotnan(rightp1,rightp2))   in dbl_fadd()
80 		if (Dbl_isinfinity(rightp1,rightp2) && save!=0)   in dbl_fadd()
114 	    else if (Dbl_is_signalingnan(rightp1))   in dbl_fadd()
120 		Dbl_set_quiet(rightp1);  in dbl_fadd()
121 		Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
134     if (Dbl_isinfinity_exponent(rightp1))   in dbl_fadd()
136 	if (Dbl_iszero_mantissa(rightp1,rightp2))   in dbl_fadd()
139 	    Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
145         if (Dbl_isone_signaling(rightp1))   in dbl_fadd()
151 	    Dbl_set_quiet(rightp1);  in dbl_fadd()
156 	Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
164     Dbl_copytoint_exponentmantissap1(rightp1,signless_upper_right);  in dbl_fadd()
171 	Dbl_xorfromintp1(save,rightp1,/*to*/rightp1);  in dbl_fadd()
178     if((right_exponent = Dbl_exponent(rightp1)) == 0)  in dbl_fadd()
181 	if(Dbl_iszero_mantissa(rightp1,rightp2))   in dbl_fadd()
189 		    Dbl_or_signs(leftp1,/*with*/rightp1);  in dbl_fadd()
193 		    Dbl_and_signs(leftp1,/*with*/rightp1);  in dbl_fadd()
219 	Dbl_clear_sign(rightp1);	/* Exponent is already cleared */  in dbl_fadd()
227 		Dbl_subtract(leftp1,leftp2,/*minus*/rightp1,rightp2,  in dbl_fadd()
245 		Dbl_addition(leftp1,leftp2,rightp1,rightp2,  in dbl_fadd()
273 	Dbl_clear_signexponent_set_hidden(rightp1);  in dbl_fadd()
290     Dbl_right_align(/*operand*/rightp1,rightp2,/*shifted by*/diff_exponent,  in dbl_fadd()
301 	Dbl_subtract_withextension(leftp1,leftp2,/*minus*/rightp1,rightp2,  in dbl_fadd()
444 	Dbl_addition(leftp1,leftp2,rightp1,rightp2,/*to*/resultp1,resultp2);  in dbl_fadd()