wasm-merge tool (#919)

wasm-merge tool: combines two wasm files into a larger one, handling collisions, and aware of the dynamic linking conventions. it does not do full static linking, but may eventually.

1 files changed, 22 insertions, 0 deletions

diff --git a/check.py b/check.py
index f9ef1145b..57eedc423 100755
--- a/check.py
+++ b/check.py
@@ -215,6 +215,28 @@ for t in tests:
       if actual != expected:
         fail(actual, expected)
 
+print '\n[ checking wasm-merge... ]\n'
+
+for t in os.listdir(os.path.join('test', 'merge')):
+  if t.endswith(('.wast', '.wasm')):
+    print '..', t
+    t = os.path.join('test', 'merge', t)
+    u = t + '.toMerge'
+    for finalize in [0, 1]:
+      for opt in [0, 1]:
+        cmd = [os.path.join('bin', 'wasm-merge'), t, u, '-o', 'a.wast', '-S', '--verbose']
+        if finalize: cmd += ['--finalize-memory-base=1024', '--finalize-table-base=8']
+        if opt: cmd += ['-O']
+        stdout = run_command(cmd)
+        actual = open('a.wast').read()
+        out = t + '.combined'
+        if finalize: out += '.finalized'
+        if opt: out += '.opt'
+        with open(out) as f:
+          fail_if_not_identical(f.read(), actual)
+        with open(out + '.stdout') as f:
+          fail_if_not_identical(f.read(), stdout)
+
 print '\n[ checking wasm-shell spec testcases... ]\n'
 
 if len(requested) == 0: