On Wed, 10 Jun 2020, Patrick McGehearty wrote: > #ifdef L_divhc3 > #define RBIG (correct value for half precision) > #define RMIN (correct value for half precision) > #define RMIN2 ... (correct value for half precision) > #define RMINSCAL ... (correct value for half precision) > #endif > #ifdef L_divsc3 > #define RBIG FLT_MAX > #define RMIN FLT_MIN > #define RMIN2 ... > #define RMINSCAL ... > #endif > ... > would get the job done once I determine (and test) the correct > values for all formats.
But some of those machine modes can represent several different floating-point formats, depending on the target. There are many more floating-point formats supported in real.c than there are names for floating-point machine modes. Not all the differences are relevant here (those differences relating to default NaNs, for example), but some are. -- Joseph S. Myers jos...@codesourcery.com
