On Thu, 28 Apr 2022, Palmer Dabbelt wrote: > On Thu, 28 Apr 2022 15:12:39 PDT (-0700), jos...@codesourcery.com wrote: > > On Thu, 28 Apr 2022, Palmer Dabbelt wrote: > > > > > +proc check_effective_target_fenv_setround {} { > > > + return [check_runtime fenv_setround { > > > + #include <fenv.h> > > > + #include <stdlib.h> > > > + int > > > + main (void) > > > + { > > > + if (fesetround (1) == 0) > > > > There is no reason to expect that 1 is a valid argument to fesetround. > > (It isn't with x86 glibc, for example.) You need to use whatever FE_* > > rounding mode macro the test in question cares about. > > Sorry, I mis-read the man page and thought that list of numbers was ABI. At > least some of the tests are using all the rounding modes, so unless you think > it's worth splitting up both the tests and the DG check I'll just check for > all of them?
I think checking for all four of the IEEE binary rounding modes is reasonable. (If we add support for FE_TONEARESTFROMZERO in RISC-V glibc, that ought to be handled separately for any GCC tests involving that rounding mode, given that most architectures don't support it.) -- Joseph S. Myers jos...@codesourcery.com