diff options
Diffstat (limited to 'scripts/spidermonkify.py')
-rw-r--r-- | scripts/spidermonkify.py | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py new file mode 100644 index 000000000..9851f6d25 --- /dev/null +++ b/scripts/spidermonkify.py @@ -0,0 +1,67 @@ +''' +A bunch of hackish fixups for testing of SpiderMonkey support. We should +get rid of these ASAP. +''' + +import os +import sys +import math +import shutil +import subprocess + +import emscripten + +binaryen_root = os.path.abspath(os.path.dirname(os.path.dirname(__file__))) + +js_target = sys.argv[1] +wast_target = sys.argv[2] + +wasm_target = wast_target[:-5] + '.wasm' + +base_wast_target = os.path.basename(wast_target) +base_wasm_target = os.path.basename(wasm_target) + + +def fix(js, before, after): + assert js.count(before) == 1 + return js.replace(before, after) + +# fix up js +js = open(js_target).read() +# use the wasm, not wast +js = js.replace('"' + base_wast_target + '"', '"' + base_wasm_target + '"') +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 +memory_end = wast.find(')', memory_start) +memory = wast[memory_start:memory_end] +parts = memory.split(' ') +parts[1] = str(int(math.ceil(float(parts[1]) / PAGE_SIZE))) +if len(parts) == 3: + parts[2] = str(int(math.ceil(float(parts[2]) / PAGE_SIZE))) +wast = wast[:memory_start] + ' '.join(parts) + \ + wast[memory_end:memory_end + 1] + \ + ' (export "memory" memory) ' + wast[memory_end + 1:] +open(wast_target, 'w').write(wast) + +# convert to binary using spidermonkey +subprocess.check_call(emscripten.shared.SPIDERMONKEY_ENGINE + + ['-e', 'os.file.writeTypedArrayToFile("' + wasm_target + \ + '", new Uint8Array(wasmTextToBinary(os.file.readFile("' + \ + wast_target + '"))))']) |