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 /test/regression/Results/volatile4 | |
parent | dcdd7e30645885ee5bcc44d318ee4a9a99eaea4f (diff) | |
download | compcert-c310fe9acf361dd6862d894523ff979806ac4536.tar.gz compcert-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 'test/regression/Results/volatile4')
0 files changed, 0 insertions, 0 deletions