summaryrefslogtreecommitdiff
path: root/test/binaryen.js
diff options
context:
space:
mode:
Diffstat (limited to 'test/binaryen.js')
-rw-r--r--test/binaryen.js/validation_errors.js28
-rw-r--r--test/binaryen.js/validation_errors.js.txt6
2 files changed, 34 insertions, 0 deletions
diff --git a/test/binaryen.js/validation_errors.js b/test/binaryen.js/validation_errors.js
new file mode 100644
index 000000000..58eed0e08
--- /dev/null
+++ b/test/binaryen.js/validation_errors.js
@@ -0,0 +1,28 @@
+(function() {
+ var mod = new Binaryen.Module();
+ var funcType = mod.addFunctionType("v", Binaryen.void, []);
+ var func = mod.addFunction("test", funcType, [],
+ mod.block("", [
+ mod.drop(
+ mod.getGlobal("missing", Binaryen.i32)
+ )
+ ])
+ );
+ mod.addExport("test", func);
+ console.log(mod.validate())
+})();
+
+(function() {
+ var mod = new Binaryen.Module();
+ var funcType = mod.addFunctionType("v", Binaryen.void, []);
+ var func = mod.addFunction("test", funcType, [],
+ mod.block("", [
+ mod.drop(
+ mod.getLocal(0, Binaryen.i32)
+ )
+ ])
+ );
+ mod.addFunctionExport("test", "test", func);
+ console.log(mod.validate())
+})();
+
diff --git a/test/binaryen.js/validation_errors.js.txt b/test/binaryen.js/validation_errors.js.txt
new file mode 100644
index 000000000..d49aac6b8
--- /dev/null
+++ b/test/binaryen.js/validation_errors.js.txt
@@ -0,0 +1,6 @@
+[wasm-validator error in function $test] unexpected false: get_global name must be valid, on
+[i32] (get_global $missing)
+0
+[wasm-validator error in function $test] unexpected false: get_local index must be small enough, on
+[i32] (get_local $0)
+0