From 271f87ba08f42340900378c0797511d4071fc1b8 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 31 May 2021 16:55:18 +0200
Subject: BTL Scheduler oracle and some drafts

---
 scheduling/BTLScheduleraux.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'scheduling/BTLScheduleraux.ml')

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'
-- 
cgit