From 3cfaa2b7ff7a52ee0d34b74b0879c592f1304bb8 Mon Sep 17 00:00:00 2001
From: Kevaundray Wedderburn <kevtheappdev@gmail.com>
Date: Mon, 12 May 2025 20:45:16 +0100
Subject: [PATCH] add openvm basic compile test corpus

---
 tests/openvm/compile/basic/Cargo.toml  | 11 +++++++++++
 tests/openvm/compile/basic/src/main.rs | 14 ++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 tests/openvm/compile/basic/Cargo.toml
 create mode 100644 tests/openvm/compile/basic/src/main.rs

diff --git a/tests/openvm/compile/basic/Cargo.toml b/tests/openvm/compile/basic/Cargo.toml
new file mode 100644
index 0000000..6e8f554
--- /dev/null
+++ b/tests/openvm/compile/basic/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "ere-test-openvm-guest"
+version = "0.1.0"
+edition = "2021"
+
+[workspace]
+
+[dependencies]
+openvm = { git = "https://github.com/openvm-org/openvm.git", features = [
+    "std",
+] }
diff --git a/tests/openvm/compile/basic/src/main.rs b/tests/openvm/compile/basic/src/main.rs
new file mode 100644
index 0000000..6cbd883
--- /dev/null
+++ b/tests/openvm/compile/basic/src/main.rs
@@ -0,0 +1,14 @@
+use openvm::io::{read, reveal_u32};
+
+fn main() {
+    let n: u64 = read();
+    let mut a: u64 = 0;
+    let mut b: u64 = 1;
+    for _ in 0..n {
+        let c: u64 = a.wrapping_add(b);
+        a = b;
+        b = c;
+    }
+    reveal_u32(a as u32, 0);
+    reveal_u32((a >> 32) as u32, 1);
+}