Remarques pour Control

This commit is contained in:
Léonard Gérard 2011-11-17 15:20:45 +01:00
parent 5a263b0cbd
commit fa956a00ad

View file

@ -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