mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Conditionally do not compile NaN roundtrip tests on x87 fp.

Browse Source
This commit is contained in:
Orson Peters 2021-11-30 21:08:37 +01:00 committed by Urgau
parent 712bf2a07a
commit fbe215af53
2 changed files with 44 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
library/std/src/f32/tests.rs
View File

@ -308,18 +308,18 @@ fn test_next_up() {
let smallest_normal = f32::from_bits(0x0080_0000);
// Check that NaNs roundtrip.
// Because x87 can lose NaN bits when passed through a function, ensure the reference value
// also passes through a function boundary.
#[inline(never)]
fn identity(x: f32) -> f32 {
crate::hint::black_box(x)
// Ignore test on x87 floating point, the code is still correct but these
// platforms do not guarantee NaN payloads are preserved, which caused these
// tests to fail.
#[cfg(not(all(target_arch = "x86", not(target_feature = "fxsr"))))]
{
let nan0 = f32::NAN;
let nan1 = f32::from_bits(f32::NAN.to_bits() ^ 0x002a_aaaa);
let nan2 = f32::from_bits(f32::NAN.to_bits() ^ 0x0055_5555);
assert_eq!(nan0.next_up().to_bits(), nan0.to_bits());
assert_eq!(nan1.next_up().to_bits(), nan1.to_bits());
assert_eq!(nan2.next_up().to_bits(), nan2.to_bits());
}
let nan0 = f32::NAN;
let nan1 = f32::from_bits(f32::NAN.to_bits() ^ 0x002a_aaaa);
let nan2 = f32::from_bits(f32::NAN.to_bits() ^ 0x0055_5555);
assert_eq!(nan0.next_up().to_bits(), identity(nan0).to_bits());
assert_eq!(nan1.next_up().to_bits(), identity(nan1).to_bits());
assert_eq!(nan2.next_up().to_bits(), identity(nan2).to_bits());
assert_eq!(f32::NEG_INFINITY.next_up(), f32::MIN);
assert_eq!(f32::MIN.next_up(), -max_down);
@ -345,18 +345,18 @@ fn test_next_down() {
let smallest_normal = f32::from_bits(0x0080_0000);
// Check that NaNs roundtrip.
// Because x87 can lose NaN bits when passed through a function, ensure the reference value
// also passes through a function boundary.
#[inline(never)]
fn identity(x: f32) -> f32 {
crate::hint::black_box(x)
// Ignore test on x87 floating point, the code is still correct but these
// platforms do not guarantee NaN payloads are preserved, which caused these
// tests to fail.
#[cfg(not(all(target_arch = "x86", not(target_feature = "fxsr"))))]
{
let nan0 = f32::NAN;
let nan1 = f32::from_bits(f32::NAN.to_bits() ^ 0x002a_aaaa);
let nan2 = f32::from_bits(f32::NAN.to_bits() ^ 0x0055_5555);
assert_eq!(nan0.next_down().to_bits(), nan0.to_bits());
assert_eq!(nan1.next_down().to_bits(), nan1.to_bits());
assert_eq!(nan2.next_down().to_bits(), nan2.to_bits());
}
let nan0 = f32::NAN;
let nan1 = f32::from_bits(f32::NAN.to_bits() ^ 0x002a_aaaa);
let nan2 = f32::from_bits(f32::NAN.to_bits() ^ 0x0055_5555);
assert_eq!(nan0.next_down().to_bits(), identity(nan0).to_bits());
assert_eq!(nan1.next_down().to_bits(), identity(nan1).to_bits());
assert_eq!(nan2.next_down().to_bits(), identity(nan2).to_bits());
assert_eq!(f32::NEG_INFINITY.next_down(), f32::NEG_INFINITY);
assert_eq!(f32::MIN.next_down(), f32::NEG_INFINITY);

44
library/std/src/f64/tests.rs
View File

@ -298,18 +298,18 @@ fn test_next_up() {
let smallest_normal = f64::from_bits(0x0010_0000_0000_0000);
// Check that NaNs roundtrip.
// Because x87 can lose NaN bits when passed through a function, ensure the reference value
// also passes through a function boundary.
#[inline(never)]
fn identity(x: f64) -> f64 {
crate::hint::black_box(x)
// Ignore test on x87 floating point, the code is still correct but these
// platforms do not guarantee NaN payloads are preserved, which caused these
// tests to fail.
#[cfg(not(all(target_arch = "x86", not(target_feature = "fxsr"))))]
{
let nan0 = f64::NAN;
let nan1 = f64::from_bits(f64::NAN.to_bits() ^ 0x000a_aaaa_aaaa_aaaa);
let nan2 = f64::from_bits(f64::NAN.to_bits() ^ 0x0005_5555_5555_5555);
assert_eq!(nan0.next_up().to_bits(), nan0.to_bits());
assert_eq!(nan1.next_up().to_bits(), nan1.to_bits());
assert_eq!(nan2.next_up().to_bits(), nan2.to_bits());
}
let nan0 = f64::NAN;
let nan1 = f64::from_bits(f64::NAN.to_bits() ^ 0x000a_aaaa_aaaa_aaaa);
let nan2 = f64::from_bits(f64::NAN.to_bits() ^ 0x0005_5555_5555_5555);
assert_eq!(nan0.next_up().to_bits(), identity(nan0).to_bits());
assert_eq!(nan1.next_up().to_bits(), identity(nan1).to_bits());
assert_eq!(nan2.next_up().to_bits(), identity(nan2).to_bits());
assert_eq!(f64::NEG_INFINITY.next_up(), f64::MIN);
assert_eq!(f64::MIN.next_up(), -max_down);
@ -335,18 +335,18 @@ fn test_next_down() {
let smallest_normal = f64::from_bits(0x0010_0000_0000_0000);
// Check that NaNs roundtrip.
// Because x87 can lose NaN bits when passed through a function, ensure the reference value
// also passes through a function boundary.
#[inline(never)]
fn identity(x: f64) -> f64 {
crate::hint::black_box(x)
// Ignore test on x87 floating point, the code is still correct but these
// platforms do not guarantee NaN payloads are preserved, which caused these
// tests to fail.
#[cfg(not(all(target_arch = "x86", not(target_feature = "fxsr"))))]
{
let nan0 = f64::NAN;
let nan1 = f64::from_bits(f64::NAN.to_bits() ^ 0x000a_aaaa_aaaa_aaaa);
let nan2 = f64::from_bits(f64::NAN.to_bits() ^ 0x0005_5555_5555_5555);
assert_eq!(nan0.next_down().to_bits(), nan0.to_bits());
assert_eq!(nan1.next_down().to_bits(), nan1.to_bits());
assert_eq!(nan2.next_down().to_bits(), nan2.to_bits());
}
let nan0 = f64::NAN;
let nan1 = f64::from_bits(f64::NAN.to_bits() ^ 0x000a_aaaa_aaaa_aaaa);
let nan2 = f64::from_bits(f64::NAN.to_bits() ^ 0x0005_5555_5555_5555);
assert_eq!(nan0.next_down().to_bits(), identity(nan0).to_bits());
assert_eq!(nan1.next_down().to_bits(), identity(nan1).to_bits());
assert_eq!(nan2.next_down().to_bits(), identity(nan2).to_bits());
assert_eq!(f64::NEG_INFINITY.next_down(), f64::NEG_INFINITY);
assert_eq!(f64::MIN.next_down(), f64::NEG_INFINITY);