Ignore:
Timestamp:
Mar 3, 2011, 6:27:12 PM (10 years ago)
Author:
ayache
Message:

Paris update in D2.2.

File:
1 edited

Legend:

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

    r621 r630  
    3232      let _, addr = BitVectors.half_add pc (BitVectors.sign_extension addr) in
    3333       Branch addr
    34   | `RET -> Return
     34  | `RET | `RETI -> Return
    3535  | _ -> Other
    3636
     
    5353      (Printf.sprintf
    5454         "Warning: branching to %s has cost %d, branching to %s has cost %d"
    55          "*fixme*"(* pc1 *) cost1 "*fixme*" (* pc2 *) cost2) ;
     55         "*fixme*" (* pc1 *) cost1 "*fixme*" (* pc2 *) cost2) ;
    5656  max cost1 cost2
    5757
Note: See TracChangeset for help on using the changeset viewer.