feat: 64-bit RISC-V support

Author: nhtyy

.github/workflows/ci.yml

@@ -47,7 +47,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: succinctlabs/sp1
-          ref: aurelien/succinct-toolchain-to-v1.19.1
+          ref: xuejie/build-rv64-library-target
           path: sp1
 
       - name: Build
@@ -95,7 +95,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: succinctlabs/sp1
-          ref: aurelien/succinct-toolchain-to-v1.19.1
+          ref: xuejie/build-rv64-library-target
           path: sp1
 
       - name: Build
@@ -107,4 +107,4 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           name: rust-toolchain-aarch64-unknown-linux-gnu
-          path: sp1/crates/cli/rust-toolchain-aarch64-unknown-linux-gnu.tar.gz
+          path: sp1/crates/cli/rust-toolchain-aarch64-unknown-linux-gnu.tar.gz

compiler/rustc_target/src/spec/mod.rs

@@ -1684,6 +1684,7 @@ supported_targets! {
     ("riscv32gc-unknown-linux-gnu", riscv32gc_unknown_linux_gnu),
     ("riscv32gc-unknown-linux-musl", riscv32gc_unknown_linux_musl),
     ("riscv64imac-unknown-none-elf", riscv64imac_unknown_none_elf),
+    ("riscv64im-succinct-zkvm-elf", riscv64im_succinct_zkvm_elf),
     ("riscv64gc-unknown-none-elf", riscv64gc_unknown_none_elf),
     ("riscv64gc-unknown-linux-gnu", riscv64gc_unknown_linux_gnu),
     ("riscv64gc-unknown-linux-musl", riscv64gc_unknown_linux_musl),

compiler/rustc_target/src/spec/targets/riscv64im_succinct_zkvm_elf.rs

@@ -0,0 +1,39 @@
+use crate::spec::{
+    Cc, LinkerFlavor, Lld, PanicStrategy, RelocModel, Target, TargetMetadata, TargetOptions,
+};
+
+pub(crate) fn target() -> Target {
+    Target {
+        data_layout: "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128".into(),
+        llvm_target: "riscv64".into(),
+        metadata: TargetMetadata {
+            description: Some("Succinct's zero-knowledge Virtual Machine (RV64IM ISA)".into()),
+            tier: Some(3),
+            host_tools: Some(false),
+            std: None, // ?
+        },
+        pointer_width: 64,
+        arch: "riscv64".into(),
+
+        options: TargetOptions {
+            os: "zkvm".into(),
+            vendor: "succinct".into(),
+            linker_flavor: LinkerFlavor::Gnu(Cc::No, Lld::Yes),
+            linker: Some("rust-lld".into()),
+            cpu: "generic-rv64".into(),
+
+            max_atomic_width: Some(64),
+            atomic_cas: true,
+
+            features: "+m".into(),
+            llvm_abiname: "lp64".into(),
+            executables: true,
+            panic_strategy: PanicStrategy::Abort,
+            relocation_model: RelocModel::Static,
+            emit_debug_gdb_scripts: false,
+            eh_frame_header: false,
+            singlethread: true,
+            ..Default::default()
+        },
+    }
+}

src/bootstrap/src/core/sanity.rs

@@ -37,6 +37,7 @@ const STAGE0_MISSING_TARGETS: &[&str] = &[
     "riscv64a23-unknown-linux-gnu",
     // just a dummy comment so the list doesn't get onelined
     "riscv32im-succinct-zkvm-elf",
+    "riscv64im-succinct-zkvm-elf",
     "aarch64_be-unknown-hermit",
     "aarch64_be-unknown-none-softfloat",
 ];

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

@@ -152,6 +152,7 @@ static TARGETS: &[&str] = &[
     "riscv32imafc-unknown-none-elf",
     "riscv32gc-unknown-linux-gnu",
     "riscv64imac-unknown-none-elf",
+    "riscv64im-succinct-zkvm-elf",
     "riscv64gc-unknown-hermit",
     "riscv64gc-unknown-none-elf",
     "riscv64gc-unknown-linux-gnu",