Ignore:
Timestamp:
Oct 26, 2011, 7:45:42 PM (9 years ago)
Author:
tranquil
Message:
  • implemented constant propagation
  • implementing partial redundancy elimination
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/ERTL/liveness.ml

    r1345 r1468  
    8484end
    8585
    86 module Label_ImperativeMap = struct
    87 
    88   type key =
    89       Label.Map.key
    90  
    91   type 'data t =
    92       'data Label.Map.t ref
    93      
    94   let create () =
    95     ref Label.Map.empty
    96 
    97   let clear t =
    98     t := Label.Map.empty
    99    
    100   let add k d t =
    101     t := Label.Map.add k d !t
    102 
    103   let find k t =
    104     Label.Map.find k !t
    105 
    106   let iter f t =
    107     Label.Map.iter f !t
    108 
    109 end
    110 
    111 module F = Fix.Make (Label_ImperativeMap) (L)
     86module F = Fix.Make (Label.ImpMap) (L)
    11287
    11388(* These are the sets of variables defined at (written by) a statement. *)
Note: See TracChangeset for help on using the changeset viewer.