Changeset 630 for Deliverables/D2.2


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

Paris update in D2.2.

Location:
Deliverables/D2.2/8051
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/myocamlbuild_config.ml

    r625 r630  
    1 let parser_lib = "/home/dpm/Projects/Cerco/Deliverables/D2.2/8051/lib"
     1let parser_lib = "/home/ayache/Downloads/Bol/Deliverables/D2.2/8051/lib"
  • 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
  • Deliverables/D2.2/8051/src/acc.ml

    r619 r630  
    88    1. Parse.
    99
    10     2. Labellize.
    11        (Only if {!Options.annotation_requested})
     10    2. Labelize.
    1211
    1312    3. Compile to the target language.
  • Deliverables/D2.2/8051/src/clight/clightInterpret.ml

    r624 r630  
    296296
    297297let eval_div = function
    298 (*
    299298  | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.div v1 v2
    300 *)
    301   (* TODO: temporary hack! *)
    302   | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.divu v1 v2
    303299  | ((v1,t1),(v2,t2)) when t1=t2 && is_float_type t1 ->
    304300      assert false (*Not supported*)
  • Deliverables/D2.2/8051/src/common/intValue.ml

    r619 r630  
    117117
    118118  (* Signed value of [a]. *)
    119   let signed a = sub_big_int (cast a) half_bound
     119  let signed a =
     120    let a = cast a in
     121    if lt_big_int a half_bound then a
     122    else sub_big_int a _mod
    120123
    121124  let signed_op op a b = op (signed a) (signed b)
Note: See TracChangeset for help on using the changeset viewer.