Merge pull request #499 from WebAssembly/validation-fixes

Validation fixes

4 files changed, 6 insertions, 6 deletions

diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index 13caa8c89..8de127340 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -118,7 +118,7 @@ void test_core() {
     makeUnary(module, BinaryenPromoteFloat32(), 3),
     makeUnary(module, BinaryenDemoteFloat64(), 4),
     makeUnary(module, BinaryenReinterpretInt32(), 1),
-    makeUnary(module, BinaryenReinterpretInt64(), 1),
+    makeUnary(module, BinaryenReinterpretInt64(), 2),
     // Binary
     makeBinary(module, BinaryenAdd(), 1),
     makeBinary(module, BinaryenSub(), 4),
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 7a1366888..e878984a3 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -125,7 +125,7 @@ BinaryenFloat64: 4
           (i32.const -10)
         )
         (f64.reinterpret/i64
-          (i32.const -10)
+          (i64.const -22)
         )
         (i32.add
           (i32.const -10)
diff --git a/test/reg_switch.wast b/test/reg_switch.wast
index b53d45f54..60a294af0 100644
--- a/test/reg_switch.wast
+++ b/test/reg_switch.wast
@@ -2,10 +2,10 @@
   (memory 0)
   (func $0
     (if
-      (nop)
+      (i32.const 0)
       (block $A
         (br_table $A
-          (nop)
+          (i32.const 0)
         )
       )
     )
diff --git a/test/reg_switch.wast.fromBinary b/test/reg_switch.wast.fromBinary
index 89a2fe061..7ea792099 100644
--- a/test/reg_switch.wast.fromBinary
+++ b/test/reg_switch.wast.fromBinary
@@ -3,11 +3,11 @@
   (type $0 (func))
   (func $0 (type $0)
     (if
-      (nop)
+      (i32.const 0)
       (block $label$0
         (block $label$1
           (br_table $label$1
-            (nop)
+            (i32.const 0)
           )
         )
       )