Binary 0xd changes (#803)

* Renumber opcodes for 0xd

* Unified type encoding

* Add reserved flags fields to host instructions and call_indirect

* Rename flags->reserved

* Fix line numbers in wast parser

Also don't throw if the memory is defined in the same Element as the
export of memory (the validity is checked later anyway).

* Skip spec binary.wast

The spec testsuite is still on 0xc, so 0xd doesn't match. In order to
update to 0xd we need to implement some additional functionality for the
import test, namely (register)

1 files changed, 2 insertions, 1 deletions

diff --git a/check.py b/check.py
index d6b1dc601..df9633de8 100755
--- a/check.py
+++ b/check.py
@@ -445,7 +445,8 @@ for t in tests:
 print '\n[ checking wasm-shell spec testcases... ]\n'
 
 if len(requested) == 0:
-  BLACKLIST = ['memory.wast'] # FIXME we support old and new memory formats, for now, until 0xc, and so can't pass this old-style test
+  BLACKLIST = ['memory.wast', 'binary.wast'] # FIXME we support old and new memory formats, for now, until 0xc, and so can't pass this old-style test.
+  # FIXME to update the spec to 0xd, we need to implement (register "name") for import.wast
   spec_tests = [os.path.join('spec', t) for t in sorted(os.listdir(os.path.join(options.binaryen_test, 'spec'))) if t not in BLACKLIST]
 else:
   spec_tests = requested[:]