Pseudo instructions

scroll-tech · Dec 14, 2024 · 804ce19 · 804ce19
1 parent a105e43
commit 804ce19
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 32 deletions.
diff --git a/ceno_rt/.cargo/config.toml b/ceno_rt/.cargo/config.toml
diff --git a/ceno_rt/src/lib.rs b/ceno_rt/src/lib.rs
@@ -61,9 +61,9 @@ _start:
     // If we return from main, we halt with success:
 
     // Set the ecall code HALT.
-    addi t0, x0, 0
+    li t0, 0
     // Set successful exit code, ie 0:
-    addi a0, x0, 0
+    li a0, 0
     ecall
     ",
 );

diff --git a/examples/.cargo/config.toml b/examples/.cargo/config.toml
diff --git a/examples/.cargo/config.toml b/examples/.cargo/config.toml
@@ -0,0 +1,29 @@
+[unstable]
+build-std = [
+  "alloc",
+  "core",
+  "compiler_builtins",
+  "std",
+  "panic_abort",
+  "proc_macro",
+]
+build-std-features = [
+  "compiler-builtins-mem",
+  "panic_immediate_abort",
+  "default",
+]
+
+[profile.dev]
+panic = "abort"
+
+[build]
+rustflags = [
+  "-C",
+  "link-arg=-Tmemory.x",
+  "-C",
+  "link-arg=-Tceno_link.x",
+  "-Zlocation-detail=none",
+  "-C",
+  "passes=lower-atomic",
+]
+target = ".cargo/riscv32im-ceno-zkvm-elf.json"