c - 在扩展 asm 输出参数中使用 "+"修饰符时输入参数索引？

Question

Extended asm给出关于 "+" 修饰符的以下描述:

Operands using the ‘+’ constraint modifier count as two operands (that is, both as input and output) towards the total maximum of 30 operands per asm statement.

所以我假设没有必要在输入部分再次提到带有“+”修饰符的输出操作数，但是没有指定如何确定它们的索引。我写了下面的例子 Godbolt :

#include <stdint.h>
#include <inttypes.h>
#include <stdio.h>

void asm_add(uint64_t o1, uint64_t o2, uint64_t o3){
    __asm__ volatile (
        "addq %2, %3\n\
        addq %2, %4":    
        "+r" (o2), "+r" (o3):
        "r" (o1):
        "cc"
    );
    printf("o2 = %" PRIu64 "\n", o2);
    printf("o3 = %" PRIu64 "\n", o3);
}


int main(void){
    asm_add(20, 30, 40);
}

打印出来

o2 = 50
o3 = 60

模板是否使用+

__asm__ volatile (
   "addq %2, %3\n\
    addq %2, %4":    
    "+r" (o2), "+r" (o3):
    "r" (o1):
    "cc"
);

完全一样

__asm__ volatile (
    "addq %2, %3\n\
    addq %2, %4":    
    "+r" (o2), "+r" (o3):
    "r" (o1), "0" (o2), "1" (o3):
    "cc"
);

明确指定所有输入的位置？因此，在第一个示例中，附加了“隐式”输入。

Answer 1

通过使用 "+r"(o2)，您是说该参数在进入 asm block 时需要包含 o2，并在退出时包含更新的值。

换句话说，%0 描述了输入和输出。您可以(显然？)引用大于参数数量的索引是一个未记录的怪癖。不要依赖它。

您也可以考虑使用符号名称，(我发现)它们更易于阅读，尤其是随着 asm 行数的增加。当您第一次创建 asm 并且有可能添加/删除参数时，名称特别有用。必须对所有内容重新编号很痛苦且容易出错:

__asm__ volatile (
    "addq %[o1], %[o2]\n\
    addq %[o1], %[o3]":    
    [o2] "+r" (o2), [o3] "+r" (o3):
    [o1] "r" (o1):
    "cc"
);

最后，考虑 not using inline asm用于超出教育目的的任何事情。即便如此，内联 asm 也是学习 asm 最难的方法。