diff options
| author | bors <bors@rust-lang.org> | 2023-10-10 11:42:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-10 11:42:27 +0000 |
| commit | 061c33051ad89128cb4b7ae8df973d57b6daf7b0 (patch) | |
| tree | 953ca26294f23f16e1d5ba84bae2eb4cab547c70 /compiler/rustc_codegen_gcc | |
| parent | 5c37696f6026f91a869d51ab555cb0efae488972 (diff) | |
| parent | 08deb0daed9f4517794e861e1fd3b9621668d560 (diff) | |
| download | rust-061c33051ad89128cb4b7ae8df973d57b6daf7b0.tar.gz rust-061c33051ad89128cb4b7ae8df973d57b6daf7b0.zip | |
Auto merge of #116551 - RalfJung:nondet-nan, r=oli-obk
miri: make NaN generation non-deterministic This implements the [LLVM semantics for NaN generation](https://llvm.org/docs/LangRef.html#behavior-of-floating-point-nan-values). I will soon submit an RFC to make this also officially the Rust semantics, but it has been our de-facto semantics for a long time so there's no reason Miri has to wait for that RFC. This PR just better aligns Miri with codegen. This PR does that just for the operations that have MIR primitives; a future PR will adjust the intrinsics.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions