Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (10 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/Pretty.ml

    r645 r818  
    100100  let f (s, pc) _ =
    101101    let (inst, new_pc, cost) = ASMInterpret.fetch mem pc in
    102     (Printf.sprintf "%s% 6s  %- 18s ;; %d  %s\n"
     102    (Printf.sprintf "%s% 6X:  %- 18s ;; %d  %s\n"
    103103       s
    104        ((string_of_int (BitVectors.int_of_vect pc)) ^ ":")
     104       (BitVectors.int_of_vect pc)
    105105       (pp_instruction inst)
    106106       cost
Note: See TracChangeset for help on using the changeset viewer.