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 /driver | |
| 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 'driver')
0 files changed, 0 insertions, 0 deletions