6 files changed, 38 insertions, 2 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
diff --git a/test/passes/dce.txt b/test/passes/dce.txt
index 17de5f228..cdcf7035c 100644
--- a/test/passes/dce.txt
+++ b/test/passes/dce.txt
@@ -461,7 +461,7 @@
  )
  (func $replace-block-changes-later-when-if-goes (; 26 ;) (type $1)
   (block $top
-   (set_global $global$0
+   (set_global $x
     (i32.const 0)
    )
    (block $inner
diff --git a/test/passes/dce.wast b/test/passes/dce.wast
index 7050a383f..93c98ce4d 100644
--- a/test/passes/dce.wast
+++ b/test/passes/dce.wast
@@ -676,7 +676,7 @@
  )
  (func $replace-block-changes-later-when-if-goes
   (block $top ;; and so should this
-   (set_global $global$0
+   (set_global $x
     (i32.const 0)
    )
    (drop
diff --git a/test/passes/precompute.txt b/test/passes/precompute.txt
index bb045f853..1468e8a66 100644
--- a/test/passes/precompute.txt
+++ b/test/passes/precompute.txt
@@ -3,6 +3,7 @@
  (type $1 (func (result i32)))
  (type $2 (func))
  (type $3 (func (result f64)))
+ (global $global$0 (mut i32) (i32.const 0))
  (memory $0 0)
  (func $x (; 0 ;) (type $0) (param $x i32)
   (call $x
diff --git a/test/passes/precompute.wast b/test/passes/precompute.wast
index b339a55d4..da4185b6a 100644
--- a/test/passes/precompute.wast
+++ b/test/passes/precompute.wast
@@ -1,6 +1,7 @@
 (module
   (memory 0)
   (type $0 (func (param i32)))
+  (global $global$0 (mut i32) (i32.const 0))
   (func $x (type $0) (param $x i32)
     (call $x
       (i32.add