Auto merge of #127235 - martn3:no-mips-f16, r=tgross35,scottmcm · model-checking/verify-rust-std@c5f1c76
@@ -507,8 +507,8 @@ impl f16 {
507507 ///
508508 /// ```
509509 /// #![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"))] {
512512 ///
513513 /// let x = 2.0_f16;
514514 /// let abs_difference = (x.recip() - (1.0 / x)).abs();
@@ -528,8 +528,8 @@ impl f16 {
528528 ///
529529 /// ```
530530 /// #![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"))] {
533533 ///
534534 /// let angle = std::f16::consts::PI;
535535 ///
@@ -551,8 +551,8 @@ impl f16 {
551551 ///
552552 /// ```
553553 /// #![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"))] {
556556 ///
557557 /// let angle = 180.0f16;
558558 ///
@@ -870,6 +870,8 @@ impl f16 {
870870 ///
871871 /// ```
872872 /// #![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"))] {
873875 ///
874876 /// struct GoodBoy {
875877 /// name: &'static str,
@@ -897,6 +899,7 @@ impl f16 {
897899 /// .zip([-5.0, 0.1, 10.0, 99.0, f16::INFINITY, f16::NAN].iter())
898900 /// .for_each(|(a, b)| assert_eq!(a.to_bits(), b.to_bits()))
899901 /// }
902+ /// # }
900903 /// ```
901904 #[inline]
902905#[must_use]