Question

所以我有一些代码

#define umul_ppmm(w1, w0, u, v)                         \
  asm ("mulq %3"                                        \
       : "=a" (w0), "=d" (w1)                           \
       : "0" ((uint64_t)(u)), "rm" ((uint64_t)(v)))

我试图调试它并了解它是如何工作的。

目前，我正在This pdf查看mulq的参考资料。

到目前为止，我的理解是它将两个64位数相乘，即w0和u。然后，它将该乘法的结果存储在w0和w1。

中

我的主要问题是：

根据This GCC assembly guide on Simple Constraints＆＃39; a＆＃39;并且＆＃39; d＆＃39; in "=a"和"=d"分别是地址和数据寄存器。这是怎么发挥的？这究竟是什么意思？
"0"在这种情况下的含义是什么？同一指南说＆＃34;允许匹配指定操作数的操作数。＆＃34;这里匹配的操作数是什么？
v如何发挥作用？如果有的话？

在函数调用结果之前和之后打印出变量

w1 w0 u v

2097147 549755813889 17179869183 4611684961865433149

4294966311 17179869183 13835060159816138691 4611684961865433149

Answer 1

mulq指令隐式生成a和d个寄存器中的结果（通常称为rax和rdx）
操作数从零开始索引。因此，"0"表示与第一个操作数相同的位置，即w0。 mulq隐式使用rax作为输入操作数之一，因此匹配约束。可以再次将其写为"a"。
v是操作数%3，它是mulq指令中引用的唯一显式操作数。该代码会倍增u和v，因此当然它会发挥作用＆＃34;。

您在交换w0和u的第二行上错误地打印了寄存器，因为u和v是未更改的输入操作数。 u*v=w1*2^64+w0，即17179869183*4611684961865433149=4294966311*2^64+13835060159816138691

试图理解C中的内联汇编代码

1 个答案: