Auto merge of #127235 - martn3:no-mips-f16, r=tgross35,scottmcm · model-checking/verify-rust-std@c5f1c76 (original) (raw)
`@@ -507,8 +507,8 @@ impl f16 {
`
507
507
`///
`
508
508
```` /// ```
`509`
`509`
`/// #![feature(f16)]
`
`510`
``
`` -
/// # // FIXME(f16_f128): remove when `extendhfsf2` and `truncsfhf2` are available
``
`511`
``
`-
/// # #[cfg(target_os = "linux")] {
`
``
`510`
`+
/// # // FIXME(f16_f128): extendhfsf2, truncsfhf2, __gnu_h2f_ieee, __gnu_f2h_ieee missing for many platforms
`
``
`511`
`+
/// # #[cfg(all(target_arch = "x86_64", target_os = "linux"))] {
`
`512`
`512`
`///
`
`513`
`513`
`/// let x = 2.0_f16;
`
`514`
`514`
`/// let abs_difference = (x.recip() - (1.0 / x)).abs();
`
`@@ -528,8 +528,8 @@ impl f16 {
`
`528`
`528`
`///
`
`529`
`529`
```` /// ```
530
530
`/// #![feature(f16)]
`
531
``
`` -
/// # // FIXME(f16_f128): remove when extendhfsf2 and truncsfhf2 are available
``
532
``
`-
/// # #[cfg(target_os = "linux")] {
`
``
531
`+
/// # // FIXME(f16_f128): extendhfsf2, truncsfhf2, __gnu_h2f_ieee, __gnu_f2h_ieee missing for many platforms
`
``
532
`+
/// # #[cfg(all(target_arch = "x86_64", target_os = "linux"))] {
`
533
533
`///
`
534
534
`/// let angle = std::f16::consts::PI;
`
535
535
`///
`
`@@ -551,8 +551,8 @@ impl f16 {
`
551
551
`///
`
552
552
```` /// ```
`553`
`553`
`/// #![feature(f16)]
`
`554`
``
`` -
/// # // FIXME(f16_f128): remove when `extendhfsf2` and `truncsfhf2` are available
``
`555`
``
`-
/// # #[cfg(target_os = "linux")] {
`
``
`554`
`+
/// # // FIXME(f16_f128): extendhfsf2, truncsfhf2, __gnu_h2f_ieee, __gnu_f2h_ieee missing for many platforms
`
``
`555`
`+
/// # #[cfg(all(target_arch = "x86_64", target_os = "linux"))] {
`
`556`
`556`
`///
`
`557`
`557`
`/// let angle = 180.0f16;
`
`558`
`558`
`///
`
`@@ -870,6 +870,8 @@ impl f16 {
`
`870`
`870`
`///
`
`871`
`871`
```` /// ```
872
872
`/// #![feature(f16)]
`
``
873
`+
/// # // FIXME(f16_f128): extendhfsf2, truncsfhf2, __gnu_h2f_ieee, __gnu_f2h_ieee missing for many platforms
`
``
874
`+
/// # #[cfg(all(target_arch = "x86_64", target_os = "linux"))] {
`
873
875
`///
`
874
876
`/// struct GoodBoy {
`
875
877
`/// name: &'static str,
`
`@@ -897,6 +899,7 @@ impl f16 {
`
897
899
`/// .zip([-5.0, 0.1, 10.0, 99.0, f16::INFINITY, f16::NAN].iter())
`
898
900
`/// .for_each(|(a, b)| assert_eq!(a.to_bits(), b.to_bits()))
`
899
901
`/// }
`
``
902
`+
/// # }
`
900
903
```` /// ```
````
901
904
`#[inline]
`
902
905
`#[must_use]
`