diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-15 14:44:56 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-15 14:44:56 +0200 |
commit | 87c82b6fcf2bf825a8c60fc6a95498aac9f826d4 (patch) | |
tree | 162a8642b85de5005ef7d63e50a789e73f6d6673 /cparser/Elab.mli | |
parent | 19464b3992eadf7670acc7231896103ab54885e5 (diff) | |
download | compcert-kvx-87c82b6fcf2bf825a8c60fc6a95498aac9f826d4.tar.gz compcert-kvx-87c82b6fcf2bf825a8c60fc6a95498aac9f826d4.zip |
kinda fixed
Spills are definitely reduced, but lots of arbitrary in there:
See previous commit: need to determine what to do if pressure is too
high but no schedulable instruction can reduce it. For now, advance
time for at most 5 cycles, if still no suitable instruction, go back
to CSP
Diffstat (limited to 'cparser/Elab.mli')
0 files changed, 0 insertions, 0 deletions