From 771e47929f55febce4125c34f2641089f01ece52 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 28 Dec 2023 12:56:07 +0100 Subject: [PATCH] don't test unspecified case --- src/tools/miri/tests/pass/float_nan.rs | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/src/tools/miri/tests/pass/float_nan.rs b/src/tools/miri/tests/pass/float_nan.rs index fff103a776f4..207ce70fb20e 100644 --- a/src/tools/miri/tests/pass/float_nan.rs +++ b/src/tools/miri/tests/pass/float_nan.rs @@ -291,17 +291,6 @@ fn test_f32() { HashSet::from_iter([1.0f32.into()]), || F32::from(1.0f32.powf(nan)), // special `pow` rule ); - check_all_outcomes( - HashSet::from_iter([ - F32::nan(Pos, Quiet, 0), - F32::nan(Neg, Quiet, 0), - F32::nan(Pos, Quiet, 1), - F32::nan(Neg, Quiet, 1), - F32::nan(Pos, Signaling, 1), - F32::nan(Neg, Signaling, 1), - ]), - || F32::from(1.0f32.powf(F32::nan(Pos, Signaling, 1).as_f32())), // unspecified `pow` case - ); check_all_outcomes( HashSet::from_iter([F32::nan(Pos, Quiet, 0), F32::nan(Neg, Quiet, 0)]), || F32::from(nan.powi(1)), @@ -414,17 +403,6 @@ fn test_f64() { HashSet::from_iter([1.0f64.into()]), || F64::from(1.0f64.powf(nan)), // special `pow` rule ); - check_all_outcomes( - HashSet::from_iter([ - F64::nan(Pos, Quiet, 0), - F64::nan(Neg, Quiet, 0), - F64::nan(Pos, Quiet, 1), - F64::nan(Neg, Quiet, 1), - F64::nan(Pos, Signaling, 1), - F64::nan(Neg, Signaling, 1), - ]), - || F64::from(1.0f64.powf(F64::nan(Pos, Signaling, 1).as_f64())), // unspecified `pow` case - ); check_all_outcomes( HashSet::from_iter([F64::nan(Pos, Quiet, 0), F64::nan(Neg, Quiet, 0)]), || F64::from(nan.powi(1)),