diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-26 15:14:58 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-26 15:14:58 +0200 |
| commit | c310fe9acf361dd6862d894523ff979806ac4536 (patch) | |
| tree | 6f6661c3836688181eed39fff0cf90b105832a9b /Changelog | |
| parent | dcdd7e30645885ee5bcc44d318ee4a9a99eaea4f (diff) | |
| download | compcert-kvx-c310fe9acf361dd6862d894523ff979806ac4536.tar.gz compcert-kvx-c310fe9acf361dd6862d894523ff979806ac4536.zip | |
Integrated fixup code in estimated size.
12 was a too small overaproximation for call which require fixup
code for arguments and result. The new constant is 72, which
consists of 4 for the branch instruction, 16 * 4 for the arguments
and 4 for the result.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions