Cortex-M0+运行时如何确定函数调用的栈帧大小？

针对你的需求（无需调用者提前操作，仅通过函数自身逻辑获取栈帧大小），结合CMSIS和ARM Cortex-M平台特性，提供以下几种可行方案：

1. 函数内自动计算栈帧（最通用，支持动态栈分配） #

在目标函数的最开头记录入口栈指针，通过对比局部变量的栈地址差值得到栈帧大小。所有逻辑封装在函数内部，调用者无需额外操作。

实现代码 #

#include "cmsis_gcc.h"

// 全局变量用于存储栈帧大小（故障分析时可读取）
uint32_t g_target_frame_size;

void target_function(void) {
    // 记录函数刚进入时的栈指针（MSP，适用于主栈模式；线程模式可改用__get_PSP()）
    uint32_t entry_msp = __get_MSP();
    
    // 声明一个强制分配在栈上的局部变量，用于定位栈帧末端
    volatile uint32_t local_var __attribute__((used));
    
    // 栈向下生长，入口MSP与局部变量地址的差值即为完整栈帧大小
    // 包含硬件自动压入的返回地址、编译器保存的寄存器、局部变量及栈对齐填充
    g_target_frame_size = entry_msp - (uint32_t)&local_var;
    
    // --------------------------
    // 函数原有业务逻辑
    // ...
    // --------------------------
}

关键说明 #

• volatile和__attribute__((used))确保编译器不会将局部变量优化到寄存器中，保证其地址为真实栈地址。
• 该方法支持函数内包含可变长度数组（VLA）或alloca动态分配栈空间的场景，计算结果为实际运行时的栈帧大小。

2. 利用编译器特性获取静态栈帧大小（无动态栈分配时适用） #

如果目标函数没有动态栈分配逻辑，可通过编译器选项生成静态栈帧大小信息，无需运行时计算。

操作步骤 #

• GCC编译器：添加编译选项-fstack-usage，编译后会生成.su文件，其中记录了每个函数的栈大小（如target_function: 16 bytes）。
• ARMCC编译器：使用--info=stack选项，编译输出中会包含各函数的栈帧大小信息。

适用场景 #

适用于函数栈帧大小固定的场景，无需运行时计算即可获取准确值，性能开销为0。

3. 启用帧指针链（调试/故障分析场景优先） #

开启编译器的帧指针选项后，可通过内置函数直接获取栈帧边界，简化计算逻辑。

实现代码 #

首先在编译选项中添加-fno-omit-frame-pointer（GCC）或--fp=vfp（ARMCC），强制编译器生成帧指针（R7寄存器）：

#include "cmsis_gcc.h"
#include <stdint.h>

uint32_t g_target_frame_size;

void target_function(void) {
    // 获取当前函数的帧指针地址（栈帧底部）
    uint32_t frame_ptr = (uint32_t)__builtin_frame_address(0);
    // 获取当前栈指针（栈帧顶部）
    uint32_t current_msp = __get_MSP();
    
    // 栈向下生长，帧指针与当前SP的差值即为栈帧大小
    g_target_frame_size = frame_ptr - current_msp;
    
    // --------------------------
    // 函数原有业务逻辑
    // ...
    // --------------------------
}

关键说明 #

• 启用帧指针会占用R7寄存器，带来微小的性能开销，但栈帧遍历和计算会更可靠，非常适合故障分析场景。

注意事项 #

• Cortex-M栈为向下生长，栈指针（SP/PSP/MSP）值随栈使用逐渐减小，计算时需注意差值方向。
• 栈对齐要求：Cortex-M3/M4/M7要求栈对齐到8字节，M0/M0+为4字节，编译器会自动处理对齐填充，上述方法计算的栈帧大小已包含该部分空间。

内容的提问来源于stack exchange，提问作者Kay