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

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`	`///`