RISC-V中jump与tail伪指令的区别是什么？

用途本质不一样 #

• jump是要返回的跳转，就是普通的函数调用场景。它会把当前跳转指令的下一条地址存到ra寄存器（x1）里，跳去目标函数执行完后，还能通过ret指令回到原位置继续运行。
• tail是不用返回的跳转，专门给尾调用场景设计——当前函数做完所有逻辑，最后一步调用另一个函数，自己不需要再执行后续代码了。它不会修改ra寄存器，直接跳去目标函数，相当于把当前调用栈“移交”给目标函数，能节省栈空间还能提升性能。

汇编展开的机器指令不同 #

• jump会被汇编器转成jal ra, target指令，核心操作就是把返回地址写入ra后再跳转。
• tail会被转成jalr x0, target, 0（如果目标地址在20位偏移范围内，也可能直接转成j target），关键是它不会改动ra，因为写入的是零寄存器（x0），写入操作相当于无效。

实际使用场景差异 #

• 用jump的例子：调用函数后还要继续执行当前代码

  jump func_a
  # 这段代码会在func_a返回后执行
  addi a0, a0, 1
  

• 用tail的例子：当前函数完成所有逻辑后交棒给其他函数

  # 所有处理完成，尾调用func_b后当前函数直接结束
  tail func_b
  # 这里写任何代码都不会被执行，因为跳转后不会返回
  

内容的提问来源于stack exchange，提问作者David Monniaux