汇编中call printf参数压栈时错误理解

时间:2023-11-29 09:05:44

EAX, ECX,EDX,EBX均可以32bit,16bit,8bit访问,如下所示:

<-------------------EAX------------------------>
|<----------------------|-----------|----------->|
             |<---------AX--------->|
             |<---AH--->|<---AL--->|

  测试代码如下:

 .section .data
output:
.asciz "Value is:%x\n"
val:
.int .section .text
.globl main
main:
nop
movl $0x12345678, %eax
movl $, %ecx
movw %ax, %cx
pushw %cx
pushl $output
call printf
addl $, %esp movl $, %eax
movl $, %ebx
int $0x80

  我的电脑是小端格式(MSB存于高位),所以预期的输出结果是:0x5678,但是我编译执行后结果是:0x2dec5678,前面多出了2个字节,但是明明我压栈的时候使用的pushw,原来是printf获取参数时使用的是4字节长度,所以虽然我压入的只有2个字节,但是它访问时以4字节访问。

  将代码修改:

 .section .data
output:
.asciz "Value is:%x\n"
val:
.int .section .text
.globl main
main:
nop
movl $0x12345678, %eax
movl %eax, %ecx
pushl %ecx
pushl $output
call printf
addl $, %esp movl $, %ecx
movw %ax, %cx
pushl %ecx
pushl $output
call printf
addl $, %esp movl $, %eax
movl $, %ebx
int $0x80

  预期输出:

    Value is:12345678
    Value is:5678

  结果输出:

    Value is:12345678
    Value is:12

  起先还以为是将0x12345678的最高字节0x12传送到cx里面了,觉得相当怪异,明明使用的是movw,要错也是0x1234,分析了下,原来又是printf作怪,函数调用后,其返回值一般是存储在eax里面来传递的,而第一个printf的输出:Value is:12345678恰好有0x12,18个字符(含'\n'),所以代码执行完15行的call后,eax的值已被printf的返回值修改,而不是我预期的0x12345678。所以汇编里面调用库函数时,要特别注意某些特殊寄存器的特殊用途,特别是这些库是由其他高级语言通过编译工具生成的时候。