Changeset 3009


Ignore:
Timestamp:
Mar 28, 2013, 3:09:53 PM (4 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/liveness.ml

    r2951 r3009  
    256256  (match seq with
    257257   | Joint.COST_LABEL clabel -> Obj.magic rl_bottom
    258    | Joint.CALL (x, nparams, x0) ->
    259      { Types.fst = Set_adt.set_empty; Types.snd =
    260        (Set_adt.set_from_list
    261          (Util.prefix (Obj.magic nparams) I8051.registerParams)) }
     258   | Joint.CALL (f, nparams, x) ->
     259     Obj.magic
     260       (rl_join
     261         (match f with
     262          | Types.Inl x0 -> rl_bottom
     263          | Types.Inr pr ->
     264            rl_join (rl_arg (Obj.magic pr).Types.fst)
     265              (rl_arg (Obj.magic pr).Types.snd))
     266         (Obj.magic { Types.fst = Set_adt.set_empty; Types.snd =
     267           (Set_adt.set_from_list
     268             (Util.prefix (Obj.magic nparams) I8051.registerParams)) }))
    262269   | Joint.COND (r, lbl_true) -> Obj.magic (rl_psingleton (Obj.magic r))
    263270   | Joint.Step_seq s0 ->
Note: See TracChangeset for help on using the changeset viewer.