Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (8 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/liveness.ml

    r1462 r1542  
    1818  | St_comment (_, l)
    1919  | St_cost (_, l)
     20  | St_ind_0 (_, l)
     21  | St_ind_inc (_, l)
    2022  | St_set_hdw (_, _, l)
    2123  | St_get_hdw (_, _, l)
     
    8385end
    8486
    85 module Label_ImperativeMap = struct
    86 
    87   type key =
    88       Label.Map.key
    89  
    90   type 'data t =
    91       'data Label.Map.t ref
    92      
    93   let create () =
    94     ref Label.Map.empty
    95 
    96   let clear t =
    97     t := Label.Map.empty
    98    
    99   let add k d t =
    100     t := Label.Map.add k d !t
    101 
    102   let find k t =
    103     Label.Map.find k !t
    104 
    105   let iter f t =
    106     Label.Map.iter f !t
    107 
    108 end
    109 
    110 module F = Fix.Make (Label_ImperativeMap) (L)
     87module F = Fix.Make (Label.ImpMap) (L)
    11188
    11289(* These are the sets of variables defined at (written by) a statement. *)
     
    11794  | St_comment _
    11895  | St_cost _
     96  | St_ind_0 _
     97  | St_ind_inc _
    11998  | St_push _
    12099  | St_store _
     
    169148  | St_comment _
    170149  | St_cost _
     150  | St_ind_0 _
     151  | St_ind_inc _
    171152  | St_framesize _
    172153  | St_pop _
     
    227208  | St_comment _
    228209  | St_cost _
     210  | St_ind_0 _
     211  | St_ind_inc _
    229212  | St_newframe _
    230213  | St_delframe _
Note: See TracChangeset for help on using the changeset viewer.