下面的代码包含一些内联汇编模板:

static inline uintptr_t arch_syscall_invoke3(uintptr_t arg1, uintptr_t arg2,
                         uintptr_t arg3,
                         uintptr_t call_id)
{
    register uint32_t ret __asm__("r0") = arg1;
    register uint32_t r1 __asm__("r1") = arg2;
    register uint32_t r2 __asm__("r2") = arg3;
    register uint32_t r6 __asm__("r6") = call_id;

    __asm__ volatile("svc %[svid]\n"
             : "=r"(ret), "=r"(r1), "=r"(r2)  <===================== HERE 1
             : [svid] "i" (_SVC_CALL_SYSTEM_CALL), <===================== HERE 2
               "r" (ret), "r" (r1), "r" (r2), "r" (r6)
             : "r8", "memory", "r3", "ip");

    return ret;
}

我得到了最终的组装，https://godbolt.org/z/znMeEMrEz 是这样的：

push    {r6, r7, r8}   ------------- A ------------- 
sub     sp, sp, #20
add     r7, sp, #0
str     r0, [r7, #12]
str     r1, [r7, #8]
str     r2, [r7, #4]
str     r3, [r7]
ldr     r0, [r7, #12]
ldr     r1, [r7, #8]
ldr     r2, [r7, #4]
ldr     r6, [r7]
svc #3  ------------- B -------------

mov     r3, r0  ------------- C1 -------------
mov     r0, r3  ------------- C2 -------------
adds    r7, r7, #20
mov     sp, r7
pop     {r6, r7, r8}
bx      lr

从 A 到 B，汇编代码只是确保输入参数存在于目标寄存器中。我想这是一些系统调用约定。

我不明白here 1和here 2的目的。

问题1：

根据这里，＜code＞here 1＜/code＞应该是OutputOperands部分，这意味着

由AssemblerTemplate中的指令修改的C变量的逗号分隔列表。

这是否意味着特定请求的系统调用函数将修改ret/r0、r1和r2注册表？

问题2：

对于< code>HERE 2，它表示InputOperands，也就是说:

由汇编程序模板中的指令读取的 C 表达式的逗号分隔列表。允许使用空列表。请参阅输入操作数。

根据这里，SVC 指令只期望 1 个参数 imm。但是我们指定了 4 个输入操作数，如 ret、r1、r2、r6。

为什么我们需要指定这么多？

我猜svc处理程序使用这些寄存器，所以我需要在< code>SVC指令之前准备它们。但是，如果我只是像从< code>A到< code>B那样准备它们，而不把它们作为输入操作数呢？会不会有一些误差？

问题3:

最后，C1和C2有什么意义？它们似乎完全多余。r0仍然存在。