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/ASM/I8051.ml

    r1488 r1568  
    1111  | Cmpl
    1212  | Inc
     13  (* | Dec *)
     14  | Rl
    1315
    1416type op2 =
     
    2729  | Cmpl -> "cmpl"
    2830  | Inc -> "inc"
     31  | Rl -> "rotl"
    2932
    3033let print_op2 = function
     
    5760    | Cmpl -> Val.cmpl
    5861    | Inc -> Val.succ
     62    | Rl -> Val.rotl
    5963
    6064  let op2 carry op2 v1 v2 = match op2 with
Note: See TracChangeset for help on using the changeset viewer.