diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-06-26 11:00:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-26 11:00:02 -0700 |
| commit | 45b358706c86415c5982f9e777fa9e19a33b27a3 (patch) | |
| tree | d1caa4180c8d0f4a76319fd11f8b18f9f446e6c3 /scripts/process_optimize_instructions.py | |
| parent | c410d93d3af9813f889b4011f964d4becf43bc27 (diff) | |
| parent | 87f3020cf4e666a6eb6620106e48ee042cd2f666 (diff) | |
| download | binaryen-45b358706c86415c5982f9e777fa9e19a33b27a3.tar.gz binaryen-45b358706c86415c5982f9e777fa9e19a33b27a3.tar.bz2 binaryen-45b358706c86415c5982f9e777fa9e19a33b27a3.zip | |
Merge pull request #602 from WebAssembly/dsl-nice
Use a DSL in OptimizeInstructions
Diffstat (limited to 'scripts/process_optimize_instructions.py')
| -rwxr-xr-x | scripts/process_optimize_instructions.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/process_optimize_instructions.py b/scripts/process_optimize_instructions.py new file mode 100755 index 000000000..a9337b13b --- /dev/null +++ b/scripts/process_optimize_instructions.py @@ -0,0 +1,16 @@ +#!/usr/bin/python + +import os + +root = os.path.dirname(os.path.dirname(__file__)) + +infile = os.path.join(root, 'src', 'passes', 'OptimizeInstructions.wast') +outfile = os.path.join(root, 'src', 'passes', + 'OptimizeInstructions.wast.processed') + +out = open(outfile, 'w') + +for line in open(infile): + out.write('"' + line.strip().replace('"', '\\"') + '\\n"\n') + +out.close() |