在Windows 7上使用Keil uVison 4,我有一个用于stm32f105的c项目,它显示出非常奇怪的行为。我用调试器检查了它,经过几个小时的错误追踪,我将错误本地化为来自已经在其他项目函数中测试过的错误。看起来像这样:
uint8_t can_add_filter_mask(can_t* this, uint32_t id, uint32_t id_mask, can_frm_type_t type, can_frm_type_t type_mask)
{
CAN_FilterInitTypeDef filt;
/* Empty filter available? */
if(this->filter_len >= 14)
{
return FALSE;
}
/* Select filter number */
if(this->canx == CAN1)
filt.CAN_FilterNumber = this->filter_len + 0;
else
filt.CAN_FilterNumber = this->filter_len + 14;
this->filter_len++;
...
//filt is read
CAN_FilterInit(&filt);
}
这样,在任何调整后,结构过滤都不会改变!然后我更改了反汇编,如下所示(很抱歉它有点长):
108: uint8_t can_add_filter_mask(can_t* this, uint32_t id, uint32_t id_mask, can_frm_type_t type, can_frm_type_t type_mask)
0x08001B22 BD70 POP {r4-r6,pc}
109: {
110: CAN_FilterInitTypeDef filt;
111:
112: /* Empty filter available? */
0x08001B24 E92D41FF PUSH {r0-r8,lr}
0x08001B28 4604 MOV r4,r0
0x08001B2A 460D MOV r5,r1
0x08001B2C 4690 MOV r8,r2
0x08001B2E 461E MOV r6,r3
0x08001B30 9F0A LDR r7,[sp,#0x28]
113: if(this->filter_len >= 14)
114: {
0x08001B32 7C20 LDRB r0,[r4,#0x10]
0x08001B34 280E CMP r0,#0x0E
0x08001B36 DB03 BLT 0x08001B40
115: return FALSE;
0x08001B38 2000 MOVS r0,#0x00
151: }
152:
153: /******************************************************************************/
154: void can_clr_filter(can_t* this)
0x08001B3A B004 ADD sp,sp,#0x10
0x08001B3C E8BD81F0 POP {r4-r8,pc}
119: if(this->canx == CAN1)
0x08001B40 4970 LDR r1,[pc,#448] ; @0x08001D04
0x08001B42 6820 LDR r0,[r4,#0x00]
0x08001B44 4288 CMP r0,r1
0x08001B46 D103 BNE 0x08001B50
120: filt.CAN_FilterNumber = this->filter_len + 0;
121: else
0x08001B48 7C20 LDRB r0,[r4,#0x10]
0x08001B4A F88D000A STRB r0,[sp,#0x0A]
0x08001B4E E004 B 0x08001B5A
122: filt.CAN_FilterNumber = this->filter_len + 14;
0x08001B50 7C20 LDRB r0,[r4,#0x10]
0x08001B52 300E ADDS r0,r0,#0x0E
0x08001B54 B2C0 UXTB r0,r0
0x08001B56 F88D000A STRB r0,[sp,#0x0A]
123: this->filter_len++;
124:
125: /* Select mask mode */
0x08001B5A 7C20 LDRB r0,[r4,#0x10]
0x08001B5C 1C40 ADDS r0,r0,#1
0x08001B5E 7420 STRB r0,[r4,#0x10]
我不是汇编专家,也不是ARM专家,但我一直在对汇编进行一些编程,对我来说,这看起来还不错。我注意到有点奇怪的是,介于两者之间是另一个函数can_clr_filter的一部分,所以看起来编译器正在重用一些代码,尽管任何优化都被关闭了。有趣的是,当我检查filt.CAN_FilterNumber
变量的地址时,它在行后发生了变化
0x08001B36 DB03 BLT 0x08001B40
从地址0x20002262到地址0x20002252。所以所有更改都只应用于内存中的其他地方!!在我宣布变量为静态后,这个问题已经消失了,尽管这对我来说是一个迷雾,实际发生了什么......怎么可能通过指令 BLT 将局部变量重新定位到另一个地址?或者uVision调试器可以通过观察&filt来显示错误的参考值。CAN_FilterNumber?
因为你没有从这个片段中发布整个函数,所以我只能猜测:
- 只有对局部变量的赋值,但它不会在程序中的任何位置使用,并且可能从生成的代码中删除。
- 不要在编译器中查找错误。它们非常好,我没有找到任何(我是一个非常活跃的编码员)。总是当有人说:"这是反汇编列表,编译器是错误的"时,错误是由提问者在某个地方完成的。调试程序时忘记反汇编。你只是浪费你的时间。
问题出在uVision:http://www.keil.com/support/docs/2824.htm。
uVision 正在做一些额外的优化,因此观察局部变量是不可靠的。