Intial Thumb2 Sandbox (naclrev 6680)

src/trusted/validator_arm/generate_decoder.py

 #!/usr/bin/python
 #
-# Copyright 2009 The Native Client Authors.  All rights reserved.
+# Copyright 2011 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 2009, Google Inc.
+# Copyright 2011, Google Inc.
 #
 
 """Decoder Generator script.
 
-Usage: generate-decoder.py <table-file> <output-cc-file>
+Usage: generate-decoder.py <arm-table-file> <thumb-table-file> <output-cc-file>
 """
 
 import sys
 import dgen_input
 import dgen_output
 
-def main(argv):
-    table_filename, output_filename = argv[1], argv[2]
-
-    print "Decoder Generator reading ", table_filename
-    f = open(table_filename, 'r')
+def get_tables(filename):
+    print "Decoder Generator reading ", filename
+    f = open(filename, 'r')
     tables = dgen_input.parse_tables(f)
     f.close()
+    print "Successful - got %d tables." % len (tables)
+    return tables
 
-    print "Successful - got %d tables." % len(tables)
+def main(argv):
+    arm_filename, thumb_filename, output_filename = argv[1], argv[2], argv[3]
+    arm_tables = get_tables(arm_filename)
+    thumb_tables = get_tables(thumb_filename)
 
     print "Generating output to %s..." % output_filename
     f = open(output_filename, 'w')
-    dgen_output.generate_decoder(tables,
+    dgen_output.generate_decoder(arm_tables, thumb_tables,
         dgen_output.COutput(f))
     f.close()
+
     print "Completed."
 
     return 0
 
 if __name__ == '__main__':
     sys.exit(main(sys.argv))