Changeset 3009

Timestamp:

Mar 28, 2013, 3:09:53 PM (4 years ago)

Author:

sacerdot

Message:

New extraction.

File:

• extracted/liveness.ml (modified) (1 diff)

extracted/liveness.ml

@@ -256 +256 @@
   (match seq with
    | Joint.COST_LABEL clabel -> Obj.magic rl_bottom
-   | Joint.CALL (x, nparams, x0) ->
-     { Types.fst = Set_adt.set_empty; Types.snd =
-       (Set_adt.set_from_list
-         (Util.prefix (Obj.magic nparams) I8051.registerParams)) }
+   | Joint.CALL (f, nparams, x) ->
+     Obj.magic
+       (rl_join
+         (match f with
+          | Types.Inl x0 -> rl_bottom
+          | Types.Inr pr ->
+            rl_join (rl_arg (Obj.magic pr).Types.fst)
+              (rl_arg (Obj.magic pr).Types.snd))
+         (Obj.magic { Types.fst = Set_adt.set_empty; Types.snd =
+           (Set_adt.set_from_list
+             (Util.prefix (Obj.magic nparams) I8051.registerParams)) }))
    | Joint.COND (r, lbl_true) -> Obj.magic (rl_psingleton (Obj.magic r))
    | Joint.Step_seq s0 ->