gcc如何知道用于内联汇编的寄存器大小？

Question

我有内联汇编代码：

#define read_msr(index, buf)    asm volatile ("rdmsr" : "=d"(buf[1]), "=a"(buf[0]) : "c"(index))

使用此宏的代码：

u32 buf[2];

read_msr(0x173, buf);

我发现反汇编是（使用gnu工具链）：

mov    eax,0x173
mov    ecx,eax
rdmsr  
mov    DWORD PTR [rbp-0xc],edx
mov    DWORD PTR [rbp-0x10],eax

问题是0x173小于0xffff，为什么gcc不使用“ mov cx，0x173”？ gcc会分析以下指令“ rdmsr”吗？ gcc会一直知道正确的寄存器大小吗？

Answer 1

它取决于传递的值或变量的大小。

如果传递“ short int”，它将设置“ cx”并从“ ax”和“ dx”读取数据（如果buf也为short int）。

对于char，它将访问“ cl”，依此类推。

因此，“ c”指的是“ ecx”寄存器，但是我认为这是有道理的，可以通过“ ecx”，“ cx”或“ cl”进行访问。

要测试，您可以尝试传递（无符号短）0x173，它应该更改代码。

没有对内联程序集的分析（实际上是在将文本替换直接复制到输出程序集之后，包括语法错误）。 同样，没有默认的寄存器大小，具体取决于您具有32位还是64位目标。 这将是限制的方式。

Answer 2

我认为答案是因为当前的默认数据大小是32位。 在64位长模式下，默认数据大小也为32位，除非您使用“ rex.w”前缀。

Answer 3

英特尔将RDMSR指令指定为使用（所有）ECX来确定模型专用寄存器。 既然如此，并且显然是由宏指定的，GCC有充分的理由将常量加载到完整的ECX中。

因此，为什么不加载CX的问题似乎完全不合适。 看起来GCC正在生成正确的代码。

（您没有问为什么为什么使用EAX不能有效地分阶段ECX负载；我不知道答案如何）。