From 23c01485970efa11a7207ac2124f5922a011b0d4 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 20 Jul 2021 20:01:12 +0200
Subject: new expansion oracle for BTL

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

(limited to 'scheduling/BTLScheduleraux.ml')

diff --git a/scheduling/BTLScheduleraux.ml b/scheduling/BTLScheduleraux.ml
index 98bc4590..6a114b74 100644
--- a/scheduling/BTLScheduleraux.ml
+++ b/scheduling/BTLScheduleraux.ml
@@ -60,7 +60,9 @@ let rec do_schedule btl = function
 let btl_scheduler f =
   let btl = f.fn_code in
   (*debug_flag := true;*)
-  let btl' = do_schedule btl (PTree.elements btl) in
+  let elts = PTree.elements btl in
+  find_last_reg elts;
+  let btl' = do_schedule btl elts in
   debug "Scheduled BTL Code:\n";
   print_btl_code stderr btl';
   (*debug_flag := false;*)
-- 
cgit