Skip to content

mimxrt/Makefile: Use float-abi=hard when FP is single precision. - #19679

Open
dpgeorge wants to merge 1 commit into
micropython:masterfrom
dpgeorge:mimxrt-use-float-abi-hard
Open

mimxrt/Makefile: Use float-abi=hard when FP is single precision.#19679
dpgeorge wants to merge 1 commit into
micropython:masterfrom
dpgeorge:mimxrt-use-float-abi-hard

Conversation

@dpgeorge

@dpgeorge dpgeorge commented Sep 3, 2026

Copy link
Copy Markdown
Member

Summary

Using hard ABI passes floats in floating point registers, which is what MicroPython's native .mpy format expects.

All other bare-metal ports use this ABI setting (alif, nrf, psoc-edge, renesas-ra, samd stm32).

Testing

Tested by @robert-hh in #19661 (comment)

On affected boards, extmod/random_extra_float.py would fail when run using run-natmodtests.py but now passes with this change.

Generative AI

I did not use generative AI tools when creating this PR.

@dpgeorge
mimxrt/Makefile: Use float-abi=hard when FP is single precision.
978c03b 
Using hard ABI passes floats in floating point registers, which is what
MicroPython's native .mpy format expects.

Signed-off-by: Damien George <damien@micropython.org>
@dpgeorge dpgeorge mentioned this pull request Sep 3, 2026
Open
@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

Code size report:

Reference:  rp2/boards: Extend SEEED_XIAO_RP2040 to support new Plus boards. [8cb7558]
Comparison: mimxrt/Makefile: Use float-abi=hard when FP is single precision. [merge of 978c03b]
  mpy-cross:    +0 +0.000% 
   bare-arm:    +0 +0.000% 
minimal x86:    +0 +0.000% 
   unix x64:    +0 +0.000% standard
      stm32:    +0 +0.000% PYBV10
      esp32:    +0 +0.000% ESP32_GENERIC
     mimxrt:    +0 +0.000% TEENSY40
        rp2:    +0 +0.000% RPI_PICO_W
       samd:    +0 +0.000% ADAFRUIT_ITSYBITSY_M4_EXPRESS
  qemu rv32:    +0 +0.000% VIRT_RV32

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

port-mimxrt

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@dpgeorge