Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (10 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

Location:
Deliverables/D2.2/8051/src/ASM
Files:
3 edited

Legend:

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

    r631 r740  
    19861986
    19871987let interpret print_result p =
     1988  if print_result then Printf.printf "8051: %!" ;
    19881989  if p.ASM.has_main then
    19891990    let st = load_program p in
     
    19931994    let res = result st in
    19941995    if print_result then
    1995       Printf.printf "8051: %s\n%!" (IntValue.Int8.to_string res) ;
     1996      Printf.printf "%s\n%!" (IntValue.Int8.to_string res) ;
    19961997    (res, List.rev !trace)
    19971998  else (IntValue.Int8.zero, [])
  • Deliverables/D2.2/8051/src/ASM/I8051.ml

    r619 r740  
    183183
    184184let reg_addr r = `DIRECT (BitVectors.vect_of_int r `Eight)
     185
     186(* External RAM size *)
     187let ext_ram_size = MiscPottier.pow 2 16
     188(* Internal RAM size *)
     189let int_ram_size = MiscPottier.pow 2 8
  • Deliverables/D2.2/8051/src/ASM/I8051.mli

    r486 r740  
    6060
    6161val reg_addr : register -> [> ASM.direct]
     62
     63val ext_ram_size : int
     64val int_ram_size : int
Note: See TracChangeset for help on using the changeset viewer.