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

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(-0.0 + (+0.0)is 的结果+0.0)产生影响.