From c75dcab5988f5c0b5e0629015f384e5aa1440690 Mon Sep 17 00:00:00 2001
From: Wojciech Kosior <kwojtus@protonmail.com>
Date: Mon, 21 Sep 2020 13:43:29 +0200
Subject: enable translation of few arithmetic operations (testbench included)

---
 tests/wasm_compile_arithm/Makefile            |  1 +
 tests/wasm_compile_arithm/instructions.wat    | 16 ++++++++++++++++
 tests/wasm_compile_arithm/test.v              |  1 +
 tests/wasm_compile_arithm/words_to_verify.mem |  7 +++++++
 4 files changed, 25 insertions(+)
 create mode 120000 tests/wasm_compile_arithm/Makefile
 create mode 100644 tests/wasm_compile_arithm/instructions.wat
 create mode 120000 tests/wasm_compile_arithm/test.v
 create mode 100644 tests/wasm_compile_arithm/words_to_verify.mem

(limited to 'tests')

diff --git a/tests/wasm_compile_arithm/Makefile b/tests/wasm_compile_arithm/Makefile
new file mode 120000
index 0000000..e451c8b
--- /dev/null
+++ b/tests/wasm_compile_arithm/Makefile
@@ -0,0 +1 @@
+../wasm_compile_simple_module/Makefile
\ No newline at end of file
diff --git a/tests/wasm_compile_arithm/instructions.wat b/tests/wasm_compile_arithm/instructions.wat
new file mode 100644
index 0000000..a43a348
--- /dev/null
+++ b/tests/wasm_compile_arithm/instructions.wat
@@ -0,0 +1,16 @@
+(module
+ (memory 0 2)
+ (func $main
+       ;; write 0xFFEFE021 at MEMORY_BOTTOM_ADDR + 0x0
+       (i32.store offset=0x0 align=2 (i32.const 0x0)
+       		  (i32.sub (i32.const 0x42143) (i32.const 0x144122)))
+       ;; write 0x16D3B7 at MEMORY_BOTTOM_ADDR + 0x4
+       (i32.store offset=0x0 align=2 (i32.const 0x4)
+       		  (i32.add (i32.const 0x7109D) (i32.const 0xFC31A)))
+       ;; write 0xED8 at MEMORY_BOTTOM_ADDR + 0x8
+       (i32.store offset=0x0 align=2 (i32.const 0x8)
+       		  (i32.div_u (i32.const 0x193E324F) (i32.const 0x1B342)))
+       ;; write 0x3C773E7C at MEMORY_BOTTOM_ADDR + 0xC
+       (i32.store offset=0x0 align=2 (i32.const 0xC)
+       		  (i32.mul (i32.const 0x38F2C) (i32.const 0x10FD))))
+ (export "main" (func $main)))
diff --git a/tests/wasm_compile_arithm/test.v b/tests/wasm_compile_arithm/test.v
new file mode 120000
index 0000000..f0235d8
--- /dev/null
+++ b/tests/wasm_compile_arithm/test.v
@@ -0,0 +1 @@
+../wasm_compile_simple_module/test.v
\ No newline at end of file
diff --git a/tests/wasm_compile_arithm/words_to_verify.mem b/tests/wasm_compile_arithm/words_to_verify.mem
new file mode 100644
index 0000000..d3f3c4e
--- /dev/null
+++ b/tests/wasm_compile_arithm/words_to_verify.mem
@@ -0,0 +1,7 @@
+// address  value
+   0FFFFC   23
+
+   200	    FFEFE021
+   204	    16D3B7
+   208	    ED8
+   20C	    3C773E7C
-- 
cgit v1.2.3