[求解答] MDK编译问题 汇编代码异常

wrk__

程序中有这么一行语句：

            (pStackContext->SlaveAddress)=((pStackContext->SlaveAddress) << 1) + 0;
使用AC5生成的汇编代码为：


|L0.28|
        LDRH     r0,[r4,#0x6c]!
        MOVS     r1,#0
        ADD      r0,r1,r0,LSL #1
        STRH     r0,[r4,#0]

最后一句STRH r0,[r4,#0]导致结构体被异常赋值

将编译器优化等级从原来的-O0修改为-O1后，新生成的汇编代码如下：


|L0.42|
        LDRH     r1,[r0,#0x6c]
        AND      r1,r6,r1,LSL #1
        STRH     r1,[r0,#0x6c]
程序运行正常

求解答为什么O0优化等级会编译出如此奇怪的汇编代码呢？

fxyc87

估计是volatile的问题吧

wrk__

fxyc87 发表于 2024-11-1 17:23
估计是volatile的问题吧

加了volatile还是不行

eric2013

测试了下，仅类似楼主的这行代码写法，O0和O1都没问题，应该是其它地方有影响。

wrk__

eric2013 发表于 2024-11-2 10:48
测试了下，仅类似楼主的这行代码写法，O0和O1都没问题，应该是其它地方有影响。

好的谢谢，我在其他地方的赋值也都没问题，只有在这个位置会出问题，这个指针是经过几层函数传下来的

wrk__

经过测试，使用CubeMX新建工程，使用以下代码会出错

[C] 纯文本查看 复制代码

#include "main.h"


/****************
当优化等级为o0和o1时会出错
如果rsv数组小于32不出错
后面不再使用该指针中的变量不出错
****************/
typedef struct
{
    uint8_t rsv[32];    //此处大于等于32时会出现汇编代码异常
    uint8_t val;
} test_typedef;

void unused(uint8_t n)
{
    
}
void testfunc(test_typedef *p)
{
    p->val=(p->val)+1;
    unused(p->val);     //如果后面会使用p-val，会出现汇编代码异常
}

o0等级和o1等级都会出错，o0等级下汇编代码如下

[Asm] 纯文本查看 复制代码

        AREA ||i.testfunc||, CODE, READONLY, ALIGN=1

testfunc PROC
        PUSH     {lr}
        MOV      r1,r0
        LDRB     r0,[r1,#0x20]!
        ADDS     r0,r0,#1
        STRB     r0,[r1,#0]
        LDRB     r0,[r1],#-0x20
        BL       unused
        POP      {pc}
        ENDP

是否出错与结构体中数组大小有关，数组小于32时不出错。

MDK工程见附件，欢迎交流指导

eric2013

wrk__ 发表于 2024-11-7 16:58
经过测试，使用CubeMX新建工程，使用以下代码会出错

回头我试试

wrk__

eric2013 发表于 2024-11-8 09:55
回头我试试

麻烦硬汉哥把这一整篇帖子删一下吧，我把问题搞错了，等有了新发现再和大家分享，谢谢

eric2013

wrk__ 发表于 2024-12-22 12:41
麻烦硬汉哥把这一整篇帖子删一下吧，我把问题搞错了，等有了新发现再和大家分享，谢谢

有回复的帖子就不能再删除了。