Changeset 3070


Ignore:
Timestamp:
Apr 2, 2013, 4:49:14 PM (4 years ago)
Author:
sacerdot
Message:

Ext case of RTL implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r3043 r3070  
    140140 ; print_call_dest = Obj.magic
    141141    (fun l -> String.concat " " (List.map print_register l))
    142  ; print_ext_seq = (fun rtl_seq -> assert false )
     142 ; print_ext_seq =
     143    (fun ext ->
     144      match Obj.magic ext with
     145       Extracted.RTL.Rtl_stack_address (reg1,reg2) ->
     146        "Rtl_stack_address " ^ print_register reg1 ^ " " ^ print_register reg2)
    143147 }
    144148
Note: See TracChangeset for help on using the changeset viewer.