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/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 =
Note: See TracChangeset for help on using the changeset viewer.