Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68 · model-checking/verify-rust-std@ddff2b6 (original) (raw)
`@@ -234,24 +234,20 @@ impl f128 {
`
234
234
`/// This constant isn't guaranteed to equal to any specific NaN bitpattern,
`
235
235
`/// and the stability of its representation over Rust versions
`
236
236
`/// and target platforms isn't guaranteed.
`
237
``
`-
#[cfg(not(bootstrap))]
`
238
237
`#[allow(clippy::eq_op)]
`
239
238
`#[rustc_diagnostic_item = "f128_nan"]
`
240
239
`#[unstable(feature = "f128", issue = "116909")]
`
241
240
`pub const NAN: f128 = 0.0_f128 / 0.0_f128;
`
242
241
``
243
242
`/// Infinity (∞).
`
244
``
`-
#[cfg(not(bootstrap))]
`
245
243
`#[unstable(feature = "f128", issue = "116909")]
`
246
244
`pub const INFINITY: f128 = 1.0_f128 / 0.0_f128;
`
247
245
``
248
246
`/// Negative infinity (−∞).
`
249
``
`-
#[cfg(not(bootstrap))]
`
250
247
`#[unstable(feature = "f128", issue = "116909")]
`
251
248
`pub const NEG_INFINITY: f128 = -1.0_f128 / 0.0_f128;
`
252
249
``
253
250
`/// Sign bit
`
254
``
`-
#[cfg(not(bootstrap))]
`
255
251
`pub(crate) const SIGN_MASK: u128 = 0x8000_0000_0000_0000_0000_0000_0000_0000;
`
256
252
``
257
253
`/// Exponent mask
`
`@@ -261,11 +257,9 @@ impl f128 {
`
261
257
`pub(crate) const MAN_MASK: u128 = 0x0000_ffff_ffff_ffff_ffff_ffff_ffff_ffff;
`
262
258
``
263
259
`/// Minimum representable positive value (min subnormal)
`
264
``
`-
#[cfg(not(bootstrap))]
`
265
260
`const TINY_BITS: u128 = 0x1;
`
266
261
``
267
262
`/// Minimum representable negative value (min negative subnormal)
`
268
``
`-
#[cfg(not(bootstrap))]
`
269
263
`const NEG_TINY_BITS: u128 = Self::TINY_BITS | Self::SIGN_MASK;
`
270
264
``
271
265
`` /// Returns true if this value is NaN.
``
`@@ -284,7 +278,6 @@ impl f128 {
`
284
278
```` /// ```
`285`
`279`
`#[inline]
`
`286`
`280`
`#[must_use]
`
`287`
``
`-
#[cfg(not(bootstrap))]
`
`288`
`281`
`#[unstable(feature = "f128", issue = "116909")]
`
`289`
`282`
`` #[allow(clippy::eq_op)] // > if you intended to check if the operand is NaN, use `.is_nan()` instead :)
``
`290`
`283`
`pub const fn is_nan(self) -> bool {
`
`@@ -295,7 +288,6 @@ impl f128 {
`
`295`
`288`
`// concerns about portability, so this implementation is for
`
`296`
`289`
`// private use internally.
`
`297`
`290`
`#[inline]
`
`298`
``
`-
#[cfg(not(bootstrap))]
`
`299`
`291`
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
`300`
`292`
`pub(crate) const fn abs_private(self) -> f128 {
`
`301`
`293`
`// SAFETY: This transmutation is fine. Probably. For the reasons std is using it.
`
`@@ -326,7 +318,6 @@ impl f128 {
`
`326`
`318`
```` /// ```
327
319
`#[inline]
`
328
320
`#[must_use]
`
329
``
`-
#[cfg(not(bootstrap))]
`
330
321
`#[unstable(feature = "f128", issue = "116909")]
`
331
322
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
332
323
`pub const fn is_infinite(self) -> bool {
`
`@@ -354,7 +345,6 @@ impl f128 {
`
354
345
```` /// ```
`355`
`346`
`#[inline]
`
`356`
`347`
`#[must_use]
`
`357`
``
`-
#[cfg(not(bootstrap))]
`
`358`
`348`
`#[unstable(feature = "f128", issue = "116909")]
`
`359`
`349`
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
`360`
`350`
`pub const fn is_finite(self) -> bool {
`
`@@ -389,7 +379,6 @@ impl f128 {
`
`389`
`379`
`/// [subnormal]: https://en.wikipedia.org/wiki/Denormal_number
`
`390`
`380`
`#[inline]
`
`391`
`381`
`#[must_use]
`
`392`
``
`-
#[cfg(not(bootstrap))]
`
`393`
`382`
`#[unstable(feature = "f128", issue = "116909")]
`
`394`
`383`
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
`395`
`384`
`pub const fn is_subnormal(self) -> bool {
`
`@@ -422,7 +411,6 @@ impl f128 {
`
`422`
`411`
`/// [subnormal]: https://en.wikipedia.org/wiki/Denormal_number
`
`423`
`412`
`#[inline]
`
`424`
`413`
`#[must_use]
`
`425`
``
`-
#[cfg(not(bootstrap))]
`
`426`
`414`
`#[unstable(feature = "f128", issue = "116909")]
`
`427`
`415`
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
`428`
`416`
`pub const fn is_normal(self) -> bool {
`
`@@ -448,7 +436,6 @@ impl f128 {
`
`448`
`436`
`/// # }
`
`449`
`437`
```` /// ```
450
438
`#[inline]
`
451
``
`-
#[cfg(not(bootstrap))]
`
452
439
`#[unstable(feature = "f128", issue = "116909")]
`
453
440
`#[rustc_const_unstable(feature = "const_float_classify", issue = "72505")]
`
454
441
`pub const fn classify(self) -> FpCategory {
`
`@@ -557,7 +544,6 @@ impl f128 {
`
557
544
`` /// [MIN]: Self::MIN
``
558
545
`` /// [MAX]: Self::MAX
``
559
546
`#[inline]
`
560
``
`-
#[cfg(not(bootstrap))]
`
561
547
`#[unstable(feature = "f128", issue = "116909")]
`
562
548
`// #[unstable(feature = "float_next_up_down", issue = "91399")]
`
563
549
`pub fn next_up(self) -> Self {
`
`@@ -612,7 +598,6 @@ impl f128 {
`
612
598
`` /// [MIN]: Self::MIN
``
613
599
`` /// [MAX]: Self::MAX
``
614
600
`#[inline]
`
615
``
`-
#[cfg(not(bootstrap))]
`
616
601
`#[unstable(feature = "f128", issue = "116909")]
`
617
602
`// #[unstable(feature = "float_next_up_down", issue = "91399")]
`
618
603
`pub fn next_down(self) -> Self {
`
`@@ -649,7 +634,6 @@ impl f128 {
`
649
634
`/// # }
`
650
635
```` /// ```
`651`
`636`
`#[inline]
`
`652`
``
`-
#[cfg(not(bootstrap))]
`
`653`
`637`
`#[unstable(feature = "f128", issue = "116909")]
`
`654`
`638`
`#[must_use = "this returns the result of the operation, without modifying the original"]
`
`655`
`639`
`pub fn recip(self) -> Self {
`
`@@ -670,7 +654,6 @@ impl f128 {
`
`670`
`654`
`/// # }
`
`671`
`655`
```` /// ```
672
656
`#[inline]
`
673
``
`-
#[cfg(not(bootstrap))]
`
674
657
`#[unstable(feature = "f128", issue = "116909")]
`
675
658
`#[must_use = "this returns the result of the operation, without modifying the original"]
`
676
659
`pub fn to_degrees(self) -> Self {
`
`@@ -694,7 +677,6 @@ impl f128 {
`
694
677
`/// # }
`
695
678
```` /// ```
`696`
`679`
`#[inline]
`
`697`
``
`-
#[cfg(not(bootstrap))]
`
`698`
`680`
`#[unstable(feature = "f128", issue = "116909")]
`
`699`
`681`
`#[must_use = "this returns the result of the operation, without modifying the original"]
`
`700`
`682`
`pub fn to_radians(self) -> f128 {
`
`@@ -1141,7 +1123,6 @@ impl f128 {
`
`1141`
`1123`
```` /// ```
1142
1124
`#[inline]
`
1143
1125
`#[must_use]
`
1144
``
`-
#[cfg(not(bootstrap))]
`
1145
1126
`#[unstable(feature = "f128", issue = "116909")]
`
1146
1127
`pub fn total_cmp(&self, other: &Self) -> crate::cmp::Ordering {
`
1147
1128
`let mut left = self.to_bits() as i128;
`
`@@ -1201,7 +1182,6 @@ impl f128 {
`
1201
1182
`/// # }
`
1202
1183
```` /// ```
````
1203
1184
`#[inline]
`
1204
``
`-
#[cfg(not(bootstrap))]
`
1205
1185
`#[unstable(feature = "f128", issue = "116909")]
`
1206
1186
`#[must_use = "method returns a new number and does not mutate the original value"]
`
1207
1187
`pub fn clamp(mut self, min: f128, max: f128) -> f128 {
`