__asm __volatile如何执行？

Question

gcc_inline void
lcr0(uint32_t val)
{
    __asm __volatile("movl %0,%%cr0" : : "r" (val));
}

在上面的代码中，我不确定val插入到程序集字符串的哪个位置。val是否替换字符串中的%c？

如果可能的话，有人可以澄清什么：：“r”也是做什么的？

Answer 1

我站着纠正...

...如果函数不是内联的，< code>val将在< code > EDI /< code > rdi 中传递，但可能会在< code>asm之前被混洗，但< code >“r”会使编译器将它安排在< code>asm的某个寄存器中。(见下面-O0的效果)。

此外，未声明/定义为内联的函数也可以内联，处于更高的优化级别。

我注意到，只能将CR0读/写到/写到/从通用寄存器，然后只能在权限级别0。@PeterCordes指出，“记忆”破绽可能是一个好主意。显然，改变CR0会产生非常令人兴奋的副作用！

当我在< code>-O0上尝试时，我发现一个简单的< code>inline被忽略了，该函数针对x86_64编译为:

   lcr0:
        pushq   %rbp
        movq    %rsp, %rbp
        movl    %edi, -4(%rbp)
        movl    -4(%rbp), %eax
        movl %eax,%cr0
        nop
        popq    %rbp
        ret

我猜< code>gcc_inline可能包含< code > _ _ attribute _ _(_ _ always _ inline _ _)，在这种情况下，即使在< code >-O0 < code > LC r0 也是内联的，但是有很多可爱的堆栈业务。这一次对于x86:

  main:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $16, %esp
        movl    12(%ebp), %eax
        movl    (%eax), %eax
        movl    (%eax), %eax
        movl    %eax, -4(%ebp)
        movl    -4(%ebp), %eax
        movl    %eax, -8(%ebp)
        movl    -8(%ebp), %eax
        movl %eax,%cr0
        nop
        movl    $0, %eax
        leave
        ret