summaryrefslogtreecommitdiff
path: root/utils/create_ladder_graph.py
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2015-05-27 18:44:32 +0000
committerDimitry Andric <dim@FreeBSD.org>2015-05-27 18:44:32 +0000
commit5a5ac124e1efaf208671f01c46edb15f29ed2a0b (patch)
treea6140557876943cdd800ee997c9317283394b22c /utils/create_ladder_graph.py
parentf03b5bed27d0d2eafd68562ce14f8b5e3f1f0801 (diff)
Diffstat (limited to 'utils/create_ladder_graph.py')
-rw-r--r--utils/create_ladder_graph.py43
1 files changed, 43 insertions, 0 deletions
diff --git a/utils/create_ladder_graph.py b/utils/create_ladder_graph.py
new file mode 100644
index 0000000000000..d29e3ad3a10d1
--- /dev/null
+++ b/utils/create_ladder_graph.py
@@ -0,0 +1,43 @@
+#!/usr/bin/env python
+"""A ladder graph creation program.
+
+This is a python program that creates c source code that will generate
+CFGs that are ladder graphs. Ladder graphs are generally the worst case
+for a lot of dominance related algorithms (Dominance frontiers, etc),
+and often generate N^2 or worse behavior.
+
+One good use of this program is to test whether your linear time algorithm is
+really behaving linearly.
+"""
+
+import argparse
+def main():
+ parser = argparse.ArgumentParser(description=__doc__)
+ parser.add_argument('rungs', type=int,
+ help="Number of ladder rungs. Must be a multiple of 2")
+ args = parser.parse_args()
+ if (args.rungs % 2) != 0:
+ print "Rungs must be a multiple of 2"
+ return
+ print "int ladder(int *foo, int *bar, int x) {"
+ rung1 = xrange(0, args.rungs, 2)
+ rung2 = xrange(1, args.rungs, 2)
+ for i in rung1:
+ print "rung1%d:" % i
+ print "*foo = x++;"
+ if i != rung1[-1]:
+ print "if (*bar) goto rung1%d;" % (i+2)
+ print "else goto rung2%d;" % (i+1)
+ else:
+ print "goto rung2%d;" % (i+1)
+ for i in rung2:
+ print "rung2%d:" % i
+ print "*foo = x++;"
+ if i != rung2[-1]:
+ print "goto rung2%d;" % (i+2)
+ else:
+ print "return *foo;"
+ print "}"
+
+if __name__ == '__main__':
+ main()