diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-15 10:43:30 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-15 10:43:30 +0100 |
commit | ab6c84c6caa819328018e9e8629c9ecc6802dcd3 (patch) | |
tree | 6842518081cbb5902eebdcb8595af9e404215787 /backend/RTLgen.v | |
parent | 5dced0aa523a7598aed729f38b3fc142cb833779 (diff) | |
download | compcert-ab6c84c6caa819328018e9e8629c9ecc6802dcd3.tar.gz compcert-ab6c84c6caa819328018e9e8629c9ecc6802dcd3.zip |
Be more conservative in emiting constants.
Switch tables were able to screw up the book keeping for emiting
constants in code. Now we estimate the size of an instruction
before printing it by the safe upper bound of 12 for normal
instructions, 1024 for inline assembler and
(2 or 3 + length switch tbl) * 4 for switch tables depending on
thumb etc.
Bug 20598
Diffstat (limited to 'backend/RTLgen.v')
0 files changed, 0 insertions, 0 deletions