[WIP] spirti: SPIR-T interpreter (on the CPU, optionally via rayon).

Cargo.toml

@@ -1,3 +1,6 @@
+[workspace]
+members = ["spirti"]
+
 [package]
 name = "spirt"
 description = "Shader-focused IR to target, transform and translate from."

README.md

@@ -139,13 +139,13 @@ global_var GV0 in spv.StorageClass.Output: s32
 
 func F0() -> spv.OpTypeVoid {
   loop(v0: s32 <- 1s32, v1: s32 <- 1s32) {
-    v2 = spv.OpSLessThan(v1, 10s32): bool
+    v2 = s.lt(v1, 10s32): bool
     (v3: s32, v4: s32) = if v2 {
-      v5 = spv.OpIMul(v0, v1): s32
-      v6 = spv.OpIAdd(v1, 1s32): s32
+      v5 = i.mul(v0, v1): s32
+      v6 = i.add(v1, 1s32): s32
       (v5, v6)
     } else {
-      (spv.OpUndef: s32, spv.OpUndef: s32)
+      (undef: s32, undef: s32)
     }
     (v3, v4) -> (v0, v1)
   } while v2

spirti/Cargo.toml

@@ -0,0 +1,21 @@
+[package]
+name = "spirti"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+spirt = { path = ".." }
+
+# FIXME(eddyb) deduplicate these by the workspace inheritance feature.
+arrayvec = "0.7.1"
+derive_more = "0.99.17"
+itertools = "0.10.3"
+lazy_static = "1.4.0"
+rustc-hash = "1.1.0"
+smallvec = { version = "1.7.0", features = ["serde", "union"] }
+
+image = "0.24.6"
+rayon = { version = "1.7.0", optional = true }
+
+[features]
+default = ["rayon"]