关于keil的优化等级造成程序异常

jinger0311 · 发表于 2020-12-12 11:15:17

使用的芯片是stm32f407ve，ucos_iii，keil5

我在程序中这样几个赋值的语句
其中 #define Speed 6400

Speed1 = Speed;
vx1 = Speed1;

复制代码

程序中 Speed1 的数据类型是 uint32_t，vx1的数据类型是float。
现在遇到了这样一个问题，就是赋值完后 vx1的值为0.5；
出现这个现象是因为，我把程序中几个全局变量的类型由 uint16_t 改成了 uint32_t。
后来我尝试强制类型转换 vx1 = （float）Speed1;  没有效果
尝试直接赋值 vx1 = 6400;   vx1 = 6400.0f;    都没有效果

但是下面的几个尝试可以得到正确的值
1、vx1的数据类型改为 uint32_t
2、keil中的优化等级改为不优化
3、赋一个其他的值，6399  ,  800等其他的值都没有问题。

其中上面第三个尝试最让我迷惑，为什么只有6400这个值不行呢？（可能也有别的值不行，但是我没有挨个实验）
想着应该是由于程序空间的问题，被优化的结果，但是不是很明白，有没有哪个前辈给解答一下

非常感谢

edmund1234 · 发表于 2020-12-12 11:15:18

这是经常出现的编译器问题。
首先你要明白C语言和汇编是两种语言，考虑到转换后的效率及资源占用，在最后优化的编译出来的汇编跟原先的C的执行方法是会被改变的。

比如，
全局变量 int AB=56；
局部变量 int C=23;
abc = AB+C;

C这个局部变量编译后根本就不会出现，甚至用Watch也不会提供其数据, 优化后的汇编很可能是这样

ldr r0，=ABC
ldr r1,[r0]
add r1,#23 @<< AB+C
.....

C是变成一个立即数23，所以C根本就不存在。

要是你一定想看到C的内容来查错，方法是有的，把C暂时搬出函数外，暂时让它当个全局变量，方便你查错，记得查完错后还原。