Jeff Law schrieb:
On Mon, 2019-12-16 at 17:43 +0100, Georg-Johann Lay wrote:
Am 16.12.19 um 17:40 schrieb Georg-Johann Lay:
Patch 1/3 is the GCC changes: Documentation and new avr-specific
configure options:

--with-libf7 selects to which level double support from libf7 is added
to libgcc.

--with-double-comparison select what FLOAT_LIB_COMPARE_RETURNS_BOOL
returns.

Johann

gcc/
        * config.gcc (tm_defines) [target=avr]: Support --with-libf7,
        --with-double-comparison.
        * doc/install.texi: Document them.
        * config/avr/avr-c.c (avr_cpu_cpp_builtins)
        <WITH_LIBF7_LIBGCC, WITH_LIBF7_MATH, WITH_LIBF7_MATH_SYMBOLS>
        <WITH_DOUBLE_COMPARISON>: New built-in defines.
        * doc/invoke.texi (AVR Built-in Macros): Document them.
        * config/avr/avr-protos.h (avr_float_lib_compare_returns_bool): New.
        * config/avr/avr.c (avr_float_lib_compare_returns_bool): New function.
        * config/avr/avr.h (FLOAT_LIB_COMPARE_RETURNS_BOOL): New macro.
I'd suggest "--with-libf77" rather than "--with-libf7".
jeff


Why that second 7?

I called it "libf7" because the internal _f_loat representation has a mantissa of 7 bytes. So libf56 would also be indicative.

Actually the name does not matter very much... It just needs to have /some/ name. "f77" however puts it close to Fortran, but that code has absolutely nothing to do with Fortran whatsoever.

Johann

p.s. You know anything about Denis Chertykov? He used to reply to avr patches within hours, but my latest patches (after a long period where I didn't propose any patches) where all approved by you; not a single mail from Denis. So I am concerned if he's well. Maybe he left you or some other global maintainer a note? He's still listed as maintainer though.

Reply via email to