Merge pull request #819 from WebAssembly/optimize-memory

Pack memory segments

1 files changed, 2 insertions, 0 deletions

diff --git a/check.py b/check.py
index df9633de8..67adea9ef 100755
--- a/check.py
+++ b/check.py
@@ -370,6 +370,8 @@ for asm in tests:
           # test mem init importing
           open('a.mem', 'wb').write(asm)
           cmd += ['--mem-init=a.mem']
+          if asm[0] == 'e':
+            cmd += ['--mem-base=1024']
         if 'i64' in asm or 'wasm-only' in asm:
           cmd += ['--wasm-only']
         wasm = os.path.join(options.binaryen_test, wasm)