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/LTLPrinter.ml

    r1542 r1568  
    1818
    1919let print_a = print_reg I8051.a
     20
     21let print_arg = function
     22  | LTL.Imm i -> string_of_int i
     23  | LTL.Reg r -> print_reg r
    2024
    2125
     
    5054  | LTL.St_op2 (op2, srcr, lbl) ->
    5155    Printf.sprintf "%s %s, %s --> %s"
    52       (I8051.print_op2 op2) print_a (print_reg srcr) lbl
     56      (I8051.print_op2 op2) print_a (print_arg srcr) lbl
    5357  | LTL.St_clear_carry lbl ->
    5458    Printf.sprintf "clear CARRY --> %s" lbl
Note: See TracChangeset for help on using the changeset viewer.