C语言 STM32f105 BLT 指令重新定位局部变量



在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?

因为你没有从这个片段中发布整个函数,所以我只能猜测:

  1. 只有对局部变量的赋值,但它不会在程序中的任何位置使用,并且可能从生成的代码中删除。
  2. 不要在编译器中查找错误。它们非常好,我没有找到任何(我是一个非常活跃的编码员)。总是当有人说:"这是反汇编列表,编译器是错误的"时,错误是由提问者在某个地方完成的。调试程序时忘记反汇编。你只是浪费你的时间。

问题出在uVision:http://www.keil.com/support/docs/2824.htm。

uVision 正在做一些额外的优化,因此观察局部变量是不可靠的。

最新更新