42     register unsigned int left, right, result, extent;  in sgl_fadd()  local
53     right = *rightptr;  in sgl_fadd()
57     Sgl_xortointp1(left,right,/*to*/save);  in sgl_fadd()
66 	    if (Sgl_isnotnan(right))   in sgl_fadd()
68 		if (Sgl_isinfinity(right) && save!=0)   in sgl_fadd()
102 	    else if (Sgl_is_signalingnan(right))   in sgl_fadd()
108 		Sgl_set_quiet(right);  in sgl_fadd()
109 		*dstptr = right;  in sgl_fadd()
122     if (Sgl_isinfinity_exponent(right))   in sgl_fadd()
124 	if (Sgl_iszero_mantissa(right))   in sgl_fadd()
127 	    *dstptr = right;  in sgl_fadd()
133         if (Sgl_isone_signaling(right))   in sgl_fadd()
139 	    Sgl_set_quiet(right);  in sgl_fadd()
144 	*dstptr = right;  in sgl_fadd()
146     	} /* End right NaN or Infinity processing */  in sgl_fadd()
152     Sgl_copytoint_exponentmantissa(right,signless_upper_right);  in sgl_fadd()
159 	Sgl_xorfromintp1(save,right,/*to*/right);  in sgl_fadd()
163     /* Invariant:  left is not smaller than right. */   in sgl_fadd()
165     if((right_exponent = Sgl_exponent(right)) == 0)  in sgl_fadd()
168 	if(Sgl_iszero_mantissa(right))   in sgl_fadd()
170 	    /* right is zero */  in sgl_fadd()
176 		    Sgl_or_signs(left,/*with*/right);  in sgl_fadd()
180 		    Sgl_and_signs(left,/*with*/right);  in sgl_fadd()
205 	Sgl_clear_sign(right);	/* Exponent is already cleared */  in sgl_fadd()
213 		Sgl_subtract(left,/*minus*/right,/*into*/result);  in sgl_fadd()
230 		Sgl_addition(left,right,/*into*/result);  in sgl_fadd()
256 	Sgl_clear_signexponent_set_hidden(right);  in sgl_fadd()
272     /* Align right operand by shifting to right */  in sgl_fadd()
273     Sgl_right_align(/*operand*/right,/*shifted by*/diff_exponent,  in sgl_fadd()
284 	Sgl_subtract_withextension(left,/*minus*/right,/*with*/extent,/*into*/result);  in sgl_fadd()
295 	     * shift is needed, then all bits to the right of the guard   in sgl_fadd()
341 	     * one position right and still not found a one so the remainder  in sgl_fadd()
426 	Sgl_addition(left,right,/*to*/result);  in sgl_fadd()