Ignore:
Timestamp:
Dec 2, 2011, 3:13:04 PM (8 years ago)
Author:
tranquil
Message:
  • new form of translation written in graphUtilites (mainly as a test before implementation in Matita)
  • rewritten multiplication in RTLasbToRTL
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/utilities/graphUtilities.mli

    r1580 r1584  
    6464  val dead_code_elim : G.t -> G.node -> G.t
    6565
     66  val replace : (unit -> G.node) ->
     67    G.node -> G.statement list -> G.node list option -> G.t -> G.t
     68
     69  val replace' : (unit -> G.node) -> ('u -> 't -> 'u * 'r) ->
     70    G.node -> (G.statement, 'r, 't) BList.t -> G.node list option ->
     71    'u -> G.t -> 'u * G.t
     72
     73  val insert : (unit -> G.node) ->
     74    G.node -> G.statement list -> G.t -> G.node * G.t
     75
     76  val insert' : (unit -> G.node) -> ('u -> 't -> 'u * 'r) ->
     77    G.node -> (G.statement, 'r, 't) BList.t ->
     78    'u -> G.t -> 'u * G.node * G.t
     79
     80
    6681end
    6782
     
    123138      translation.
    124139      @see translate *)
    125   val translate' : (unit -> node) -> ('u -> 'u * 'reg) ->
    126     (node -> Src.statement -> (Trg.statement, 'reg) BList.t) ->
     140  val translate' : (unit -> node) -> ('u -> 't -> 'u * 'reg) ->
     141    (node -> Src.statement -> (Trg.statement, 'reg, 't) BList.t) ->
    127142    'u -> Src.t -> 'u * Trg.t
    128143
     
    131146      @see translate'
    132147      @see translate_with_redirect *)
    133   val translate_with_redirects' : (unit -> node) -> ('u -> 'u * 'reg) ->
     148  val translate_with_redirects' : (unit -> node) -> ('u -> 't -> 'u * 'reg) ->
    134149    (node -> Src.statement ->
    135      (Trg.statement, 'reg) BList.t * node list option) ->
     150     (Trg.statement, 'reg, 't) BList.t * node list option) ->
    136151    'u -> Src.t -> 'u * Trg.t
    137152
Note: See TracChangeset for help on using the changeset viewer.