diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-04-21 21:26:32 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-22 10:12:24 -0700 |
commit | 0a43823615155f956f078ce7b7a8a580bc01fbe1 (patch) | |
tree | 741d1b423ea3f8f9430c96559df13524c970f7d1 /scripts | |
parent | a35db41bcca092212328b6be2fa0eddb635f2f3f (diff) | |
download | binaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.tar.gz binaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.tar.bz2 binaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.zip |
br_table offsets are int32s, not lebs
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/spidermonkify.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 9c99b4087..b199faafc 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -59,8 +59,8 @@ new Uint8Array(wasmTextToBinary(os.file.readFile("test/hello_world.wast"))))' investigate with >>> map(chr, map(ord, open('moz.wasm').read())) or -import json; print json.dumps(map(chr, -map(ord, open('moz.wasm').read()))).replace(',', '\n') +python -c "print str(map(chr,map(ord, + open('a.out.wasm').read()))).replace(',', '\n')" ''' subprocess.check_call( emscripten.shared.SPIDERMONKEY_ENGINE + |