Lines Matching refs:sign_save
59 register int sign_save, jumpsize; in dbl_fadd() local
204 sign_save = Dbl_signextendedsign(leftp1); in dbl_fadd()
207 Dbl_set_sign(leftp1,/*using*/sign_save); in dbl_fadd()
256 sign_save = Dbl_signextendedsign(resultp1); in dbl_fadd()
259 Dbl_set_sign(resultp1,/*using*/sign_save); in dbl_fadd()
315 sign_save = Dbl_signextendedsign(resultp1); in dbl_fadd()
342 Dbl_set_sign(resultp1,/*using*/sign_save); in dbl_fadd()
382 Dbl_set_sign(resultp1,/*using*/sign_save); in dbl_fadd()
387 Dbl_sethigh4bits(resultp1,/*using*/sign_save); in dbl_fadd()
423 Dbl_set_sign(resultp1,sign_save); in dbl_fadd()
435 Dbl_set_sign(resultp1,sign_save); in dbl_fadd()