关于arm-none-eabi-gcc中__attribute((interrupt))在STM32H753中断的疑问

1. 线程模式与处理程序模式栈对齐差异的原因 #

• 处理程序模式（异常/IRQ）：Cortex-M7架构的异常机制为硬件级实现，进入IRQ或异常时，硬件会自动压入固定结构的栈帧（包含R0-R3、R12、LR、PC、xPSR等寄存器），且强制栈地址对齐到8字节——这是架构规范的硬性要求，用于保证异常栈帧结构一致、处理流程可靠。你测试到的__attribute((interrupt))仅做8字节栈对齐，是因为该属性的设计就是配合硬件的原生行为，只需满足异常处理的最低对齐要求即可。
• 线程模式：线程模式的栈对齐要求由编译选项和应用需求决定。例如启用FPU（编译选项-mfloat-abi=hard）时，浮点寄存器压栈需要16字节对齐，编译器会通过全局编译选项（如-mstack-align=16）自动处理这类对齐需求。线程模式无硬件强制对齐规则，完全依赖编译器配置匹配代码运行要求。

2. STMicro HAL及示例代码未使用__attribute((interrupt))的原因 #

• 硬件机制替代：Cortex-M异常向量表触发的处理函数，硬件会自动完成异常栈帧的保存、对齐及返回时的栈帧恢复操作，即便不添加该属性，只要函数使用正确的返回指令（bx lr），就能正常完成异常处理。ST代码直接利用了这一硬件特性，无需编译器属性额外干预。
• 多编译器兼容性：ST的HAL代码需要适配不同嵌入式编译器（如Keil MDK、IAR EWARM、arm-none-eabi-gcc），而不同编译器的异常处理属性语法存在差异（比如IAR用__interrupt，Keil用__irq），使用gcc特有的__attribute((interrupt))会破坏代码的跨编译器兼容性。
• 冗余性与优化：__attribute((interrupt))会生成特定的函数 prologue/epilogue 代码，但ST的IRQ处理函数通常仅简单调用HAL层通用处理函数，全局编译选项已保证栈对齐等要求，添加该属性属于冗余操作，甚至可能引入不必要的代码开销。

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