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