src/binaryen/scripts/process_optimize_instructions.py

   1 #!/usr/bin/python
   2
   3 import os
   4
   5 root = os.path.dirname(os.path.dirname(__file__))
   6
   7 infile = os.path.join(root, 'src', 'passes', 'OptimizeInstructions.wast')
   8 outfile = os.path.join(root, 'src', 'passes',
   9                        'OptimizeInstructions.wast.processed')
  10
  11 out = open(outfile, 'w')
  12
  13 for line in open(infile):
  14   out.write('"' + line.strip().replace('"', '\\"') + '\\n"\n')
  15
  16 out.close()