Ignore:
Timestamp:
Nov 25, 2011, 7:43:39 PM (8 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
File:
1 edited

Legend:

Unmodified
Added
Removed
  • 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
Note: See TracChangeset for help on using the changeset viewer.