Mirrors_Framework/nuttx
1
0
Fork 0
mirror of https://github.com/apache/nuttx.git synced 2026-08-18 01:49:24 +08:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity
Files
master
nuttx/tools/nxflat/dyncall_skeleton_arm.def
T
Marco Casaroli abbe0df26d !arch/arm: Use r9 as the PIC base register. 
ARM PIC has used r10 as the base register, but the tree has never been
consistent about it.  Toolchain.defs gives CONFIG_BUILD_PIC
-mpic-register=r9 and CONFIG_PIC -mpic-register=r10, twenty-five lines
apart, and arm_initialstate.c sets REG_R9 from inline assembly under one
and REG_PIC under the other, with a comment reading "Set the PIC base
register (probably R10)".  This settles it on r9 for all of PIC: NXFLAT,
ELF PIC and CONFIG_BUILD_PIC alike.

r9 is the right choice rather than an arbitrary one.  It is the AAPCS
platform register, the "static base", and it is what GCC itself picks
for -msingle-pic-base on an EABI target; r10 is the non-EABI default.

It also removes a combination that cannot build today.  Stack checking
adds -ffixed-r10 in armv7-m/Toolchain.defs and armv8-m/Toolchain.defs,
while CONFIG_PIC adds -mpic-register=r10, and GCC rejects the pair with
"unable to use 'r10' for PIC register".  The comment above REG_PIC has
always said the register "can be R9 if stack checking is enabled", but
the definition was unconditionally REG_R10, so it would have named the
wrong register even had the build succeeded.

The thunk generator moves with the firmware.  NXFLAT import stubs had
the register baked in as "add ip,ip,sl", so a module built for r9 would
load and then branch to a wild address on its first call out.  The stubs
now come from NXFLAT_PIC_REG in the in-tree tool, which is built only
when CONFIG_NXFLAT is set, following the
CONFIG_BOARD_ETC_ROMFS_PASSWD_ENABLE precedent in tools/Unix.mk.

That leaves modules built before this change, and they are the reason
for the ABI marker.  The NXFLAT header cannot carry a version: h_magic
is written by ldnxflat, which is GPL, derived from elf2flt, and stays
out of this repository, so it can never be changed in step with the
loader.  The import table can, because both of its ends are in-tree --
mknxflat emits it and nxflat_bindimports() reads it -- and ldnxflat
passes it through untouched.  So every module now imports
__nxflat_abi_v2, the base firmware defines it, and a module that does
not import it is refused.

Making the marker a real exported symbol rather than a name the loader
special-cases is what keeps it out of the build system's way: a board's
symbol table picks it up exactly as it picks up printf, so mksymtab.sh
and its equivalents need no change.  It also gives the reverse direction
a diagnosis for free -- a module built against a newer ABI than its
firmware fails with "Exported symbol __nxflat_abi_v2 not found".

Most of the remaining churn is boards restating a default.  ARCHPICFLAGS
is a "?=" default so that a board only speaks up when it differs, and
twenty-six were assigning the value the default already had.  MKNXFLAT
gets the same treatment: thirteen boards named the same tool, and the
only thing that varies is ARM versus Thumb-2, which falls out of
CONFIG_ARM_THUMB.  LDNXFLAT gains a default too -- it stays an
out-of-tree PATH lookup, but naming it centrally fixes boards that never
assigned it, where it expanded to nothing and handed make a recipe
beginning "-e", whose leading dash make ate as "ignore errors".

The non-ARM boards carrying -mpic-register=r10 lose it: it is an
ARM-only option, reachable only through CPICFLAGS, which is only used to
build NXFLAT modules, and no non-ARM board enables NXFLAT.

Boards keep nothing about PIC flags any more.  ARCHPICFLAGS was set by
sixty-three of them and only ever fed CPICFLAGS, which is only used to
build NXFLAT modules; no board outside arch/arm enables NXFLAT, so every
non-ARM copy was setting a variable nothing read.  Those are removed
rather than moved somewhere more central, which would only make dead
text look load-bearing.  LDNXFLAT goes the same way as MKNXFLAT, for the
same reason: thirteen boards named the same tool that Toolchain.defs now
names once.

One of them was not merely redundant.  am67/t3-gem-o1 asked for
"-mpic-register=r10 -ffixed-r10", which GCC refuses outright with
"unable to use 'r10' for PIC register" -- the very combination the
filter-out machinery in Toolchain.defs exists to prevent.  It has
survived because that board does not build NXFLAT modules, so the flags
are never handed to a compiler.  Renaming the register would have
carried the fault forward unchanged, so the line goes.

Tested on lm3s6965-ek:qemu-nxflat under QEMU, configured and built with
no overrides.  The nxflat example runs the errno, hello and struct
modules with output identical to the same config built from master.
Built with the old out-of-tree thunk generator instead, the same
firmware refuses all three with ENOEXEC rather than locking up in a
HardFault, which is what this change is for.  mps3-an547:picostest,
which is CONFIG_PIC without CONFIG_NXFLAT, builds clean and does not
build the thunk generator.

