packFloat128
packFloat128(
return packFloat128( zSign, 0x7FFF, 0, 0 );
return packFloat128( zSign, zExp, zSig0, zSig1 );
if ( a == 0 ) return packFloat128( 0, 0, 0, 0 );
return packFloat128( zSign, 0x402E - shiftCount, zSig0<<shiftCount, 0 );
if ( a == 0 ) return packFloat128( 0, 0, 0, 0 );
return packFloat128( zSign, zExp, zSig0, zSig1 );
return packFloat128( aSign, 0x7FFF, 0, 0 );
if ( aSig == 0 ) return packFloat128( aSign, 0, 0, 0 );
return packFloat128( aSign, aExp + 0x3F80, ( (bits64) aSig )<<25, 0 );
return packFloat128( aSign, 0x7FFF, 0, 0 );
if ( aSig == 0 ) return packFloat128( aSign, 0, 0, 0 );
return packFloat128( aSign, aExp + 0x3C00, zSig0, zSig1 );
return packFloat128( aSign, aExp, zSig0, zSig1 );
return packFloat128( aSign, 0x3FFF, 0, 0 );
aSign ? packFloat128( 1, 0x3FFF, 0, 0 )
: packFloat128( 0, 0, 0, 0 );
aSign ? packFloat128( 1, 0, 0, 0 )
: packFloat128( 0, 0x3FFF, 0, 0 );
return packFloat128( aSign, 0, 0, 0 );
return packFloat128( zSign, 0x7FFF, 0, 0 );
if ( aExp == 0 ) return packFloat128( zSign, 0, zSig0, zSig1 );
return packFloat128( float_rounding_mode() == float_round_down, 0, 0, 0 );
return packFloat128( zSign ^ 1, 0x7FFF, 0, 0 );
return packFloat128( zSign, 0x7FFF, 0, 0 );
return packFloat128( zSign, 0x7FFF, 0, 0 );
if ( ( aSig0 | aSig1 ) == 0 ) return packFloat128( zSign, 0, 0, 0 );
if ( ( bSig0 | bSig1 ) == 0 ) return packFloat128( zSign, 0, 0, 0 );
return packFloat128( zSign, 0x7FFF, 0, 0 );
return packFloat128( zSign, 0, 0, 0 );
return packFloat128( zSign, 0x7FFF, 0, 0 );
if ( ( aSig0 | aSig1 ) == 0 ) return packFloat128( zSign, 0, 0, 0 );
if ( ( aSig0 | aSig1 ) == 0 ) return packFloat128( 0, 0, 0, 0 );