diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-06-26 10:05:58 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-06-26 10:05:58 -0700 |
| commit | 87f3020cf4e666a6eb6620106e48ee042cd2f666 (patch) | |
| tree | 87895bf1dacf0657a1dd8408425abbdb34ceda14 /scripts/process_optimize_instructions.py | |
| parent | 4ad7b4317d77c161cab69f5ae2b52b1583c96f11 (diff) | |
| download | binaryen-87f3020cf4e666a6eb6620106e48ee042cd2f666.tar.gz binaryen-87f3020cf4e666a6eb6620106e48ee042cd2f666.tar.bz2 binaryen-87f3020cf4e666a6eb6620106e48ee042cd2f666.zip | |
rewrite OptimizeInstructions to use a dsl of patterns
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() |