Index: src/trusted/validator_arm/dgen_dump.py |
diff --git a/src/trusted/validator_arm/dgen_dump.py b/src/trusted/validator_arm/dgen_dump.py |
deleted file mode 100644 |
index a585e2be62eaad072f4ff980efd53e12c5dcf5ca..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_arm/dgen_dump.py |
+++ /dev/null |
@@ -1,50 +0,0 @@ |
-#!/usr/bin/python |
-# |
-# Copyright 2009 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. |
-# |
- |
-""" |
-Produces a table from the in-memory representation. Useful for storing the |
-optimized table for later use. |
-""" |
- |
-import dgen_opt |
- |
-def dump_tables(tables, out): |
- """Dumps the given tables into a text file. |
- |
- Args: |
- tables: list of Table objects to process. |
- out: an output stream. |
- """ |
- if len(tables) == 0: raise Exception('No tables provided.') |
- |
- _generate_header(out) |
- for t in tables: |
- _generate_table(t, out) |
- |
-def _generate_header(out): |
- # TODO do we need a big ridiculous license banner in generated code? |
- out.write('# DO NOT EDIT: GENERATED CODE\n') |
- |
- |
-def _generate_table(t, out): |
- rows = dgen_opt.optimize_rows(t.rows) |
- print ('Table %s: %d rows minimized to %d.' |
- % (t.name, len(t.rows), len(rows))) |
- |
- out.write('\n') |
- out.write('-- %s (%s)\n' % (t.name, t.citation)) |
- num_cols = len(rows[0].patterns) |
- headers = ['pat%- 31s' % (str(n) + '(31:0)') for n in range(0, num_cols)] |
- out.write(''.join(headers)) |
- out.write('\n') |
- for row in rows: |
- out.write(''.join(['%- 34s' % p for p in row.patterns])) |
- out.write(row.action) |
- if row.arch: |
- out.write('(%s)' % row.arch) |
- out.write('\n') |