From 056658bd2986d9e12ac07a54d25c08eb8a62ff60 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@lilo.org>
Date: Wed, 28 Jul 2021 10:32:09 +0200
Subject: remove todos, clean

---
 scheduling/RTLtoBTLaux.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'scheduling/RTLtoBTLaux.ml')

diff --git a/scheduling/RTLtoBTLaux.ml b/scheduling/RTLtoBTLaux.ml
index 3de82d96..d544e87f 100644
--- a/scheduling/RTLtoBTLaux.ml
+++ b/scheduling/RTLtoBTLaux.ml
@@ -67,7 +67,6 @@ let translate_function code entry join_points liveness =
         | Some s -> (
             match inst with
             | Icond (cond, lr, ifso, ifnot, info) ->
-                (* TODO gourdinl remove this *)
                 assert (s = ifnot);
                 next_nodes := !next_nodes @ non_predicted_successors inst psucc;
                 iinfo.pcond <- info;
@@ -100,7 +99,6 @@ let rtl2btl (f : RTL.coq_function) =
   let liveness = analyze f in
   let btl = translate_function code entry join_points liveness in
   let dm = PTree.map (fun n i -> n) btl in
-  (* TODO gourdinl move elsewhere *)
   (*debug_flag := true;*)
   debug "Entry %d\n" (p2i entry);
   debug "RTL Code: ";
-- 
cgit