From fa956a00adc591bb69b1788d12ee2dd461cd1919 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 17 Nov 2011 15:20:45 +0100
Subject: [PATCH] Remarques pour Control

---
 compiler/obc/control.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/obc/control.ml b/compiler/obc/control.ml
index facf02d..6d4f287 100644
--- a/compiler/obc/control.ml
+++ b/compiler/obc/control.ml
@@ -9,6 +9,8 @@
 
 (* control optimisation *)
 
+(* TODO could optimize for loops ? *)
+
 open Idents
 open Misc
 open Obc
@@ -83,7 +85,7 @@ let rec find c = function
   | (c1, s1) :: h  ->
       if c = c1 then s1, h else let s, h = find c h in s, (c1, s1) :: h
 
-let is_deadcode = function
+let is_deadcode = function (* TODO Etrange puisque c'est apres la passe de deadcode ? *)
     | Aassgn (lhs, e) ->
         (match e.e_desc with
            | Eextvalue w -> Obc_compare.compare_lhs_extvalue lhs w = 0