把指令写成
能说清楚的程序第七章 · ARM程序设计

第七章 · 第01节

这一章到底要把你教会什么

7.1、7.3、7.4；第 2、24—48 页

上一章解决的是“一条指令干什么”，这一章解决的是“几十条指令怎样合作完成一件事”。先不要同时背几十个伪指令。你真正要抓牢的是下面四件事。

最重要的学习成果：能在纸上写出正确程序，并解释每个寄存器为何存在。 不要求第一次就记住 IDE 的每个按钮、旧工具所有版本号、全部冷门字符串运算符；这些内容本章都介绍，并标清查读边界。

一段程序有三种不同的“状态”：源文件里的文字；汇编、链接之后的代码与数据；运行时寄存器与内存里的值。比如 N EQU 10 只建立汇编期名称，MOVS R1,#10 才在运行时修改 R1。把这两个层次混在一起，后面的宏、循环、变量就会越看越乱。

本章以 Cortex-M3/M4 的 Thumb/Thumb-2 为运行范围；书中的 AREA/DCB/EXPORT 等属于 ArmASM 语法。为和原书对得上，主要程序沿用这一语法。GCC、armclang 集成汇编器的 .section/.byte/.global 是另一套写法，不能直接混贴；编译器差异在第 31 节集中说明。

重点依据是原章 11 道题及后续学习依赖，不是对你实际考试范围的预测。 背景会讲到，但不会把“认识工具名称”和“能独立写循环”安排成相同的背诵负担。

返回目录 ↑

第七章 · 第02节

编辑、编译、汇编、链接、下载、调试各管哪一步

7.1.1—7.1.2；第 2—8 页

从“我写了一句 C”到“板子真的执行”，大致经过下面这些步骤。

ELF/AXF 往往带段、地址、符号与调试信息。HEX 记录地址和数据，裸 BIN 通常不自带完整的地址语义，下载时要指定装载位置。“编译成功”不等于“程序已被正确烧写并正确执行”。

交叉编译是：编译器运行在一种主机平台，却为另一种目标平台生成代码。Windows/x86 电脑生成 Cortex-M4 的 Thumb 代码就是一个例子；主机系统不是判断交叉编译的唯一条件，还要看目标体系结构和运行环境。

RTOS、函数库、评估板和调试探针不都属于“编译器”。RTOS 提供调度等运行服务；库提供可链接的功能；板子提供目标硬件；探针帮助下载和观察目标。IDE 把很多工具组合起来，但不改变各自的职责。

返回目录 ↑

第七章 · 第03节

旧工具一口气认识完，MDK 学会怎么用

7.1.1 全部工具介绍、表 7.1；7.1.2；第 2—8 页

书中的“最新”“支持所有”“最强”等表述有写作年代，不能当作今天的软件选型结论。这里保留它们在原章中的位置与作用。

arm-linux-gnueabi... 一类工具链面对 Linux 环境；arm-none-eabi... 一类常用于裸机/嵌入式环境。它们的运行库、启动和链接要求不同。不能因为名字里都有 Arm，就把 Linux 程序直接烧到 Cortex-M 上。

原表 7.1 还比较了编译器、IDE、内核支持、RTX/RTOS、中间件、调试器、模拟器、调试硬件、多核、GDB Server、逻辑分析仪等。这些是功能维度，具体支持要查所用版本、许可证、设备包和探针。 原表中“不支持多核”等结论属于当年的产品组合，不作为永久结论背诵。

一个工程至少核对六项

1. 选对芯片/内核，例如本章原书使用 STM32F407ZG，不能把 M0 当 M4。
2. 选对编译器与汇编语法；AREA 文件交给 ArmASM，不能误交给 GNU 方言汇编器。
3. 配好 Flash/RAM 起始地址与容量；本章教学布局使用 Flash 0x08000000、RAM 0x20000000。
4. 加入启动文件和所有源文件；不要同时加入两个启动文件、两个同名入口。
5. 设好链接布局和入口；对 C 工程还要有相应运行库初始化。
6. 选择模拟器或目标探针，核对芯片下载算法，构建后再进入调试。

μVision 的工程窗口管文件与分组；代码窗口编辑；输出窗口看构建错误。进入调试后，寄存器窗口看 R0/SP/LR/PC，内存窗口看数组，反汇编窗口核对实际指令，观察/调用栈窗口看变量和调用关系。优化后“一行 C 对一条指令”通常不成立；单步汇编更适合核对本章算例。

“仿真器”这个词要分开理解

软件模拟器在主机上模拟目标；JTAG/SWD 调试探针通常连接并控制实际芯片；早期在线仿真设备又有别的硬件形式。原书列到 ULINK 系列、J-Link、DSTREAM、RVI/RVT 等名称，记住它们属于调试连接/跟踪工具即可。

探针并不是一律“替代 MCU”，也不保证完全不占片上资源。断点比较器、跟踪资源、调试引脚是有限的；某些内存观察可能影响实时性。SWD 与 JTAG 是不同调试接口，支持情况看目标和设备。品牌、版本号、营销评价不属于本章做题重点。

返回目录 ↑

第七章 · 第04节

机器指令、汇编伪指令、伪操作不要混成一类

7.2 总述；7.3.1；第 8、24—25 页

ADD 有架构定义的机器编码，运行时由 CPU 执行。AREA、DCD、EQU 等由汇编器处理：有的建立段，有的生成数据，有的只建立符号。它们本身不作为一条 CPU 指令执行。

另外，上一章的 LDR R0,=0x12345678 常称伪指令：汇编器可能用 MOV/MVN 等指令，也可能生成从文字池加载的 LDR。它和“完全不生成执行指令的 EQU”又不一样。做题时把“这行最终产生了什么”说清就行。

ArmASM 采用下面的传统列式写法：

; 标号顶格；操作助记符前留空白；分号以后是注释
Start   MOVS    R0, #0       ; R0 清零
Loop    ADDS    R0, R0, #1
        CMP     R0, #10
        BNE     Loop

四栏是 标号 操作助记符 操作数 ;注释。助记符与操作数之间是空白，操作数之间是英文逗号。标号区分大小写，Result 与 RESULT 不能随意混写；使用统一的大写助记符最省心。原书“标号不能加冒号、必须顶格”的要求针对这类 ArmASM 源文件格式，不是所有汇编器的统一规定。GNU 写法常用 Loop:，普通指令也不要求同样的首列规则。

把代码里的中文逗号、弯引号、全角等号替换为合法源代码字符。 书里的排版文字和能直接编译的源文件不是一回事。

返回目录 ↑

第七章 · 第05节

EQU、GBL/LCL、SET、RN、RLIST：名字究竟代表什么

7.2.1、7.2.4 的 EQU/RN；7.2.5；例 7.1—7.4、7.22、7.28—7.31；第 8—10、17—21 页

GBL 中的“全局”指汇编器处理的命名环境，不等于 C 语言的可链接全局变量。如果另一个目标文件要引用一个地址符号，要用 EXPORT/IMPORT 和链接；不是写一个 GBLA 就行。

N       EQU     10
        GBLA    BuildCount
BuildCount SETA 3
        GBLL    UseFast
UseFast SETL    {TRUE}
        GBLS    Greeting
Greeting SETS   "Hello"
Temp    RN      0
Saved   RLIST   {R4-R7,LR}

SETA/SETL/SETS 必须与声明类型一致；可以在汇编过程中更新。EQU 符号不能像 SETA 变量那样反复改值。同名普通符号不能重复定义。原书例 7.2 的 Test3/Test4/Test5 名称错配要改成声明哪个就赋给哪个。

