diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-05 11:46:25 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-05 11:46:25 -0800 |
| commit | bb4c679ebd25594c1efa797ec2d643c15abc4fa7 (patch) | |
| tree | 857002eabbabbe672facd96581cf23d844bbc690 | |
| parent | 2c6f442fe58bfddc0736312ce107a5cbf6179b13 (diff) | |
| download | binaryen-bb4c679ebd25594c1efa797ec2d643c15abc4fa7.tar.gz binaryen-bb4c679ebd25594c1efa797ec2d643c15abc4fa7.tar.bz2 binaryen-bb4c679ebd25594c1efa797ec2d643c15abc4fa7.zip | |
spidermonkify improvements, enough for -O1 hello world to work
| -rw-r--r-- | scripts/spidermonkify.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 6ac04e006..0af169d77 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -29,6 +29,7 @@ js = fix(js, 'instance = Wasm.instantiateModule(binary, info)', 'instance = Wasm 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' @@ -48,7 +49,7 @@ 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:] +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 |