Ignore:
Timestamp:
Dec 1, 2011, 2:50:27 PM (8 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/RTL
Files:
4 added
2 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml

    r1572 r1580  
    129129
    130130
    131 let print_graph n c =
     131let print_graph n c entry =
    132132  let f lbl stmt s =
    133133    Printf.sprintf "%s%s: %s\n%s"
    … …  
    136136      (print_statement stmt)
    137137      s in
    138   Label.Map.fold f c ""
     138  let module U = GraphUtilities.Util(RTLGraph) in
     139  U.dfs_fold f c entry ""
    139140
    140141
    … …  
    156157    (n_spaces (n+2))
    157158    def.RTL.f_exit
    158     (print_graph (n+2) def.RTL.f_graph)
     159    (print_graph (n+2) def.RTL.f_graph def.RTL.f_entry)
    159160
    160161

  • Deliverables/D2.2/8051/src/RTL/RTLPrinter.mli

    r486 r1580  
    11
    22(** This module provides a function to print [RTL] programs. *)
     3val print_statement : RTL.statement -> string
    34
    45val print_program : RTL.program -> string
Note: See TracChangeset for help on using the changeset viewer.