From c5ab566cc3343d3b9e07eab4855b0dbfb2c81afe Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Wed, 26 Oct 2016 10:11:27 -0700 Subject: 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) --- check.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'check.py') 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[:] -- cgit v1.2.3