summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js
parentInitial commit. (diff)
downloadfirefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz
firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js')
-rw-r--r--js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js157
1 files changed, 157 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js b/js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js
new file mode 100644
index 0000000000..747db66dec
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/exception-handling/custom.wast.js
@@ -0,0 +1,157 @@
+/* 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/custom.wast
+
+// ./test/core/custom.wast:1
+let $0 = instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\24\\10" "a custom section" "this is the payload"
+ "\\00\\20\\10" "a custom section" "this is payload"
+ "\\00\\11\\10" "a custom section" ""
+ "\\00\\10\\00" "" "this is payload"
+ "\\00\\01\\00" "" ""
+ "\\00\\24\\10" "\\00\\00custom sectio\\00" "this is the payload"
+ "\\00\\24\\10" "\\ef\\bb\\bfa custom sect" "this is the payload"
+ "\\00\\24\\10" "a custom sect\\e2\\8c\\a3" "this is the payload"
+ "\\00\\1f\\16" "module within a module" "\\00asm" "\\01\\00\\00\\00"
+)`);
+
+// ./test/core/custom.wast:14
+let $1 = instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\01\\01\\00" ;; type section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\02\\01\\00" ;; import section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\03\\01\\00" ;; function section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\04\\01\\00" ;; table section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\05\\01\\00" ;; memory section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\06\\01\\00" ;; global section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\07\\01\\00" ;; export section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\09\\01\\00" ;; element section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\0a\\01\\00" ;; code section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+ "\\0b\\01\\00" ;; data section
+ "\\00\\0e\\06" "custom" "payload"
+ "\\00\\0e\\06" "custom" "payload"
+)`);
+
+// ./test/core/custom.wast:50
+let $2 = instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\01\\07\\01\\60\\02\\7f\\7f\\01\\7f" ;; type section
+ "\\00\\1a\\06" "custom" "this is the payload" ;; custom section
+ "\\03\\02\\01\\00" ;; function section
+ "\\07\\0a\\01\\06\\61\\64\\64\\54\\77\\6f\\00\\00" ;; export section
+ "\\0a\\09\\01\\07\\00\\20\\00\\20\\01\\6a\\0b" ;; code section
+ "\\00\\1b\\07" "custom2" "this is the payload" ;; custom section
+)`);
+
+// ./test/core/custom.wast:60
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00"
+ )`),
+ `unexpected end`,
+);
+
+// ./test/core/custom.wast:68
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\00"
+ )`),
+ `unexpected end`,
+);
+
+// ./test/core/custom.wast:76
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\00\\00\\05\\01\\00\\07\\00\\00"
+ )`),
+ `unexpected end`,
+);
+
+// ./test/core/custom.wast:84
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\26\\10" "a custom section" "this is the payload"
+ )`),
+ `unexpected end`,
+);
+
+// ./test/core/custom.wast:92
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\00\\25\\10" "a custom section" "this is the payload"
+ "\\00\\24\\10" "a custom section" "this is the payload"
+ )`),
+ `malformed section id`,
+);
+
+// ./test/core/custom.wast:101
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\01\\07\\01\\60\\02\\7f\\7f\\01\\7f" ;; type section
+ "\\00\\25\\10" "a custom section" "this is the payload" ;; wrong length!
+ "\\03\\02\\01\\00" ;; function section
+ "\\0a\\09\\01\\07\\00\\20\\00\\20\\01\\6a\\0b" ;; code section
+ "\\00\\1b\\07" "custom2" "this is the payload" ;; custom section
+ )`),
+ `function and code section have inconsistent lengths`,
+);
+
+// ./test/core/custom.wast:114
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm\\01\\00\\00\\00"
+ "\\00asm\\01\\00\\00\\00"
+ )`),
+ `length out of bounds`,
+);
+
+// ./test/core/custom.wast:122
+assert_malformed(
+ () => instantiate(`(module binary
+ "\\00asm" "\\01\\00\\00\\00"
+ "\\05\\03\\01\\00\\01" ;; memory section
+ "\\0c\\01\\02" ;; data count section (2 segments)
+ "\\0b\\06\\01\\00\\41\\00\\0b\\00" ;; data section (1 segment)
+ )`),
+ `data count and data section have inconsistent lengths`,
+);