Searched refs:Dbl_sethigh4bits (Results 1 – 3 of 3) sorted by relevance
374 Dbl_sethigh4bits(resultp1,/*using*/sign_save); in dbl_fadd()
377 Dbl_sethigh4bits(resultp1,/*using*/sign_save); in dbl_fsub()
276 #define Dbl_sethigh4bits(dbl_value, extsign) Deposit_dhigh4p1(dbl_value,extsign) macro