mirrors/micropython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lib/libm: Do not force floating point type size evaluation.

Browse Source 
Since C99, `FLT_EVAL_METHOD` should be left for the compiler/libc to
define.  Its redefinition breaks compilation with picolibc as the
target's libc, since it defines said symbol in math.h before the libm
define is evaluated by the compiler.

In its place, there is a check to make sure floating point type sizes
are what are expected to be, triggering a compilation error if those
assumptions are no longer valid.

Co-authored-by: Angus Gratton <angus@redyak.com.au>
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
This commit is contained in:
Alessandro Gatti 2024-05-09 06:33:57 +02:00 committed by Damien George
parent 3af006efb3
commit 3613ad9624
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/libm/libm.h
View File

@ -19,7 +19,10 @@
#include <stdint.h>
#include <math.h>
#define FLT_EVAL_METHOD 0
// These lines verify that FLT_EVAL_METHOD==0, MicroPython's libm requires this.
// If compilation fails here then check the host compiler's FLT_EVAL_METHOD.
typedef float float_t;
typedef double double_t;
#define FORCE_EVAL(x) do { \
if (sizeof(x) == sizeof(float)) { \

5
lib/libm_dbl/libm.h
View File

@ -15,7 +15,10 @@
#include <stdint.h>
#include <math.h>
#define FLT_EVAL_METHOD 0
// These lines verify that FLT_EVAL_METHOD==0, MicroPython's libm requires this.
// If compilation fails here then check the host compiler's FLT_EVAL_METHOD.
typedef float float_t;
typedef double double_t;
#define FORCE_EVAL(x) do { \
if (sizeof(x) == sizeof(float)) { \