feat: 64-bit RISC-V support

Author: nhtyy

.github/workflows/ci.yml

@@ -10,9 +10,10 @@ jobs:
       fail-fast: false
       matrix:
         include:
+          # https://github.com/actions/runner-images/issues/13046
           - os: macos-14
             triple: aarch64-apple-darwin
-          - os: macos-13
+          - os: macos-15-intel
             triple: x86_64-apple-darwin
           - os: buildjet-32vcpu-ubuntu-2004
             triple: x86_64-unknown-linux-gnu
@@ -25,9 +26,9 @@ jobs:
       - uses: lukka/[email protected]
 
       - name: Install Go
-        uses: actions/setup-go@v4
+        uses: actions/setup-go@v6
         with:
-          go-version: 1.21.4
+          go-version: 1.24.11
           check-latest: true
 
       - name: Show rust version
@@ -47,7 +48,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
@@ -73,9 +74,9 @@ jobs:
       - uses: lukka/[email protected]
 
       - name: Install Go
-        uses: actions/setup-go@v4
+        uses: actions/setup-go@v6
         with:
-          go-version: 1.21.4
+          go-version: 1.24.11
           check-latest: true
 
       - name: Show rust version
@@ -95,7 +96,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 +108,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",