42     register unsigned int leftp1, leftp2, rightp1, rightp2, extent;  in dbl_fadd()  local
52     Dbl_copyfromptr(rightptr,rightp1,rightp2);  in dbl_fadd()
56     Dbl_xortointp1(leftp1,rightp1,/*to*/save);  in dbl_fadd()
65 	    if (Dbl_isnotnan(rightp1,rightp2))   in dbl_fadd()
67 		if (Dbl_isinfinity(rightp1,rightp2) && save!=0)   in dbl_fadd()
101 	    else if (Dbl_is_signalingnan(rightp1))   in dbl_fadd()
107 		Dbl_set_quiet(rightp1);  in dbl_fadd()
108 		Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
121     if (Dbl_isinfinity_exponent(rightp1))   in dbl_fadd()
123 	if (Dbl_iszero_mantissa(rightp1,rightp2))   in dbl_fadd()
126 	    Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
132         if (Dbl_isone_signaling(rightp1))   in dbl_fadd()
138 	    Dbl_set_quiet(rightp1);  in dbl_fadd()
143 	Dbl_copytoptr(rightp1,rightp2,dstptr);  in dbl_fadd()
151     Dbl_copytoint_exponentmantissap1(rightp1,signless_upper_right);  in dbl_fadd()
158 	Dbl_xorfromintp1(save,rightp1,/*to*/rightp1);  in dbl_fadd()
165     if((right_exponent = Dbl_exponent(rightp1)) == 0)  in dbl_fadd()
168 	if(Dbl_iszero_mantissa(rightp1,rightp2))   in dbl_fadd()
176 		    Dbl_or_signs(leftp1,/*with*/rightp1);  in dbl_fadd()
180 		    Dbl_and_signs(leftp1,/*with*/rightp1);  in dbl_fadd()
206 	Dbl_clear_sign(rightp1);	/* Exponent is already cleared */  in dbl_fadd()
214 		Dbl_subtract(leftp1,leftp2,/*minus*/rightp1,rightp2,  in dbl_fadd()
232 		Dbl_addition(leftp1,leftp2,rightp1,rightp2,  in dbl_fadd()
260 	Dbl_clear_signexponent_set_hidden(rightp1);  in dbl_fadd()
277     Dbl_right_align(/*operand*/rightp1,rightp2,/*shifted by*/diff_exponent,  in dbl_fadd()
288 	Dbl_subtract_withextension(leftp1,leftp2,/*minus*/rightp1,rightp2,  in dbl_fadd()
431 	Dbl_addition(leftp1,leftp2,rightp1,rightp2,/*to*/resultp1,resultp2);  in dbl_fadd()