$ 做汇编时代换。例如宏中 $dst 替换为实参寄存器名；字符串变量 S1="Test!" 时，字符串中的 $S1 可展开为该文本。数字代换按该汇编器规则转成十六进制文字，逻辑变量代换为真/假表示；它不是运行时去 RAM 读值。

RLIST 不改变存储顺序。无论列表文字怎样排列，多寄存器传输仍按架构的寄存器编号映射地址。RN 也不改变寄存器保护义务：把 R4 改名为 Temp 后，仍要按调用约定保存 R4。

原书混入的“EQU 能代表任意指令串，等号可给同名数值重新赋值”等说法不能跨汇编器套用。本章 ArmASM 中：常量用 EQU，汇编期可变值用 SETA/SETL/SETS；= 在相应数据定义语境可作为 DCB 别名，LDR Rd,=expr 又是另一种语法。 不把其他汇编器的规则混进来。

返回目录 ↑

第七章 · 第06节

DCB、DCW、DCD：定义数组时先问每项多宽

7.2.2；例 7.5—7.7；第 10—11 页

DCB 可定义字节或字符串；不会自动给字符串补 \0。C 风格字符串必须明确写 Text DCB "ARM",0。数值 0 和字符 '0' 的编码 0x30 不是同一个字节。

        AREA    ConstData, DATA, READONLY, ALIGN=2
Bytes   DCB     0x11,0x22,0x33,0x44
Words   DCD     0x11223344,0x55667788
Text    DCB     "ARM",0

小端存储时，DCD 0x11223344 的低地址到高地址依次为 44 33 22 11。反过来，对 11 22 33 44 四个连续字节执行 LDR，得到 0x44332211。定义成 DCB，不妨碍用 LDR 一次读取四字节；但你必须检查对齐、可访问范围和题目想表达的类型。

DCW/DCD 会按该指令规则对首项做半字/字对齐，可能插入填充；DCWU/DCDU 不主动保证这种对齐。U 不表示“无符号”，表示不作相应对齐要求。不对齐的数据定义不等于任何指令都能合法访问它。 多寄存器、双字等访问还有各自限制。

LDR R0,=Words 通常是取地址；LDR R1,[R0] 才是读内容。习题需要“把结果放入 R0”就让 R0 保存数值；如果要“存入 Result 单元”，还要取 Result 地址并 STR。不要把结果地址误当作结果。

返回目录 ↑

第七章 · 第07节

DCQ、DCFS、DCFD、SPACE：数据格式与初始化分开看

7.2.2；例 7.8—7.11；第 11—12 页

每项 8 字节，不代表这个伪指令自动做到 8 字节对齐。 ArmASM 的 DCQ/DCFD 常规形式按 4 字节边界安排；若接口或访问需要 8 字节对齐，再明确 ALIGN 8 或相应的段对齐。

        AREA    Tables, DATA, READONLY, ALIGN=3
        ALIGN   8
Big     DCQ     100,101,102
F32     DCFS    0.5,-1.0
F64     DCFD    0.5,-1.0

十进制 100 就是 100，写成十六进制是 0x64；原书 DCQ 例子把十进制说明和十六进制文字混在一起，不能据此改变数值。DCD 1 是整数位串 0x00000001；DCFS 1.0 是浮点 1.0 的表示 0x3F800000；LDR 只搬位串，不会自动把一种转换为另一种。

M4 的可选 FPU 主要支持单精度算术；你依然可以在内存里保存双精度数据，必要时由软件运算。能定义 DCFD 不证明有硬件双精度加法。

普通初始化数据区域中，SPACE 通常形成零填充；在 NOINIT 等区域，它用来预留不带初始化要求的空间。AREA ...,DATA,READWRITE,NOINIT 下的栈空间不应该假定上电全为零。链接映像给 RAM 数据规定了初始内容，也需要启动代码负责拷贝/清零，不能认为写了 DCD 或 SPACE，芯片上电就自动执行这些“初始化语句”。

本章习题工程把输入常量放在只读数据段，结果区先写后读，避免依赖尚未讲清的 C 运行库初始化。通用 C 工程的 .data/.bss 初始化交给匹配的启动文件和运行库；第 16 节说明。

返回目录 ↑

第七章 · 第08节

MAP/FIELD：只画户型，不替你分配房间

7.2.2；例 7.12—7.13；第 12 页

        MAP     0x100
A       FIELD   16
B       FIELD   32
S       FIELD   256

起点是 0x100，A 占用的描述长度为16，所以 B 的符号值为 0x110；B 再描述32字节，所以 S 为0x130；结束位置为0x230。A 范围是0x100—0x10F，不是连0x110也算进去。

这些符号只是结构的偏移/地址约定。没有因此生成 304 字节 RAM 或 Flash 数据。 真要一块存储空间，另用 SPACE 或数据定义，或使用真实的内存映射硬件区域。

带基址的 MAP 0x100,R0 描述的是“R0+0x100 起的一组寄存器相对地址”；不把当前运行时的 R0 数值在汇编时算出来。若 A 从该位置开始，:BASE:A 可描述其基址寄存器编号，:INDEX:A 可取其中的偏移部分。可以理解成“基址寄存器 + 字节偏移”的两部分说明。

FIELD 通常按指定长度推进，不会替你模拟 C 编译器所有结构体填充规则。和 C 的结构共享时，要核对字段偏移、对齐、总长、打包选项，而不是只看字段名字一样。

返回目录 ↑

第七章 · 第09节

汇编期 IF/WHILE 与运行时 BEQ/BNE 是两回事

7.2.3；例 7.14—7.15；第 13—14 页

        GBLL    Fast
Fast    SETL    {TRUE}
        IF      Fast
        MOVS    R0,#1
        ELSE
        MOVS    R0,#2
        ENDIF

汇编器看到 Fast 为真，就只保留对应分支产生的代码；程序运行时不再做一次“Fast 是否为真”的判断。反过来，CMP R1,#0 / BEQ ZeroPath 是运行时比较寄存器，代码里会同时有两条可能路径。

        GBLA    K
K       SETA    0
        WHILE   K < 3
        DCB     K
K       SETA    K+1
        WEND

生成三个字节 00 01 02。CPU 不执行 WHILE、SETA 或 WEND；汇编器把数据先生成好了。原书 Counter<10 的 WHILE 例子省略了 Counter 的更新，照抄可能让汇编过程无法终止。生成代码/数据的循环也需要退出条件。

IF/ELSE/ENDIF、WHILE/WEND 可以嵌套，但层次要配对。真值可以来自逻辑变量、表达式或 :DEF:Feature。不要用运行时寄存器的内容来控制普通汇编期 IF；汇编器并不知道程序未来执行时 R0 是多少。

题目统计 10 个数据时，应该写 LDR/TST/CMP 与 Bxx 的运行时循环。 用汇编期 WHILE 重复写十段代码不是本题“运行时遍历”的通常学习目的。

返回目录 ↑

第七章 · 第10节

宏展开、MEXIT 与子程序：文字复用和运行复用

7.2.3；例 7.16；第 14—15 页

        MACRO
$label  UMax    $a,$b,$out
        CMP     $a,$b
        BHI     $label.take_a
        MOV     $out,$b
        B       $label.done
$label.take_a
        MOV     $out,$a
$label.done
        MEND

One     UMax    R0,R1,R2
Two     UMax    R4,R5,R6

