diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-14 14:46:01 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-14 14:46:01 +0200 |
commit | 3eb3751f84348a20b7ce211fdbf1d01a9c4685a8 (patch) | |
tree | e8479e3e6ca285fc71a11b94889e35675ce625cb /scheduling/InstructionScheduler.mli | |
parent | 66e15205c40de54639387a4c9b1cc78994525d55 (diff) | |
download | compcert-kvx-3eb3751f84348a20b7ce211fdbf1d01a9c4685a8.tar.gz compcert-kvx-3eb3751f84348a20b7ce211fdbf1d01a9c4685a8.zip |
One fewer spill with new sched on `test/.../spille_forw.c`
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
0 files changed, 0 insertions, 0 deletions