69ead7d98e
Add a new MICROPY_COMP_CONST_FLOAT feature, enabled by in mpy-cross and
when compiling with MICROPY_CONFIG_ROM_LEVEL_CORE_FEATURES. The new
feature leverages the code of MICROPY_COMP_CONST_FOLDING to support folding
of floating point constants.
If MICROPY_COMP_MODULE_CONST is defined as well, math module constants are
made available at compile time. For example:
_DEG_TO_GRADIANT = const(math.pi / 180)
_INVALID_VALUE = const(math.nan)
A few corner cases had to be handled:
- The float const folding code should not fold expressions resulting into
complex results, as the mpy parser for complex immediates has
limitations.
- The constant generation code must distinguish between -0.0 and 0.0, which
are different even if C consider them as ==.
This change removes previous limitations on the use of `const()`
expressions that would result in floating point number, so the test cases
of micropython/const_error have to be updated.
Additional test cases have been added to cover the new repr() code (from a
previous commit). A few other simple test cases have been added to handle
the use of floats in `const()` expressions, but the float folding code
itself is also tested when running general float test cases, as float
expressions often get resolved at compile-time (with this change).
Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>
173 lines
6.2 KiB
C
173 lines
6.2 KiB
C
/*
|
|
* This file is part of the MicroPython project, http://micropython.org/
|
|
*
|
|
* The MIT License (MIT)
|
|
*
|
|
* Copyright (c) 2013-2015 Damien P. George
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
|
|
// options to control how MicroPython is built
|
|
|
|
#define MICROPY_ALLOC_PATH_MAX (PATH_MAX)
|
|
#define MICROPY_PERSISTENT_CODE_LOAD (0)
|
|
#define MICROPY_PERSISTENT_CODE_SAVE (1)
|
|
|
|
#ifndef MICROPY_PERSISTENT_CODE_SAVE_FILE
|
|
#if defined(__i386__) || defined(__x86_64__) || defined(_WIN32) || defined(__unix__) || defined(__APPLE__)
|
|
#define MICROPY_PERSISTENT_CODE_SAVE_FILE (1)
|
|
#else
|
|
#define MICROPY_PERSISTENT_CODE_SAVE_FILE (0)
|
|
#endif
|
|
#endif
|
|
|
|
#define MICROPY_EMIT_X64 (1)
|
|
#define MICROPY_EMIT_X86 (1)
|
|
#define MICROPY_EMIT_THUMB (1)
|
|
#define MICROPY_EMIT_INLINE_THUMB (1)
|
|
#define MICROPY_EMIT_ARM (1)
|
|
#define MICROPY_EMIT_XTENSA (1)
|
|
#define MICROPY_EMIT_INLINE_XTENSA (1)
|
|
#define MICROPY_EMIT_XTENSAWIN (1)
|
|
#define MICROPY_EMIT_RV32 (1)
|
|
#define MICROPY_EMIT_INLINE_RV32 (1)
|
|
#define MICROPY_EMIT_NATIVE_DEBUG (1)
|
|
#define MICROPY_EMIT_NATIVE_DEBUG_PRINTER (&mp_stdout_print)
|
|
|
|
#define MICROPY_DYNAMIC_COMPILER (1)
|
|
#define MICROPY_COMP_CONST_FOLDING (1)
|
|
#define MICROPY_COMP_MODULE_CONST (1)
|
|
#define MICROPY_COMP_CONST (1)
|
|
#define MICROPY_COMP_CONST_FLOAT (1)
|
|
#define MICROPY_COMP_DOUBLE_TUPLE_ASSIGN (1)
|
|
#define MICROPY_COMP_TRIPLE_TUPLE_ASSIGN (1)
|
|
#define MICROPY_COMP_RETURN_IF_EXPR (1)
|
|
|
|
#define MICROPY_READER_POSIX (1)
|
|
#define MICROPY_ENABLE_RUNTIME (0)
|
|
#define MICROPY_ENABLE_GC (1)
|
|
#ifndef __EMSCRIPTEN__
|
|
#define MICROPY_STACK_CHECK (1)
|
|
#endif
|
|
#define MICROPY_HELPER_LEXER_UNIX (1)
|
|
#define MICROPY_LONGINT_IMPL (MICROPY_LONGINT_IMPL_MPZ)
|
|
#define MICROPY_ENABLE_SOURCE_LINE (1)
|
|
#define MICROPY_ENABLE_DOC_STRING (0)
|
|
#define MICROPY_ERROR_REPORTING (MICROPY_ERROR_REPORTING_DETAILED)
|
|
#define MICROPY_WARNINGS (1)
|
|
|
|
#define MICROPY_FLOAT_IMPL (MICROPY_FLOAT_IMPL_DOUBLE)
|
|
#define MICROPY_CPYTHON_COMPAT (1)
|
|
#define MICROPY_USE_INTERNAL_PRINTF (0)
|
|
|
|
#define MICROPY_PY_FSTRINGS (1)
|
|
#define MICROPY_PY_BUILTINS_STR_UNICODE (1)
|
|
|
|
#if !(defined(MICROPY_GCREGS_SETJMP) || defined(__x86_64__) || defined(__i386__) || defined(__thumb2__) || defined(__thumb__) || defined(__arm__))
|
|
// Fall back to setjmp() implementation for discovery of GC pointers in registers.
|
|
#define MICROPY_GCREGS_SETJMP (1)
|
|
#endif
|
|
|
|
#define MICROPY_PY___FILE__ (0)
|
|
#define MICROPY_PY_ARRAY (0)
|
|
#define MICROPY_PY_ATTRTUPLE (0)
|
|
#define MICROPY_PY_COLLECTIONS (0)
|
|
#define MICROPY_PY_MATH (MICROPY_COMP_CONST_FLOAT)
|
|
#define MICROPY_PY_MATH_CONSTANTS (MICROPY_COMP_CONST_FLOAT)
|
|
#define MICROPY_PY_CMATH (0)
|
|
#define MICROPY_PY_GC (0)
|
|
#define MICROPY_PY_IO (0)
|
|
#define MICROPY_PY_SYS (0)
|
|
|
|
// type definitions for the specific machine
|
|
|
|
#ifdef __LP64__
|
|
typedef long mp_int_t; // must be pointer size
|
|
typedef unsigned long mp_uint_t; // must be pointer size
|
|
#elif defined(__MINGW32__) && defined(_WIN64)
|
|
#include <stdint.h>
|
|
typedef __int64 mp_int_t;
|
|
typedef unsigned __int64 mp_uint_t;
|
|
#elif defined(_MSC_VER) && defined(_WIN64)
|
|
typedef __int64 mp_int_t;
|
|
typedef unsigned __int64 mp_uint_t;
|
|
#else
|
|
// These are definitions for machines where sizeof(int) == sizeof(void*),
|
|
// regardless for actual size.
|
|
typedef int mp_int_t; // must be pointer size
|
|
typedef unsigned int mp_uint_t; // must be pointer size
|
|
#endif
|
|
|
|
// Cannot include <sys/types.h>, as it may lead to symbol name clashes
|
|
#if _FILE_OFFSET_BITS == 64 && !defined(__LP64__)
|
|
typedef long long mp_off_t;
|
|
#else
|
|
typedef long mp_off_t;
|
|
#endif
|
|
|
|
#define MP_PLAT_PRINT_STRN(str, len) (void)0
|
|
|
|
// We need to provide a declaration/definition of alloca()
|
|
#if defined(__FreeBSD__) || defined(__NetBSD__)
|
|
#include <stdlib.h>
|
|
#elif defined(_WIN32)
|
|
#include <malloc.h>
|
|
#else
|
|
#include <alloca.h>
|
|
#endif
|
|
|
|
#include <stdint.h>
|
|
|
|
// MSVC specifics - see windows/mpconfigport.h for explanation
|
|
#ifdef _MSC_VER
|
|
|
|
#define MP_ENDIANNESS_LITTLE (1)
|
|
#define MP_NORETURN __declspec(noreturn)
|
|
#define MP_NOINLINE __declspec(noinline)
|
|
#define MP_ALWAYSINLINE __forceinline
|
|
#define MP_LIKELY(x) (x)
|
|
#define MP_UNLIKELY(x) (x)
|
|
#define MICROPY_PORT_CONSTANTS { MP_ROM_QSTR(MP_QSTR_dummy), MP_ROM_PTR(NULL) }
|
|
#ifdef _WIN64
|
|
#define MP_SSIZE_MAX _I64_MAX
|
|
#else
|
|
#define MP_SSIZE_MAX _I32_MAX
|
|
#endif
|
|
#define MICROPY_MAKE_POINTER_CALLABLE(p) ((void *)(p)) // Avoid compiler warning about different const qualifiers
|
|
#define restrict
|
|
#define inline __inline
|
|
#define alignof(t) __alignof(t)
|
|
#undef MICROPY_ALLOC_PATH_MAX
|
|
#define MICROPY_ALLOC_PATH_MAX 260
|
|
#define PATH_MAX MICROPY_ALLOC_PATH_MAX
|
|
#define S_ISREG(m) (((m) & S_IFMT) == S_IFREG)
|
|
#define S_ISDIR(m) (((m) & S_IFMT) == S_IFDIR)
|
|
#ifdef _WIN64
|
|
#define SSIZE_MAX _I64_MAX
|
|
typedef __int64 ssize_t;
|
|
#else
|
|
#define SSIZE_MAX _I32_MAX
|
|
typedef int ssize_t;
|
|
#endif
|
|
typedef mp_off_t off_t;
|
|
|
|
#endif
|
|
|
|
extern const struct _mp_print_t mp_stdout_print;
|