汇编器将 One、Two 各自展开为一段代码；$label 让内部标号分别成为 One.take_a 与 Two.take_a 等，避免撞名。参数是文本实参，例如 R0，不是 C 风格自动建立的参数栈。这里按无符号比较取大值；若改成有符号需要改条件码。

MACRO/MEND 包围定义；宏原型可以有可选标号、参数和默认值。MEXIT 提前结束当前宏展开，不是 CPU 从函数返回。它常与汇编期 IF 配合，按参数/配置选择是否继续生成。

不能简单说“宏一定快”或“子程序一定提高运行速度”。要看展开大小、分支、缓存/流水线与编译优化。做题先保证逻辑正确、标签唯一、所用寄存器有约定；性能结论属于进一步测量。

返回目录 ↑

第七章 · 第11节

AREA 是段的说明，链接器才决定放到哪里

7.2.4 的 AREA；7.3.2；例 7.17；第 16、25—26 页

        AREA    AppCode,CODE,READONLY,ALIGN=2
        AREA    Inputs,DATA,READONLY,ALIGN=2
        AREA    Results,DATA,READWRITE,NOINIT,ALIGN=2

第一行声明代码；第二行是只读数据，适合放 Flash 常量；第三行是可写但不承诺启动初始化的结果区，适合放 RAM。DATA 不意味着一定可写，更不意味着自动放到 0x20000000。 具体执行/装载地址由链接布局决定。

多个源文件都可以有段；段名与链接后地址不是一一固定关系。以数字开头或含特殊字符的名称可能要用 |...| 形式。一般保持清晰字母名称即可。

代码段里也能夹常量数据，例如文字池、查找表；但 CPU 不能顺序跌落去执行这些数据。可写数组应放真实可写区域；不要把 Flash 中的 DCD 数组当 RAM 去交换排序。

原书第 25 页 Num=0x11、Nums=0x22 的更新例子，最终是 Num=0xAB、Nums=0xCD。这个结论依赖初值已在 RAM 就位。本章第 17 节改成显式建立初值，避免把调试器帮忙装载 RAM 的效果误认为上电必然发生。

返回目录 ↑

第七章 · 第12节

ALIGN 4 与 ALIGN=2，看着相似，参数意义不同

7.2.4 的 ALIGN、AREA ALIGN；例 7.18；第 16 页

在 ArmASM 中，AREA ...,ALIGN=3 表示段起点按 8 字节对齐；独立的 ALIGN 8 表示当前位置按 8 字节边界对齐。 一个参数是指数，一个是边界字节数。

设当前位置 a，对齐边界 b 是 2 的幂、不使用额外偏移：

若当前为0x1003，ALIGN 4 后变为0x1004，补1字节；若当前已为0x1004，就不需要再跳到0x1008。

ALIGN b,o 要找不小于当前位置、形如 o+k*b 的位置，k为整数，不是固定只算 2b+o。默认 ALIGN 常用于4字节边界。填充的内容与代码/数据、选项有关；基础地址题主要算填充长度，不机械认定任何情形都同一字节值。

原书例 7.18 的 ALIEN=3 是排版错误，应为 ALIGN=3；它约束的是段起点，不是承诺“以后每一条指令都相隔8字节”。Thumb 指令本来可为2或4字节，不能因一条段对齐属性而改变所有指令长度。

做数据布局题的固定顺序：先看当前偏移 → 按定义规则补对齐 → 给该标号地址 → 加上数据长度。 碰到 U 版数据定义，要重新判断是否自动补齐。

返回目录 ↑

第七章 · 第13节

THUMB、CODE16/CODE32、ENTRY、END：谁也不会自动让 CPU 停机

7.2.4；例 7.19—7.21；第 16—17 页

ARM/CODE32 指示后续按 A32 汇编；传统 CODE16 对应旧 Thumb 语法环境。现代统一语法的 M3/M4 程序使用 THUMB，其中仍然可能生成16位或32位编码。不要把“Thumb”翻译为“所有指令都是16位”。

这些指示不会在运行时切换处理器状态。经典能执行 A32/T32 的内核可以借助 BX 等完成状态交换；Cortex-M3/M4 只有 Thumb 执行状态，不能按原书 CODE32/BX 的演示切去 A32。函数指针/复位入口的最低位需要正确表示 Thumb 入口，实际指令地址仍是对齐地址。

ENTRY 给工具链入口信息；最终 ELF 入口可以由链接选项等指定。普通被调用的汇编函数不需要自己声明为主入口。ENTRY 不是 Cortex-M 的向量表，也不能替代复位时的初始 MSP 和 Reset_Handler。

END 告诉 ArmASM：这个源文件到此结束。它不生成一条“CPU 退出程序”的指令，也不是每个 AREA 后都写一次。多个段仍可以属于同一个源文件，通常在文件末尾写 END。函数由 BX LR 等返回；裸机程序需要自己安排持续运行或安全停留。

        THUMB
        AREA    AppCode,CODE,READONLY
Stop
        B       Stop           ; CPU 在这里继续执行分支
        END                    ; 汇编器到这里结束读源文件

不能让执行流越过最后一条指令，指望 END 拦住 CPU。 后面可能是文字池、数据、空白或别的函数。

返回目录 ↑

第七章 · 第14节

EXPORT/IMPORT、包含文件、弱符号和局部标号

7.2.4；例 7.23—7.28；第 17—19 页

IMPORT 与 EXTERN 都用于外部符号引用；传统 ArmASM 中有“是否在未实际引用时也留下符号项”等细节，实际以版本说明为准。当前重点是：声明外部引用不等于提供实现，链接时仍需加入定义它的目标文件。

[WEAK] 用于弱定义/弱引用等链接语义：强实现可覆盖默认处理函数，某些未解析弱引用允许按工具链规则处理。不要把“没定义就自动当 NOP”当成所有弱调用的安全保证；实际链接、目标和调用形式会影响结果。关键函数应有确定实现。

原书说 INCBIN 可包含目标文件，容易误导：即使把一个 ELF .o 原样嵌进去，也只是嵌入那些文件字节，不会自动完成重定位、符号解析和库搜索。 真正的目标文件必须交给链接器。

ROUT 管的是数字局部标号的搜索范围，例如局部循环目标，配合该汇编器的前/后向引用语法使用。它不替代 C 的局部变量、栈帧或宏局部变量声明。基础程序使用清晰且不重名的普通标签已足够；读启动文件时知道 ROUT 的职责就行。

返回目录 ↑

第七章 · 第15节

所有表达式和符号都过一遍：算出常量，不是执行算法

7.2.5—7.2.6；例 7.29—7.35；第 20—24 页

表达式由常量、变量、运算符和括号构成，在汇编时求值。MOVS R3,#(3+4) 的执行效果是“装入7”，CPU 不再额外做一条加法。结果还必须满足该机器指令的立即数编码规则。

字符串例子：:LEN:"ARM" 得3；:CHR:65 得字符 A；"Hello":LEFT:2 得 He；"Hello":RIGHT:2 得 lo；"A":CC:"RM" 得 ARM。:STR: 将数字按该汇编器格式变为十六进制字符串，将逻辑值变为对应的真/假文本。源书提到512字节字符串上限，作为旧工具的实现边界认识即可，不是 Cortex-M 的硬件字符串限制。

:LEN:"ARM" 在汇编期就知道答案；第10题的字符串指针指向运行时内存，要用 LDRB 循环数到0，不能用 :LEN: 代替。

符号必须在相关作用域内唯一，区分大小写，不与保留字/寄存器/助记符撞名。数字常量注意进制：10、0x10分别是十进制10、16；32位寄存器位串既可解释为无符号，也可解释为补码有符号，不能仅凭外观决定。

