gpt4 book ai didi

c - 为什么 ARM gcc 在函数开始时将寄存器 r3 和 lr 压入堆栈?

转载 作者:太空狗 更新时间:2023-10-29 17:10:30 35 4
gpt4 key购买 nike

<分区>

我试着写了一个像这样的简单测试代码(main.c):

main.c
void test(){
}
void main(){
test();
}

然后我用arm-non-eabi-gcc编译,objdump得到汇编代码:

arm-none-eabi-gcc -g -fno-defer-pop -fomit-frame-pointer -c main.c
arm-none-eabi-objdump -S main.o > output

汇编代码会压入 r3 和 lr 寄存器,即使函数什么也没做。

main.o:     file format elf32-littlearm

Disassembly of section .text:

00000000 <test>:
void test(){
}
0: e12fff1e bx lr

00000004 <main>:
void main(){
4: e92d4008 push {r3, lr}
test();
8: ebfffffe bl 0 <test>
}
c: e8bd4008 pop {r3, lr}
10: e12fff1e bx lr

我的问题是为什么 arm gcc 选择将 r3 压入堆栈,甚至 test() 函数也从不使用它? gcc 是否只是随机选择 1 个寄存器来推送?如果是为了堆栈对齐(ARM 为 8 字节)要求,为什么不直接减去 sp?谢谢。

==================更新==========================

@KemyLand 对于你的回答,我有另一个例子:源代码是:

void test1(){
}
void test(int i){
test1();
}
void main(){
test(1);
}

我使用上面相同的编译命令,然后得到以下程序集:

main.o:     file format elf32-littlearm


Disassembly of section .text:

00000000 <test1>:
void test1(){
}
0: e12fff1e bx lr

00000004 <test>:
void test(int i){
4: e52de004 push {lr} ; (str lr, [sp, #-4]!)
8: e24dd00c sub sp, sp, #12
c: e58d0004 str r0, [sp, #4]
test1();
10: ebfffffe bl 0 <test1>
}
14: e28dd00c add sp, sp, #12
18: e49de004 pop {lr} ; (ldr lr, [sp], #4)
1c: e12fff1e bx lr

00000020 <main>:
void main(){
20: e92d4008 push {r3, lr}
test(1);
24: e3a00001 mov r0, #1
28: ebfffffe bl 4 <test>
}
2c: e8bd4008 pop {r3, lr}
30: e12fff1e bx lr

如果第一个例子中的 push {r3, lr} 是为了使用更少的指令,为什么在这个函数 test() 中,编译器不只使用一条指令?

push {r0, lr}

它使用 3 条指令而不是 1 条。

push {lr}
sub sp, sp #12
str r0, [sp, #4]

顺便问一下,为什么它用 12 替换 sp,堆栈是 8 字节对齐的,它可以用 4 替换它吗?

35 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com