tests: add some basic tests

Author: JairusSW

tests/compiler/features/multi-value-not-supported.json

@@ -0,0 +1,10 @@
+{
+  "asc_flags": [
+    "--disable", "multi-value"
+  ],
+  "stderr": [
+    "AS103: Feature 'multi-value' is not enabled.",
+    "[i32, i32]",
+    "EOF"
+  ]
+}

tests/compiler/features/multi-value-not-supported.ts

@@ -0,0 +1,12 @@
+function pair(x: i32): [i32, i32] {
+  return [x, x + 1];
+}
+
+function empty(): [] {
+  return [];
+}
+
+pair(1);
+empty();
+
+ERROR("EOF");

tests/compiler/features/multi-value.debug.wat

@@ -0,0 +1,36 @@
+(module
+ (type $0 (func (param i64) (result i64 i64)))
+ (type $1 (func (param i32 i32) (result i32 i32)))
+ (global $~lib/memory/__data_end i32 (i32.const 8))
+ (global $~lib/memory/__stack_pointer (mut i32) (i32.const 32776))
+ (global $~lib/memory/__heap_base i32 (i32.const 32776))
+ (memory $0 0)
+ (table $0 1 1 funcref)
+ (elem $0 (i32.const 1))
+ (export "divmod" (func $features/multi-value/divmod))
+ (export "pass" (func $features/multi-value/pass))
+ (export "memory" (memory $0))
+ (func $features/multi-value/divmod (param $a i32) (param $b i32) (result i32 i32)
+  local.get $a
+  local.get $b
+  i32.div_s
+  local.get $a
+  local.get $b
+  i32.rem_s
+  tuple.make 2
+  return
+ )
+ (func $features/multi-value/pair (param $x i64) (result i64 i64)
+  local.get $x
+  local.get $x
+  i64.const 1
+  i64.add
+  tuple.make 2
+  return
+ )
+ (func $features/multi-value/pass (param $x i64) (result i64 i64)
+  local.get $x
+  call $features/multi-value/pair
+  return
+ )
+)

tests/compiler/features/multi-value.json

@@ -0,0 +1,7 @@
+{
+  "features": [
+    "multi-value"
+  ],
+  "asc_flags": [
+  ]
+}

tests/compiler/features/multi-value.release.wat

@@ -0,0 +1,24 @@
+(module
+ (type $0 (func (param i32 i32) (result i32 i32)))
+ (type $1 (func (param i64) (result i64 i64)))
+ (memory $0 0)
+ (export "divmod" (func $features/multi-value/divmod))
+ (export "pass" (func $features/multi-value/pass))
+ (export "memory" (memory $0))
+ (func $features/multi-value/divmod (param $0 i32) (param $1 i32) (result i32 i32)
+  local.get $0
+  local.get $1
+  i32.div_s
+  local.get $0
+  local.get $1
+  i32.rem_s
+  tuple.make 2
+ )
+ (func $features/multi-value/pass (param $0 i64) (result i64 i64)
+  local.get $0
+  local.get $0
+  i64.const 1
+  i64.add
+  tuple.make 2
+ )
+)

tests/compiler/features/multi-value.ts

@@ -0,0 +1,11 @@
+export function divmod(a: i32, b: i32): [i32, i32] {
+  return [a / b, a % b];
+}
+
+function pair(x: i64): [i64, i64] {
+  return [x, x + 1];
+}
+
+export function pass(x: i64): [i64, i64] {
+  return pair(x);
+}

tests/compiler/multi-value-bindings.json

@@ -0,0 +1,10 @@
+{
+  "asc_flags": [
+    "--enable", "multi-value",
+    "--bindings", "esm"
+  ],
+  "stderr": [
+    "EOF",
+    "AS100: Not implemented: Exported multi-value functions are not yet supported with --bindings"
+  ]
+}

tests/compiler/multi-value-bindings.ts

@@ -0,0 +1,5 @@
+export function pair(a: i32): [i32, i32] {
+  return [a, a + 1];
+}
+
+ERROR("EOF");

tests/compiler/multi-value-errors.json

@@ -0,0 +1,9 @@
+{
+  "asc_flags": [
+    "--enable", "multi-value"
+  ],
+  "stderr": [
+    "AS100: Not implemented: Using multi-value call results outside of direct return forwarding",
+    "EOF"
+  ]
+}

tests/compiler/multi-value-errors.ts

@@ -0,0 +1,35 @@
+function one(): [i32] {
+  return [1];
+}
+
+function badArity(): [i32, i32] {
+  return [1];
+}
+
+function badForward(): [i32, i32] {
+  return one();
+}
+
+function badUse(): i32 {
+  let x = badArity();
+  return x;
+}
+
+function pair64(x: i64): [i64, i64] {
+  return [x, x + 1];
+}
+
+function add1(x: i64): i64 {
+  return x + 1;
+}
+
+function badNestedForward(): [i64, i64] {
+  return pair64(add1(pair64(10)));
+}
+
+badArity();
+badForward();
+badUse();
+badNestedForward();
+
+ERROR("EOF");