ptx support: initial commit

Cargo.toml

@@ -2,6 +2,9 @@
 members = [
   "validate",
   "validate/remote",
+  "sass",
+  "ptx",
+  "cuda/cudart",
   "profile",
   "playground",
   "playground/sys",

cuda/cudart/Cargo.toml

@@ -0,0 +1,8 @@
+[package]
+name = "cudart"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]

cuda/cudart/src/lib.rs

@@ -0,0 +1,14 @@
+pub fn add(left: usize, right: usize) -> usize {
+    left + right
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn it_works() {
+        let result = add(2, 2);
+        assert_eq!(result, 4);
+    }
+}

ptx/Cargo.toml

@@ -0,0 +1,21 @@
+[package]
+name = "ptx"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+# anyhow = "1"
+color-eyre = "0"
+thiserror = "1"
+pest = "2"
+pest_derive = "2"
+pest-ast = "0"
+from-pest = "0"
+num = "0"
+itertools = "0"
+
+object = "0"
+bytes = "1"
+
+[lib]
+crate-type = ["cdylib", "rlib"]

ptx/README.md

@@ -0,0 +1,11 @@
+## gpucachesim PTX
+
+Custom (non-LLVM) PTX frontend used by gpucachesim for functional simulation.
+
+The PTX (Parallel Thread eXecution) assembly language is ...
+
+The provided libraries may in the future be used for
+
+- static analysis
+- PTX synthesis
+- functional simulation