diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-11 15:43:26 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-11 15:44:45 +0100 |
commit | 9e706de1eb25d6d6dbeb1eb2ced71e48523a499f (patch) | |
tree | 872a987a5d32976898a85e0a236d72666d6a09af /backend/Duplicateaux.ml | |
parent | c866777c56271ad8e07020e4ac437ef82af4ac9b (diff) | |
download | compcert-kvx-9e706de1eb25d6d6dbeb1eb2ced71e48523a499f.tar.gz compcert-kvx-9e706de1eb25d6d6dbeb1eb2ced71e48523a499f.zip |
Fixed stupid typo bug preventing the prediction update for the RANDOM predictor
Diffstat (limited to 'backend/Duplicateaux.ml')
-rw-r--r-- | backend/Duplicateaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 636a8d8e..209527b9 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -213,7 +213,7 @@ let get_directions code entrypoint = | None -> preferred := do_heur code cond ifso ifnot is_loop_header | Some _ -> () ) heuristics; - match !preferred with None -> preferred := Some (Random.bool ()) | Some _ -> (); + (match !preferred with None -> preferred := Some (Random.bool ()) | Some _ -> ()); directions := PTree.set n (get_some !preferred) !directions end | _ -> () |