memset() 有时会编译出 unaligned 操作

发布于 2020-07-08 20:08:51 浏览：1309 订阅该版

有段代码是这样的
```c
void FLEXCAN_GetDefaultConfig(flexcan_config_t *config)
{
    /* Assertion. */
    assert(config);

/* Initializes the configure structure to zero. */
    memset(config, 0, sizeof(*config));
```
编译完是这样的：
```
80023440 <FLEXCAN_GetDefaultConfig>:
80023440:       b508            push    {r3, lr}
80023442:       b930            cbnz    r0, 80023452 <FLEXCAN_GetDefaultConfig+0x12>
80023444:       4b0c            ldr     r3, [pc, #48]   ; (80023478 <FLEXCAN_GetDefaultConfig+0x38>)
80023446:       f240 3117       movw    r1, #791        ; 0x317
8002344a:       4a0c            ldr     r2, [pc, #48]   ; (8002347c <FLEXCAN_GetDefaultConfig+0x3c>)
8002344c:       480c            ldr     r0, [pc, #48]   ; (80023480 <FLEXCAN_GetDefaultConfig+0x40>)
8002344e:       f7ea f917       bl      8000d680 <__assert_func>
80023452:       2300            movs    r3, #0
80023454:       f44f 1280       mov.w   r2, #1048576    ; 0x100000
80023458:       490a            ldr     r1, [pc, #40]   ; (80023484 <FLEXCAN_GetDefaultConfig+0x44>)
8002345a:       f8c0 300a       str.w   r3, [r0, #10]
8002345e:       8243            strh    r3, [r0, #18]
80023460:       7283            strb    r3, [r0, #10]
80023462:       f240 3301       movw    r3, #769        ; 0x301
```
memset 貌似被编译成一条
`80023452:       2300            movs    r3, #0`
和一条
`8002345a:       f8c0 300a       str.w   r3, [r0, #10]`
此处生成了一个非32位对齐的32位写操作……
为了确认这行代码是 memset() 生成的，我把 memset() 那行去掉，以上两行代码没有了，不再有 unaligned 操作。
我看了一下生成的程序中是有 memset 函数的，但并没有被调用。而且我把 memset() 改成 rt_memset() 就能正常调用 rt_memset()...
大家有何看法……

LUSH_8579 2020-07-08

这家伙很懒，什么也没写！

aozima 2020-07-08

调网络不抓包，调I2C等时序不上逻辑分析仪，就像电工不用万用表！多用整理的好的文字，比截图更省流量，还能在整理过程中思考。

LUSH_8579 2020-07-08

这家伙很懒，什么也没写！

@aozima 2019-q3 => 2020-q2
现在新的版本编译出来的结果：
```
8002329c <FLEXCAN_GetDefaultConfig>:
8002329c:       b508            push    {r3, lr}
8002329e:       b930            cbnz    r0, 800232ae <FLEXCAN_GetDefaultConfig+0x12>
800232a0:       4b0c            ldr     r3, [pc, #48]   ; (800232d4 <FLEXCAN_GetDefaultConfig+0x38>)
800232a2:       f240 3117       movw    r1, #791        ; 0x317
800232a6:       4a0c            ldr     r2, [pc, #48]   ; (800232d8 <FLEXCAN_GetDefaultConfig+0x3c>)
800232a8:       480c            ldr     r0, [pc, #48]   ; (800232dc <FLEXCAN_GetDefaultConfig+0x40>)
800232aa:       f7ea f9e9       bl      8000d680 <__assert_func>
800232ae:       2300            movs    r3, #0
800232b0:       f44f 1280       mov.w   r2, #1048576    ; 0x100000
800232b4:       490a            ldr     r1, [pc, #40]   ; (800232e0 <FLEXCAN_GetDefaultConfig+0x44>)
800232b6:       6083            str     r3, [r0, #8]
800232b8:       60c3            str     r3, [r0, #12]
800232ba:       6103            str     r3, [r0, #16]
800232bc:       7283            strb    r3, [r0, #10]
```
不再有`str.w   r3, [r0, #10]`了。
其实我 macOS 上跑的 2019-q4 生成结果就和上面一样了。貌似只有 q3 会生成错误的指令。