Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (9 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

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

    r643 r1542  
    5050    warning
    5151      (Printf.sprintf
    52          "Warning: branching to %s has cost %d, branching to %s has cost %d"
    53          (string_of_int (BitVectors.int_of_vect pc1)) cost1
    54          (string_of_int (BitVectors.int_of_vect pc2)) cost2) ;
     52         "Warning: branching to %X has cost %d, branching to %X has cost %d"
     53         (BitVectors.int_of_vect pc1) cost1
     54         (BitVectors.int_of_vect pc2) cost2) ;
    5555    max cost1 (compare ((pc2, cost2) :: l))
    5656  | _ :: l -> compare l
Note: See TracChangeset for help on using the changeset viewer.