aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-06-18 16:08:25 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-06-18 16:08:25 +0200
commit82db72dbd06eced8f72ca4a41e08892b908b5036 (patch)
tree995d4ead95fd6aadb151b3d2b88ee70b2037655e /mppa_k1c/PostpassSchedulingOracle.ml
parentb480d21954b63abb93411e7691e4cafc9d658f3f (diff)
downloadcompcert-kvx-82db72dbd06eced8f72ca4a41e08892b908b5036.tar.gz
compcert-kvx-82db72dbd06eced8f72ca4a41e08892b908b5036.zip
Reverting the unwanted time measurement from the other branch
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r--mppa_k1c/PostpassSchedulingOracle.ml15
1 files changed, 1 insertions, 14 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml
index b54dfeda..462e9cd0 100644
--- a/mppa_k1c/PostpassSchedulingOracle.ml
+++ b/mppa_k1c/PostpassSchedulingOracle.ml
@@ -906,7 +906,7 @@ let print_bb oc bb =
let asm_instructions = Asm.unfold_bblock bb
in List.iter (print_inst oc) asm_instructions
-let real_do_schedule bb =
+let do_schedule bb =
let problem = build_problem bb
in let solution = (if !Clflags.option_fpostpass_sched = "ilp" then
validated_scheduler cascaded_scheduler
@@ -927,19 +927,6 @@ let real_do_schedule bb =
end;
bundles)
-let do_schedule bb =
- let nb_instructions = Camlcoq.Z.to_int64 @@ Asmvliw.size bb
- in let start_time = (Gc.major(); (Unix.times ()).Unix.tms_utime)
- in let sched = real_do_schedule bb
- in let refer = ref sched
- in begin
- for i = 1 to 100-1 do
- refer := (if i > 0 then real_do_schedule bb else real_do_schedule bb);
- done;
- Printf.printf "%Ld: %f\n" nb_instructions ((Unix.times ()).Unix.tms_utime -. start_time);
- sched
- end
-
(**
* Dumb schedule if the above doesn't work
*)