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/LTL/LTLInterpret.ml

    r1542 r1568  
    123123  else error ("Unknown hardware register " ^ (I8051.print_register r) ^ ".")
    124124
     125let get_arg a st = match a with
     126  | LTL.Imm i -> Val.of_int i
     127  | LTL.Reg r -> get_reg r st
     128
    125129let push st v =
    126130  let mem = Mem.store st.mem chunk st.isp v in
     
    294298        Eval.op2 st.carry op2
    295299          (get_reg I8051.a st)
    296           (get_reg srcr st) in
     300          (get_arg srcr st) in
    297301      let st = change_carry st carry in
    298302      let st = add_reg I8051.a v st in
Note: See TracChangeset for help on using the changeset viewer.