Ignore:
Timestamp:
Nov 25, 2011, 7:43:39 PM (9 years ago)
Author:
tranquil
Message:
  • Immediates introduced (but not fully used yet in RTLabs to RTL pass)
  • translation streamlined
  • BUGGY: interpretation fails in LTL, trying to fetch a function with incorrect address
Location:
Deliverables/D2.2/8051/src/common
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/common/intValue.ml

    r818 r1568  
    6666  val logxor  : t -> t -> t
    6767  val shl     : t -> t -> t
     68  val rotl    : t -> t
    6869  val shr     : t -> t -> t
    6970  val shrl    : t -> t -> t
     
    176177    let pow = power_int_positive_big_int 2 (cast b) in
    177178    cast (mult_big_int a pow)
     179
     180  let rotl a =
     181    if ge_big_int a half_bound then
     182      cast (add_big_int (mult_big_int a two) one)
     183    else
     184      cast (mult_big_int a two)
    178185
    179186  let shr a b =
  • Deliverables/D2.2/8051/src/common/intValue.mli

    r818 r1568  
    6262  val logxor  : t -> t -> t
    6363  val shl     : t -> t -> t
     64  val rotl    : t -> t
    6465  val shr     : t -> t -> t
    6566  val shrl    : t -> t -> t
  • Deliverables/D2.2/8051/src/common/memory.ml

    r818 r1568  
    88
    99let error_prefix = "Memory"
    10 let error s = Error.global_error error_prefix s
     10let error s = invalid_arg (error_prefix ^ s)
    1111
    1212
  • Deliverables/D2.2/8051/src/common/value.ml

    r818 r1568  
    113113  val xor        : t -> t -> t
    114114  val shl        : t -> t -> t
     115  val rotl       : t -> t
    115116  val shr        : t -> t -> t
    116117  val shru       : t -> t -> t
     
    376377  let xor    = binary_int_op ValInt.logxor
    377378  let shl    = binary_int_op ValInt.shl
     379  let rotl   = unary_int_op ValInt.rotl
    378380  let shr    = binary_int_op ValInt.shr
    379381  let shru   = binary_int_op ValInt.shrl
  • Deliverables/D2.2/8051/src/common/value.mli

    r818 r1568  
    105105  val xor        : t -> t -> t
    106106  val shl        : t -> t -> t
     107  val rotl       : t -> t
    107108  val shr        : t -> t -> t
    108109  val shru       : t -> t -> t
Note: See TracChangeset for help on using the changeset viewer.