（学习笔记）3.11 浮点代码（3.11.4 定义和使用浮点数3.11.5 在浮点代码使用位级操作）

文章目录线索栏笔记栏1.定义和使用浮点常数1核心机制2示例分析3练习题3.552.在浮点代码中使用位级操作1指令与功能2标量应用3练习题3.56逆向工程位操作总结栏线索栏为什么AVX浮点指令不能像整数指令那样使用立即数作为操作数编译器如何为浮点常数分配和初始化存储空间它们在汇编代码中出现在什么位置如何解释汇编代码中用.long声明的两个十进制整数如何将它们组合并解码为一个double类型的值可以对XMM寄存器执行哪些位级操作这些指令的命名后缀与标量浮点操作的后缀有何不同它们操作多少位数据如何利用位级操作来高效地实现特定的浮点运算笔记栏1.定义和使用浮点常数1核心机制由于AVX浮点指令集的设计浮点指令的操作数不能是立即数。所有浮点常数必须先存储在内存中然后在指令中通过内存引用来使用。2示例分析函数 double cel2fahr(double temp) { return 1.8 * temp 32.0; }1汇编代码cel2fahr:vmulsd.LC2(%rip),%xmm0,%xmm0 # temp*1.8(1.8从内存.LC2处加载)vaddsd.LC3(%rip),%xmm0,%xmm0 # 结果32.0(32.0从内存.LC3处加载)ret.LC2:# 常量1.8的存储.long3435973837# 低4字节(0xcccccccd).long1073532108# 高4字节(0x3ffccccc).LC3:# 常量32.0的存储.long0# 低4字节.long1077936128# 高4字节2内存位置.LC2和 .LC3是编译器生成的标签位于程序的只读数据段(.rodata)​ 中分别存储两个double常量。3解码方法每个double8字节由两个.long每个4字节小端法存储。组合后按IEEE 754标准解码①1.8 (0x3FFCCCCCCCCCCCCD)高4字节0x3FFCCCCC- 符号s0指数exp0x3FF-10230尾数frac0xCCCCCCCCCCCCD- 值 ( − 1 ) 0 ∗ 2 0 ∗ 1.8 1.8 (−1)^0∗2^0∗1.81.8(−1)0∗20∗1.81.8。②32.0高4字节0x40400000- 符号s0指数exp0x404-10235尾数frac0- 值 2 5 ∗ 1.0 32.0 2^5∗1.032.025∗1.032.0。3练习题3.551.LC3处的两个.long0(低4字节) 和 1077936128(高4字节)。2高4字节 1077936128的十六进制为 0x40400000。3解码符号位 s0。指数字段 0x404 1028减去偏移1023得实际指数 5。尾数字段为 0。4值 ( − 1 ) 0 ∗ 2 5 ∗ ( 1 0 ) 32.0 (−1)^0∗2^5∗(10)32.0(−1)0∗25∗(10)32.0。2.在浮点代码中使用位级操作1指令与功能提供对整个XMM寄存器128位​ 进行位级布尔运算的指令类似整数位操作。1vandps/vandpd位与(AND)。结果位 S2 S1。2vxorps/vxorpd位异或(XOR)。结果位 S2 ^ S1。3后缀含义ps(packed single) 和 pd(packed double) 指指令处理打包的即多个单/双精度浮点数。但用于标量时它们同样操作整个128位寄存器。2标量应用当我们只关心寄存器的低4/8字节一个float/double时这些指令提供了一种直接操作浮点数位模式的方法常用于实现特殊运算。3练习题3.56逆向工程位操作已知函数double simplefun(double x)x在%xmm0中返回值是EXPR(x)。需根据AVX2代码推断EXPR。A. 代码分析vmovsd .LC1(%rip), %xmm1从.LC1加载一个double常量到%xmm1。vandpd %xmm1, %xmm0, %xmm0计算 xmm0 xmm0 xmm1(位与)。解析常量.LC1**由4个.long组成共16字节XMM寄存器宽度。对应double的是低8字节0x7FFFFFFFFFFFFFFF(由 .long 2147483647(0x7FFFFFFF) 作为高4字节.long 4294967295(0xFFFFFFFF) 作为低4字节小端法组成)。位模式含义0x7FFFFFFFFFFFFFFF是double类型的绝对值掩码。与一个数进行位与会将其符号位最高位清零同时保留指数和尾数位不变。操作EXPR(x) fabs(x)即取绝对值。B. 代码分析vxorpd %xmm0, %xmm0, %xmm0计算 xmm0 xmm0 ^ xmm0。位异或特性任何数与自己异或结果为0。操作EXPR(x) 0.0即将输入清零。C. 代码分析vmovsd .LC2(%rip), %xmm1加载常量。vxorpd %xmm1, %xmm0, %xmm0计算 xmm0 xmm0 ^ xmm1。解析常量.LC2低8字节为 0x8000000000000000(高4字节 .long -2147483648即 0x80000000低4字节为0)。位模式含义0x8000000000000000只有符号位为1其余位为0。与一个数进行位异或会翻转其符号位0^11, 1^10。操作EXPR(x) -x即改变符号取负。总结栏本节揭示了浮点运算中两个高级主题常量的内存表示与位级操作的应用它们都紧密关联于浮点数的二进制位模式。常量必须驻留内存这是AVX指令集的硬性约束。编译器将浮点常量放入只读数据段并通过内存引用来加载。理解.long数据的组合与IEEE754解码是分析编译器生成的数据、进行浮点调试乃至实现跨平台数据交换的基础技能。位操作是强大的低级工具虽然操作的是整个XMM寄存器但巧妙选择掩码可以对标量浮点数执行高效的数学变换1与(AND)操作配合绝对值掩码(0x7F…F)清除符号位实现fabs()。2异或(XOR)操作配合符号位掩码(0x80…0)翻转符号位实现取负。3同寄存器异或快速归零。从位模式理解行为练习题3.56是“通过位模式推断语义”的经典训练。它要求我们将汇编指令AND/XOR、内存中的常量位模式、和浮点数的IEEE754表示三者结合推导出高级操作。这强化了“浮点数在硬件层面就是特定格式的二进制串”的核心观点。性能与可读性的权衡使用位操作实现绝对值或取负通常比调用库函数如fabs更快因为它只是一条指令。但会降低代码可读性。编译器在优化时可能会自动进行此类转换。最终启示要真正掌握浮点运算不仅要理解其算术指令还需洞察其数据表示常量存储并掌握位级操控能力。这些知识使得程序员能够预测编译器的行为、进行底层性能优化、编写与硬件紧密交互的代码如图形处理、科学计算并能在调试时穿透高级抽象直接分析数据的二进制根源。