Changeset 630 for Deliverables/D2.2
- Timestamp:
- Mar 3, 2011, 6:27:12 PM (9 years ago)
- 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"1 let parser_lib = "/home/ayache/Downloads/Bol/Deliverables/D2.2/8051/lib" -
Deliverables/D2.2/8051/src/ASM/ASMCosts.ml
r621 r630 32 32 let _, addr = BitVectors.half_add pc (BitVectors.sign_extension addr) in 33 33 Branch addr 34 | `RET -> Return34 | `RET | `RETI -> Return 35 35 | _ -> Other 36 36 … … 53 53 (Printf.sprintf 54 54 "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) ; 56 56 max cost1 cost2 57 57 -
Deliverables/D2.2/8051/src/acc.ml
r619 r630 8 8 1. Parse. 9 9 10 2. Labellize. 11 (Only if {!Options.annotation_requested}) 10 2. Labelize. 12 11 13 12 3. Compile to the target language. -
Deliverables/D2.2/8051/src/clight/clightInterpret.ml
r624 r630 296 296 297 297 let eval_div = function 298 (*299 298 | ((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 v2303 299 | ((v1,t1),(v2,t2)) when t1=t2 && is_float_type t1 -> 304 300 assert false (*Not supported*) -
Deliverables/D2.2/8051/src/common/intValue.ml
r619 r630 117 117 118 118 (* 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 120 123 121 124 let signed_op op a b = op (signed a) (signed b)
Note: See TracChangeset
for help on using the changeset viewer.