413      flag zSign, int16 zExp, bits32 zSig0, bits32 zSig1, bits32 zSig2 )  in roundAndPackFloat64()  argument
420     increment = ( (sbits32) zSig2 < 0 );  in roundAndPackFloat64()
427                 increment = ( roundingMode == float_round_down ) && zSig2;  in roundAndPackFloat64()
430                 increment = ( roundingMode == float_round_up ) && zSig2;  in roundAndPackFloat64()
457                 zSig0, zSig1, zSig2, - zExp, &zSig0, &zSig1, &zSig2 );  in roundAndPackFloat64()
459             if ( isTiny && zSig2 ) float_raise( float_flag_underflow );  in roundAndPackFloat64()
461                 increment = ( (sbits32) zSig2 < 0 );  in roundAndPackFloat64()
465                     increment = ( roundingMode == float_round_down ) && zSig2;  in roundAndPackFloat64()
468                     increment = ( roundingMode == float_round_up ) && zSig2;  in roundAndPackFloat64()
473     if ( zSig2 ) float_exception_flags |= float_flag_inexact;  in roundAndPackFloat64()
476         zSig1 &= ~ ( ( zSig2 + zSig2 == 0 ) & roundNearestEven );  in roundAndPackFloat64()
501     bits32 zSig2;  in normalizeRoundAndPackFloat64()  local
510         zSig2 = 0;  in normalizeRoundAndPackFloat64()
515             zSig0, zSig1, 0, - shiftCount, &zSig0, &zSig1, &zSig2 );  in normalizeRoundAndPackFloat64()
518     return roundAndPackFloat64( zSign, zExp, zSig0, zSig1, zSig2 );  in normalizeRoundAndPackFloat64()
1670     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2;  in addFloat64Sigs()  local
1692             bSig0, bSig1, 0, expDiff, &bSig0, &bSig1, &zSig2 );  in addFloat64Sigs()
1707             aSig0, aSig1, 0, - expDiff, &aSig0, &aSig1, &zSig2 );  in addFloat64Sigs()
1719         zSig2 = 0;  in addFloat64Sigs()
1730     shift64ExtraRightJamming( zSig0, zSig1, zSig2, 1, &zSig0, &zSig1, &zSig2 );  in addFloat64Sigs()
1732     return roundAndPackFloat64( zSign, zExp, zSig0, zSig1, zSig2 );  in addFloat64Sigs()
1873     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2, zSig3;  in float64_mul()  local
1912     mul64To128( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1, &zSig2, &zSig3 );  in float64_mul()
1914     zSig2 |= ( zSig3 != 0 );  in float64_mul()
1917             zSig0, zSig1, zSig2, 1, &zSig0, &zSig1, &zSig2 );  in float64_mul()
1920     return roundAndPackFloat64( zSign, zExp, zSig0, zSig1, zSig2 );  in float64_mul()
1935     bits32 aSig0, aSig1, bSig0, bSig1, zSig0, zSig1, zSig2;  in float64_div()  local
1999     shift64ExtraRightJamming( zSig0, zSig1, 0, 11, &zSig0, &zSig1, &zSig2 );  in float64_div()
2000     return roundAndPackFloat64( zSign, zExp, zSig0, zSig1, zSig2 );  in float64_div()
2121     bits32 aSig0, aSig1, zSig0, zSig1, zSig2, doubleZSig0;  in float64_sqrt()  local
2174     shift64ExtraRightJamming( zSig0, zSig1, 0, 10, &zSig0, &zSig1, &zSig2 );  in float64_sqrt()
2175     return roundAndPackFloat64( 0, zExp, zSig0, zSig1, zSig2 );  in float64_sqrt()