diff options
| author | Christian Zietz <czietz@gmx.net> | 2022-04-03 13:12:43 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-04-11 15:35:39 +1000 |
| commit | b0bcb3862b95d54b0457d61d779826641e5784fd (patch) | |
| tree | ee2c280c3ab0ad0f0a323230a3f528c961cb1513 /py/formatfloat.c | |
| parent | 1daeeb2430c4a4e436ef59d881e5d877d140048a (diff) | |
py/emitinlinethumb: Use 16 bit encodings for PUSH LR and POP PC.
The Thumb instruction set has special 16 bit encodings for PUSH involving
LR and POP involving PC, which are commonly used in nested functions.
Using this encoding is particularly important for ARMv6-M, where the more
general 32 bit encoding of PUSH and POP is unavailable.
Diffstat (limited to 'py/formatfloat.c')
0 files changed, 0 insertions, 0 deletions