Dbl_sign
sign = Dbl_sign(opndp1);
if (Dbl_sign(opnd1p1) ^ Dbl_sign(opnd2p1))
if (Dbl_sign(opnd1p1) ^ Dbl_sign(opnd2p1))
(Dbl_sign(resultp1) ^ Dbl_sign(opnd3p1))) {
Dblext_set_sign(tmpresp1,Dbl_sign(resultp1));
(Dbl_sign(resultp1) ^ Dbl_sign(opnd3p1))) {
Dblext_set_sign(tmpresp1,Dbl_sign(resultp1));
if (Dbl_sign(opnd1p1) ^ Dbl_sign(opnd2p1))
if (Dbl_sign(opnd1p1) ^ Dbl_sign(opnd2p1))
(Dbl_sign(resultp1) ^ Dbl_sign(opnd3p1))) {
(Dbl_sign(resultp1) ^ Dbl_sign(opnd3p1))) {