在RISC-V上执行函数调用时出现非法指令

Question

早安，

我正在尝试为 RISC-V 架构编写一个简单的汇编程序，其中我有一个简单的 main (_start(，它执行一个不执行任何操作并返回给调用方的函数调用。

我编写的代码如下：

.section .text
.global _start
test:
lw a1, 0(sp)

# ritorna al chiamante
jr ra
_start:
# push sullo stack
addi sp, sp, -4
li a1, 5
# mette valore di ritorno sullo stack
# salva a1 sullo stack
sw a1, 0(sp)
# chiamata a funzione
jal ra, test
# pop dallo stack
addi sp, sp, +4
li a6, 2

为了执行这个程序，我运行：

$ riscv64-unknown-elf-as somma.s -o somma.o
$ riscv64-unknown-elf-ld somma.o -o somma.elf
$ spike pk somma.elf

作为输出，我得到：

z  0000000000000000 ra 0000000000010090 sp 000000007f7e9b50 gp 0000000000000000
tp 0000000000000000 t0 0000000000000000 t1 0000000000000000 t2 0000000000000000
s0 0000000000000000 s1 0000000000000000 a0 0000000000000000 a1 0000000000000005
a2 0000000000000000 a3 0000000000000000 a4 0000000000000000 a5 0000000000000000
a6 0000000000000002 a7 0000000000000000 s2 0000000000000000 s3 0000000000000000
s4 0000000000000000 s5 0000000000000000 s6 0000000000000000 s7 0000000000000000
s8 0000000000000000 s9 0000000000000000 sA 0000000000000000 sB 0000000000000000
t3 0000000000000000 t4 0000000000000000 t5 0000000000000000 t6 0000000000000000
pc 0000000000010098 va 0000000000000000 insn       00000000 sr 8000000200046020
An illegal instruction was executed!

在这种情况下，我们在 a2 寄存器中有 6，所以我想程序的控制权已正确返回给调用方，因为最后一条指令已正确执行，但我还是收到错误"执行了非法指令！ 你能给我一些解决这个问题的提示吗？

谢谢

Answer 1

这是 C和汇编编程之间的区别之一：在 C 中，编译器为您处理函数进入/退出代码，而在汇编中，您应该自己处理它。 在这种特定情况下，您的_start函数不会以ret结尾结束，因此执行将继续到函数结束之后。 由于这是二进制文件的结尾，因此接下来的字节可能是非法指令(在RISC-V中，all-0指令是非法的(。

_start函数有点特殊：虽然大多数RISC-V ABI说可以从_start返回，但规范_start永远不会返回，而是直接调用exit()。 你最好的选择是_start让它以li a0, 0; call exit; ret结尾。