从延时函数到状态机：用ARM汇编的B/BNE指令写一个精准的软件延时

从延时函数到状态机：ARM汇编中B/BNE指令的工程实践

在嵌入式开发领域，精准的时间控制往往是项目成败的关键。无论是传感器数据采集的时序要求，还是通信协议的严格时间窗口，都需要开发者对微秒甚至纳秒级的延时有着精确把控。传统上，许多工程师习惯使用现成的库函数或硬件定时器来实现延时，却忽视了底层汇编指令在时间敏感场景下的独特价值。

对于Cortex-M系列MCU开发者而言，理解ARM汇编中的跳转指令不仅能够编写出更精确的软件延时函数，还能为构建轻量级状态机提供新的思路。本文将从一个实际的DelayTime函数入手，逐步展示如何利用B/BNE等指令实现微秒级延时，并进一步拓展到有限状态机的实现，帮助开发者掌握这些看似基础的指令在实际工程中的高阶应用。

1. 精确延时的汇编实现原理

1.1 时钟周期与指令执行

在Cortex-M处理器中，每条汇编指令的执行都需要消耗特定数量的时钟周期。以常见的STM32F103系列为例，当运行在72MHz主频下时，一个时钟周期约为13.89纳秒。理解这个基本关系是编写精确延时函数的前提。

关键点在于，大多数简单ARM指令（如MOV、ADD、SUB等）在无等待状态下只需要1个时钟周期。而跳转指令如B/BNE则需要1-3个周期，具体取决于是否发生跳转和流水线状态。这种确定性使得我们可以通过精心设计的指令序列来预测代码执行时间。

1.2 基础延时循环剖析

下面是一个典型的基于BNE指令的延时循环汇编实现：

DelayTime: SUBS r0, r0, #1 ; 1 cycle BNE DelayTime ; 1-3 cycles (when taken) BX lr ; 3 cycles (return)

这个简洁的循环中，SUBS指令将寄存器r0的值减1并设置标志位，BNE则在结果不为零时跳转回DelayTime标签。通过计算这些指令的周期消耗，我们可以推导出整个循环的执行时间。

在72MHz下，假设BNE跳转消耗2个周期（最常见情况），则每次循环消耗：

• SUBS: 1周期
• BNE: 2周期 总计3个周期，约41.67纳秒。因此，要实现1微秒延时，循环次数应为： 1000ns / 41.67ns ≈ 24次

1.3 编译器优化带来的挑战

现代编译器（如ARMCC、GCC）的优化会显著影响汇编代码的生成。考虑以下C语言延时函数：

void delay_us(uint32_t us) { while(us--) { __asm__ volatile("nop"); } }

在不同优化等级下，编译器可能产生完全不同的汇编输出：

因此，在实际项目中，我们通常需要：

1. 使用volatile关键字防止优化
2. 直接编写汇编确保确定性
3. 针对不同优化等级进行实测校准

2. 高级延时技术实现

2.1 多周期精确延时

对于需要更高精度的场景，我们可以展开循环并混合不同指令。例如，下面这个实现可产生更精确的4周期/迭代延时：

Delay4Cycles: SUBS r0, r0, #1 ; 1 cycle NOP ; 1 cycle NOP ; 1 cycle BNE Delay4Cycles ; 1 cycle (when not taken) BX lr

这种技术特别适合需要特定奇数周期延时的场景。通过调整NOP指令的数量，我们可以构建3、5、7等不同周期长度的延时单元。

2.2 动态频率适应

在支持动态频率调整的MCU中，延时函数需要感知当前系统时钟。下面是一个自适应实现框架：

void delay_us(uint32_t us) { uint32_t cycles = (SystemCoreClock / 1000000) * us; __asm__ volatile ( "1: SUBS %0, %0, #1 \n" " BNE 1b" : "+r" (cycles) ); }

关键参数对比：

2.3 中断安全实现

在实时系统中，延时函数需要考虑中断的影响。基本策略包括：

• 禁用中断期间的关键计时（谨慎使用）
• 使用硬件定时器作为后备
• 实现中断感知的延时计数

下面是一个中断安全的混合实现示例：

