Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (8 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml

    r1568 r1572  
    3131let print_ptr rl = print_reg_list "[" "]" " ; " print_reg rl
    3232
    33 let print_args rl = print_reg_list "(" ")" ", " print_reg rl
     33let print_args rl = print_reg_list "(" ")" ", " print_arg rl
    3434
    35 let print_return rl = print_reg_list "[" "]" " ; " print_reg rl
     35let print_returned rl = print_reg_list "[" "]" " ; " print_reg rl
     36
     37let print_return rl = print_reg_list "[" "]" " ; " print_arg rl
    3638
    3739let print_params rl = print_reg_list "(" ")" ", " Register.print rl
     
    6971      (print_reg dstr1)
    7072      (print_reg dstr2)
    71       (print_reg srcr1)
    72       (print_reg srcr2)
     73      (print_arg srcr1)
     74      (print_arg srcr2)
    7375      lbl
    7476  | RTL.St_op1 (op1, dstr, srcr, lbl) ->
     
    7981      (I8051.print_op2 op2)
    8082      (print_reg dstr)
    81       (print_reg srcr1)
     83      (print_arg srcr1)
    8284      (print_arg srcr2)
    8385      lbl
     
    8991    Printf.sprintf "load %s, (%s, %s) --> %s"
    9092      (print_reg dstr)
    91       (print_reg addr1)
    92       (print_reg addr2)
     93      (print_arg addr1)
     94      (print_arg addr2)
    9395      lbl
    9496  | RTL.St_store (addr1, addr2, srcr, lbl) ->
    9597    Printf.sprintf "store (%s, %s), %s --> %s"
    96       (print_reg addr1)
    97       (print_reg addr2)
    98       (print_reg srcr)
     98      (print_arg addr1)
     99      (print_arg addr2)
     100      (print_arg srcr)
    99101      lbl
    100102  | RTL.St_call_id (f, args, dstrs, lbl) ->
     
    102104      f
    103105      (print_args args)
    104       (print_return dstrs)
     106      (print_returned dstrs)
    105107      lbl
    106108  | RTL.St_call_ptr (f1, f2, args, dstrs, lbl) ->
     
    109111      (print_reg f2)
    110112      (print_args args)
    111       (print_return dstrs)
     113      (print_returned dstrs)
    112114      lbl
    113115  | RTL.St_tailcall_id (f, args) ->
Note: See TracChangeset for help on using the changeset viewer.