如何正确打印Spir-V中OpConstant的字面量值？

问题背景 #

使用从GitHub获取的SPIR-V二进制文件解析器，尝试打印OpConstant变量的字面量值（如测试GLSL中的18.0f），但无论使用*(operands+1)还是*(operands+2)都无法得到正确结果。

测试用GLSL代码：

#version 450
float value = 18.0f;

void main() {
}

问题原因 #

1. Opcode判断错误：代码中用opcode == 43匹配OpConstant，但SPIR-V规范中，43是OpConstantFalse的Opcode，而OpConstant的正确Opcode是37。
2. 类型未转换：OpConstant的float字面量是以IEEE 754单精度浮点数的二进制形式存储在uint32_t中的，直接打印uint32_t会输出对应的整数值，而非浮点数值。

解决方案 #

1. 修正Opcode匹配 #

将判断条件改为匹配OpConstant的正确Opcode（37），建议用宏定义提高可读性：

#define OP_CONSTANT 37

2. 转换uint32_t为float #

通过类型转换将存储字面量的uint32_t转换为float后再打印，有两种常用方式：

• 强制类型转换（需注意内存对齐）
• 使用union进行类型转换（更安全）

修改后的代码片段 #

修改main函数中的循环部分：

#define OP_CONSTANT 37

// ... 其他代码 ...

for (i = 0; i < mod.num_instrs; ++i) {
    if (mod.instrs[i].opcode == OP_CONSTANT) {  // 匹配正确的OpConstant指令
        // 方式1：强制类型转换
        float literal = *(float*)&mod.instrs[i].operands[2];
        std::cout << literal << std::endl;

        // 方式2：使用union（更安全）
        /*
        union {
            uint32_t u;
            float f;
        } conv;
        conv.u = mod.instrs[i].operands[2];
        std::cout << conv.f << std::endl;
        */
    }
}

补充说明 #

• OpConstant的操作数顺序为：<结果ID> <类型ID> <字面量>，因此operands[2]确实是存储字面量的位置，之前的偏移计算是正确的，但Opcode错误导致根本没找到目标指令。
• 若需要处理其他类型的常量（如int、double），需根据类型ID判断后进行对应类型的转换。

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