SafeDelay: PUSH {r1, lr} ; Save context LDR r1, =DelayCount ; Load target Loop: SUBS r1, r1, #1 ; Decrement BNE Loop ; Continue if not zero POP {r1, pc} ; Restore and return

3. 从延时到状态机：跳转指令的高阶应用

3.1 有限状态机基础概念

有限状态机(FSM)是嵌入式系统中常见的编程范式，特别适合处理顺序逻辑和事件驱动系统。一个典型的FSM由以下要素组成：

• 有限的状态集合
• 明确的转移条件
• 状态特定的行为

在汇编层面，我们可以用寄存器表示当前状态，用比较和跳转指令实现状态转移。

3.2 按键消抖状态机实现

考虑一个简单的按键检测状态机，需要处理消抖和边缘检测：

; States .equ IDLE, 0 .equ DETECTED, 1 .equ CONFIRMED,2 ; Register usage: ; r0 - GPIO input ; r1 - current state ; r2 - debounce counter CheckButton: LDR r0, [GPIO_PORT] ; Read GPIO TST r0, #BUTTON_PIN ; Test button BEQ ButtonNotPressed ; Branch if not pressed ButtonPressed: CMP r1, #IDLE BEQ TransitionToDetected CMP r1, #DETECTED BEQ HandleDebounce B EndFSM TransitionToDetected: MOV r1, #DETECTED MOV r2, #DEBOUNCE_TIME B EndFSM HandleDebounce: SUBS r2, r2, #1 BNE EndFSM MOV r1, #CONFIRMED ; Handle confirmed press here ButtonNotPressed: CMP r1, #CONFIRMED BEQ HandleRelease MOV r1, #IDLE HandleRelease: ; Handle button release MOV r1, #IDLE EndFSM: BX lr

3.3 流水灯控制实例

下面是一个使用状态机实现的4LED流水灯控制：

; States .equ LED1_ON, 0 .equ LED2_ON, 1 .equ LED3_ON, 2 .equ LED4_ON, 3 ; Register usage: ; r0 - delay counter ; r1 - current state ; r2 - GPIO data RunLightSequence: SUBS r0, r0, #1 ; Decrement delay BNE ExitSequence ; Not time to change yet MOV r0, #DELAY_COUNT ; Reset delay CMP r1, #LED1_ON BEQ TransitionToLED2 CMP r1, #LED2_ON BEQ TransitionToLED3 CMP r1, #LED3_ON BEQ TransitionToLED4 B TransitionToLED1 TransitionToLED1: MOV r1, #LED1_ON MOV r2, #(1 << LED1_PIN) B UpdateGPIO TransitionToLED2: MOV r1, #LED2_ON MOV r2, #(1 << LED2_PIN) B UpdateGPIO ; ... similar for other transitions UpdateGPIO: STR r2, [GPIO_PORT] ExitSequence: BX lr

4. 性能优化与调试技巧

4.1 循环展开技术

对于时间极其敏感的延时，可以采用循环展开减少分支开销：

; 16 cycle delay (exact) Delay16: NOP ; 1 NOP ; 1 NOP ; 1 NOP ; 1 ; ... 12 more NOPs BX lr ; 3

与循环实现的对比：

4.2 指令缓存考量

在现代Cortex-M7等带有缓存的内核上，需要考虑指令缓存对时序的影响：

• 将关键延时函数放在紧耦合内存(TCM)
• 避免跨缓存行跳转
• 预热缓存以获得稳定时序

4.3 调试与验证技术

精确测量汇编延时的方法包括：

1. 逻辑分析仪直接测量GPIO翻转
2. 使用周期计数器(DWT->CYCCNT)
3. 利用调试器的指令单步功能

示例测量代码：

#define DWT_CYCCNT (*((volatile uint32_t *)0xE0001004)) void measure_delay(void) { uint32_t start = DWT_CYCCNT; delay_us(10); // Target delay uint32_t end = DWT_CYCCNT; uint32_t cycles = end - start; printf("Actual cycles: %lu\n", cycles); }

实际项目中，建议建立延时校准表，针对不同频率和优化等级保存预校准的参数。例如：

在STM32CubeIDE中调试汇编时，可以结合断点和寄存器观察窗口，单步跟踪指令执行流程。特别要注意PSR寄存器中的标志位变化，它们直接决定了BNE、BEQ等条件跳转的行为。