- Timestamp:
- Apr 3, 2013, 5:03:39 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/printer.ml
r3070 r3079 169 169 Obj.magic (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n)) 170 170 ; 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) 172 176 } 173 177 … … 187 191 (fun n ->string_of_int (Extracted.Glue.int_of_matitanat (Obj.magic n))) 188 192 ; 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)) 190 201 } 191 202
Note: See TracChangeset
for help on using the changeset viewer.