Rollup merge of #125497 - meesfrensel:patch-1, r=calebzulawski · model-checking/verify-rust-std@567096d (original) (raw)

Original file line number Diff line number Diff line change
@@ -152,15 +152,15 @@ extern "rust-intrinsic" {
152 152 #[rustc_nounwind]
153 153 pub fn simd_fabs<T>(x: T) -> T;
154 154
155 -/// Elementwise minimum of a vector.
155 +/// Elementwise minimum of two vectors.
156 156 ///
157 157 /// `T` must be a vector of floating-point primitive types.
158 158 ///
159 159 /// Follows IEEE-754 `minNum` semantics.
160 160 #[rustc_nounwind]
161 161 pub fn simd_fmin<T>(x: T, y: T) -> T;
162 162
163 -/// Elementwise maximum of a vector.
163 +/// Elementwise maximum of two vectors.
164 164 ///
165 165 /// `T` must be a vector of floating-point primitive types.
166 166 ///
@@ -387,7 +387,7 @@ extern "rust-intrinsic" {
387 387 #[rustc_nounwind]
388 388 pub fn simd_reduce_mul_ordered<T, U>(x: T, y: U) -> U;
389 389
390 -/// Add elements within a vector in arbitrary order. May also be re-associated with
390 +/// Multiply elements within a vector in arbitrary order. May also be re-associated with
391 391 /// unordered additions on the inputs/outputs.
392 392 ///
393 393 /// `T` must be a vector of integer or floating-point primitive types.
@@ -405,7 +405,7 @@ extern "rust-intrinsic" {
405 405 #[rustc_nounwind]
406 406 pub fn simd_reduce_all<T>(x: T) -> bool;
407 407
408 -/// Check if all mask values are true.
408 +/// Check if any mask value is true.
409 409 ///
410 410 /// `T` must be a vector of integer primitive types.
411 411 ///