Re: [PATCH] Add __builtin_iseqsig()

[Jeff Law <jeffreyalaw@gmail.com>]

On 10/31/22 13:15, FX wrote:
> Hi,
>
> Just adding, from the Fortran 2018 perspective, things we will need to implement for which I think support from the middle-end might be necessary:
>
> - rounded conversions: converting, from an integer or floating point type, into another floating point type, with specific rounding mode passed as argument
> - conversion to integer: converting, from a floating point type, into an integer type, with specific rounding mode passed as argument
> - IEEE operations corresponding to nextDown and nextUp (or are those already available? I have not checked the fine print)
>
> I would like to add them all for GCC 13.

If you want them all for GCC 13, then you're going to need to make a 
case for a policy exception to add them after stage1 has closed.


Joseph's reply earlier in this thread has indicated a desire to verify 
that verifies FE_INVALID is raised when appropriate and not raised when 
inappropriate when the arguments come from volatile variables rather 
than directly from constants.

The patch itself looks pretty reasonable.  So let's get the testing 
coverage Joseph wanted so we can move forward.


Jeff