Changeset 3079 for driver

Timestamp:

Apr 3, 2013, 5:03:39 PM (7 years ago)

Author:

tranquil

Message:

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

File:

• driver/printer.ml (modified) (2 diffs)

driver/printer.ml

@@ -169 +169 @@
     Obj.magic (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
  ; print_call_dest = (fun _ -> "")
- ; print_ext_seq = (fun ertl_seq -> "TODO" )
+ ; print_ext_seq =
+     (fun ext -> match Obj.magic ext with
+     | Extracted.ERTL.Ertl_new_frame -> "NEW FRAME"
+     | Extracted.ERTL.Ertl_del_frame -> "DEL FRAME"
+     | Extracted.ERTL.Ertl_frame_size r -> "FRAMESIZE " ^ print_register r)
  }
 
@@ -187 +191 @@
     (fun n ->string_of_int (Extracted.Glue.int_of_matitanat (Obj.magic n)))
  ; print_call_dest = (fun _ -> "")
- ; print_ext_seq = (fun ltl_lin_seq -> "TO BE IMPLEMENTED" )
+ ; print_ext_seq =
+     (fun ext -> match Obj.magic ext with
+     | Extracted.Joint_LTL_LIN.SAVE_CARRY -> "SAVE_CARRY"
+     | Extracted.Joint_LTL_LIN.RESTORE_CARRY -> "RESTORE_CARRY"
+     |  Extracted.Joint_LTL_LIN.HIGH_ADDRESS l ->
+       Format.sprintf "HIGH_ADDRESS l_%d" (Extracted.Glue.int_of_matitapos l)
+     |  Extracted.Joint_LTL_LIN.LOW_ADDRESS l ->
+       Format.sprintf "LOW_ADDRESS l_%d" (Extracted.Glue.int_of_matitapos l))
  }