File: strip_local_names.py

package info (click to toggle)
binaryen 68-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 34,900 kB
  • sloc: cpp: 57,351; ansic: 3,562; python: 2,898; sh: 700; makefile: 6
file content (13 lines) | stat: -rw-r--r-- 317 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13

'''
Removes local names. When you don't care about local names but do want
to diff for structural changes, this can help.
'''

import sys

for line in open(sys.argv[1]).readlines():
  if '(local.tee ' in line or '(local.set ' in line or '(local.get ' in line:
    print line[:line.find('$')]
  else:
    print line,