Skip to content

Commit

Permalink
Normal format for custom_insn_* macros we have (#1193)
Browse files Browse the repository at this point in the history
* Redesign `custom_insn_r`

* Redesign `custom_insn_i`

* Polish

* Put the `core::arch::asm` invocation under the cfg(target_os = "zkvm") for less space for the wrong signature error

* Address some comments

* Address more
  • Loading branch information
Golovanov399 authored Jan 9, 2025
1 parent f4307ec commit 928ab04
Show file tree
Hide file tree
Showing 22 changed files with 652 additions and 311 deletions.
10 changes: 10 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,7 @@ openvm-transpiler = { path = "crates/toolchain/transpiler", default-features = f
openvm-circuit = { path = "crates/vm", default-features = false }
openvm-circuit-derive = { path = "crates/vm/derive", default-features = false }
openvm-toolchain-tests = { path = "crates/toolchain/tests", default-features = false }
openvm-custom-insn = { path = "crates/toolchain/custom_insn", default-features = false }

# Extensions
openvm-rv32im-circuit = { path = "extensions/rv32im/circuit", default-features = false }
Expand Down
12 changes: 12 additions & 0 deletions crates/toolchain/custom_insn/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
[package]
name = "openvm-custom-insn"
version = "0.1.0"
edition = "2021"

[dependencies]
syn = { version = "2.0", features = ["full"] }
quote = "1.0"
proc-macro2 = "1.0"

[lib]
proc-macro = true
Loading

0 comments on commit 928ab04

Please sign in to comment.