4570 Commits

Author	SHA1	Message	Date
Jeff Epler	c91e091ad7	py/runtime: Fix printing of failed allocation amounts. ... On LP64 and LLP64 systems, size_t is bigger than unsigned. Printing the failed allocation using the new SIZE_FMT macro allows the correct failed allocation size to be shown. Example where this affects the failed allocation message (on x86_64 coverage build): >>> "a" * (1 << 54) Before, this would print the size as 1. Now it prints it as 18014398509481985 (2**54 + 1). Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-10-03 00:45:40 +10:00
Jeff Epler	ab00806025	py/mpconfig: Introduce SIZE_FMT macro. ... Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-10-03 00:45:31 +10:00
Jeff Epler	7d50952c2b	all: Use "static inline" consistently in function definitions. ... Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-10-02 16:30:52 +10:00
Damien George	dcbda765d1	py/modmath: Make MICROPY_PY_MATH_POW_FIX_NAN also fix pow(x, NaN) cases. ... This is needed by the zephyr port. Combining it with the existing `MICROPY_PY_MATH_POW_FIX_NAN` option should be safe, and eliminates the need for a separate option. Signed-off-by: Damien George <damien@micropython.org>	2025-10-01 23:59:15 +10:00
Jeff Epler	a809132921	py: Add MICROPY_USE_GCC_MUL_OVERFLOW_INTRINSIC. ... Most MCUs apart from Cortex-M0 with Thumb 1 have an instruction for computing the "high part" of a multiplication (e.g., the upper 32 bits of a 32x32 multiply). When they do, gcc uses this to implement a small and fast overflow check using the __builtin_mul_overflow intrinsic, which is preferable to the guard division method previously used in smallint.c. However, in contrast to the previous mp_small_int_mul_overflow routine, which checks that the result fits not only within mp_int_t but is SMALL_INT_FITS(), __builtin_mul_overflow only checks for overflow of the C type. As a result, a slight change in the code flow is needed for MP_BINARY_OP_MULTIPLY. Other sites using mp_small_int_mul_overflow already had the result value flow through to a SMALL_INT_FITS check so they didn't need any additional changes. Do similarly for the _ll and _ull multiply overflows checks. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-10-01 09:23:05 +10:00
Damien George	beb4c3188f	py/runtime: Support importing a method from an instance. ... This change follows CPython behaviour, allowing use of: from instance import method to import a bound method from a class instance, eg registered via setting `sys.modules["instance"] = instance`. Admittedly this is probably a very rarely used pattern in Python, but it resolves a long standing comment about whether or not this is actually possible (it turns out it is possible!). A test is added to show how it works. The main reason for this change is to fix a problem with imports in the webassembly port: prior to this fix, it was not possible to do `from js_module import function`, where `js_module` is a JavaScript object registered to be visible to Python through the webassembly API function `registerJsModule(js_module)`. But now with this fix that is possible. Signed-off-by: Damien George <damien@micropython.org>	2025-09-30 11:04:05 +10:00
Jeff Epler	f658b0d862	py/objint: Fix converting float to int with OBJ_REPR_B. ... The check for 'fits in a small int' is specific to the 31-bit int of other object representations. Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-09-28 23:24:24 +10:00
Jeff Epler	7e5c55dc2f	py/mkrules.mk: Add %.sz rule to print size of an object file. ... It's frequently the case that a developer will want to compare the object code size of various alternatives. When this can be done at the single object code level, the turnaround is faster. Provide a rule `$(BUILD)/%.sz` to print the size of a given object. Because it is a normal Makefile target that depends on an object file, it rebuilds the object file if needed. Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-09-26 14:38:05 +10:00
Jeff Epler	72867bce1d	py/objrange: Allow return of non-small ints. ... The magnitude of `range()` arguments is not restricted to "small" ints, but includes "machine ints" which fit inside a register but can only be represented as "long integer" objects in Python. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-09-26 13:34:57 +10:00
Damien George	2373340aa3	py/stream: Reuse write implementation for readinto. ... This commit refactors some common code in the core stream implementation, to reduce code size while retaining the same functionality. With the factoring, `readinto`/`readinto1` could now support an additional 4th argument (like write) but it's best not to introduce even more CPython incompatibility, so they are left as having a maximum of 3 args. Signed-off-by: Damien George <damien@micropython.org>	2025-09-26 00:24:08 +10:00
Chris Webb	81985d20c9	shared/runtime/mpirq: Check separate hard IRQ stack correctly. ... On the zephyr port, hard IRQ handlers run with a separate stack on a different thread, so each call to mp_irq_dispatch() and mp_irq_handler() has to be wrapped with adjustments to the stack-limit checker. Move these adjustments into the shared mp_irq_dispatch(), introducing MICROPY_STACK_SIZE_HARD_IRQ which a port can define to non-zero if it uses a separate stack for hard IRQ handlers. We only need wrap the hard dispatch case. This should reduce binary size on zephyr without affecting other ports. Signed-off-by: Chris Webb <chris@arachsys.com>	2025-09-25 23:59:24 +10:00
Alessandro Gatti	40dbf77415	py/emitinlinerv32: Add Zba opcodes to the inline assembler. ... This commit adds support for Zba opcodes to the RV32 inline assembler. Three new opcodes were added, SH1ADD, SH2ADD, and SH3ADD, which performs a scaled addition (by 1, 2, or 3 bits respectively). At the moment only qemu's VIRT_RV32 and rp2's RPI_PICO2/RPI_PICO2_W ports support these opcodes (the latter only when using the RISCV variant). Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-09-19 15:52:20 +02:00
Alessandro Gatti	cb7ca6f1bc	py/asmrv32: Use RV32 Zba opcodes if possible. ... This commit adds optional support for selected Zba opcodes (address generation) to speed up Viper and native code generation on MCUs where those opcodes are supported (namely RP2350). Right now support for these opcodes is opt-in, as extension detection granularity on the RISC-V platform is still a bit in flux. Relying on the 'B' bit in the MISA register may yield both false positives and false negatives depending on the RISC-V implementation the check runs on. As a side-effect of Zba support, regular non-byte load/stores have been made shorter by two bytes. Whilst this makes code using Zba take up the same space as non-Zba code, the former will still be faster as it will have to process just one instruction instead of two, without stalling registers between the shift and the addition needed to compute the final offset. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-09-19 15:51:37 +02:00
Alessandro Gatti	42ea7bc32a	py/mpstate: Make it possible for mpy-cross to set emitter options. ... This commit introduces a way for mpy-cross to pass a set of options to the chosen emitter. This is achieved by adding an opaque pointer to the dynamic compiler state structure that is only accessed by emitters that have a need to receive options from mpy-cross when generating code. That's a way to make this feature possible without breaking any existing code or emitter, and without re-engineering the compiler entry point function (together with passing the options struct downstream until it's time to emit code). The main use case for this is letting the RV32 emitter know which optional extensions it can generate code with, to be able to emit better suited code for the platform in use. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-09-19 10:06:18 +02:00
Alessandro Gatti	1b92bda5b8	mpy-cross: Add RISC-V RV64IMC support in MPY files. ... MPY files can now hold data to be run on RV64IMC. This can be accomplished by passing the `-march=rv64imc` flag to mpy-cross. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-09-19 11:11:31 +10:00
Ayush Singh	2dc6873bbc	py/py.cmake: Add nlraarch64. ... - Required for aarch64 zephyr port targets to build. - Tested with PocketBeagle 2 [0] A53 cores. [0]: https://docs.zephyrproject.org/latest/boards/beagle/pocketbeagle_2/doc/index.html Signed-off-by: Ayush Singh <ayush@beagleboard.org>	2025-09-16 13:04:42 +10:00
Anson Mansfield	6d640a15ab	py/obj: Document undocumented MP_TYPE_FLAG values. ... This adds comments documentign the meaning of the type flag bits `MP_TYPE_FLAG_IS_SUBCLASSED` and `MP_TYPE_FLAG_HAS_SPECIAL_ACCESSORS`, for consistency with the comments added later on documenting the other flags. These flags were were originally made part of the public API in c3450effd4. This block of doc comments was only added later on when `MP_TYPE_FLAG_EQ_NOT_REFLEXIVE`, `MP_TYPE_FLAG_EQ_CHECKS_OTHER_TYPE`, and `MP_TYPE_FLAG_EQ_HAS_NEQ_TEST` were added in 9ec1caf42e. Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-16 10:51:40 +10:00
Jeff Epler	d9d9d1ab0d	py: Remove unneeded future imports. ... Signed-off-by: Jeff Epler <jepler@unpythonic.net>	2025-09-15 14:54:09 +10:00
Jeff Epler	f0c6f16b9e	all: Remove Python 2.7 support. ... Python 2.7 has been EOL since January 2020. Ubuntu oldoldlts (Focal Fossa, 20.04) has Python 3.8. Debian oldoldstable (Buster, from 2019) has Python 3.7. RHEL 8 (from 2019) has Python 3.6. It's easier than ever to install a modern Python using uv. Given this, it seems like a fine idea to drop Python 2.7 support. Even though the build is not tested on Python as old as 3.3, I left comments stating that "3.3+" is the baseline Python version. However, it might make sense to bump this to e.g., 3.10, the oldest Python 3 version used during CI. Or, using uv or another method actually test on the oldest Python interpreter that is desirable to support (uv goes back to Python 3.7 easily; in October 2025, the oldest supported Python interpreter version will be 3.10) Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-09-15 14:53:32 +10:00
robert-hh	e453d9d9f1	py/stream: Support additional arguments for mp_stream_write1_obj. ... As suggested by @dpgeorge adding a `stream_write_generic()` function. Tested the different write timeouts with a RP2 using flow control. Tested support of the additional arguments of `uart.write()`. Signed-off-by: robert-hh <robert@hammelrath.com>	2025-09-11 12:43:02 +10:00
robert-hh	66fb82e44e	py/stream: Add a stream.readinto1() method for machine.UART. ... Avoiding the double timeout when used with the UART class. `stream.readinto1()` returns after the first timeout. Fixes issue #17611. Signed-off-by: robert-hh <robert@hammelrath.com>	2025-09-11 12:42:24 +10:00
Jeff Epler	9728538c3a	py/compile: Throw SyntaxError instead of asserting. ... This condition corresponds to invalid asm code like ``` @micropython.asm_rv32 def l(): a=di(a2, a2, -1) ``` and possibly other forms where nodes[0] is not a STRUCT. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-09-10 07:46:06 -05:00
Anson Mansfield	1d90577b7e	py/gc: Clean up usage of GC_ALLOC_FLAG_HAS_FINALISER flag. ... The calls signature for gc_malloc was changed in 5ed578e5b4, without cleaning up existing code on the rationale that the previous bool is automatically converted to an int with the same meaning. This commit goes back and cleans up existing invocations to make their behavior more readable in a modern context. Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-10 17:24:56 +10:00
Anson Mansfield	a21d3f1975	py/obj: Update with_finaliser version to match mp_obj_malloc_var. ... Cleans up 2423493774, and fixes builds that include LFS but not MICROPY_ENABLE_FINALISER. Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-09-10 17:24:56 +10:00
Daniël van de Giessen	9e89c752cb	py/makeversionhdr.py: Always abbreviate Git hashes to same length. ... The Git hash is embedded in the version number. The hash is abbreviated by Git. This commit changes the length of the Git hash abbreviation to a fixed number, so that the length of the version string no longer varies based on external factors (it can still vary, but will now be at least 10 characters). This change is made because builds of the same MicroPython commit on multiple machines were sometimes giving a version string with different lengths, eg due to commits on other local branches having a clashing abbreviated hash. This change may also help the code size report to be more consistent, because it will less often be impacted by random changes in the version string length, at the cost of always being a few bytes longer. Signed-off-by: Daniël van de Giessen <daniel@dvdgiessen.nl>	2025-09-10 17:00:37 +10:00
Jeff Epler	b6cd577cf6	py/mkrules.mk: Force ".pp" files to always rebuild. ... These files are only built on demand for developers, and it is a quick process. Without FORCE, a sequence like this would leave the developer with an outdated `main.pp` to inspect: make build-standard/main.pp touch input.h make build-standard/main.pp # Rebuilds now, wouldn't have before Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-28 23:09:32 +10:00
Jeff Epler	1671977ca4	py/parsenum: Fix parsing LLONG_MIN in longlong configuration. ... Re-organize `mp_parse_num_integer()` (for longlong) slightly so that the most negative 64-bit integer can be parsed. Fixes issue #17932. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-28 11:31:03 +10:00
Anson Mansfield	f4f7fbf3dc	py/obj: Remove unused map new/free function declarations. ... These functions were removed in 6c9fca2 for v1.9.3. This commit removes their declarations as well. See-also: 6c9fca2aa9 Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-08-28 11:16:00 +10:00
David Schneider	8c47e446bf	py/obj: Fix a comment regarding make_new slot. ... This was missed as part of the transition to make_new a mp_obj_type_t slot. See also: 94beeabd2e Signed-off-by: David Schneider <schneidav81@gmail.com>	2025-08-26 23:16:01 +10:00
Damien George	a3f9dec788	py/mpconfig: Enable the sys module at all feature levels by default. ... This is a pretty fundamental module, and even minimal ports like unix and zephyr minimal have it enabled. So, enabled it by default at the lowest feature level. Most things in the `sys` module are configurable, and off by default, so it shouldn't add too much to ports that don't already have it enabled (which is just the minimal port). Also note that `sys` is still disabled on the bare-arm port, to keep that ultra minimal. It means we now have bare-arm without `sys` and the minimal port with `sys`. That will allow different code size comparisons if/when new `sys` features are added. Signed-off-by: Damien George <damien@micropython.org>	2025-08-22 13:31:10 +10:00
Damien George	14e9c00cb9	py/builtinimport: Guard code needing sys.path with MICROPY_PY_SYS_PATH. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-22 13:30:46 +10:00
Damien George	b5fcb33eaa	py/mpconfig: Enable CRYPTOLIB, HASHLIB_MD5, HASHLIB_SHA1 if SSL enabled. ... This commit unifies the configuration of MICROPY_PY_CRYPTOLIB, MICROPY_PY_HASHLIB_MD5 and MICROPY_PY_HASHLIB_SHA1, so they are enabled by default if MICROPY_PY_SSL is enabled. This matches the existing configuration of most of the ports. With this change, all ports remain the same except: - reneses-ra now enables MICROPY_PY_CRYPTOLIB, MICROPY_PY_HASHLIB_MD5 and MICROPY_PY_HASHLIB_SHA1. - rp2 now enables MICROPY_PY_HASHLIB_MD5. Signed-off-by: Damien George <damien@micropython.org>	2025-08-19 21:10:00 +10:00
Damien George	989abae12c	py/mpconfig: Move MICROPY_MODULE___ALL__ option to other module options. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-19 13:00:45 +10:00
Damien George	169d382248	py/mpconfig: Rename MICROPY_PY___FILE__ to MICROPY_MODULE___FILE__. ... For consistency with other module-related configuration options. Signed-off-by: Damien George <damien@micropython.org>	2025-08-19 13:00:45 +10:00
Damien George	3650196682	py/objtype: Use locals_ptr directly instead of getting it from the slot. ... This is a very minor code simplification, which reduces code size by about -8 bytes. It should have no functional change. Signed-off-by: Damien George <damien@micropython.org>	2025-08-19 12:58:02 +10:00
Alessandro Gatti	bd413d3d85	py/asmthumb: Fix T3 encoding of conditional branches. ... This commit fixes the encoding of conditional branch opcodes emitted for ARMv7-M targets, when the emitter decides to use the T3 encoding for said operation. Fields J1 and J2 are now present in the generated opcode word, along with correcting some minor issues in bitmasks and shifts computation. This fixes #17940. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-19 12:40:29 +10:00
Angus Gratton	3faf229853	py/misc: Add a way to detect sanitizer builds. ... Clang and gcc>=14 can use __has_feature() to detect if a sanitizer is enabled, but older GCC has no mechanism - need to set a macro explicitly for this to be recognised. Necessary for increasing some resource limits in sanitizer builds. Important not to use to avoid real issues! This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-08-19 10:33:40 +10:00
Damien George	40cc4e4f74	py/objtype: Make mp_obj_new_type a static function. ... It's only used once, in the same file it's defined, and making it static reduces code size. Along with this, the associated example code comment in `ports/unix/main.c` has been removed. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 11:45:11 +10:00
Damien George	3efbd726eb	py/parse: Remove explicit checks for invalid folding operations. ... They are instead checked by `binary_op_maybe()`, which catches exceptions for invalid int/float operations. This is a follow-up to 69ead7d98e Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 11:38:20 +10:00
Phil Howard	141f7d0c35	py/mkrules.cmake: Clean genhdr and frozen_mpy dirs. ... CMake builds relied upon the parent Makefile removing the entire build directory to successfully clean build artifacts. py/mkrules.cmake: Add ADDITIONAL_CLEAN_FILES properties to ensure a "make clean" from within the build directory removes the genhdr and frozen_mpy directories. Signed-off-by: Phil Howard <github@gadgetoid.com>	2025-08-15 01:24:53 +10:00
Jeff Epler	0615d13963	py/objringio: Detect incorrect constructor calls. ... ringbuffer.size must be at least 2, and is a 16-bit quantity. This fixes several cases including the one the fuzzer discovered, which would lead to a fatal signal when accessing the object. Fixes issue #17847. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-15 01:21:25 +10:00
Angus Gratton	744270ac1b	py/misc: Add explicit dependency on py/mpconfig.h. ... Macros in misc.h depend on values defined by including mpconfig.h. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-08-13 10:13:08 +10:00
Jeff Epler	4614ee9e68	py/binary: Add MICROPY_PY_STRUCT_UNSAFE_TYPECODES. ... This adds a compile-time flag to disable some "unsafe" and non-standard typecodes in struct, array and related modules. This is useful to turn off when fuzzing, as improper use of these typecodes can crash MicroPython. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-12 14:34:19 +10:00
Alessandro Gatti	0ee3f99da2	py/asmrv32: Make lt/le comparisons emitter shorter. ... This commit simplifies the emitter code in charge of generating opcodes performing less-than and less-than-or-equal comparisons. By rewriting the SLT/SLTU opcode generator (handling less-than comparisons) and de-inlining the less-than comparison generator call in the less-than-or-equal generator, the output binary is ~80 bytes smaller (measurements taken from the QEMU port). Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-11 22:31:13 +10:00
Damien George	7e8705fe2b	all: Bump version to 1.27.0-preview. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-10 08:42:11 +10:00
Damien George	4ce2dd2cda	all: Bump version to 1.26.0. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-09 23:31:31 +10:00
Jeff Epler	c0252d73c6	py/parse: Fix missing nlr_pop call in complex path of binary_op_maybe. ... Reproducer (needs to be run as one compilation unit): ans = (-1) ** 2.3 aa Fixes issue #17815. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-03 08:29:28 +10:00
Chris Webb	f39434e9fb	py/asmthumb: Don't corrupt base register in large offset store. ... asm_thumb_store_reg_reg_offset() modifies the base register when storing with a large offset which triggers the generic path. If a variable lives in that register, this corrupts it. Fix this by saving the base register on the stack before modifying it. Signed-off-by: Chris Webb <chris@arachsys.com>	2025-08-01 14:15:39 +10:00
Yoctopuce dev	69ead7d98e	py/parse: Add support for math module constants and float folding. ... 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>	2025-08-01 13:35:44 +10:00
Yoctopuce dev	dbbaa959c8	py/formatfloat: Improve accuracy of float formatting code. ... Following discussions in PR #16666, this commit updates the float formatting code to improve the `repr` reversibility, i.e. the percentage of valid floating point numbers that do parse back to the same number when formatted by `repr` (in CPython it's 100%). This new code offers a choice of 3 float conversion methods, depending on the desired tradeoff between code size and conversion precision: - BASIC method is the smallest code footprint - APPROX method uses an iterative method to approximate the exact representation, which is a bit slower but but does not have a big impact on code size. It provides `repr` reversibility on >99.8% of the cases in double precision, and on >98.5% in single precision (except with REPR_C, where reversibility is 100% as the last two bits are not taken into account). - EXACT method uses higher-precision floats during conversion, which provides perfect results but has a higher impact on code size. It is faster than APPROX method, and faster than the CPython equivalent implementation. It is however not available on all compilers when using FLOAT_IMPL_DOUBLE. Here is the table comparing the impact of the three conversion methods on code footprint on PYBV10 (using single-precision floats) and reversibility rate for both single-precision and double-precision floats. The table includes current situation as a baseline for the comparison: PYBV10 REPR_C FLOAT DOUBLE current = 364688 12.9% 27.6% 37.9% basic = 364812 85.6% 60.5% 85.7% approx = 365080 100.0% 98.5% 99.8% exact = 366408 100.0% 100.0% 100.0% Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-08-01 00:47:33 +10:00