| //@ compile-flags: -Zmir-opt-level=0 |
| //@ run-pass |
| |
| #![feature(const_float_bits_conv)] |
| #![feature(const_float_classify)] |
| #![feature(const_trait_impl, effects)] |
| |
| // Don't promote |
| const fn nop<T>(x: T) -> T { x } |
| |
| impl const PartialEq<NonDet> for bool { |
| fn eq(&self, _: &NonDet) -> bool { |
| true |
| } |
| } |
| |
| macro_rules! const_assert { |
| ($a:expr, $b:expr) => { |
| { |
| const _: () = assert!($a == $b); |
| assert!(nop($a) == nop($b)); |
| } |
| }; |
| } |
| |
| macro_rules! suite { |
| ( $( $tt:tt )* ) => { |
| fn f32() { |
| suite_inner!(f32 $($tt)*); |
| } |
| |
| fn f64() { |
| suite_inner!(f64 $($tt)*); |
| } |
| } |
| |
| } |
| |
| macro_rules! suite_inner { |
| ( |
| $ty:ident [$( $fn:ident ),*] |
| $val:expr => [$($out:ident),*] |
| |
| $( $tail:tt )* |
| ) => { |
| $( const_assert!($ty::$fn($val), $out); )* |
| suite_inner!($ty [$($fn),*] $($tail)*) |
| }; |
| |
| ( $ty:ident [$( $fn:ident ),*]) => {}; |
| } |
| |
| #[derive(Debug)] |
| struct NonDet; |
| |
| // The result of the `is_sign` methods are not checked for correctness, since LLVM does not |
| // guarantee anything about the signedness of NaNs. See |
| // https://github.com/rust-lang/rust/issues/55131. |
| |
| suite! { |
| [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative] |
| -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet] |
| 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet] |
| 1.0 => [ false, false, true, true, true, false] |
| -1.0 => [ false, false, true, true, false, true] |
| 0.0 => [ false, false, true, false, true, false] |
| -0.0 => [ false, false, true, false, false, true] |
| 1.0 / 0.0 => [ false, true, false, false, true, false] |
| -1.0 / 0.0 => [ false, true, false, false, false, true] |
| } |
| |
| fn main() { |
| f32(); |
| f64(); |
| } |