add tests

Author: leonardoalt

extensions/circuit/src/wom_traits.rs

@@ -297,7 +297,6 @@ where
         from_state: ExecutionState<u32>,
     ) -> ResultVm<ExecutionState<u32>> {
         let mut fp = self.fp.lock().unwrap();
-        println!("Executing inside VmChipWrapperWom instruction: {instruction:?}, from_state: {from_state:?}, fp: {fp}");
         let (reads, read_record) = self.adapter.preprocess(memory, *fp, instruction)?;
         let (output, core_record) =
             self.core

integration/src/main.rs

@@ -1489,15 +1489,14 @@ mod wast_tests {
     #[test]
     fn test_i32_add_all() -> Result<(), Box<dyn std::error::Error>> {
         // Load all test cases from the add_only.wast file
-        let test_cases = extract_wast_test_info("../add_only.wast")?;
+        let test_cases = extract_wast_test_info("../wasm_tests/add_only.wast")?;
 
         // Run all test cases
         for (module_path, _line, cases) in &test_cases {
             // Prepend ../ to the module path since we're running from integration directory
-            let full_module_path = format!("../{module_path}");
+            let full_module_path = format!("../wasm_tests/{module_path}");
 
             for (function, args, expected) in cases {
-                println!("Running: {function}({args:?}) = {expected:?}");
                 run_single_wast_test(&full_module_path, function, args, expected)?;
             }
         }

wasm_tests/add_only.0.wasm

@@ -0,0 +1,13 @@
+;; i32 add operation only
+(module
+  (func (export "add") (param $x i32) (param $y i32) (result i32) (i32.add (local.get $x) (local.get $y)))
+)
+
+(assert_return (invoke "add" (i32.const 1) (i32.const 1)) (i32.const 2))
+(assert_return (invoke "add" (i32.const 1) (i32.const 0)) (i32.const 1))
+(assert_return (invoke "add" (i32.const -1) (i32.const -1)) (i32.const -2))
+(assert_return (invoke "add" (i32.const -1) (i32.const 1)) (i32.const 0))
+(assert_return (invoke "add" (i32.const 0x7fffffff) (i32.const 1)) (i32.const 0x80000000))
+(assert_return (invoke "add" (i32.const 0x80000000) (i32.const -1)) (i32.const 0x7fffffff))
+(assert_return (invoke "add" (i32.const 0x80000000) (i32.const 0x80000000)) (i32.const 0))
+(assert_return (invoke "add" (i32.const 0x3fffffff) (i32.const 1)) (i32.const 0x40000000))