微波EDA网,见证研发工程师的成长!
首页 > 硬件设计 > 嵌入式设计 > GNU ARM汇编的.balignl对齐实验

GNU ARM汇编的.balignl对齐实验

时间:11-21 来源:互联网 点击:
在u-boot的start.s源文件中出现“.balignl 16 0xdeadbeef”语句,这条语句是实现地址对齐的。

.balignl与. align类似,完整的laign语句格式为:.align {alignment} {,fill} {,max}

alignment用于指定对齐方式,可能的取值为2的次幂,缺省为4。fill是填充内容,缺省用0填充。max是填充字节数最大值,如果填充字节数超过max, 不进行对齐。

下面分4种情况进行对比:

1.正常情况

.word 0x12345678
.global _end_vect
_end_vect:
.balignl 16,0xdeadbeef

此时.balignl位于的地址是0x50,恰好是16的倍数,所以不填充。如图所示:

2.填充一个字

//.word 0x12345678
.global _end_vect
_end_vect:
.balignl 16,0xdeadbeef

此时将0x12345678注释掉,.balignl位于的地址是0x4c,不是16的倍数,所以要使用0xdeadbeef进行填充。如图所示:

3.填充三个字

.word 0x12345678
.word 0x12345678
.global _end_vect
_end_vect:
.balignl 16,0xdeadbeef

此时加多一个0x12345678,使.balignl的地址位于0x54,不是16的倍数,所以要填充到0x5f,内容使用指定的0xdeadbeef。如图所示:

4.超过限制不填充

.word 0x12345678
.word 0x12345678
.global _end_vect
_end_vect:
.balignl 16,0xdeadbeef,8

此时限制填充最多8个字节,但是需要填充12个字节,所以不填充。如图所示:

补充:

UBOOT问题收集(1)--balignl 16, 0xdeadbeef

2011年03月27日 星期日 下午 12:57

.balignl 16,0xdeadbeef

是uboot起始文件下的start.S文件57行.

因为好奇这个代码的含义,所以百度了下:

====================================================

(http://haoyeren.blog.sohu.com/84511571.html)

先要弄明白.balignl的意思,这个其实应该算是一个伪操作符,伪操作符的意思就是机器码里,并没有一个汇编指令与其对应,是编译器来实现其功能的。.balignl是.balign的变体,.balign是意思是,在以当前地址开始,地址计数器必须是以第一个参数为整数倍的地址为尾,在前面记录一个字节长度的信息,信息内容为第二个参数。

.balign 8, 0xde

它的意思就是在以当前地址开始,在地址为8的倍数的位置的前面填入一个字节内容为0xde的内容。如果当前地址正好是8的倍数,则没有东西被写入到内存。

=======================================================

http://blog.163.com/mcu_expert/blog/static/131245153201073125947792/

关于.balignl 16,0xdeadbeef这句,功能说明没有错,就是想在某个位置插入0xdeadbeef这个特殊的内存值。错就错在我对这个16的理解上面。16是 16个字节,这是没有错的,但是这个16的由来,并不是我所理解的得至少为16个字节,才能在任何情况下保证插入这个特殊的内存值。我在此篇博客的留言中,回答某位网友的提问,举了个pc为0x00000007地址,偏移量某为8字节时,这个时候就不够4字节的内容了,以此推导出的,至少有16个字节才能保证这个特殊的内存值的插入也是完全错误的。

举个反例,如果按给那位网友的解释,那就算有16个字节的偏移量,那如果pc地址为0x0000000F时,也只有一个字符的空间,那这个deadbeef的值还是不够。以此类推,就算这个值为任意一值,按我之前解释的错误逻辑,也都是有不满足的情况的,呵呵。所以我之前的推论有误,特此更正。我现在把16这个值的由来进行说明。

ARM920T处理器核心,支持32位与16位两种指令长度,16位的指令叫thumb指令集,由于我使用的是32位指令集,所以一切都是以32位指令集进行说明。

既然是32位指令集,所以一条指令就占32位,即4字节,所以在调试器中,地址的显示也是4字节一跳的(调试器的截图在这篇博文的评论中有链接),所以pc的值,也是4字节一跳的,并不存在可能pc的值为0x00000007的情况,呵呵。

这个地方填16个偏移量,是因为

.globl _start //不占内存
_start: b start_code //占4字节内存
ldr pc, _undefined_instruction //占4字节内存
ldr pc, _software_interrupt //占4字节内存
ldr pc, _prefetch_abort //占4字节内存
ldr pc, _data_abort //占4字节内存
ldr pc, _not_used //占4字节内存
ldr pc, _irq //占4字节内存
ldr pc, _fiq //占4字节内存

占了4x8=32字节内存。

_undefined_instruction: .word undefined_instruction //占4字节内存
_software_interrupt: .word software_interrupt //占4字节内存
_prefetch_abort: .word prefetch_abort //占4字节内存
_data_abort: .word data_abort //占4字节内存
_not_used: .word not_used //占4字节内存
_irq: .word irq //占4字节内存
_fiq: .word fiq //占4字节内存

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top