| #!/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() |