原书 LA MOV R2,#1 后 ?LA 得4，是特定编码条件下的结果；在 Thumb 中指令可能为2字节，不能总写4。并且立即数写法要使用相应 #。?label 可涉及数据定义行长度，也不能概括成“任何标签对应一个固定4字节机器指令”。

求值时先算括号，单目运算优先级高，同级双目通常从左到右；实际编程主动加括号。:NOT:3 这样的全宽位取反要注意工具表达式宽度，若目的是固定32位常量，可直接用 LDR R0,=0xFFFFFFFC 清楚表达，不混同运行时 MVN。

返回目录 ↑

第七章 · 第16节

“完整程序”还差什么：复位、栈和初始数据

7.3.2；7.3.3；7.4.1；第 25—26、34、40—42 页

本章的基础题先学算法，不让芯片时钟和外设初始化淹没重点。但凡称“完整程序”，至少要交代从哪里进入、SP怎样有效、输入在哪里、结果在哪里、结束后去哪里。

对 M3/M4，硬件复位读取向量表：第0个字是初始 MSP，第1个字是 Reset_Handler 的 Thumb 入口。CPU不是通过执行 ENTRY 开始。Reset_Handler随后转到应用；有普通 C 全局初值时，还要完成数据拷贝、零区初始化及相应运行库启动。

本章附带的最小练习工程

每题由 startup.s + 该题 app.s 组成；调用 C 的题再加入对应 .c。下列启动文件在各题共用，全文与源码包均提供。练习假定 STM32F407ZG 类布局：Flash从0x08000000开始，所用RAM从0x20000000开始；实际芯片须核对容量和启动映射。

        PRESERVE8
        THUMB
Stack_Size EQU  0x400
        AREA    STACK,NOINIT,READWRITE,ALIGN=3
Stack_Mem SPACE Stack_Size
__initial_sp
        AREA    RESET,DATA,READONLY,ALIGN=7
        EXPORT  __Vectors
__Vectors
        DCD     __initial_sp
        DCD     Reset_Handler
        DCD     Default_Handler     ; NMI
        DCD     Default_Handler     ; HardFault
        DCD     Default_Handler     ; MemManage
        DCD     Default_Handler     ; BusFault
        DCD     Default_Handler     ; UsageFault
        DCD     0,0,0,0
        DCD     Default_Handler     ; SVC
        DCD     Default_Handler     ; DebugMon
        DCD     0
        DCD     Default_Handler     ; PendSV
        DCD     Default_Handler     ; SysTick
        AREA    StartupCode,CODE,READONLY
        IMPORT  exercise_main
        EXPORT  Reset_Handler
Reset_Handler PROC
        CPSID   I
        BL      exercise_main
Halt
        B       Halt
        ENDP
Default_Handler PROC
        B       Default_Handler
        ENDP
        END

这个启动文件不调用 C 运行库：只读输入放 Flash，NOINIT 结果先写后读；C算例不读未初始化全局变量、不使用标准库。它有16个系统向量入口，练习期间屏蔽可配置中断，不包含具体芯片完整的外部中断向量和外设初始化。这是针对本章无外设练习的最小程序，不是任意产品工程的通用启动文件。 NMI等仍可能进入默认处理函数。

链接布局必须让 RESET 先放到 Flash 起点，把 STACK 和可写数据放进RAM。源码包的 layout.sct 给出了这两块区域及“RESET在最前”的规则。启动文件里的 STACK预留1024字节，顶端标签作为初始MSP，按8字节对齐；不是从随手写的地址借一块可能被其他变量占用的空间。

结果标号如 Result 在调试器内存窗口查地址；相应题若要求R0/R3，也保留该寄存器结果。应用返回后启动文件停在 Halt；不要通过重置或继续执行未知字节“查看答案”。

若使用厂商完整启动/C模板，应该保留其运行库初始化，让你的函数作为 main 或 main调用的函数接入；不能同时加入本章 startup.s 和厂商另一个启动文件。GNU/armclang工程还需换用对应汇编指示和链接脚本，不能只改扩展名。

返回目录 ↑

第七章 · 第17节

顺序程序：先取地址，再读值，最后写结果

7.3.2；7.3.3 顺序结构；例 7.36；第 25—26 页

先修正原书Num/Nums例子的初始化前提。下面在 RAM 里显式写初值，再计算：

        LDR     R0,=Num
        MOVS    R1,#0x11
        STR     R1,[R0]         ; 明确建立初值
        ADDS    R1,R1,#0x9A
        STR     R1,[R0]         ; Num = 0xAB
        LDR     R0,=Nums
        MOVS    R2,#0x22
        STR     R2,[R0]
        ADDS    R2,R2,#0xAB
        STR     R2,[R0]         ; Nums = 0xCD

Num/Nums必须在可写区域并有空间。上面是应用内部的算法片段，不是带向量表的独立工程。

原例7.36的字节数组低地址依次是：

        ALIGN   4
Arr     DCB     0x11,0x22,0x33,0x44
        DCB     0x55,0x66,0x77,0x88
        DCB     0,0,0,0

