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/RTLabs/RTLabsPrinter.ml

    r1542 r1568  
    168168        lbl
    169169  | RTLabs.St_load (q, addr, destr, lbl) ->
    170       Printf.sprintf "%s := *(%s) %s --> %s"
     170      Printf.sprintf "%s := (%s) *%s --> %s"
    171171        (print_reg destr)
    172172        (Memory.string_of_quantity q)
     
    174174        lbl
    175175  | RTLabs.St_store (q, addr, srcr, lbl) ->
    176       Printf.sprintf "*(%s)%s := %s --> %s"
     176      Printf.sprintf "*%s := (%s)%s --> %s"
     177        (print_arg addr)
    177178        (Memory.string_of_quantity q)
    178         (print_arg addr)
    179179        (print_arg srcr)
    180180        lbl
     
    216216        (Primitive.print_sig sg)
    217217  | RTLabs.St_cond (r, lbl_true, lbl_false) ->
    218       Printf.sprintf "%s? --> %s, %s"
     218      Printf.sprintf "if %s --> %s else --> %s"
    219219        (print_reg r)
    220220        lbl_true
Note: See TracChangeset for help on using the changeset viewer.