Question

我在Rust中使用了一些算法（虽然这个语言对我的问题并不重要）。考虑一下代码：

#[no_mangle]
pub fn test(x: f32) -> f32 {
    let m = 0.;
    x + m
}

fn main() {
    test(2.);
}

它生成以下LLVM IR和相应的x86_64 asm（已启用优化）：

;; LLVM IR
define float @test(float %x) unnamed_addr #0 {
start:
    %0 = fadd float %x, 0.000000e+00
    ret float %0
}

;; x86_64
; test:
    xorps xmm1, xmm1
    addss xmm0, xmm1
    ret

如果我将let m = 0.;更改为let m = -0.;，则会优化浮点加法：

;; LLVM IR
define float @test(float returned %x) unnamed_addr #0 {
start:
    ret float %x
}

;; x86_64
; fn disappears entirely

Answer 1

在默认的舍入到最近模式中，大多数高级语言都支持，因为它们不提供禁用在其他模式下不适用的浮点优化的选项 - 我认为Rust属于此类 - ，添加-0.0恰好对任何浮点值没有影响（省略关于NaN的小细节），而添加+0.0会对-0.0产生影响（{{1}的结果}是-0.0 + (+0.0)）。

在IEEE 754中，为什么在无操作中添加负零会产生但是添加正零则不会？

1 个答案: