首先要弄明白.balignl的意思,这个其实应该算是一个伪操作符,伪操作符的意思就是机器码里,并没有一个汇编指令与其对应,是编译器来实现其功能的。.balignl是.balign的变体。
.balign是意思是,以当前地址开始,以第一个参数为整数倍的地址为尾,1个字节1字节的填充第二个参数值(第二个参数也是1个字节的值)。
.balign 8, 0xde
解释:以当前地址开始,逐字节的往地址单元中填入0xde值,直到遇到第一个地址为8的倍数。如果当前地址(pc值)正好是8的倍数,则没有东西被写入到内存。
那么以此类推,.balignw则表示逐半字(2个字节)的填充,第二个参数是2个字节的值,所以一般有这样的形式出现:
.balignw 4,0x368d
因为现在填入的内容为16位了,那就存在以下几种情况
1.当前地址没有偏移就满足了以4为倍数的地址
2.当前地址偏移了1个字节就满足了要求
3.当前地址偏移了2个字节就满足了要求
4.当然地址编移了3个字节就满足了要求
当没有偏移的时候,地址中间肯定没有办法填上信息;
当偏移1个字节的时候,地址中间空隙不够,所以填入的数值,是末定义,也就是说,填入的什么值,不清楚;
当偏移为2个字节的时候,地址中间的空隙正好填入手面的数据,所以就填上了;
当偏移为3个字节的时候,地址中间的空隙大于所要填的内容。手册上给的定义是末定义,在我的理解,其实这个未定义,是指这三个偏移的地址整体的内容是末知的。但是其中必定含有要填的2个字节,只是另一个被填充的字节内容不知道而已
所以以此类推,就知道.balignl的作用了。
在u-boot的start.S汇编代码中最下面一条对齐指令:
.globl _start //u-boot启动入口
_start: b
ldr pc, _undefined_instruction
ldr pc, _software_interrupt
ldr pc, _prefetch_abort
ldr pc, _data_abort
ldr pc, _not_used
ldr pc, _irq
ldr pc, _fiq
_undefined_instruction: .word undefined_instruction
_software_interrupt: .word software_interrupt
_prefetch_abort: .word prefetch_abort
_data_abort: .word data_abort
_not_used: .word not_used
_irq: .word irq
_fiq: .word fiq
.balignl 16,0xdeadbeef
其中:
.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字节内存
占了4x7=28字节内存。
所以在这个.balignl 16,0xdeadbeef指令之前,一共占了32+28=60bytes的内存,用.balignl 16,0xdeadbeef在地址60后填充4个字节的数据(0xdeadbeef),把当前指针往后移到地址为64的位置,起到对齐的作用!
补充:
.balignl 完整指令格式为:
.balignl {alignment} {,fill} {,max}。
第一个参数alignment为一个正整数,以alignment的值的整数倍为结束地址进行对齐,以当前地址为起始地址,进行字节填充,比如当前地址为20,而alignment的值我们设定为16,那么字节填充自20开始,结束于20后第一个16的倍数地址处,即32处。
第二个参数fill即我们选定的,用来填充的数值。balignl模式下为4字节,不够4字节系统会自动补够4字节,此参数可选,不标则采用默认值0。
第三个参数max也是可选项,默认值为alignment。若对齐时偏移量大于max,则不偏移。同上例,从16--32,偏移量为16,如果max我们设置为8,那么该偏移不进行。
参考:https://www.xuebuyuan.com/3121739.html