どのLLVMパスが浮動小数点最適化を担当していますか？

Question

私は丸めモード（+ inf、-inf、nearest、またはtruncate）を変更するRust crateを扱っています。 、私はそれが意図したとおりに動作するデバッグモードでコードをコンパイルすると正の無限大に向かって丸めたとき

fn upward() { 
    let cw: u32 = 0; 
    unsafe { 
    asm!("stmxcsr $0; 
      mov $0, %eax; 
      or $$0x4000, %eax; 
      mov %eax, $0; 
      ldmxcsr $0;" 
      : "=*m"(&cw) 
      : "*m"(&cw) 
      : "{eax}" 
     ); 
    } 
} 

は、私は3分の1 0.3333333333337を得る：

丸めモードを変更する機能は、インラインアセンブリを使用して書かれていますリリースモードでコンパイルすると、丸めモードに関係なく同じ結果が得られます。私はこの動作が、LLVMバックエンドが行う最適化によるものだと思います。

この最適化を担当するLLVMパスが分かっていた場合は、現時点で他の回避策が表示されないため、これらを無効にすることができます。

Answer 1

基本的には、これを行うことはできません。 LLVMでは、すべての浮動小数点演算でデフォルトの丸めモードが使用され、浮動小数点制御レジスタは決して読み取られたり変更されたりしないものとみなされます。

興味があれば、some discussion of this issue recently on the LLVM-dev mailing listがあります。

一方、信頼性の高い唯一の回避策は、asm!("addsd $0, $1"のようなインラインアセンブリを使用することです。

Rustの標準ライブラリでは、丸めモードを変更しないことも前提としています（特に、浮動小数点と文字列間の変換コードはこれに敏感です）。