Dbl_allp1
if( Dbl_allp1(leftp1) < Dbl_allp1(rightp1) )
else if( Dbl_allp1(leftp1) > Dbl_allp1(rightp1) )
if( Dbl_allp1(leftp1) > Dbl_allp1(rightp1) )
else if( Dbl_allp1(leftp1) < Dbl_allp1(rightp1) )
stickybit = Dbl_allp1(opnd1p1) || Dbl_allp2(opnd1p2);
Dbl_allp1(resultp1) = ~Dbl_allp1(resultp1);
while (stepcount-- > 0 && (Dbl_allp1(opnd1p1) || Dbl_allp2(opnd1p2))) {
Dbl_allp1(newbitp1) = 1 << (DBL_P - 32);
Sgl_all(result) = Dbl_allp1(srcp1); /* set sign of result */
Dbl_allp1(resultp1) = Sgl_all(src); /* set sign of result */
result = -Dbl_allp1(tempp1);
else result = Dbl_allp1(tempp1);
result = -Dbl_allp1(tempp1);
else result = Dbl_allp1(tempp1);