帮忙看一下keil开优化后程序出现运行异常的问题

2019-12-11 18:27发布

本帖最后由 NIC 于 2019-5-6 08:52 编辑

原来是level0,改为level 1后,具体代码如下,反汇编如图所示,       
                        if(CtrlSignFlag==1)
                        {
                                CtrlSignFlag++;
                                if(CtrlSignCet >=30)
                                {
                                        CtrlSignCet =0;
                                        if(CtrlSignStu.CtrlSignTask[0] == 1)
                                        {
                                                CtrlSignFlag =0;               
                                                CtrlActinter=30;
                                  }
                                }
                        }               
代码运行后, if(CtrlSignFlag==1)不成立的情况下直接跳转到 if(CtrlSignStu.CtrlSignTask[0] == 1) 这条语句,从反汇编代码也可以看出是直接执行到这条语句了,跟源代码对比一下大家就会发现我指的问题所在,但不知道编译器为什么会这样优化

我再把优化等级为level0时的反汇编代码发一下,比对一下就知道与level1时的明显区别,第一张图是优化等级level1,第二张图是优化等级level0
友情提示: 此问题已得到解决,问题已经关闭,关闭后问题禁止继续编辑,回答。
该问题目前已经被作者或者管理员关闭, 无法添加新回复
13条回答
NIC
1楼-- · 2019-12-12 19:46
gliet_su 发表于 2019-5-5 23:31
debug打个断点,如果那里不能打断点就是被优化了

能打断点的
vuo50z
2楼-- · 2019-12-12 22:34
NIC 发表于 2019-5-5 21:43
0x0800686A对应的是 if(CtrlSignStu.CtrlSignTask[0] == 1)这条语句,先执行这条语句了,执行到0x0800686 ...

开优化以后汇编和c就不是一对一的对应了,编译器会根据前后文预先加载一些东西。
你看到的第一次CtrlSignStu.CtrlSignTask[0] == 1,其实并没有判断,只是预先加载了CtrlSignStu.CtrlSignTask的地址给R2。
或许你的程序不管CtrlSignFlag==1是否成立,后面都需要操作CtrlSignStu.CtrlSignTask,所以就预先加载了。
1434行下面两句才是判断CtrlSignFlag==1,然后跳转到688a。
kebaojun305
3楼-- · 2019-12-13 02:29
代码要经的起优化,才是好代码。
NIC
4楼-- · 2019-12-13 03:40
 精彩回答 2  元偷偷看……
NIC
5楼-- · 2019-12-13 04:16
vuo50z 发表于 2019-5-6 09:55
开优化以后汇编和c就不是一对一的对应了,编译器会根据前后文预先加载一些东西。
你看到的第一次CtrlSign ...

我是不是可以这样理解,if(CtrlSignStu.CtrlSignTask[0] == 1)这条语句打断点虽然是进去了,但其实只是编译器预先加载了CtrlSignStu.CtrlSignTask的地址给R2,实际是没影响,也就是说这个是正常现象?
vuo50z
6楼-- · 2019-12-13 06:20
NIC 发表于 2019-5-6 14:12
我是不是可以这样理解,if(CtrlSignStu.CtrlSignTask[0] == 1)这条语句打断点虽然是进去了,但其实只是编 ...

是的,编译器把if(CtrlSignStu.CtrlSignTask[0] == 1)分成了两部分。在判断if(CtrlSignFlag==1)前加载基地址,后面才是实际的取值判断。
至于为什么这么做,还要看更长的上下文。

一周热门 更多>