diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 21:25:14 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 21:25:14 -0800 |
| commit | bc74a6478aa229abf6dbf7269e67aeeb570e7554 (patch) | |
| tree | f24fd1e1ed75184abd5d2710a93a4b9a889a3d94 /scripts/spidermonkify.py | |
| parent | 8efa11fbb9ff8cfd8bacc9d16642e13e2bbac9b4 (diff) | |
| parent | 9407880de631fb4e9f8caa0c746e4d39f40be91d (diff) | |
| download | binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.tar.gz binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.tar.bz2 binaryen-bc74a6478aa229abf6dbf7269e67aeeb570e7554.zip | |
Merge pull request #231 from WebAssembly/spec-updates
Spec updates
Diffstat (limited to 'scripts/spidermonkify.py')
| -rw-r--r-- | scripts/spidermonkify.py | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 9851f6d25..e57ec1376 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -34,18 +34,8 @@ js = js.replace("'" + base_wast_target + "'", "'" + base_wasm_target + "'") open(js_target, 'w').write(js) shutil.copyfile(wast_target + '.mappedGlobals', wasm_target + '.mappedGlobals') -# lower cases, spidermonkey has no support for them -temp = wast_target + '.temp' -subprocess.check_call([os.path.join(binaryen_root, 'bin', 'binaryen-shell'), - wast_target, '--lower-case', '--print'], - stdout=open(temp, 'w')) -shutil.copyfile(temp, wast_target) -os.remove(temp) - # fix up wast wast = open(wast_target).read() -# tableswitch => br_table -wast = wast.replace('(tableswitch', '(br_table') # memory to page sizes PAGE_SIZE = 64 * 1024 memory_start = wast.find('(memory') + 1 |