Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (9 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/ERTL/ERTLPrinter.ml

    r486 r818  
    7272    Printf.sprintf "move %s, %s --> %s"
    7373      (Register.print dstr) (Register.print srcr) lbl
    74   | ERTL.St_opaccs (opaccs, dstr, srcr1, srcr2, lbl) ->
    75     Printf.sprintf "%s %s, %s, %s --> %s"
     74  | ERTL.St_opaccsA (opaccs, dstr, srcr1, srcr2, lbl) ->
     75    Printf.sprintf "%sA %s, %s, %s --> %s"
     76      (I8051.print_opaccs opaccs)
     77      (Register.print dstr)
     78      (Register.print srcr1)
     79      (Register.print srcr2)
     80      lbl
     81  | ERTL.St_opaccsB (opaccs, dstr, srcr1, srcr2, lbl) ->
     82    Printf.sprintf "%sB %s, %s, %s --> %s"
    7683      (I8051.print_opaccs opaccs)
    7784      (Register.print dstr)
     
    94101  | ERTL.St_clear_carry lbl ->
    95102    Printf.sprintf "clear CARRY --> %s" lbl
     103  | ERTL.St_set_carry lbl ->
     104    Printf.sprintf "set CARRY --> %s" lbl
    96105  | ERTL.St_load (dstr, addr1, addr2, lbl) ->
    97106    Printf.sprintf "load %s, (%s, %s) --> %s"
     
    127136      (print_args args)
    128137*)
    129   | ERTL.St_condacc (srcr, lbl_true, lbl_false) ->
     138  | ERTL.St_cond (srcr, lbl_true, lbl_false) ->
    130139    Printf.sprintf "branch %s <> 0 --> %s, %s"
    131140      (Register.print srcr) lbl_true lbl_false
Note: See TracChangeset for help on using the changeset viewer.