sbits64
increment = ( (sbits64) zSig2 < 0 );
if ( a == (sbits64) LIT64( 0x8000000000000000 ) ) {
return (sbits64) LIT64( 0x8000000000000000 );
return (sbits64) LIT64( 0x8000000000000000 );
increment = ( (sbits64) absZ1 < 0 );
zSign ? (sbits64) LIT64( 0x8000000000000000 )
while ( (sbits64) rem < 0 ) {
return (sbits64) LIT64( 0x8000000000000000 );
return (sbits64) LIT64( 0x8000000000000000 );
if ( (sbits64) zSig < 0 ) {
if ( 0 <= (sbits64) ( zSig0<<1 ) ) {
while ( (sbits64) rem0 < 0 ) {
sbits64 sigMean;
} while ( 0 <= (sbits64) aSig );
zSign = ( (sbits64) aSig < 0 );
while ( (sbits64) rem0 < 0 ) {
return (sbits64) LIT64( 0x8000000000000000 );
return (sbits64) LIT64( 0x8000000000000000 );
if ( (sbits64) zSig0 < 0 ) goto roundAndPack;
if ( 0 < (sbits64) zSig0 ) {
while ( (sbits64) rem0 < 0 ) {
while ( (sbits64) rem1 < 0 ) {
while ( (sbits64) rem0 < 0 ) {
while ( (sbits64) rem1 < 0 ) {
return (sbits64) LIT64( 0x8000000000000000 );
return (sbits64) LIT64( 0x8000000000000000 );
if ( (sbits64) z.low < 0 ) {
&& ( (sbits64) ( zSig + roundIncrement ) < 0 ) )
while ( (sbits64) rem0 < 0 ) {
while ( (sbits64) rem1 < 0 ) {
sbits64 sigMean0;
} while ( 0 <= (sbits64) aSig0 );
zSign = ( (sbits64) aSig0 < 0 );
while ( (sbits64) rem0 < 0 ) {
while ( (sbits64) rem1 < 0 ) {
if ( (sbits64) zSig0 < 0 ) zExp = 1;
increment = ( (sbits64) zSig1 < 0 );
increment = ( (sbits64) zSig1 < 0 );
if ( (sbits64) zSig0 < 0 ) zExp = 1;
increment = ( (sbits64) zSig2 < 0 );