若 R0=Arr，则 LDR R2,[R0] 得0x44332211；R1=1 时，LDR R3,[R0,R1,LSL #2] 读取 Arr+4 处四字节，得0x88776655。不是读取“第1个字节”，而是从首字节的地址开始，读一个32位字。

按数组元素访问时，步长由元素宽度决定，且下标必须落在范围内。若数组共12字节，LDR从Arr+9读取4字节会越过数组结尾，即使那个地址仍在RAM中，也不再是这个数组的合法访问。

做顺序程序题可以画三列：指令、访存地址、执行后寄存器/内存。遇到 LDR =label 单独写“地址”，遇到 [Rn] 才填“内容”。这是最省脑子的检查法。

返回目录 ↑

第七章 · 第18节

64 位加法：低字先算，存储顺序另行约定

例 7.37；第 27 页

原书明确把数组首字解释为高32位，第二字为低32位：

Arr1    DCD     0x11223344,0xFFDDCCBB
Arr2    DCD     0x11223344,0xFFDDCCBB

这是程序自定的高字在前格式，不是通常小端 C uint64_t 的低字在低地址格式。每个DCD内部仍然按小端排列字节；“字内部字节顺序”和“程序指定两个字谁是高部”是两层问题。

        LDR     R0,=Arr1
        LDR     R1,[R0]         ; 高字
        LDR     R2,[R0,#4]      ; 低字
        LDR     R0,=Arr2
        LDR     R3,[R0]
        LDR     R4,[R0,#4]
        ADDS    R6,R2,R4        ; 低部，产生 C
        ADC     R5,R1,R3        ; 高部，加上传来的 C
        LDR     R0,=Result
        STR     R5,[R0]         ; 结果仍按高字在前
        STR     R6,[R0,#4]

低字相加：0xFFDDCCBB+0xFFDDCCBB=0x1FFBB9976，留下0xFFBB9976、C=1。高字相加：0x11223344×2+1=0x22446689。结果为 0x22446689FFBB9976。

ADDS和ADC之间不能插入会覆盖C的指令，比如一次不相关CMP。装载/存储本身通常不更新算术标志，但写代码时仍要按实际指令看。

上面是主程序片段，使用R4—R6没有对外接口；若把它改成供C调用的函数，就需要按ABI保护所修改的callee-saved寄存器。若要把结果当作标准小端uint64_t，存储时通常低字先放低地址，再放高字，不能只改类型名不改布局。

返回目录 ↑

第七章 · 第19节

分支：先决定比较类型，再画两条会合的路径

7.3.3 分支结构；例 7.38—7.43；第 27—30 页

CMP R0,R1 相当于只更新标志的R0−R1。有符号“大于”用GT，无符号“大于”用HI；相等都用EQ。题目没有说明符号时先声明假设，不要让同一段程序前后换解释。

以原书 x=76,y=88; if(x>y) z=100; else z=50; 为例，若x/y是有符号int：

        CMP     R0,R1
        BGT     Greater
        MOVS    R2,#50
        B       Join
Greater
        MOVS    R2,#100
Join

R2统一装z。原书把else写到R1、注释却说R2，是寄存器笔误；源例用HI则是无符号条件，对76/88恰好结果相同，对负数就未必。

例7.38—7.40分别是无条件分支、比较后相等分支、直接目标分支。真实B仍有编码范围与目标对齐要求，不能认为任意绝对地址都能直接编码。例7.41可写：

        CMP     R5,#10
        BEQ     Eq10
        MOV     R0,R5
        B       Done10
Eq10
        MOV     R1,R5
Done10

这里不被赋值的那个寄存器保留旧值，不能擅自说另一边也清零。

例7.42取两个无符号数最大值，下面为应用内片段，Arr1/Arr2为已定义的32位输入，Result是可写结果单元：

        LDR     R2,=Arr1
        LDR     R0,[R2]
        LDR     R2,=Arr2
        LDR     R1,[R2]
        CMP     R0,R1
        BHS     SaveMax
        MOV     R0,R1
SaveMax
        LDR     R2,=Result
        STR     R0,[R2]

原书直接用标签访存的简写在PC相对范围/合法寻址方面有额外条件。这里显式取地址，更容易同时处理Flash输入和RAM结果。例7.43的有符号符号函数，输入X已在R2，输出Y到R0：

        CMP     R2,#0
        BEQ     IsZero
        BGT     IsPositive
        MOVS    R0,#0
        MVN     R0,R0          ; -1 = 0xFFFFFFFF
        B       SignDone
IsPositive
        MOVS    R0,#1
        B       SignDone
IsZero
        MOVS    R0,#0
SignDone

若将结果写回输入单元，相当于覆盖X；若要保留X，则另设Result。这里给的是算法片段，需接在明确的入口与结束路径中。

原书的MOVLT/MOVHI等条件数据处理，在M3/M4统一语法中要用相应IT块或由工具明确生成；本章使用显式Bxx，避免靠自动IT行为。BL负责建立返回链接；BX寄存器目标和A32/T32历史切换的边界见第13、23节，不把普通跳转和函数调用混用。

返回目录 ↑

第七章 · 第20节

for、while、do-while：初始化、测试、更新一个都不能少

7.3.3 循环结构；第 30—31 页

原书 for(i=0;i<10;i++) x++; 的基本转换：

        MOVS    R0,#0          ; x
        MOVS    R2,#0          ; i
ForTest
        CMP     R2,#10
        BHS     ForEnd         ; unsigned i>=10
        ADDS    R0,R0,#1
        ADDS    R2,R2,#1
        B       ForTest
ForEnd

循环体恰好执行10次。测试放入口允许0次：若初始i已经不小于10，直接退出。SUBS count,#1; BNE 是常见倒计数结构，但若count初值为0而直接进入循环，先减后会下溢为0xFFFFFFFF。

while(x<=y) x*=2，x=1、y=20，可用每次重做CMP的形式：

WhileTest
        CMP     R0,R1
        BHI     WhileEnd
        LSLS    R0,R0,#1
        B       WhileTest
WhileEnd

检查序列1→2→4→8→16→32，结果32。若范围允许32位溢出，翻倍可能绕回0而无法退出；题目必须限定数据范围或增加溢出处理。

原书 MOVLS ...; BLS ... 依靠同一次CMP标志；若中间实际生成的移位指令更新了标志，BLS看到的就可能不是原比较结果。上面把出口放在CMP之后，并在下一轮重新比较，更便于验证。

for与while先测试再执行，可能0次；do-while先执行再测试，至少1次。写循环之前，先用N=0、1、2在纸上跑一遍。 这是发现差一、漏更新和多读取一个元素的有效办法。

返回目录 ↑

第七章 · 第21节

求和、统计偶数、统计正数：同一个遍历骨架

例 7.44；习题4—6；第 31、48 页

遍历数组的角色可以固定成：R1指针、R2剩余元素数、R3当前值、R0计数结果。32位数组每轮指针前进4字节，剩余数减少1。

        MOVS    R0,#0
        LDR     R1,=Values
        MOVS    R2,#10
CountLoop
        LDR     R3,[R1],#4
        TST     R3,#1
        BNE     NotEven
        ADDS    R0,R0,#1
NotEven
        SUBS    R2,R2,#1
        BNE     CountLoop

偶数的最低位为0，包括0和负偶数。题目问“偶数的个数”，不是“偶数下标的元素个数”，不是“把偶数相加”，也不是“每隔一个取一个”。数组[-4,-3,0,1,2,3,4,5,6,7]有5个偶数。

若统计有符号正数，改成 CMP R3,#0; BLE NotPositive; ADDS R0,#1。0不算正数，0xFFFFFFFF代表−1，也不算正数；不能用无符号BHI代替BGT。上述数组有7个正数。

求1到100之和可以递增相加，也可倒计数相加。推荐先理解：每轮把当前k加进sum，再k减1；k从100到1，恰好100轮，结果5050。公式 $N(N+1)/2$ 用于核对结果，不替代题目要求的循环。

对一般N，先判断N是否为0；32位累加还要限制范围或处理溢出。本章100固定值不会溢出。第4、5、6题给出带数据、结果区、入口与共用启动文件的完整应用模块。

返回目录 ↑

第七章 · 第22节

冒泡排序：每轮到底把谁送到右端

例 7.45；第 31—32 页

目标是把[12,7,19,8,24]排成 [24,19,12,8,7]。从左向右比较相邻项，若左<右就交换，让较小值向右移动。每轮结束，当前区间的最小值固定到右端。

下面是明确按剩余比较次数控制的程序片段。SRC必须是已初始化的可写数组；本章最小启动工程若要运行它，应先把只读初值拷到RAM，再排序。

        MOVS    R4,#4          ; 本轮相邻比较次数 n-1
Outer
        LDR     R1,=SRC
        MOV     R5,R4
Inner
        LDR     R2,[R1]
        LDR     R3,[R1,#4]
        CMP     R2,R3
        BHS     NoSwap         ; unsigned 左>=右，已是降序
        STR     R3,[R1]
        STR     R2,[R1,#4]
NoSwap
        ADDS    R1,R1,#4
        SUBS    R5,R5,#1
        BNE     Inner
        SUBS    R4,R4,#1
        BNE     Outer

第一轮4次，最后一次读下标3和4；不会读下标5。之后3、2、1次，总共 $n(n-1)/2=10$ 次比较。一般化到n=0或1时，必须在做n−1之前/进入循环之前处理，不然会下溢。

原书代码用STRHI在左>右时交换，倾向升序；却给了降序结果。又把SRC+LEN（尾后地址）当成最后元素地址，可能多读一个元素；“最大的数到数组尾”也与降序过程不符。记住比较方向、最后一对下标和每轮固定的元素，别背那份冲突代码。

返回目录 ↑

第七章 · 第23节

子程序最小接口：参数进来，结果出去，链接保住

7.3.3 子程序；例 7.47；第 32—36 页

        MOVS    R0,#19
        MOVS    R1,#20
        BL      UMax32
        ; 此处 R0=20

UMax32 PROC
        CMP     R0,R1
        BHS     MaxDone
        MOV     R0,R1
MaxDone
        BX      LR
        ENDP

这是无符号最大值函数：输入R0/R1，输出R0，可能修改条件标志。PROC/ENDP 为工具提供函数边界信息，本身不会替你保存寄存器或产生返回指令。若从其他文件调用，还需要EXPORT/IMPORT。

BL把调用后的返回位置编码到LR，并跳到目标；不是简单把某个未解释的“当前PC读值”原样保存。M系列的返回链接带Thumb标识。BX LR按返回链接返回；普通返回不应写成BLX LR，因为后者再次建立链接、修改LR，语义不是普通返回。

叶函数是不再调用别的函数的函数。如果它不需要借用LR作别的用途，通常可以直接BX LR，不必无条件先压栈。调用别人的非叶函数则要在下一次BL覆盖LR之前保存自己原来的返回链接。

原例7.47约定R2为最大值结果，可以解释为作者自定的汇编接口；若要让C按 unsigned max(unsigned,unsigned) 调用，应改成R0返回。调用者、被调者只要各自猜不同接口，程序就会出错。

返回目录 ↑

第七章 · 第24节

嵌套调用与幂函数：别把计算结果也恢复掉

例 7.46、栈图 7.5—7.11；第 33—36 页

原书Pow把R0—R7、LR共9个字压栈，末尾又把R0—R7恢复：即使R0中算出了幂，也被旧R0覆盖。同时9个字=36字节，会把原来8对齐的SP变成4模8；再BL到公开接口不合适。指数=1的路径若不先退出，还可能把计数减到−1继续循环。

下面使用清晰接口：R0=底数，R1=非负指数；返回R0=低32位结果。指数0返回1，包括按本例约定的0的0次方；溢出按模 $2^{32}$ 保留低部。

Pow32   PROC
        PUSH    {R4-R6,LR}     ; 16字节，保护原链接并维持8对齐
        MOV     R4,R0          ; 底数跨调用保留
        MOV     R5,R1          ; 剩余次数跨调用保留
        MOVS    R0,#1          ; 累乘器也是返回值
PowTest
        CMP     R5,#0
        BEQ     PowDone
        MOV     R1,R4
        BL      Mul32          ; R0 <- R0 * R1，可改R0-R3/R12
        SUBS    R5,R5,#1
        B       PowTest
PowDone
        POP     {R4-R6,PC}     ; 不恢复R0，返回计算结果
        ENDP
Mul32   PROC
        MUL     R0,R0,R1
        BX      LR
        ENDP

R6在本函数未承载算法数据，这里与R4/R5/LR一起保存是为了让帧为16字节并保持对齐；也可以用明确的栈填充来实现。栈空间不是无限的，实际工程要确保帧和嵌套深度不会越界。

对于原书 STMFD SP!,{R0-R7,LR}，地址布局可用上一章规则核对：若旧SP=0x20000460，新SP=0x2000043C；最低地址保存R0，最高的0x2000045C保存LR。不需要臆测“CPU内部哪一个先写”，编号到地址的映射才是可依赖的结果。

主程序需要跨调用保留的R0—R3临时值，由主程序自己先挪到安全位置或压栈；被调函数借用的R4—R11等，按ABI恢复。不要一律恢复所有寄存器，否则连返回值都没了。

返回目录 ↑

第七章 · 第25节

阶乘：先把0!、1!、上限和返回值说清

习题8—9；第 48 页；承接7.3.3

定义：0!=1，N!=1×2×…×N。题目“N≤10”还应补上N为非负整数，否则负数阶乘没有这里的整数乘积含义。本章使用无符号参数，超出10返回0作为约定的错误标记，正常结果从1开始不会与它冲突。

Fact10  PROC
        CMP     R0,#10
        BHI     FactBad
        MOV     R1,R0          ; n
        MOVS    R0,#1          ; acc
FactTest
        CMP     R1,#1
        BLS     FactDone
        MUL     R0,R0,R1
        SUBS    R1,R1,#1
        B       FactTest
FactDone
        BX      LR
FactBad
        MOVS    R0,#0
        BX      LR
        ENDP

不变量可理解为：每轮acc保存已经乘过的高端因子，R1指向下一项；R1≤1时剩余因子不会改变结果。N=0或1一开始就返回1；N=5依次得到1→5→20→60→120；10!=3628800=0x00375F00，放得进32位有符号整数。

12!=479001600还放得进有符号32位，但13!已经超过无符号32位；这些背景只用来理解“为什么要说结果宽度”。原题限定N≤10，按这个范围写对就够，不要求自行实现任意精度。

递归可以写成n×fact(n−1)，但每一层都要保存自己的n和返回链接。例如在合法输入前提下：先判断n≤1，再PUSH {R4,LR}，把n存R4，R0减1后BL自身，返回后MUL R0,R0,R4，POP {R4,PC}。R4/LR每层8字节，n=5到基本情形需要4个非基本帧。迭代没有递归深度负担，基础题优先掌握迭代，不必为了“像数学定义”强行用递归。

返回目录 ↑

第七章 · 第26节

ATPCS/AAPCS：寄存器并不是谁想改就改

7.4.1；第 37—38 页；习题2、7—10

ATPCS（Arm-Thumb Procedure Call Standard）规定子程序间如何使用寄存器、栈和参数。AAPCS（Procedure Call Standard for the Arm Architecture）属于Arm ABI的一部分，对这些接口作了标准化发展。读原书认识ATPCS；写工程则让编译器、汇编模块和库采用同一套目标ABI及选项。

“caller-saved”并不是说每次BL前都把R0—R3无脑压栈，而是调用者若还要那些旧值，自己负责保住。“callee-saved”也不是每个函数都压R4—R11，而是被调者用了其中哪个就恢复哪个。原书a0—a3等别名不作为必背项，不同文档别名有差别，寄存器编号与职责最可靠。

条件标志通常不跨普通函数调用保持；不要 CMP R0,#0; BL Other; BEQ Label，期待BEQ仍用调用前CMP结果。链接器产生的长跳转/互操作跳板可能借用R12，也不该把重要值跨调用放R12。

M3/M4的Thumb-2可以操作高寄存器；原书“Thumb通常只能使用R4—R7”是早期编码便利性的背景，不是M4永远不能用R8—R11。使用高寄存器仍受具体指令编码与ABI约束。

返回目录 ↑

第七章 · 第27节

第五个参数与8字节对齐：先画入口SP，再算偏移

7.4.1 参数与栈；例 7.50；第 38、41—42 页

限定参数全是普通32位整数：前4个依次放R0—R3；第5个在被调函数入口SP所指的栈位置。更多字参数继续按ABI放在更高地址，不应把C参数列表简单当作任意push顺序口诀。

        MOVS    R0,#1
        MOVS    R1,#2
        MOVS    R2,#3
        MOVS    R3,#4
        MOVS    R4,#5
        SUB     SP,SP,#8       ; 4字节参数 + 4字节对齐空位
        STR     R4,[SP]        ; 第5个参数位于入口[SP]
        BL      Sum5
        ADD     SP,SP,#8       ; 调用者回收参数区

假设调用前SP已经8对齐，这样BL时仍对齐。如果这段属于可返回的函数，还要保护其原LR及修改的R4，代码片段之外也得遵守接口。不能因为只展示参数区就漏掉外层帧。

若Sum5一进入就 PUSH {R4,LR}，新SP=入口SP−8，第5个参数现在位于 [新SP,#8]；若压3个字，偏移是12。永远从实际保存字节数推偏移，不背某个编译器截图里的固定#12。

AAPCS32的通用栈约束要求至少4字节对齐；公开调用接口还要求8字节对齐。初学时可用更容易执行的纪律：所有向外BL前都维持8对齐，返回时SP回到进入值。满递减栈向低地址增长，SP指活动栈顶；FD/ED/FA/EA四种模型在上一章已讲，原章这里认识FD为采用的模型即可。

PRESERVE8 是对工具声明本模块保持相应约束，不是会在CPU上执行的对齐操作。原书SP=0x20000460，再STR一个字到[SP,#−4]!后SP=0x2000045C，已经不是8对齐；只写PRESERVE8无法修复它。

返回目录 ↑

第七章 · 第28节

不止“前四个进寄存器”：类型、返回值和C++名字

7.4.1 参数/结果规则；7.4 C/C++；第 36—38 页

本章题目的unsigned/int/指针通常是32位，一个参数用一个核心寄存器，所以“前四个”成立。若参数是64位数，可能需要对齐的寄存器对；结构体可能拆分或通过地址间接传递，不能再按“第几个人类参数”机械分配。

例如基础AAPCS32下 f(int a, long long b, int c)：a用R0，b要求偶数编号寄存器对，使用R2/R3，R1可能空出，c因此走栈。不是a→R0、b→R1、c→R2。 这个例子只用于提示类型影响分配。

M4有FPU不等于所有浮点参数自然走S0；-mfloat-abi等选项和库的接口必须匹配。原书f0/d0/s0混列包含旧浮点模型，不把它作为M4统一规则。

C编译后的外部符号通常与函数名对应；C++为了重载可能修饰名字。让C++调用普通汇编函数可声明：

extern "C" unsigned asm_strlen(const char *s);

普通C文件写 extern unsigned asm_strlen(const char *s);；函数声明里的extern通常可以省略，它不替代汇编端的EXPORT。extern "C"改变语言链接约定，不会自动修复错误的参数/返回值类型、栈布局或寄存器保护。

返回目录 ↑

第七章 · 第29节

C调用汇编：字符串复制与求长度完整走一遍

例 7.48；习题10；第 38—40、48 页

原例 strcopy(dst,src) 的第1参数dst在R0，第2参数src在R1。源串必须可读且有终止符，目标必须有足够可写空间，两个区域不能按此算法随意重叠。

        EXPORT  strcopy
strcopy PROC
CopyLoop
        LDRB    R2,[R1],#1
        STRB    R2,[R0],#1
        CMP     R2,#0
        BNE     CopyLoop
        BX      LR
        ENDP

注意“先写再判断”：把0也复制过去，否则目的区可能不是合法C字符串。这个自定义函数返回void；它推进R0，不按标准strcpy的“返回原dst”接口承诺。若要改成标准风格，必须保存原dst并在R0返回。

求长度不同：遇到0就退出，不把0计入。空字符串第一个字节就是0，长度为0；不能先加1再无条件当作结果。

        EXPORT  asm_strlen
asm_strlen PROC
        MOV     R1,R0          ; 指针工作副本
        MOVS    R0,#0          ; 长度，也作为返回值
LenLoop
        LDRB    R2,[R1],#1
        CMP     R2,#0
        BEQ     LenDone
        ADDS    R0,R0,#1
        B       LenLoop
LenDone
        BX      LR
        ENDP

本章32位长度实现要求长度可表示且指针有效、有可达终止符；不是通用的坏指针检测函数。中文UTF-8里一个汉字可能占多字节，此函数数的是字节，不是汉字个数。原例英文字母字符串的字节数与字符数恰好相同。

C端类型、实参顺序与汇编出口要一起检查。const char *src表示不通过该指针写源串；目的数组如 char dst[20] 必须真的有20个字节。第10题给出C调用模块、汇编实现、启动与结果观察点。

返回目录 ↑

第七章 · 第30节

汇编调用C：先把自己变成合格的调用者

例 7.49—7.50；习题9；第 40—42、48 页

unsigned sum2(unsigned a, unsigned b) { return a + b; }
unsigned sum5(unsigned a, unsigned b, unsigned c,
              unsigned d, unsigned e) { return a+b+c+d+e; }

sum2调用前R0=1、R1=2，BL后R0=3。它可能被编译成一条加法再返回，也可能有更多移动与栈操作；只要遵守接口，调用者不应该关心它究竟借了R2还是R3。

sum5调用前R0—R3=1、2、3、4，[入口SP]=5，结果R0=15。第27节的8字节参数区布置才是修正后的调用。调用者回收自己的出参区，函数恢复自己的保存帧，各自责任不要混。

第9题C阶乘函数只用参数和局部变量，没有标准库依赖：

unsigned factorial_c(unsigned n)
{
    unsigned acc = 1;
    if (n > 10u) return 0u;
    while (n > 1u) {
        acc *= n;
        --n;
    }
    return acc;
}

汇编端用 IMPORT factorial_c，令R0=N，BL后取R0。若是在一个可返回的汇编函数中，先PUSH {R4,LR}，调用后POP {R4,PC}，不恢复R0覆盖结果。

原书先随意把SP设成RAM某地址，教学上能够演示，但完整工程应从实际预留的栈得到SP。对C函数还需核对：是否访问需初始化的全局数据、是否调用运行库、浮点接口是否一致。“C函数能编译”不表示不需要任何运行环境。 本章最小工程只使用已明确满足这些条件的简单C函数；一般程序接厂商启动和运行库更合适。

返回目录 ↑

第七章 · 第31节

内联汇编、嵌入式汇编函数与独立.s文件

7.4.2；7.4.3；例 7.51；第 42—47 页；习题11

原书的分类建立在旧Arm Compiler/armcc语境：

旧armcc的两种 __asm 写法和GCC/armclang的GNU扩展汇编不是同一语言。Arm Compiler6的armclang采用GNU风格内联汇编，不能把armcc的花括号示例原样粘过去。Arm官方迁移说明解释了这一差别。

GNU风格的一个小函数（GCC/armclang目标为M3/M4）如下：

static unsigned add1(unsigned x)
{
    unsigned y;
    __asm__ volatile ("adds %0, %1, #1"
                      : "=r"(y)
                      : "r"(x)
                      : "cc");
    return y;
}

%0/%1是编译器安排的输出/输入操作数；=r表示寄存器输出，r表示寄存器输入；cc声明条件标志被修改。这个单指令例子允许输出与输入同寄存器。多指令序列若过早写输出、之后还要读输入，可能需要early-clobber等约束，不能照搬这个最小模板。

访问C未显式列出的内存可能需要memory clobber或精确的内存操作数；volatile不等于自动告诉编译器所有内存都变了，也不等于处理器内存屏障。长循环和函数调用优先放独立.s函数，更容易把接口审清楚。不要在普通C内联块里随意改SP、埋BX LR或假定R0正好对应某个局部变量。

原例7.51用内联汇编实现复制：其算法仍是读一个字节、写一个字节、指针推进、直到0。第29节已经给出了同一算法的独立汇编版，便于逐步验证。原书那些“不得直接写PC”“避免物理寄存器冲突”等限制应放在相应编译器内联汇编模式下理解，不是对所有独立.s函数的统一禁令。

关于第11题：早期armcc在Thumb下的内联汇编支持受限，故M3/M4常使用嵌入式汇编函数；原书第47页又说明armcc5.01/MDK4.60起支持相应Thumb内联形式。因此M4硬件本身并没有禁止内联汇编，能用哪种由工具链版本与语法决定。 回答时给出旧教材条件，同时补上这个限定，不把过时条件背成架构定律。

返回目录 ↑

第七章 · 第32节

汇编访问C全局变量：先拿地址，再访问内容

7.4.2 第2部分；第 44 页

C端定义：

volatile unsigned ticks;       /* 真正定义对象，有存储 */

汇编端引用：

        IMPORT  ticks
        LDR     R1,=ticks       ; R1是地址
        LDR     R0,[R1]         ; R0才是ticks的值
        ADDS    R0,R0,#1
        STR     R0,[R1]

若写成 extern volatile unsigned ticks; 是声明外部对象，仍需某处唯一真正定义它。C端若用static把对象限制在文件内部，其他目标文件不能简单靠同名IMPORT访问。C++还要考虑语言链接名字。

volatile让相应C访问具有所需的可观察性，但不把“读—加—写”三条指令合成原子操作。若中断也更新ticks，两边可能覆盖；用适当临界区、原子机制或平台提供的同步方法。这里提并发是为了不把示例误当万能计数器，不要求现阶段实现完整OS同步。

全局对象的初始值要靠启动运行环境建立。最小启动练习中的Result会先写后读，不依赖RAM随机值；一般C工程则按编译器/启动库规则处理.data和.bss。

返回目录 ↑

第七章 · 第33节

CMSIS到底统一什么：核接口、RTOS接口、DSP库

7.4.3 第1部分；图 7.19；第 45 页

CMSIS全称Cortex Microcontroller Software Interface Standard。原章重点的三块内容：

芯片厂商设备头文件通常描述具体芯片及其外设，配合CMSIS-Core。应用既可以通过厂商驱动，也可以按设备寄存器定义控制硬件。系统若使用RTOS，应用还通过其API获得线程、同步等服务。

原书“超过60个DSP函数”与列出的旧头文件名是当时库版本的背景；不要背成永久数量或唯一文件组织。实作时通常包含目标设备头文件，由设备包接入合适的CMSIS头与编译器适配；不要凭书里的拼写猜 core_c4_simd.h 然后生造文件。

本章做题只需能说明层次，并在特殊寄存器访问时选用规范接口；暂时不要求移植RTOS或完成DSP项目。这些内容保留是为了让你理解“C里能调用__WFI/读取PRIMASK”背后是谁提供了接口。

返回目录 ↑

第七章 · 第34节

内在函数、内联汇编、习语识别：C怎样产生特殊指令

7.4.3 第2部分；第 46—47 页

原章提到的途径全部保留：CMSIS访问/内在函数、编译器内建函数、内联或嵌入汇编、编译器关键字/属性与习语识别。它们有的表现为C函数调用，有的由编译器直接替换成指令；看到函数样子不等于真的一定产生BL函数调用。

GCC/armclang可用 __asm__ volatile("svc #0" ::: "memory"); 表达一个特定工具语境下的SVC，但仅有这一行并没有实现系统服务；还要配置并实现异常处理。一般优先使用已有平台接口，避免把服务号和权限模型藏在不明汇编里。

“习语识别”是编译器识别某种C计算模式，生成合适的机器指令；不保证任何写法、优化级别或版本都生成同一条指令。对性能/同步有要求时查看实际反汇编，并按工具保证选择内建接口。

volatile、编译器内存屏障、CPU的DMB/DSB/ISB分属不同语义，不能互相无条件替代。CMSIS对不同编译器提供适配，但也要看目标支持和版本；“内建函数永远最优、CMSIS永远较慢”不是可靠定律。

返回目录 ↑

第七章 · 第35节

特殊寄存器：临界区恢复旧状态，Q清除读懂即可

7.4.3；表 7.2；第 46—47 页

CMSIS常见写法：

#include "目标设备头文件.h"     /* 用实际设备包提供的文件名 */
void update_shared(void)
{
    unsigned old = __get_PRIMASK();
    __disable_irq();
    /* 在特权、合适上下文中执行短小的共享数据更新 */
    __set_PRIMASK(old);
}

头文件行是说明性占位，实际源码必须改成例如设备包要求的对应设备头文件。这个片段强调恢复进入前状态；是否还需特定屏障等同步由真实系统操作决定，不能把它当所有设备的万能模板。

如果进入前PRIMASK已为1，结尾直接 __enable_irq() 会擅自打开原来被关闭的可配置中断；恢复old才支持这种嵌套使用。PRIMASK也不屏蔽NMI和HardFault，不能由此声称“所有异常都不可能发生”。

原表7.2的全部名称可以按组记：

BASEPRI里的优先级数值越小通常表示优先级越高；“MAX”并不表示简单取无符号数值最大值，而是只增强屏蔽。BASEPRI=0表示不施加这个阈值屏蔽。其编码还涉及芯片实际实现的优先级位，本章不要求写一套中断管理器。

旧armcc的命名寄存器变量示意为：register unsigned reg_apsr __asm("apsr");，原书漏失的下划线与关键字不能照抄。此特性不是标准C；GCC中把变量绑定寄存器的机制也不能当作等价的特殊寄存器访问保证。普通应用优先用CMSIS/Core访问接口。CMSIS寄存器访问说明可核对名称与权限。

Q是黏性饱和标志，位27。0xF7FFFFFF就是清bit27的掩码。若在独立汇编中要清Q、保留同次读到的NZCV，可以按目标支持使用：

        MRS     R0,APSR
        BIC     R0,R0,#0x08000000
        MSR     APSR_nzcvq,R0

这同时写回相应标志字段，不是能随意写完整xPSR。若从C调用，普通C运算/函数调用本来就可能改变算术标志，不能把这个片段当作跨任意C代码“保存所有标志”的承诺。基础习题只需要理解清哪一位、为何要用MRS/MSR或相应工具接口，命名寄存器变量的完整限制以查读为主。

返回目录 ↑

第七章 · 第36节

做题和调试都用同一张检查单

7.1.2、7.3—7.4；原章11道习题；第 5—8、24—48 页

拿到题先写一行规格，例如：“输入是10个有符号32位数；输出R0；只统计严格大于0；不改数组。” 这一行会替你决定LDR宽度、步长、比较条件与返回位置。

然后做六步：

1. 列寄存器职责：输入/指针、计数、当前值、累加/输出，不让同一寄存器同时承担冲突角色。
2. 用C式伪代码或流程图明确路径，特别是0次、1次、最后一项。
3. 选指令与条件：有无符号、是否需要更新标志、哪一次比较决定哪次跳转。
4. 补数据与工程：段、EXPORT/IMPORT、函数/程序入口、栈、结果空间、执行结束路径。
5. 手算一个小样本，再用边界样本检查：0、1、相等、负数、空串、数组最后一项。
6. 调试核对R0/R3、指针、剩余数、SP/LR、结果内存；若出错只缩小到一轮/一次调用，不盲目重写全部。

下面的11张原题卡完整保留题意和解题要求，带完整应用模块的题都配好共同启动文件和源码。先独立写，再展开答案；若只会沿着注释阅读，还没有达到本章过关标准。 本章背景已经全部交代：旧开发工具、冷门伪指令、表达式、浮点ABI、CMSIS和工具特性都能在目录中找到；不要求你把它们全部默写成产品工程。

返回目录 ↑