diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 18:53:12 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 18:53:12 +0200 |
| commit | 99cf129352db347291e893d1102df9804fd04472 (patch) | |
| tree | 56345fc047235360795d9a2572405b0cd050924b /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 45e8a0997169b0b081f3cea500debc237e4a8c76 (diff) | |
| download | compcert-kvx-99cf129352db347291e893d1102df9804fd04472.tar.gz compcert-kvx-99cf129352db347291e893d1102df9804fd04472.zip | |
[BROKEN] still broken, just fixing a logical detail
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 75dc2495..09d5e15b 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -749,7 +749,7 @@ let latency_constraints bb = LocHash.replace written loc [!count]; LocHash.replace read loc []; (* Clearing all the entries of "read" hashmap when a register is written *) end) i.write_locs; - List.iter (fun loc -> LocHash.replace read loc (LocHash.find read loc)) i.read_locs; + List.iter (fun loc -> LocHash.replace read loc ((!count) :: (LocHash.find read loc))) i.read_locs; count := !count + 1 end in (List.iter step instr_infos; !constraints) |