Index: src/trusted/validator_mips/dgen/optimize-table.py |
diff --git a/src/trusted/validator_mips/dgen/optimize-table.py b/src/trusted/validator_mips/dgen/optimize-table.py |
new file mode 100755 |
index 0000000000000000000000000000000000000000..1f6900c7876ee3a26d592c073342ed4e6f851015 |
--- /dev/null |
+++ b/src/trusted/validator_mips/dgen/optimize-table.py |
@@ -0,0 +1,37 @@ |
+#!/usr/bin/python |
+# |
+# Copyright 2012 The Native Client Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can |
+# be found in the LICENSE file. |
+# Copyright 2012, Google Inc. |
+# |
+ |
+"""Table optimizer script. |
+ |
+Usage: optimize_table.py <input-table> <output-table> |
+""" |
+ |
+import sys |
+import dgen_input |
+import dgen_dump |
+ |
+def main(argv): |
+ in_filename, out_filename = argv[1], argv[2] |
+ |
+ print "Optimizer reading ", in_filename |
+ f = open(in_filename, 'r') |
+ tables = dgen_input.parse_tables(f) |
+ f.close() |
+ |
+ print "Successful - got %d tables." % len(tables) |
+ |
+ print "Generating output to %s..." % out_filename |
+ f = open(out_filename, 'w') |
+ dgen_dump.dump_tables(tables, f) |
+ f.close() |
+ print "Completed." |
+ |
+ return 0 |
+ |
+if __name__ == '__main__': |
+ sys.exit(main(sys.argv)) |