The .def files pick up two cosmetic changes here alongside the register:
a "Dyanamic" typo that codespell rejects, and a reworded comment in each
thunk_*.c.  Neither appears in the emitted thunk -- both are in C
comments -- so the generated text is still what the upstream tool
produces, modulo the register itself.

BREAKING CHANGE: ARM PIC moves from r10 to r9.  An NXFLAT module built
before this change has r10 baked into its import stubs and will not run
against a firmware carrying it; the two cannot be mixed.  The module is
refused with ENOEXEC rather than branching to a wild address, by way of the
__nxflat_abi_v2 marker described below.

Quick fix: rebuild the module against this tree.  Its source needs no
change.  A board that reserved r10 by hand, or that assigned ARCHPICFLAGS
or MKNXFLAT to restate a default, should drop those assignments; nothing
else is affected, and CONFIG_PIC without CONFIG_NXFLAT needs no action.

Assisted-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
2026-08-06 01:38:23 +08:00

239 lines
8.6 KiB
Modula-2
Raw Permalink Blame History

/***********************************************************************
* tools/nxflat/dyncall_skeleton_arm.def
*
* SPDX-License-Identifier: Apache-2.0
*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership. The
* ASF licenses this file to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance with the
* License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
* License for the specific language governing permissions and limitations
* under the License.
*
***********************************************************************/
/*******************************************************************
* File Prologue
*******************************************************************/
static const char file_prologue[] =
"/*******************************************************************\n"
" *\n"
" * This file contains the dynamic call logic that performs the thunk\n"
" * for outound calls from one module to another.\n"
" *\n"
" * ARM register quick reference:\n"
" *\n"
" * Name Number ARM Procedure Calling Standard Role\n"
" *\n"
" * a1 r0 argument 1/integer result/scratch register/argc\n"
" * a2 r1 argument 2/scratch register/argv\n"
" * a3 r2 argument 3/scratch register/envp\n"
" * a4 r3 argument 4/scratch register\n"
" * v1 r4 register variable\n"
" * v2 r5 register variable\n"
" * v3 r6 register variable\n"
" * v4 r7 register variable\n"
" * v5 r8 register variable\n"
" * sb/v6 r9 static base/register variable\n"
" * sl/v7 r10 stack limit/stack chunk handle/reg. variable\n"
" * fp r11 frame pointer\n"
" * ip r12 scratch register/new-sb in inter-link-unit calls\n"
" * sp r13 lower end of current stack frame\n"
" * lr r14 link address/scratch register\n"
" * pc r15 program counter\n"
" *******************************************************************/\n\n"
"/*******************************************************************\n"
" * Included Files\n"
" *******************************************************************/\n\n"
"/*******************************************************************\n"
" * Definitions\n"
" *******************************************************************/\n\n"
"/* The __ARM_ARCH define is provided by gcc 4.8. Construct it otherwise. */\n"
"#ifndef __ARM_ARCH\n"
"# ifdef __ARM_ARCH_2__\n"
"# define __ARM_ARCH 2\n"
"# elif defined (__ARM_ARCH_3__) || defined (__ARM_ARCH_3M__)\n"
"# define __ARM_ARCH 3\n"
"# elif defined (__ARM_ARCH_4__) || defined (__ARM_ARCH_4T__)\n"
"# define __ARM_ARCH 4\n"
"# elif defined (__ARM_ARCH_5__) || defined (__ARM_ARCH_5E__) \\\n"
" || defined(__ARM_ARCH_5T__) || defined(__ARM_ARCH_5TE__) \\\n"
" || defined(__ARM_ARCH_5TEJ__)\n"
"# define __ARM_ARCH 5\n"
"# elif defined (__ARM_ARCH_6__) || defined(__ARM_ARCH_6J__) \\\n"
" || defined (__ARM_ARCH_6Z__) || defined(__ARM_ARCH_6ZK__) \\\n"
" || defined (__ARM_ARCH_6K__) || defined(__ARM_ARCH_6T2__)\n"
"# define __ARM_ARCH 6\n"
"# elif defined (__ARM_ARCH_7__) || defined(__ARM_ARCH_7A__) \\\n"
" || defined(__ARM_ARCH_7R__) || defined(__ARM_ARCH_7M__) \\\n"
" || defined(__ARM_ARCH_7EM__)\n"
"# define __ARM_ARCH 7\n"
"# else\n"
"# error unknown arm architecture\n"
"# endif\n"
"#endif\n\n"
"#if __ARM_ARCH > 4 || defined (__ARM_ARCH_4T__)\n"
"# define ARCH_HAS_BX\n"
"#endif\n"
"#if __ARM_ARCH > 4\n"
"# define ARCH_HAS_BLX\n"
"#endif\n"
"#if defined(ARCH_HAS_BX)\n"
"#define BX(x) bx\t##x\n"
"#else\n"
"#define BX(x) mov\tpc, ##x\n"
"#endif\n\n";
static const char import_prologue[] = "";
/*******************************************************************
* Import Function Name String Table
*******************************************************************/
static const char import_name_strtab_prologue[] =
"\n/*******************************************************************\n"
" * Import Function Names\n"
" *******************************************************************/\n\n"
"/* These are the names of all of the functions that are imported.\n"
" * Notice that all data associated with the library names is retained\n"
" * in the .text section."
" */\n\n"
"\t.text\n"
"\t.align\t0\n";
#define MKIMPSTRTABARG(fn,i) (i), (i), (i), (fn), (i), (i)
static const char import_name_strtab_format[] =
"\n\t.local\t__dynimport%04d\n"
"\t.type\t__dynimport%04d, object\n\n"
"__dynimport%04d:\n"
"\t.asciz\t\"%s\"\n"
"\t.size\t__dynimport%04d, .-__dynimport%04d\n";
/*******************************************************************
* Dynamic Call Information
*******************************************************************/
static const char dynimport_decl_prologue[] =
"\n/*******************************************************************\n"
" * Imported Symbol Table (an array of type struct flat_import)\n"
" *******************************************************************/\n\n"
"/* Notice that, unlike most other arrays in this file, this array\n"
" * is declared to reside in .data. Because of this, there will be\n"
" * per-process instances of this table.\n"
" */\n\n"
"\t.data\n"
"\t.align\t2\n\n"
"\t.global\t__dynimport_begin\n"
"\t.type\t__dynimport_begin, object\n"
"\t.global\t__dynimport_end\n"
"\t.type\t__dynimport_end, object\n\n";
#define MKINFODECLARGS(fn, i) (i), (fn), (i)
static const char dynimport_decl_format[] =
"\t.local\t__dyninfo%04d\t/* Dynamic info for imported symbol %s */\n"
"\t.type\t__dyninfo%04d, object\n";
static const char dynimport_array_prologue[] =
"\n__dynimport_begin:\n";
#define MKINFOARGS(fn, i) (i), (fn), (i), (i), (i)
static const char dynimport_array_format[] =
"__dyninfo%04d:\t\t\t/* Dynamic info for imported symbol %s */\n"
"\t.word\t__dynimport%04d\t/* Offset to name of imported function */\n"
"\t.word\t0\t\t/* Resolved address of imported function */\n"
"\t.size\t__dyninfo%04d, .-__dyninfo%04d\n";
static const char dynimport_array_epilogue[] =
"__dynimport_end:\n"
"\t.size\t__dynimport_begin, __dynimport_end-__dynimport_begin\n";
static const char dyncall_decl_prologue[] =
"\n/*******************************************************************\n"
" * Dynamic Call Logic\n"
" *******************************************************************/\n\n"
"\t.text\n"
"\t.align\t2\n";
#define MKCALLARGS(fn, i) (fn), (fn), (fn), (fn), (i), (i), (i), (fn), (fn)
#ifndef __NO_GOT__
static const char dyncall_format[] =
"\n/* Dynamic call logic for imported symbol %s */\n\n"
"\t.global\t%s\n"
"\t.type\t%s, function\n\n"
"%s:\n"
"\tldr\tip,.Ldyn%04d\n"
"\tadd\tip,ip," NXFLAT_PIC_REG "\n"
"\tldr\tip,[ip,#4]\n"
"\tBX(ip)\n"
".Ldyn%04d:\n"
"\t.word\t__dyninfo%04d(GOTOFF)\n"
"\t.size\t%s, .-%s\n";
static const char nonreturning_dyncall_format[] =
"\n/* Dynamic call logic for imported, non-returning symbol %s */\n\n"
"\t.global\t%s\n"
"\t.type\t%s, function\n\n"
"%s:\n"
"\tldr\tip,.Ldyn%04d\n"
"\tadd\tip,ip," NXFLAT_PIC_REG "\n"
"\tldr\tip,[ip,#4]\n"
"\tBX(ip)\n"
".Ldyn%04d:\n"
"\t.word\t__dyninfo%04d(GOTOFF)\n"
"\t.size\t%s, .-%s\n";
#else
static const char dyncall_format[] =
"\n/* Dynamic call logic for imported symbol %s */\n\n"
"\t.global\t%s\n"
"\t.type\t%s, function\n\n"
"%s:\n"
"\tldr\tip,.Ldyn%04d\n"
"\tadd\tip,ip," NXFLAT_PIC_REG "\n"
"\tldr\tip,[ip,#4]\n"
"\tBX(ip)\n"
".Ldyn%04d:\n"
"\t.word\t__dyninfo%04d\n"
"\t.size\t%s, .-%s\n";
static const char nonreturning_dyncall_format[] =
"\n/* Dynamic call logic for imported, non-returning symbol %s */\n\n"
"\t.global\t%s\n"
"\t.type\t%s, function\n\n"
"%s:\n"
"\tldr\tip,.Ldyn%04d\n"
"\tadd\tip,ip," NXFLAT_PIC_REG "\n"
"\tldr\tip,[ip,#4]\n"
"\tBX(ip)\n"
".Ldyn%04d:\n"
"\t.word\t__dyninfo%04d\n"
"\t.size\t%s, .-%s\n";
#endif
/*******************************************************************
* File Epilogue
*******************************************************************/
static const char file_epilogue[] =
"\t.end\n";
Reference in New Issue View Git Blame Copy Permalink