32位裸机环境下O2优化级为何破坏结构体数组初始化？

问题描述 #

我编写了一个初始化结构体数组的函数，该函数在O0和O1优化级别下运行正常，但在O2优化级别下出现故障，箭头标注的movdqa指令触发Invalid opcode（无效操作码）异常。代码运行在QEMU中的32位裸机环境，我无法理解为何执行这条指令后会崩溃——是编译器错误吗？还是遗漏了某些配置（比如FPU/SSE相关配置）？

C代码 #

OSS：这并非真实代码，仅为可复现示例，编译后会生成相同汇编代码。

/**
 * gcc version 12.2
 * CFLAGS: -ffreestanding -m32 -O2 -std=gnu99 -Wall 
 * -Wextra -Werror -fno-pie -fno-stack-protector -g
 */

#include <stdint.h>
#include <string.h>

#define BUTOS_START         0
#define BUTOS_SIZE          0x25

#define FSTAB_SECTOR        0x24
#define FILESYSTEM_START    0x25
#define FILESYSTEM_SIZE     0x10

#define FS_BLOCK(START,     \
                 SIZE)      (struct fs_block){.start=START, .size=SIZE}

struct fs_block
{
    uint32_t start; // LBA
    uint32_t size;  // Size in sectors
};

void fstab_write(uint8_t *buff_sector)
{
    struct fs_block fstab[] = {
        FS_BLOCK(BUTOS_START, BUTOS_SIZE),
        FS_BLOCK(FILESYSTEM_START, FILESYSTEM_SIZE)
    };

    memcpy(buff_sector, fstab, sizeof(fstab));
}

汇编输出 #

O1优化级别汇编 #

fstab_write:
        sub     esp, 32
        mov     DWORD PTR [esp+4], 0
        mov     DWORD PTR [esp+8], 37
        mov     DWORD PTR [esp+12], 37
        mov     DWORD PTR [esp+16], 16
        push    16
        lea     eax, [esp+8]
        push    eax
        push    DWORD PTR [esp+44]
        call    memcpy
        add     esp, 44
        ret

O2优化级别汇编 #

fstab_write:
        sub     esp, 32
    ==> movdqa  xmm0, XMMWORD PTR .LC0  /*崩溃点 */
        movaps  XMMWORD PTR [esp+4], xmm0
        push    16
        lea     eax, [esp+8]
        push    eax
        push    DWORD PTR [esp+44]
        call    memcpy
        add     esp, 44
        ret
.LC0:
        .long   0
        .long   37
        .long   37
        .long   16

原因分析 #

• SSE指令集未初始化：movdqa是SSE2指令集的指令，裸机环境下CPU默认不会启用SSE/SSE2功能。在实模式或刚进入保护模式时，SSE相关的控制位未正确设置，执行这类指令会直接触发无效操作码异常。
• 编译器优化差异：O2优化级别下，GCC会自动选择更高效的SSE指令批量处理16字节数据（一次性加载常量到XMM寄存器），而O1及更低优化级别使用的是普通32位mov指令，不需要SSE支持。
• 并非编译器错误：这是GCC正常的优化行为，问题根源在于裸机环境缺少SSE初始化步骤。

解决方法 #

方法1：初始化SSE功能 #

在进入保护模式后、执行任何SSE指令前，添加以下初始化步骤（需用汇编实现）：

1. 修改CR0寄存器：清除EM位（位2），设置MP位（位1），关闭FPU模拟并启用硬件FPU
2. 修改CR4寄存器：设置OSFXSR位（位9）和OSXMMEXCPT位（位10），启用SSE的FXSAVE/FXRSTOR指令及未屏蔽的SSE异常
3. 执行fninit初始化FPU，可选执行xorps xmm0, xmm0初始化XMM寄存器

方法2：强制编译器禁用SSE #

编译时添加-mno-sse参数，强制GCC不生成SSE指令，保持和O1优化级别类似的代码生成逻辑，修改后的CFLAGS为：

-ffreestanding -m32 -O2 -std=gnu99 -Wall -Wextra -Werror -fno-pie -fno-stack-protector -g -mno-sse

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