diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 16:17:44 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 16:17:44 +0200 |
commit | bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc (patch) | |
tree | 797388459aa43a97ec3cf696664540a5840839dc /common/Sections.ml | |
parent | 435dc0e6fe74f0ab06737360e1dc49b42b95f1e4 (diff) | |
download | compcert-bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc.tar.gz compcert-bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc.zip |
Applied a few simplification for temporary registers.
Diffstat (limited to 'common/Sections.ml')
0 files changed, 0 insertions, 0 deletions