Rollup merge of #126704 - sayantn:sha, r=Amanieu · model-checking/verify-rust-std@fc53324

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,15 @@`
`4`	`4`	`#[stable(feature = "simd_arch", since = "1.27.0")]`
`5`	`5`	`pub use crate::core_arch::arch::*;`
`6`	`6`
	`7`	`+#[cfg(bootstrap)]`
	`8`	`+#[allow(dead_code)]`
	`9`	`+#[unstable(feature = "sha512_sm_x86", issue = "126624")]`
	`10`	`+fn dummy() {`
	`11`	+// AArch64 also has a target feature named `sm4`, so we need `#![feature(sha512_sm_x86)]` in lib.rs
	`12`	`+// But as the bootstrap compiler doesn't know about this feature yet, we need to convert it to a`
	`13`	`+// library feature until bootstrap gets bumped`
	`14`	`+}`
	`15`	`+`
`7`	`16`	`/// Inline assembly.`
`8`	`17`	`///`
`9`	`18`	`/// Refer to [Rust By Example] for a usage guide and the [reference] for`