diff options
| author | RustyYato <rustyyato@gmail.com> | 2024-02-13 18:16:00 -0700 |
|---|---|---|
| committer | RustyYato <rustyyato@gmail.com> | 2024-06-01 17:29:31 -0700 |
| commit | 849c5254afdeb96a740cfac989a382fde69b6067 (patch) | |
| tree | 7d81a063cba845c2bbbf7f82c1ae3d44db79d562 /compiler/rustc_codegen_gcc | |
| parent | a84bb95a1f65bfe25038f188763a18e096a86ab2 (diff) | |
| download | rust-849c5254afdeb96a740cfac989a382fde69b6067.tar.gz rust-849c5254afdeb96a740cfac989a382fde69b6067.zip | |
Change f32::midpoint to upcast to f64
This has been verified by kani as a correct optimization see: https://github.com/rust-lang/rust/issues/110840#issuecomment-1942587398 The new implementation is branchless, and only differs in which NaN values are produced (if any are produced at all). Which is fine to change. Aside from NaN handling, this implementation produces bitwise identical results to the original implementation. The new implementation is gated on targets that have a fast 64-bit floating point implementation in hardware, and on WASM.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions