Changeset 198 for Deliverables/D4.1
- Timestamp:
- Oct 19, 2010, 2:20:10 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r196 r198 262 262 let scn_str = (string_of_int <*> int_of_vect $ status.scon) ^ " (" ^ string_of_vect status.scon ^ ")" in 263 263 let sbf_str = (string_of_int <*> int_of_vect $ status.sbuf) ^ " (" ^ string_of_vect status.sbuf ^ ")" in 264 let tcn_str = (string_of_int <*> int_of_vect $ status.tcon) ^ " (" ^ string_of_vect status.tcon ^ ")" in 265 let tmd_str = (string_of_int <*> int_of_vect $ status.tmod) ^ " (" ^ string_of_vect status.tmod ^ ")" in 264 266 let r0_str = (string_of_int <*> int_of_vect $ get_register status (false, false, false)) ^ " (" ^ (string_of_vect $ get_register status (false, false, false)) ^ ")" in 265 267 let r1_str = (string_of_int <*> int_of_vect $ get_register status (false, false, true)) ^ " (" ^ (string_of_vect $ get_register status (false, false, true)) ^ ")" in … … 292 294 " SCON: " ^ scn_str ^ "\n" ^ 293 295 " SBUF: " ^ sbf_str ^ "\n" ^ 296 " TMOD: " ^ tmd_str ^ "\n" ^ 297 " TCON: " ^ tcn_str ^ "\n" ^ 294 298 " Registers: \n" ^ 295 299 " R0 : " ^ r0_str ^ "\n" ^ … … 302 306 " R7 : " ^ r7_str ^ "\n" ^ 303 307 "-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-\n" 308 304 309 (* timings taken from SIEMENS *) 305 310 -
Deliverables/D4.1/test.ml
r196 r198 12 12 let _ = prerr_string (BitVectors.hex_string_of_vect pc) in 13 13 let _ = prerr_endline (": " ^ pp_instruction instr) in 14 match instr with14 (* match instr with 15 15 `SJMP (`REL b) -> 16 if int_of_vect b = 254 || int_of_vect b = 0 then 16 if int_of_vect b = 254 || int_of_vect b = 0 then*) 17 17 prerr_endline <*> string_of_status $ status 18 else18 (* else 19 19 () 20 | _ -> () 20 | _ -> ()*) 21 21 in 22 22 (* DPM: for debugging! *)
Note: See TracChangeset
for help on using the changeset viewer.