feat: enable m extension (#5)

* feat: add m extension * chore: rename target
a16z · Jul 16, 2024 · 3cce1fd · 3cce1fd
1 parent 3c5f0ec
commit 3cce1fd
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 6 deletions.
diff --git a/Makefile b/Makefile
@@ -1,9 +1,9 @@
 build-toolchain:
-	GITHUB_ACTIONS=false CARGO_TARGET_RISCV32I_JOLT_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build
-	GITHUB_ACTIONS=false CARGO_TARGET_RISCV32I_JOLT_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2
+	GITHUB_ACTIONS=false CARGO_TARGET_RISCV32IM_JOLT_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build
+	GITHUB_ACTIONS=false CARGO_TARGET_RISCV32IM_JOLT_ZKVM_ELF_RUSTFLAGS="-Cpasses=loweratomic" ./x build --stage 2
 
 install-toolchain:
-	rustup toolchain link riscv32i-jolt-zkvm-elf build/host/stage2
+	rustup toolchain link riscv32im-jolt-zkvm-elf build/host/stage2
 
 build-install-toolchain:
 	make build-toolchain

diff --git a/compiler/rustc_target/src/spec/mod.rs b/compiler/rustc_target/src/spec/mod.rs
@@ -1623,7 +1623,7 @@ supported_targets! {
 
     ("riscv32i-unknown-none-elf", riscv32i_unknown_none_elf),
     ("riscv32im-risc0-zkvm-elf", riscv32im_risc0_zkvm_elf),
-    ("riscv32i-jolt-zkvm-elf", riscv32i_jolt_zkvm_elf),
+    ("riscv32im-jolt-zkvm-elf", riscv32im_jolt_zkvm_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),

diff --git a/...rc/spec/targets/riscv32i_jolt_zkvm_elf.rs → ...c/spec/targets/riscv32im_jolt_zkvm_elf.rs b/...rc/spec/targets/riscv32i_jolt_zkvm_elf.rs → ...c/spec/targets/riscv32im_jolt_zkvm_elf.rs
@@ -21,6 +21,7 @@ pub fn target() -> Target {
             linker_flavor: LinkerFlavor::Gnu(Cc::No, Lld::Yes),
             linker: Some("rust-lld".into()),
             cpu: "generic-rv32".into(),
+            features: "+m".into(),
             max_atomic_width: Some(64),
             atomic_cas: true,
             executables: true,

diff --git a/config.toml b/config.toml
@@ -1,7 +1,7 @@
 changelog-seen = 2
 
 [build]
-target = ["riscv32i-jolt-zkvm-elf"]
+target = ["riscv32im-jolt-zkvm-elf"]
 extended = true
 tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"]
 configure-args = []

diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs
@@ -125,7 +125,7 @@ static TARGETS: &[&str] = &[
     "powerpc64le-unknown-linux-gnu",
     "riscv32i-unknown-none-elf",
     "riscv32im-risc0-zkvm-elf",
-    "riscv32i-jolt-zkvm-elf",
+    "riscv32im-jolt-zkvm-elf",
     "riscv32im-unknown-none-elf",
     "riscv32ima-unknown-none-elf",
     "riscv32imc-unknown-none-elf",