On 02/24/2018 09:21 AM, Laurent Vivier wrote:
> I think the change should be in fact:
>
> @@ -4549,10 +4555,7 @@ int64_t floatx80_to_int64(floatx80 a,
> float_status *status)
> if ( shiftCount <= 0 ) {
> if ( shiftCount ) {
> float_raise(float_flag_invalid, status);
> - if ( ! aSign
> - || ( ( aExp == 0x7FFF )
> - && ( aSig != LIT64( 0x8000000000000000 ) ) )
> - ) {
> + if (!aSign || floatx80_is_any_nan(a)) {
> return LIT64( 0x7FFFFFFFFFFFFFFF );
> }
> return (int64_t) LIT64( 0x8000000000000000 );
>
> Do you agree?
Yep, looks good.
r~
