implement roundtrip tests

Author: cpetig

tests/cli/validate-unknown-features.wat.stderr

@@ -1,4 +1,4 @@
 error: invalid value 'unknown' for '--features <FEATURES>': unknown feature `unknown`
-Valid features: mutable-global, saturating-float-to-int, sign-extension, reference-types, multi-value, bulk-memory, simd, relaxed-simd, threads, shared-everything-threads, tail-call, floats, multi-memory, exceptions, memory64, extended-const, component-model, function-references, memory-control, gc, custom-page-sizes, component-model-values, component-model-nested-names, component-model-more-flags, component-model-multiple-returns, legacy-exceptions, gc-types, stack-switching, wide-arithmetic, component-model-async, mvp, wasm1, wasm2, wasm3, all
+Valid features: mutable-global, saturating-float-to-int, sign-extension, reference-types, multi-value, bulk-memory, simd, relaxed-simd, threads, shared-everything-threads, tail-call, floats, multi-memory, exceptions, memory64, extended-const, component-model, function-references, memory-control, gc, custom-page-sizes, component-model-values, component-model-nested-names, component-model-more-flags, component-model-multiple-returns, legacy-exceptions, gc-types, stack-switching, wide-arithmetic, component-model-async, component-model-fixed-size-list, mvp, wasm1, wasm2, wasm3, all
 
 For more information, try '--help'.

tests/local/component-model/component-model-fixed-size-list/fixed-size-list.wast

@@ -0,0 +1,38 @@
+(component
+  (core module $m
+    (memory (export "memory") 1)
+    (func (export "ret-list") (result i32) unreachable)
+  )
+  (core instance $i (instantiate $m))
+
+  (func (export "ret-list") (result (list u32 4))
+    (canon lift (core func $i "ret-list") (memory $i "memory"))
+  )
+)
+
+(component
+  (core module $m
+    (func (export "param-list") (param i32 i32 i32 i32) unreachable)
+  )
+  (core instance $i (instantiate $m))
+
+  (func (export "param-list") (param "l" (list u32 4))
+    (canon lift (core func $i "param-list"))
+  )
+)
+
+;; no easy way to check for an invalid u32?
+;;(assert_invalid
+;;  (component
+;;    (core module $m
+;;      (memory (export "memory") 1)
+;;      (func (export "ret-list") (result i32) unreachable)
+;;    )
+;;    (core instance $i (instantiate $m))
+;;
+;;    (func (export "ret-list") (result (list u32 10000000000))
+;;      (canon lift (core func $i "ret-list") (memory $i "memory"))
+;;    )
+;;  )
+;;  "invalid u32 number: constant out of range"
+;;)

tests/local/missing-features/component-model/fixed-size-list.wast

@@ -0,0 +1,28 @@
+(assert_invalid
+  (component
+    (core module $m
+      (memory (export "memory") 1)
+      (func (export "ret-list") (result i32) unreachable)
+    )
+    (core instance $i (instantiate $m))
+
+    (func (export "ret-list") (result (list u32 4))
+      (canon lift (core func $i "ret-list") (memory $i "memory"))
+    )
+  )
+  "Fixed size lists require the component model fixed size list feature (at offset 0x54)"
+)
+
+(assert_invalid
+  (component
+    (core module $m
+      (func (export "param-list") (param i32 i32 i32 i32) unreachable)
+    )
+    (core instance $i (instantiate $m))
+
+    (func (export "param-list") (param "l" (list u32 4))
+      (canon lift (core func $i "param-list"))
+    )
+  )
+  "Fixed size lists require the component model fixed size list feature"
+)

tests/snapshots/local/component-model/component-model-fixed-size-list/fixed-size-list.wast.json

@@ -0,0 +1,17 @@
+{
+  "source_filename": "tests/local/component-model/component-model-fixed-size-list/fixed-size-list.wast",
+  "commands": [
+    {
+      "type": "module",
+      "line": 1,
+      "filename": "fixed-size-list.0.wasm",
+      "module_type": "binary"
+    },
+    {
+      "type": "module",
+      "line": 13,
+      "filename": "fixed-size-list.1.wasm",
+      "module_type": "binary"
+    }
+  ]
+}

tests/snapshots/local/component-model/component-model-fixed-size-list/fixed-size-list.wast/0.print

@@ -0,0 +1,18 @@
+(component
+  (core module $m (;0;)
+    (type (;0;) (func (result i32)))
+    (memory (;0;) 1)
+    (export "memory" (memory 0))
+    (export "ret-list" (func 0))
+    (func (;0;) (type 0) (result i32)
+      unreachable
+    )
+  )
+  (core instance $i (;0;) (instantiate $m))
+  (type (;0;) (list u32 4))
+  (type (;1;) (func (result 0)))
+  (alias core export $i "ret-list" (core func (;0;)))
+  (alias core export $i "memory" (core memory (;0;)))
+  (func (;0;) (type 1) (canon lift (core func 0) (memory 0)))
+  (export (;1;) "ret-list" (func 0))
+)

tests/snapshots/local/component-model/component-model-fixed-size-list/fixed-size-list.wast/1.print

@@ -0,0 +1,15 @@
+(component
+  (core module $m (;0;)
+    (type (;0;) (func (param i32 i32 i32 i32)))
+    (export "param-list" (func 0))
+    (func (;0;) (type 0) (param i32 i32 i32 i32)
+      unreachable
+    )
+  )
+  (core instance $i (;0;) (instantiate $m))
+  (type (;0;) (list u32 4))
+  (type (;1;) (func (param "l" 0)))
+  (alias core export $i "param-list" (core func (;0;)))
+  (func (;0;) (type 1) (canon lift (core func 0)))
+  (export (;1;) "param-list" (func 0))
+)

tests/snapshots/local/missing-features/component-model/fixed-size-list.wast.json

@@ -0,0 +1,19 @@
+{
+  "source_filename": "tests/local/missing-features/component-model/fixed-size-list.wast",
+  "commands": [
+    {
+      "type": "assert_invalid",
+      "line": 2,
+      "filename": "fixed-size-list.0.wasm",
+      "module_type": "binary",
+      "text": "Fixed size lists require the component model fixed size list feature (at offset 0x54)"
+    },
+    {
+      "type": "assert_invalid",
+      "line": 17,
+      "filename": "fixed-size-list.1.wasm",
+      "module_type": "binary",
+      "text": "Fixed size lists require the component model fixed size list feature"
+    }
+  ]
+}