(GCC)记一次STM32不同编译器除零差异分析

硬件：STM32H743VIT6最小系统板

软件：VSCode/Ozone/Keil5.35/STM32CubeMX

交叉编译链：arm-none-eabi-gcc/armcc

操作系统：Windows

新入手了一块H7开发板，TB卖家给的例子是STM32CubeMX生成的Keil版本，想把它迁移到GCC下开发， 本以为简单的移植却卡在SPI屏幕显示，经过调试最终把问题定位到驱动上，但是Keil版本的可以正常使用，GCC版本不应该有问题。经过半天调试，最后发现bug只来源于一条语句：

源码的本意是：

当 result=0时，return 0。当result>0时，return -1。实际测试在Keil下运行并无问题，查看汇编代码如下：

可以看到，汇编下代码是完全按照我们的本意执行，但此处result如果为0，以0作为除数从数学角度上来说是不合法的，但是此处根据实际运行结果来看，0/0=0，如下图：

而在GCC下完全不一样，为了对比，我把编译优化等级开到同一水平即没有优化(-O0)。汇编代码如下：

可以看到在result /= -result 时，编译器直接令R3 = 0xFFFF FFFF，这个值最后被赋值给R0作为返回值，此处为何赋值为0xFFFF FFFF？因为编译器判断这里结果是一个非法值，所以直接向本身应该存储最终结果的寄存器赋值了0xFFFF FFFF，代表结果为非法。所以此处无论前面的数据传输结果是0还是其他，最终返回的值都是一个非法值，所以必定会造成代码异常。

2022-01-13更新

在Cortex-M内核中，有可以配置除零是否触发异常的寄存器：

所以除零是否作为一种异常是可选的，而GCC编译器则是从编译阶段直接强制了异常行为。