Unreachable typing fixes (#1004)

* fix type of drop, set_local, set_global, load, etc: when operand is unreachable, so is the node itself

* support binary tests properly in test/passes

* fix unreachable typing of blocks with no name and an unreachable child

* fix continue emitting in asm2wasm

* properly handle emitting of unreachable load

1 files changed, 4 insertions, 3 deletions

diff --git a/auto_update_tests.py b/auto_update_tests.py
index 0c07001e2..d76d08750 100755
--- a/auto_update_tests.py
+++ b/auto_update_tests.py
@@ -84,9 +84,10 @@ for t in sorted(os.listdir(os.path.join('test', 'print'))):
     with open(os.path.join('test', 'print', wasm + '.minified.txt'), 'w') as o: o.write(actual)
 
 for t in sorted(os.listdir(os.path.join('test', 'passes'))):
-  if t.endswith('.wast'):
+  if t.endswith(('.wast', '.wasm')):
     print '..', t
-    passname = os.path.basename(t).replace('.wast', '')
+    binary = '.wasm' in t
+    passname = os.path.basename(t).replace('.wast', '').replace('.wasm', '')
     opts = ['-' + passname] if passname.startswith('O') else ['--' + p for p in passname.split('_')]
     t = os.path.join('test', 'passes', t)
     actual = ''
@@ -95,7 +96,7 @@ for t in sorted(os.listdir(os.path.join('test', 'passes'))):
       with open('split.wast', 'w') as o: o.write(module)
       cmd = WASM_OPT + opts + ['split.wast', '--print']
       actual += run_command(cmd)
-    with open(os.path.join('test', 'passes', passname + '.txt'), 'w') as o: o.write(actual)
+    with open(os.path.join('test', 'passes', passname + ('.bin' if binary else '') + '.txt'), 'w') as o: o.write(actual)
 
 print '\n[ checking wasm-opt -o notation... ]\n'