diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-09-12 17:03:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 17:03:14 +0200 |
| commit | a7c8e4f4ef4a5f0a15283cd3f0999f3fa24e581d (patch) | |
| tree | a2960647cb46ecb19a6a63539f2a894df7fd1474 /cfrontend/PrintClight.ml | |
| parent | f3bdf0c70faa9e69359bd06b78570c60a569a7cb (diff) | |
| download | compcert-kvx-a7c8e4f4ef4a5f0a15283cd3f0999f3fa24e581d.tar.gz compcert-kvx-a7c8e4f4ef4a5f0a15283cd3f0999f3fa24e581d.zip | |
Reworked json export.
The json export prints formatted json, which takes a lot of
additional time, however the result is only consumed by other tools
and not meant for human reading.
This commit implements several small changes in order to speedup
the json export:
* Removal of usage of the Format Module
* Replacing `fprintf` calls by calls to function that print
directly, such as `output_string`, etc.
* Replacing list of all instruction names by a set of all
instructions
Diffstat (limited to 'cfrontend/PrintClight.ml')
0 files changed, 0 insertions, 0 deletions