diff options
| author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-07-28 22:04:34 +0200 |
|---|---|---|
| committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-07-28 22:04:34 +0200 |
| commit | f100ea0135d6d93307c9ef35ddc2423f23556955 (patch) | |
| tree | a1498661249fa8643bc7270814be0d0aafb0aafe /backend | |
| parent | ee2112a9bacc246e0434a19fc93aab335fd56ddd (diff) | |
| download | compcert-kvx-f100ea0135d6d93307c9ef35ddc2423f23556955.tar.gz compcert-kvx-f100ea0135d6d93307c9ef35ddc2423f23556955.zip | |
Changes heuristic for case "no instruction decreases pressure"
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions