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

Location:
Deliverables/D2.2/8051/src/ERTL
Files:
2 edited

Legend:

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

    r1572 r1580  
    155155      (print_statement stmt)
    156156      s in
    157   ERTLUtilities.dfs_fold f c entry ""
     157  let module U = GraphUtilities.Util(ERTLGraph) in
     158  U.dfs_fold f c entry ""
    158159  (* Label.Map.fold f c "" *)
    159160
  • Deliverables/D2.2/8051/src/ERTL/liveness.ml

    r1572 r1580  
    108108  | St_op2 (I8051.Sub, r, _, _, _) ->
    109109    L.join (L.hsingleton I8051.carry) (L.psingleton r)
    110   | St_op1 (I8051.Inc, r, _, _)
    111110  | St_get_hdw (r, _, _)
    112111  | St_framesize (r, _)
Note: See TracChangeset for help on using the changeset viewer.