浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)
  SjplS62NUFLN 2023年11月24日 30 0

视频:

https://www.bilibili.com/video/BV1CB4y1Z7kA

问题由来:

早期这个帖子里面的局部变量对齐仅测试了MDK AC5,但项目中使用AC6发现了新问题,看来AAPCS规约研究的还是不够细

当时对局部变量的描述如下:局部变量使用的是栈空间(除了静态局部变量和编译器优化不使用栈,直接用寄存器做变量空间),也就是大家使用在xxxx.S启动文件开辟的stack空间。

在M内核里面,局部变量的对齐问题如果研究起来是最烧脑的,这个涉及到AAPCS规约(Procedure Call Standard for the Arm Architecture,  Arm架构的程序调用标准)。

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_字节对齐

 

上面这个贴图最重要,仅需理解上面这两条就可以,意思是说,栈地址是全程至少保持4字节对齐的,因为M内核的硬件长做了处理,SP最低两个bit,bit0和bit1直接固定为0了。

但是在程序调用入口处必须满足8字节对齐,对于C语言,不需要用户去管,编译器都帮我们处理好了,先来个简单的示例压压惊:

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_字节对齐_02

 

而汇编文件是需要用户去处理的。以xxx.S启动文件为例,通过伪指令PRESERVE8来保证

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_局部变量_03

 

那么问题来了,我们搞个4对齐是不是会出问题,一般情况下也没问题的,但特殊情况下不行,特别调用C库的sprintf和printf函数,直接给你输出个不知所以然的结果来。比如我在H7上做如下测试:

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_局部变量_04

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_#define_05

 

输出结果:

浅谈MDK, IAR,CLANG和GCC的局部变量字节对齐处理差异(2023-10-13)_局部变量_06

总结:

MDK AC5和IAR的用法差不多,MDK AC6和GCC的用法差不多视频里面做了详细对比测试)。

对于GCC和MDK AC6,大家可以手动添加__ALIGNED()设置对齐,这个原定义在CMSIS软件的头文件里面。

#define __ALIGNED(x)                           __attribute__((aligned(x)))

 

AC6定义如下:

#define __ALIGNED(x)                           __attribute__((aligned(x)))

 

微信公众号:armfly_com


【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年11月24日 0

暂无评论

推荐阅读
SjplS62NUFLN
作者其他文章 更多