Dbl_normalize
Dbl_normalize(leftp1,leftp2,result_exponent);
Dbl_normalize(resultp1,resultp2,result_exponent);
Dbl_normalize(opnd1p1,opnd1p2,dest_exponent);
Dbl_normalize(opnd1p1,opnd1p2,dest_exponent);
Dbl_normalize(opnd2p1,opnd2p2,dest_exponent);
Dbl_normalize(opnd1p1,opnd1p2,opnd1_exponent);
Dbl_normalize(opnd2p1,opnd2p2,opnd2_exponent);
Dbl_normalize(srcp1,srcp2,src_exponent);
Dbl_normalize(leftp1,leftp2,result_exponent);
Dbl_normalize(resultp1,resultp2,result_exponent);
Dbl_normalize(opnd3p1,opnd3p2,result_exponent);
Dbl_normalize(opnd2p1,opnd2p2,mpy_exponent);
Dbl_normalize(opnd3p1,opnd3p2,add_exponent);
Dbl_normalize(opnd3p1,opnd3p2,result_exponent);
Dbl_normalize(opnd1p1,opnd1p2,mpy_exponent);
Dbl_normalize(opnd3p1,opnd3p2,result_exponent);
Dbl_normalize(opnd2p1,opnd2p2,mpy_exponent);
Dbl_normalize(opnd3p1,opnd3p2,add_exponent);
Dbl_normalize(opnd3p1,opnd3p2,result_exponent);
Dbl_normalize(opnd1p1,opnd1p2,mpy_exponent);