Ada内联汇编操作CPUID指令时出现段错误的解决求助

问题概述 #

刚接触Ada，尝试编写操作CPUID指令的包，参考EFLAGS.ID位检查逻辑改成Ada内联汇编后，运行出现PROGRAM_ERROR : EXCEPTION_ACCESS_VIOLATION段错误，GDB追踪到错误触发于cpuid.is_supported函数的汇编指令。

原代码 #

包规范（Cpuid.ads）

with Standard_Types; use Standard_Types;

package Cpuid is
    
    function Is_Supported return Boolean;

end Cpuid;

包体（Cpuid.adb）

with System.Machine_Code; use System.Machine_Code;

package body Cpuid is

    function Is_Supported return Boolean is
        HT  : constant Character := Character'Val(16#09#);
        LF  : constant Character := Character'Val(16#0A#);
        EAX : Unsigned_32 := 16#0000_0000#;
    begin
        Asm ("pushfq"                    & LF & HT &
             "pushfq"                    & LF & HT &
             "popq    %%rax"             & LF & HT &
             "xorq    0x00200000, %%rax" & LF & HT &
             "pushq   %%rax"             & LF & HT &
             "popfq"                     & LF & HT &
             "pushfq"                    & LF & HT &
             "popq    %%rax"             & LF & HT &
             "xorq    (%%rsp), %%rax"    & LF & HT &
             "popfq"                     & LF & HT &
             "andq    0x00200000, %%rax" & LF & HT &
             "movl    %%eax, %0",
             Outputs  => Unsigned_32'Asm_Output ("=g", EAX),
             Volatile => True);
        if EAX /= 16#0000_0000# then 
            return True; 
        else 
            return False; 
        end if;
    end Is_Supported;

end Cpuid;

主程序（Cpuid_Check.adb）

with Ada.Text_IO;    use Ada.Text_IO;
with Standard_Types; use Standard_Types;
with Cpuid;

procedure Cpuid_Check is
    Some_Int : Unsigned_32 := 0;
begin
    if Cpuid.Is_Supported then
        Put_Line ("CPUID instruction supported on this CPU.");
    else
        Put_Line ("CPUID instruction not supported.");
    end if;
end Cpuid_Check;

错误信息与反汇编 #

运行时触发SIGSEGV，GDB反汇编显示错误发生在xor 0x200000,%rax指令：

(gdb) disas
Dump of assembler code for function cpuid__is_supported:
   ...
=> 0x0000000000401ede <+26>:    xor    0x200000,%rax
   ...

错误原因 #

GNU汇编器（GAS）语法中，立即数必须以$前缀标识，否则会被解析为内存地址。原代码中xorq 0x00200000, %%rax和andq 0x00200000, %%rax未添加$，导致CPU尝试访问内存地址0x00200000，该地址通常无访问权限，直接触发段错误。

修正方案 #

为汇编代码中的立即数添加$前缀，同时简化换行和制表符的定义（使用ASCII包提升可读性）：

修正后的Cpuid.adb #

with System.Machine_Code; use System.Machine_Code;
with ASCII; use ASCII;

package body Cpuid is

    function Is_Supported return Boolean is
        EAX : Unsigned_32 := 16#0000_0000#;
    begin
        Asm ("pushfq"                    & LF & HT &
             "pushfq"                    & LF & HT &
             "popq    %%rax"             & LF & HT &
             "xorq    $0x00200000, %%rax" & LF & HT &  -- 添加$前缀标记立即数
             "pushq   %%rax"             & LF & HT &
             "popfq"                     & LF & HT &
             "pushfq"                    & LF & HT &
             "popq    %%rax"             & LF & HT &
             "xorq    (%%rsp), %%rax"    & LF & HT &
             "popfq"                     & LF & HT &
             "andq    $0x00200000, %%rax" & LF & HT &  -- 添加$前缀标记立即数
             "movl    %%eax, %0",
             Outputs  => Unsigned_32'Asm_Output ("=g", EAX),
             Volatile => True);
        return EAX /= 16#0000_0000#;
    end Is_Supported;

end Cpuid;

关键说明 #

1. GAS语法差异：这是GAS与Intel/NASM语法的核心区别之一，Intel语法无需前缀即可直接使用立即数，而GAS必须加$。
2. 栈结构保护：修正后的汇编保持了栈的进出平衡（3次push对应3次pop），不会破坏Ada运行时的栈结构。
3. 代码可读性优化：使用ASCII.LF和ASCII.HT替代手动编码的字符值，逻辑更清晰。

内容的提问来源于stack exchange，提问作者ecfedele