STM32

变量定义的顺序不同，MDK的优化结果却不一样

2019-07-14 14:49发布

站内问答 / STM32/STM8
3278 15 993

问题描述：
使用MDK4或5编译ST的USB-host库时，里面有个USB_OTG_BSP_uDelay函数，本函数本身在-03级优化下是没有问题的，但我手痒，对里面的变量的定义顺序做了一下修改，结果-o3优化下出问题了（表现为该延时函数不准确，导致部分U盘枚举失败），请教大师分析一下：
错误改法: 将定义 “const Uint32 utime = (Uint32)120 * usec / 7;” 放到 “__IO Uint32 uCount = 0;” 代码前面。
我的问题：仅仅是变量定义的顺序不同，为什么优化后结果却不一样（不是存储对齐的问题）？


正常的代码如下：
void USB_OTG_BSP_uDelay(const uint32_t usec)
{
__IO Uint32 uCount = 0;
const Uint32 uTime = (Uint32)120 * usec / 7;
while (1)
{
   if (++uCount > uTime)
   {
    return;
   }
}
}

错误的代码如下：
void USB_OTG_BSP_uDelay(const uint32_t usec)
{
const Uint32 uTime = (Uint32)120 * usec / 7;
__IO Uint32 uCount = 0;

while (1)
{
   if (++uCount > uTime)
   {
    return;
   }
}
}

附件是正常的与错误的反汇编截图，请大家指点！





友情提示: 此问题已得到解决，问题已经关闭,关闭后问题禁止继续编辑，回答。
15条回答
aril1227
2019-07-15 09:08
jfuwre 发表于 2019-1-4 11:31
现在还这么客气的人不多啦！！！！出现不正常指的是什么？？？延时函数不出来？还是延时时间不对？

本帖最后由 野马-425178 于 2017-5-12 10:00 编辑

让版主费心了！
这个问题是我在USB-HOST枚举U盘时发现的，如果将将定义 “const Uint32 uTime = (Uint32)120 * usec / 7;” 放到 “__IO Uint32 uCount = 0;” 代码前面，就出现部分U盘无法枚举，而把定义顺序反过来就正常了。
我现在想了解的是为什么这两个变量定义顺序交换一下就会出现异常，到底我错在哪里了。
正常的代码如下：
void USB_OTG_BSP_uDelay(const uint32_t usec)
{
__IO Uint32 uCount = 0;
const Uint32 uTime = (Uint32)120 * usec / 7;
while (1)
{
  if (++uCount > uTime)
  {
   return;
  }
}
}

错误的代码如下：
void USB_OTG_BSP_uDelay(const uint32_t usec)
{
const Uint32 uTime = (Uint32)120 * usec / 7;
__IO Uint32 uCount = 0;

while (1)
{
  if (++uCount > uTime)
  {
   return;
  }
}
}
正常和错误的反汇编截图在顶贴有附图，感谢版主！

一周热门 更多>