fix: pr suggestions, risc32im-succinct-zkvm-elf -> riscv32im-succinct-elf

Author: nhtyy

compiler/rustc_target/src/spec/mod.rs

@@ -1954,7 +1954,7 @@ supported_targets! {
 
     ("riscv32i-unknown-none-elf", riscv32i_unknown_none_elf),
     ("riscv32im-risc0-zkvm-elf", riscv32im_risc0_zkvm_elf),
-    ("riscv32im-succinct-zkvm-elf", riscv32im_succinct_zkvm_elf),
+    ("riscv32im-succinct-elf", riscv32im_succinct_elf),
     ("riscv32im-unknown-none-elf", riscv32im_unknown_none_elf),
     ("riscv32ima-unknown-none-elf", riscv32ima_unknown_none_elf),
     ("riscv32imc-unknown-none-elf", riscv32imc_unknown_none_elf),

compiler/rustc_target/src/spec/targets/riscv32im_succinct_zkvm_elf.rs renamed to compiler/rustc_target/src/spec/targets/riscv32im_succinct_elf.rs

@@ -23,7 +23,7 @@ pub(crate) fn target() -> Target {
             cpu: "generic-rv32".into(),
 
             // The zkvm is singlethreaded and all operations are atomic.
-            // The std-lib is compiled with lowered atomicsa and the default Succinct build tools
+            // The std-lib is compiled with lowered atomics and the default Succinct build tools
             // enforce this on programs.
             max_atomic_width: Some(64),
             atomic_cas: true,

src/bootstrap/src/core/sanity.rs

@@ -35,7 +35,7 @@ pub struct Finder {
 const STAGE0_MISSING_TARGETS: &[&str] = &[
     // just a dummy comment so the list doesn't get onelined
     "wasm32-wali-linux-musl",
-    "riscv32im-succinct-zkvm-elf",
+    "riscv32im-succinct-elf",
 ];
 
 /// Minimum version threshold for libstdc++ required when using prebuilt LLVM

src/doc/rustc/src/SUMMARY.md

@@ -77,7 +77,7 @@
     - [riscv32e\*-unknown-none-elf](platform-support/riscv32e-unknown-none-elf.md)
     - [riscv32i\*-unknown-none-elf](platform-support/riscv32-unknown-none-elf.md)
     - [riscv32im-risc0-zkvm-elf](platform-support/riscv32im-risc0-zkvm-elf.md)
-    - [riscv32im-succinct-zkvm-elf](platform-support/riscv32im-succinct-zkvm-elf.md)
+    - [riscv32im-succinct-elf](platform-support/riscv32im-succinct-elf.md)
     - [riscv32imac-unknown-xous-elf](platform-support/riscv32imac-unknown-xous-elf.md)
     - [riscv64gc-unknown-linux-gnu](platform-support/riscv64gc-unknown-linux-gnu.md)
     - [riscv64gc-unknown-linux-musl](platform-support/riscv64gc-unknown-linux-musl.md)

src/doc/rustc/src/platform-support/riscv32im-succinct-zkvm-elf.md renamed to src/doc/rustc/src/platform-support/riscv32im-succinct-elf.md

@@ -1,4 +1,4 @@
-# `riscv32im-risc0-zkvm-elf`
+# `riscv32im-succinct-elf`
 
 **Tier: 3**
 

src/tools/build-manifest/src/main.rs

@@ -138,7 +138,7 @@ static TARGETS: &[&str] = &[
     "powerpc64le-unknown-linux-musl",
     "riscv32i-unknown-none-elf",
     "riscv32im-risc0-zkvm-elf",
-    "riscv32im-succinct-zkvm-elf",
+    "riscv32im-succinct-elf",
     "riscv32im-unknown-none-elf",
     "riscv32ima-unknown-none-elf",
     "riscv32imc-unknown-none-elf",

tests/assembly/targets/targets-elf.rs

@@ -421,9 +421,9 @@
 //@ revisions: riscv32im_risc0_zkvm_elf
 //@ [riscv32im_risc0_zkvm_elf] compile-flags: --target riscv32im-risc0-zkvm-elf
 //@ [riscv32im_risc0_zkvm_elf] needs-llvm-components: riscv
-//@ revisions: riscv32im_succinct_zkvm_elf
-//@ [riscv32im_succinct_zkvm_elf] compile-flags: --target riscv32im-succinct-zkvm-elf
-//@ [riscv32im_succinct_zkvm_elf] needs-llvm-components: riscv
+//@ revisions: riscv32im_succinct_elf
+//@ [riscv32im_succinct_elf] compile-flags: --target riscv32im-succinct-elf
+//@ [riscv32im_succinct_elf] needs-llvm-components: riscv
 //@ revisions: riscv32im_unknown_none_elf
 //@ [riscv32im_unknown_none_elf] compile-flags: --target riscv32im-unknown-none-elf
 //@ [riscv32im_unknown_none_elf] needs-llvm-components: riscv