STM32 IAR 编译优化问题，奇哉，怪哉！

只看该作者 · 2014-5-5 15:02

本帖最后由 xfiori 于 2014-5-5 15:08 编辑

近日开发一个项目，调试的时候好好的，发布的软件确死活不正常，后来一步步看，终于发现是编译器优化造成的，不过为何会优化成这种结果，却百思不得其解啊，望高手指点。

wTemp = MAKEWORD(a,b);
\ 000000B6 ........          LDR.W R0,??DataTable39_9
\ 000000BA 617B             LDRB    R1,[R4, #+13]
\ 000000BC 227B             LDRB    R2,[R4, #+12]
\ 000000BE 02EB0121          ADD    R1,R2,R1, LSL #+8

wTemp = (wTemp>>4) & 0x1FF;
\ 000000C2 CA05             LSLS    R2,R1,#+23
\ 000000C4 D20E             LSRS    R2,R2,#+27

c = (uint8_t)(wTemp*50/0x150);
\ 000000C6 3221             MOVS    R1,#+50
\ 000000C8 5143             MULS    R1,R1,R2
\ 000000CA 4FF4A872          MOV    R2,#+336
\ 000000CE 91FBF2F1          SDIV    R1,R1,R2

其中最关键的问题出在第二步，我明明需要先右移4位，然后与0x1FF，这样可以得到高位的内容
而优化后的代码，给我先左移23位，再右移27位，虽然也达到了右移4位的目的，可是我的高位却丢失了，造成结果总是不正确
它实际上已经变成了 wTemp = (wTemp&0x1FF) >> 4;

而我明明是有括号的，甚至于我就算这样写
wTemp = (wTemp&0x1FFF) >> 4;
或者这样写
wTemp = wTemp >> 4;
wTemp &= 0x1FFF;

最后的优化结果也是一样的。。。。。

不知道哪位高人对此有所了解，可以解答我的疑惑呢？

1万 · 2014-5-5 16:44

c = (uint8_t)(wTemp*50/0x150);
问题会不会是出在这里？

1万 · 2014-5-5 16:59

tt1 = (tt1>>4) & 0x1FF;
0x20000458: 0xf3c0 0x1008 UBFX R0, R0, #4, #9
我这里只有一条指令。。。。。。。

只看该作者 · 2014-5-6 01:54

wTemp是32位的数据？

只看该作者 · 2014-5-6 07:42

优化级别调第一点试试呢

只看该作者 · 2014-5-6 11:20

的确IAR COMPILER有问题! 楼主获得捉虫能手奖.
我把它改为方便测试的形式:
typedef unsigned char uint8_t;
typedef unsigned int uint32_t;
uint8_t TestIar1(uint8_t a,uint8_t b)
{
  uint8_t bt;
  unsigned short int w=a*256+b; //改为uint8_t 或 uint32_t 都OK
  w=(w>>4) & 0x1FF;
  bt=(uint8_t)(w*50/0x150);
  return bt;
}
看LIST:
   1       typedef unsigned char uint8_t;
   2       typedef unsigned int uint32_t;

\                               In section .text, align 2, keep-with-next
   3       uint8_t TestIar1(uint8_t a,uint8_t b)
   4       {
   5          uint8_t bt;
   6          unsigned short int w=a*256+b;
   7          w=(w>>4) & 0x1FF;
   8          bt=(uint8_t)(w*50/0x150);
   9          return bt;
\                   TestIar1:
\ 00000000 01EB0020          ADD    R0,R1,R0, LSL #+8
\ 00000004 C105             LSLS    R1,R0,#+23
\ 00000006 C90E             LSRS    R1,R1,#+27
\ 00000008 3220             MOVS    R0,#+50
\ 0000000A 4843             MULS    R0,R0,R1
\ 0000000C 4FF4A871          MOV    R1,#+336
\ 00000010 90FBF1F0          SDIV    R0,R0,R1
\ 00000014 C0B2             UXTB    R0,R0
\ 00000016 7047             BX    LR             ;; return
   10       }