diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-23 10:42:47 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-23 10:42:47 +0200 |
commit | 4c1209c5c1e0e667f20f13bc02662fdc7e4868ac (patch) | |
tree | 9797168f674c9233fa4143b91c201695cb0cbe1b /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 34c136fcd0ffcfe61e3cec5c72a90a1d3bcdc941 (diff) | |
download | compcert-kvx-4c1209c5c1e0e667f20f13bc02662fdc7e4868ac.tar.gz compcert-kvx-4c1209c5c1e0e667f20f13bc02662fdc7e4868ac.zip |
(#137) Possible fix
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index b9fc3c18..fd03a80c 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -700,7 +700,10 @@ let rec get_accesses hashloc (ll: location list) = match ll with | [] -> [] | loc :: llocs -> (find_in_hash hashloc loc) @ (get_accesses hashloc llocs) -let compute_latency (ifrom: inst_info) (ito: inst_info) = ifrom.latency + (inst_info_to_dlatency ito) +let compute_latency (ifrom: inst_info) (ito: inst_info) = + let dlat = inst_info_to_dlatency ito + in let lat = ifrom.latency + dlat + in assert (lat >= 0); if (lat == 0) then 1 else lat let latency_constraints bb = let written = LocHash.create 70 |