Changeset 3070

Timestamp:

Apr 2, 2013, 4:49:14 PM (8 years ago)

Author:

sacerdot

Message:

Ext case of RTL implemented.

File:

• driver/printer.ml (modified) (1 diff)

driver/printer.ml

@@ -140 +140 @@
  ; print_call_dest = Obj.magic
     (fun l -> String.concat " " (List.map print_register l))
- ; print_ext_seq = (fun rtl_seq -> assert false )
+ ; print_ext_seq =
+    (fun ext ->
+      match Obj.magic ext with
+       Extracted.RTL.Rtl_stack_address (reg1,reg2) ->
+        "Rtl_stack_address " ^ print_register reg1 ^ " " ^ print_register reg2)
  }