Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (8 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

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

    r486 r818  
    5555    Printf.sprintf "move %s, %s --> %s"
    5656      (print_reg dstr) (print_reg srcr) lbl
    57   | RTL.St_opaccs (opaccs, dstr, srcr1, srcr2, lbl) ->
    58     Printf.sprintf "%s %s, %s, %s --> %s"
     57  | RTL.St_opaccs (opaccs, dstr1, dstr2, srcr1, srcr2, lbl) ->
     58    Printf.sprintf "%s (%s, %s) %s, %s --> %s"
    5959      (I8051.print_opaccs opaccs)
    60       (print_reg dstr)
     60      (print_reg dstr1)
     61      (print_reg dstr2)
    6162      (print_reg srcr1)
    6263      (print_reg srcr2)
     
    7475  | RTL.St_clear_carry lbl ->
    7576    Printf.sprintf "clear CARRY --> %s" lbl
     77  | RTL.St_set_carry lbl ->
     78    Printf.sprintf "set CARRY --> %s" lbl
    7679  | RTL.St_load (dstr, addr1, addr2, lbl) ->
    7780    Printf.sprintf "load %s, (%s, %s) --> %s"
     
    108111      (print_reg f2)
    109112      (print_args args)
    110   | RTL.St_condacc (srcr, lbl_true, lbl_false) ->
     113  | RTL.St_cond (srcr, lbl_true, lbl_false) ->
    111114    Printf.sprintf "branch %s <> 0 --> %s, %s"
    112115      (print_reg srcr) lbl_true lbl_false
     
    128131
    129132  Printf.sprintf
    130     "%s\"%s\"%s: %s\n%slocals: %s\n%sresult: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
     133    "%s\"%s\"%s\n%slocals: %s\n%sresult: %s\n%sstacksize: %d\n%sentry: %s\n%sexit: %s\n\n%s"
    131134    (n_spaces n)
    132135    f
    133136    (print_params def.RTL.f_params)
    134     (Primitive.print_sig def.RTL.f_sig)
    135137    (n_spaces (n+2))
    136138    (print_locals def.RTL.f_locals)
Note: See TracChangeset for help on using the changeset viewer.