diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 16:55:18 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 16:55:18 +0200 |
commit | 271f87ba08f42340900378c0797511d4071fc1b8 (patch) | |
tree | 8b861fa3221b179bb8e3ad339864cdb7c541d46a /scheduling/BTLScheduleraux.ml | |
parent | e6a1df51a2a3d29c58d72453355e50a979e86297 (diff) | |
download | compcert-kvx-271f87ba08f42340900378c0797511d4071fc1b8.tar.gz compcert-kvx-271f87ba08f42340900378c0797511d4071fc1b8.zip |
BTL Scheduler oracle and some drafts
Diffstat (limited to 'scheduling/BTLScheduleraux.ml')
-rw-r--r-- | scheduling/BTLScheduleraux.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scheduling/BTLScheduleraux.ml b/scheduling/BTLScheduleraux.ml index ad0c307d..b87636e1 100644 --- a/scheduling/BTLScheduleraux.ml +++ b/scheduling/BTLScheduleraux.ml @@ -4,6 +4,7 @@ open Registers open BTL open BTLtypes open DebugPrint +open PrintBTL open RTLcommonaux open InstructionScheduler open PrepassSchedulingOracleDeps @@ -243,8 +244,11 @@ let rec do_schedule btl = function let btl' = schedule_blk n ibf btl in do_schedule btl' blks -let btl_scheduler btl = +let btl_scheduler f = + let btl = f.fn_code in (*debug_flag := true;*) let btl' = do_schedule btl (PTree.elements btl) in + debug "Scheduled BTL Code:\n"; + print_btl_code stderr btl'; (*debug_flag := false;*) btl' |