| commit | 2bff7a56400d291f6742845f5dbd794e2a3d194a | [log] [tgz] |
|---|---|---|
| author | Jayant Chowdhary <jchowdhary@google.com> | Mon Oct 23 13:50:55 2017 -0700 |
| committer | Jayant Chowdhary <jchowdhary@google.com> | Mon Nov 20 10:59:06 2017 -0800 |
| tree | 068fe634299736bf0a2a135b64a3ec0477c27db4 | |
| parent | 14b2eeb009b55cc1eeb9b366db6d22edfc6ee183 [diff] |
Optimize TextFormatToIRReader API. Make TextFormatToIRReader to return maps instead of vectors. This allows us to 'merge' two TextFormatToIRReaders more efficiently, which enables more efficient and cleaner code for multi-threaded linking. Test: tests/test.py; all tests pass. Change-Id: I6dae0080af9f36216d30370d4f4936eedcda83d1