Ignore:
Timestamp:
Dec 1, 2011, 2:50:27 PM (9 years ago)
Author:
tranquil
Message:

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTLabs/copyPropagation.ml

    r1572 r1580  
    6969        if Register.equal (copy_of r) (copy_of s) then copies_out else
    7070          Register.FlexMap.add r s (copies_out --* (Some r))
    71       | stmt -> copies_out --* RTLabsUtilities.modified_at_stmt stmt in
     71      | stmt -> copies_out --* RTLabsGraph.modified_at_stmt stmt in
    7272  L.big_meet copies_out (Label.Map.find lbl pred_table)
    7373
     
    7878  let graph = f_def.f_graph in
    7979
    80   let pred_table = RTLabsUtilities.compute_predecessor_lists graph in
     80  let pred_table =
     81    let module U = GraphUtilities.Util(RTLabsGraph) in
     82    U.compute_predecessor_lists graph in
    8183
    8284  F.lfp (semantics graph pred_table)
Note: See TracChangeset for help on using the changeset viewer.