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 /arm/PrepassSchedulingOracle.ml | |
parent | ee2112a9bacc246e0434a19fc93aab335fd56ddd (diff) | |
download | compcert-kvx-f100ea0135d6d93307c9ef35ddc2423f23556955.tar.gz compcert-kvx-f100ea0135d6d93307c9ef35ddc2423f23556955.zip |
Changes heuristic for case "no instruction decreases pressure"
Diffstat (limited to 'arm/PrepassSchedulingOracle.ml')
0 files changed, 0 insertions, 0 deletions