Changeset 3079


Ignore:
Timestamp:
Apr 3, 2013, 5:03:39 PM (4 years ago)
Author:
tranquil
Message:

added printing of ERTL, LTL and LIN's ext_seq's.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r3070 r3079  
    169169    Obj.magic (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
    170170 ; print_call_dest = (fun _ -> "")
    171  ; print_ext_seq = (fun ertl_seq -> "TODO" )
     171 ; print_ext_seq =
     172     (fun ext -> match Obj.magic ext with
     173     | Extracted.ERTL.Ertl_new_frame -> "NEW FRAME"
     174     | Extracted.ERTL.Ertl_del_frame -> "DEL FRAME"
     175     | Extracted.ERTL.Ertl_frame_size r -> "FRAMESIZE " ^ print_register r)
    172176 }
    173177
     
    187191    (fun n ->string_of_int (Extracted.Glue.int_of_matitanat (Obj.magic n)))
    188192 ; print_call_dest = (fun _ -> "")
    189  ; print_ext_seq = (fun ltl_lin_seq -> "TO BE IMPLEMENTED" )
     193 ; print_ext_seq =
     194     (fun ext -> match Obj.magic ext with
     195     | Extracted.Joint_LTL_LIN.SAVE_CARRY -> "SAVE_CARRY"
     196     | Extracted.Joint_LTL_LIN.RESTORE_CARRY -> "RESTORE_CARRY"
     197     |  Extracted.Joint_LTL_LIN.HIGH_ADDRESS l ->
     198       Format.sprintf "HIGH_ADDRESS l_%d" (Extracted.Glue.int_of_matitapos l)
     199     |  Extracted.Joint_LTL_LIN.LOW_ADDRESS l ->
     200       Format.sprintf "LOW_ADDRESS l_%d" (Extracted.Glue.int_of_matitapos l))
    190201 }
    191202
Note: See TracChangeset for help on using the changeset viewer.