whirlaway: cp compiler crate

Author: tcoratger

Cargo.toml

@@ -18,6 +18,7 @@ members = [
     "crates/lookup",
     "crates/xmss",
     "crates/vm",
+    "crates/compiler",
 ]
 resolver = "3"
 
@@ -56,6 +57,7 @@ pcs = { path = "crates/pcs" }
 lookup = { path = "crates/lookup" }
 xmss = { path = "crates/xmss" }
 vm = { path = "crates/vm" }
+compiler = { path = "crates/compiler" }
 
 rand = "0.9.2"
 sha3 = "0.10.8"

crates/compiler/Cargo.toml

@@ -0,0 +1,36 @@
+[package]
+name = "compiler"
+version.workspace = true
+edition.workspace = true
+rust-version.workspace = true
+license.workspace = true
+
+[lints]
+workspace = true
+
+[dependencies]
+pest.workspace = true
+pest_derive.workspace = true
+utils.workspace = true
+p3-field.workspace = true
+xmss.workspace = true
+rand.workspace = true
+p3-poseidon2.workspace = true
+p3-koala-bear.workspace = true
+p3-challenger.workspace = true
+p3-air.workspace = true
+p3-matrix.workspace = true
+p3-symmetric.workspace = true
+p3-util.workspace = true
+whir-p3.workspace = true
+rayon.workspace = true
+tracing.workspace = true
+air.workspace = true
+pcs.workspace = true
+p3-poseidon2-air.workspace = true
+lookup.workspace = true
+sumcheck.workspace = true
+vm.workspace = true
+
+[dev-dependencies]
+hashsig.workspace = true

crates/compiler/TECHNICAL_NOTES.md

@@ -0,0 +1,29 @@
+BYTECODE:
+
+0: OPERAND_A
+1: OPERAND_B
+2: OPERAND_C
+3: FLAG_A
+4: FLAG_B
+5: FLAG_C
+6: ADD
+7: MUL
+8: DEREF
+9: JUZ
+10: AUX
+11: POSEIDON_16
+12: POSEIDON_24
+13: DOT_PRODUCT_EE
+14: DOT_PRODUCT_BE
+
+EXECUTION TABLE:
+
+0..10: Initial opcodes columns
+11: VALUE_A (virtual)
+12: VALUE_B (virtual)
+13: VALUE_C (virtual)
+14: PC
+15: FP
+16: ADDR_A
+17: ADDR_B
+18: ADDR_C

crates/compiler/TODO.md

@@ -0,0 +1,6 @@
+# TODO
+
+- continue
+- return inside loops
+- avoid memory fragmentation (runner)
+- infinite loops: "for i in 0.. {}"