From 3d738d01bb02bca73da5ef25d815e4c403a469c8 Mon Sep 17 00:00:00 2001
From: Jakob Stoklund Olesen <jolesen@mozilla.com>
Date: Tue, 11 Jul 2017 17:42:21 -0700
Subject: [PATCH] Add a WebAssembly filetests directory.

Start adding little 'test compile' test cases which check that the full
compilation pipeline works for each WebAssembly instruction.
---
 filetests/wasm/i32-arith.cton | 62 +++++++++++++++++++++++++++++++++++
 1 file changed, 62 insertions(+)
 create mode 100644 filetests/wasm/i32-arith.cton

diff --git a/filetests/wasm/i32-arith.cton b/filetests/wasm/i32-arith.cton
new file mode 100644
index 0000000000..1096d70ddb
--- /dev/null
+++ b/filetests/wasm/i32-arith.cton
@@ -0,0 +1,62 @@
+; Test basic code generation for i32 arithmetic WebAssembly instructions.
+test compile
+
+set is_64bit
+isa intel
+
+; Constants.
+
+function %i32_const() -> i32 {
+ebb0:
+    v0 = iconst.i32 0x8765_4321
+    return v0
+}
+
+; Unary operations.
+
+; function %i32_clz(i32) -> i32
+; function %i32_ctz(i32) -> i32
+; function %i32_popcnt(i32) -> i32
+
+; Binary operations.
+
+function %i32_add(i32, i32) -> i32 {
+ebb0(v0: i32, v1: i32):
+    v2 = iadd v0, v1
+    return v2
+}
+
+function %i32_sub(i32, i32) -> i32 {
+ebb0(v0: i32, v1: i32):
+    v2 = isub v0, v1
+    return v2
+}
+
+; function %i32_mul(i32, i32) -> i32
+; function %i32_div(i32, i32) -> i32
+; function %i32_rem_s(i32, i32) -> i32
+; function %i32_rem_u(i32, i32) -> i32
+
+function %i32_and(i32, i32) -> i32 {
+ebb0(v0: i32, v1: i32):
+    v2 = band v0, v1
+    return v2
+}
+
+function %i32_or(i32, i32) -> i32 {
+ebb0(v0: i32, v1: i32):
+    v2 = bor v0, v1
+    return v2
+}
+
+function %i32_xor(i32, i32) -> i32 {
+ebb0(v0: i32, v1: i32):
+    v2 = bxor v0, v1
+    return v2
+}
+
+; function %i32_shl(i32, i32) -> i32
+; function %i32_shr_s(i32, i32) -> i32
+; function %i32_shr_u(i32, i32) -> i32
+; function %i32_rotl(i32, i32) -> i32
+; function %i32_rotr(i32, i32) -> i32