aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEhsan Akhgari <ehsan.akhgari@gmail.com>2012-02-16 14:05:04 -0500
committerEhsan Akhgari <ehsan.akhgari@gmail.com>2012-03-28 11:01:24 -0700
commitd241868b63fcd306f3ff1007b57363391b724a46 (patch)
tree4e02278e75d438b0172776ee9fb1d488806202f0
parentafe92a7af9836d53fd9729e392201cb33ac4cb94 (diff)
Add a script to strip the contents of functions in llvm assembly
This can be useful for debugging.
-rwxr-xr-xtools/ll-strip.py56
1 files changed, 56 insertions, 0 deletions
diff --git a/tools/ll-strip.py b/tools/ll-strip.py
new file mode 100755
index 00000000..b03e4f3a
--- /dev/null
+++ b/tools/ll-strip.py
@@ -0,0 +1,56 @@
+#!/usr/bin/python
+
+import sys, re
+
+def print_usage():
+ print >> sys.stderr, "Usage: ll-strip.py file from to"
+ print >> sys.stderr, "\tStrip function bodies in all ll file in the [from, to] range"
+ sys.exit(1)
+
+try:
+ range_from = int(sys.argv[2])
+ range_to = int(sys.argv[3])
+ if range_from >= range_to:
+ raise "error"
+ file = open(sys.argv[1])
+except:
+ print_usage()
+
+func_start = re.compile("^define\s")
+func_end = re.compile("^}$")
+
+function_counter = 0
+in_function = False
+line_number = 0
+skip = False
+dummy_stmt = "unreachable"
+for orig_line in file:
+ line = orig_line.strip()
+ if func_start.match(line):
+ if in_function:
+ print >> sys.stderr, "Discovered a function inside another function!"
+ sys.exit(1)
+ in_function = True
+ line_number = 0
+ skip = False
+ function_counter = function_counter + 1
+ elif func_end.match(line):
+ if not in_function:
+ print >> sys.stderr, "Discovered a function end without a matching beginning!"
+ sys.exit(1)
+ in_function = False
+ line_number = 0
+ skip = False
+ elif in_function:
+ line_number = line_number + 1
+ if not skip and line_number == 1:
+ if line == dummy_stmt:
+ function_counter = function_counter - 1
+ if range_from <= function_counter <= range_to and line_number == 1:
+ #import pdb;pdb.set_trace()
+ if line != dummy_stmt:
+ skip = True
+ print dummy_stmt
+ if not skip:
+ print orig_line.rstrip("\n")
+