summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js')
-rw-r--r--js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js2656
1 files changed, 2656 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js b/js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js
new file mode 100644
index 0000000000..658da5449f
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/spec/utf8-import-field.wast.js
@@ -0,0 +1,2656 @@
+/* Copyright 2021 Mozilla Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+// ./test/core/utf8-import-field.wast
+
+// ./test/core/utf8-import-field.wast:6
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\80" ;; "\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:21
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\8f" ;; "\\8f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:36
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\90" ;; "\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:51
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\9f" ;; "\\9f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:66
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\a0" ;; "\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:81
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\bf" ;; "\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:98
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\c2\\80\\80" ;; "\\c2\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:113
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\c2" ;; "\\c2"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:128
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c2\\2e" ;; "\\c2."
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:145
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c0\\80" ;; "\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:160
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c0\\bf" ;; "\\c0\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:175
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c1\\80" ;; "\\c1\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:190
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c1\\bf" ;; "\\c1\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:205
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c2\\00" ;; "\\c2\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:220
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c2\\7f" ;; "\\c2\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:235
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c2\\c0" ;; "\\c2\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:250
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\c2\\fd" ;; "\\c2\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:265
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\df\\00" ;; "\\df\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:280
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\df\\7f" ;; "\\df\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:295
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\df\\c0" ;; "\\df\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:310
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\df\\fd" ;; "\\df\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:327
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\e1\\80\\80\\80" ;; "\\e1\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:342
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\e1\\80" ;; "\\e1\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:357
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\80\\2e" ;; "\\e1\\80."
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:372
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\e1" ;; "\\e1"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:387
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\e1\\2e" ;; "\\e1."
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:404
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\00\\a0" ;; "\\e0\\00\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:419
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\7f\\a0" ;; "\\e0\\7f\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:434
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\80\\80" ;; "\\e0\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:449
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\80\\a0" ;; "\\e0\\80\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:464
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\9f\\a0" ;; "\\e0\\9f\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:479
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\9f\\bf" ;; "\\e0\\9f\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:494
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\c0\\a0" ;; "\\e0\\c0\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:509
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\fd\\a0" ;; "\\e0\\fd\\a0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:524
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\00\\80" ;; "\\e1\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:539
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\7f\\80" ;; "\\e1\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:554
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\c0\\80" ;; "\\e1\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:569
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\fd\\80" ;; "\\e1\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:584
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\00\\80" ;; "\\ec\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:599
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\7f\\80" ;; "\\ec\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:614
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\c0\\80" ;; "\\ec\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:629
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\fd\\80" ;; "\\ec\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:644
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\00\\80" ;; "\\ed\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:659
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\7f\\80" ;; "\\ed\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:674
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\a0\\80" ;; "\\ed\\a0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:689
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\a0\\bf" ;; "\\ed\\a0\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:704
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\bf\\80" ;; "\\ed\\bf\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:719
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\bf\\bf" ;; "\\ed\\bf\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:734
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\c0\\80" ;; "\\ed\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:749
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\fd\\80" ;; "\\ed\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:764
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\00\\80" ;; "\\ee\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:779
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\7f\\80" ;; "\\ee\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:794
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\c0\\80" ;; "\\ee\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:809
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\fd\\80" ;; "\\ee\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:824
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\00\\80" ;; "\\ef\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:839
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\7f\\80" ;; "\\ef\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:854
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\c0\\80" ;; "\\ef\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:869
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\fd\\80" ;; "\\ef\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:886
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\a0\\00" ;; "\\e0\\a0\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:901
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\a0\\7f" ;; "\\e0\\a0\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:916
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\a0\\c0" ;; "\\e0\\a0\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:931
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e0\\a0\\fd" ;; "\\e0\\a0\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:946
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\80\\00" ;; "\\e1\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:961
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\80\\7f" ;; "\\e1\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:976
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\80\\c0" ;; "\\e1\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:991
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\e1\\80\\fd" ;; "\\e1\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1006
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\80\\00" ;; "\\ec\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1021
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\80\\7f" ;; "\\ec\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1036
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\80\\c0" ;; "\\ec\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1051
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ec\\80\\fd" ;; "\\ec\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1066
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\80\\00" ;; "\\ed\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1081
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\80\\7f" ;; "\\ed\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1096
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\80\\c0" ;; "\\ed\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1111
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ed\\80\\fd" ;; "\\ed\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1126
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\80\\00" ;; "\\ee\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1141
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\80\\7f" ;; "\\ee\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1156
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\80\\c0" ;; "\\ee\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1171
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ee\\80\\fd" ;; "\\ee\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1186
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\80\\00" ;; "\\ef\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1201
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\80\\7f" ;; "\\ef\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1216
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\80\\c0" ;; "\\ef\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1231
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\ef\\80\\fd" ;; "\\ef\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1248
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\f1\\80\\80\\80\\80" ;; "\\f1\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1263
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\f1\\80\\80" ;; "\\f1\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1278
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\80\\23" ;; "\\f1\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1293
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\f1\\80" ;; "\\f1\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1308
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\f1\\80\\23" ;; "\\f1\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1323
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\f1" ;; "\\f1"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1338
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\f1\\23" ;; "\\f1#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1355
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\00\\90\\90" ;; "\\f0\\00\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1370
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\7f\\90\\90" ;; "\\f0\\7f\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1385
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\80\\80\\80" ;; "\\f0\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1400
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\80\\90\\90" ;; "\\f0\\80\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1415
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\8f\\90\\90" ;; "\\f0\\8f\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1430
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\8f\\bf\\bf" ;; "\\f0\\8f\\bf\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1445
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\c0\\90\\90" ;; "\\f0\\c0\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1460
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\fd\\90\\90" ;; "\\f0\\fd\\90\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1475
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\00\\80\\80" ;; "\\f1\\00\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1490
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\7f\\80\\80" ;; "\\f1\\7f\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1505
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\c0\\80\\80" ;; "\\f1\\c0\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1520
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\fd\\80\\80" ;; "\\f1\\fd\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1535
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\00\\80\\80" ;; "\\f3\\00\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1550
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\7f\\80\\80" ;; "\\f3\\7f\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1565
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\c0\\80\\80" ;; "\\f3\\c0\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1580
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\fd\\80\\80" ;; "\\f3\\fd\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1595
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\00\\80\\80" ;; "\\f4\\00\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1610
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\7f\\80\\80" ;; "\\f4\\7f\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1625
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\90\\80\\80" ;; "\\f4\\90\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1640
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\bf\\80\\80" ;; "\\f4\\bf\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1655
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\c0\\80\\80" ;; "\\f4\\c0\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1670
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\fd\\80\\80" ;; "\\f4\\fd\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1685
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f5\\80\\80\\80" ;; "\\f5\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1700
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f7\\80\\80\\80" ;; "\\f7\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1715
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f7\\bf\\bf\\bf" ;; "\\f7\\bf\\bf\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1732
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\00\\90" ;; "\\f0\\90\\00\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1747
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\7f\\90" ;; "\\f0\\90\\7f\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1762
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\c0\\90" ;; "\\f0\\90\\c0\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1777
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\fd\\90" ;; "\\f0\\90\\fd\\90"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1792
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\00\\80" ;; "\\f1\\80\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1807
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\7f\\80" ;; "\\f1\\80\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1822
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\c0\\80" ;; "\\f1\\80\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1837
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\fd\\80" ;; "\\f1\\80\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1852
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\00\\80" ;; "\\f3\\80\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1867
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\7f\\80" ;; "\\f3\\80\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1882
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\c0\\80" ;; "\\f3\\80\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1897
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\fd\\80" ;; "\\f3\\80\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1912
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\00\\80" ;; "\\f4\\80\\00\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1927
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\7f\\80" ;; "\\f4\\80\\7f\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1942
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\c0\\80" ;; "\\f4\\80\\c0\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1957
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\fd\\80" ;; "\\f4\\80\\fd\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1974
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\90\\00" ;; "\\f0\\90\\90\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:1989
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\90\\7f" ;; "\\f0\\90\\90\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2004
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\90\\c0" ;; "\\f0\\90\\90\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2019
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f0\\90\\90\\fd" ;; "\\f0\\90\\90\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2034
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\80\\00" ;; "\\f1\\80\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2049
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\80\\7f" ;; "\\f1\\80\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2064
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\80\\c0" ;; "\\f1\\80\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2079
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f1\\80\\80\\fd" ;; "\\f1\\80\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2094
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\80\\00" ;; "\\f3\\80\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2109
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\80\\7f" ;; "\\f3\\80\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2124
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\80\\c0" ;; "\\f3\\80\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2139
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f3\\80\\80\\fd" ;; "\\f3\\80\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2154
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\80\\00" ;; "\\f4\\80\\80\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2169
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\80\\7f" ;; "\\f4\\80\\80\\7f"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2184
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\80\\c0" ;; "\\f4\\80\\80\\c0"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2199
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f4\\80\\80\\fd" ;; "\\f4\\80\\80\\fd"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2216
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\10" ;; import section
+ "\\01" ;; length 1
+ "\\06\\f8\\80\\80\\80\\80\\80" ;; "\\f8\\80\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2231
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f8\\80\\80\\80" ;; "\\f8\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2246
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\f8\\80\\80\\80\\23" ;; "\\f8\\80\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2261
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\f8\\80\\80" ;; "\\f8\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2276
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\f8\\80\\80\\23" ;; "\\f8\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2291
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\f8\\80" ;; "\\f8\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2306
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\f8\\80\\23" ;; "\\f8\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2321
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\f8" ;; "\\f8"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2336
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\f8\\23" ;; "\\f8#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2353
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\f8\\80\\80\\80\\80" ;; "\\f8\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2368
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\fb\\bf\\bf\\bf\\bf" ;; "\\fb\\bf\\bf\\bf\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2385
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\11" ;; import section
+ "\\01" ;; length 1
+ "\\07\\fc\\80\\80\\80\\80\\80\\80" ;; "\\fc\\80\\80\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2400
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\fc\\80\\80\\80\\80" ;; "\\fc\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2415
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\10" ;; import section
+ "\\01" ;; length 1
+ "\\06\\fc\\80\\80\\80\\80\\23" ;; "\\fc\\80\\80\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2430
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\fc\\80\\80\\80" ;; "\\fc\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2445
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0f" ;; import section
+ "\\01" ;; length 1
+ "\\05\\fc\\80\\80\\80\\23" ;; "\\fc\\80\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2460
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\fc\\80\\80" ;; "\\fc\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2475
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\fc\\80\\80\\23" ;; "\\fc\\80\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2490
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\fc\\80" ;; "\\fc\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2505
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0d" ;; import section
+ "\\01" ;; length 1
+ "\\03\\fc\\80\\23" ;; "\\fc\\80#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2520
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\fc" ;; "\\fc"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2535
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\fc\\23" ;; "\\fc#"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2552
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\10" ;; import section
+ "\\01" ;; length 1
+ "\\06\\fc\\80\\80\\80\\80\\80" ;; "\\fc\\80\\80\\80\\80\\80"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2567
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\10" ;; import section
+ "\\01" ;; length 1
+ "\\06\\fd\\bf\\bf\\bf\\bf\\bf" ;; "\\fd\\bf\\bf\\bf\\bf\\bf"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2584
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\fe" ;; "\\fe"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2599
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0b" ;; import section
+ "\\01" ;; length 1
+ "\\01\\ff" ;; "\\ff"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2614
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\fe\\ff" ;; "\\fe\\ff"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2629
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\00\\00\\fe\\ff" ;; "\\00\\00\\fe\\ff"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2644
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0c" ;; import section
+ "\\01" ;; length 1
+ "\\02\\ff\\fe" ;; "\\ff\\fe"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);
+
+// ./test/core/utf8-import-field.wast:2659
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\02\\0e" ;; import section
+ "\\01" ;; length 1
+ "\\04\\ff\\fe\\00\\00" ;; "\\ff\\fe\\00\\00"
+ "\\04\\74\\65\\73\\74" ;; "test"
+ "\\03" ;; GlobalImport
+ "\\7f" ;; i32
+ "\\00" ;; immutable
+ )`),
+ `malformed UTF-8 encoding`,
+);