Changeset 2718 for extracted/liveness.ml


Ignore:
Timestamp:
Feb 23, 2013, 1:19:21 AM (7 years ago)
Author:
sacerdot
Message:

set_empty turned from a value to a function because it is not implemented yet

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/liveness.ml

    r2717 r2718  
    116116let register_lattice =
    117117  { Fixpoints.l_bottom =
    118     (Obj.magic { Types.fst = Set_adt.set_empty; Types.snd =
    119       Set_adt.set_empty }); Fixpoints.l_equal = (fun left right ->
     118    (Obj.magic { Types.fst = Set_adt.set_empty (); Types.snd =
     119      Set_adt.set_empty () }); Fixpoints.l_equal = (fun left right ->
    120120    Bool.andb
    121121      (Set_adt.set_equal
     
    140140let rl_psingleton r =
    141141  Obj.magic { Types.fst = (Set_adt.set_singleton r); Types.snd =
    142     Set_adt.set_empty }
     142    Set_adt.set_empty () }
    143143
    144144(** val rl_hsingleton : I8051.register -> __ **)
    145145let rl_hsingleton r =
    146   Obj.magic { Types.fst = Set_adt.set_empty; Types.snd =
     146  Obj.magic { Types.fst = Set_adt.set_empty (); Types.snd =
    147147    (Set_adt.set_singleton r) }
    148148
     
    167167   | Joint.COST_LABEL clabel -> rl_bottom
    168168   | Joint.CALL (x, x0, x1) ->
    169      Obj.magic { Types.fst = Set_adt.set_empty; Types.snd =
     169     Obj.magic { Types.fst = Set_adt.set_empty (); Types.snd =
    170170       (Set_adt.set_from_list I8051.registerCallerSaved) }
    171171   | Joint.COND (r, lbl_true) -> rl_bottom
     
    238238   | Joint.COST_LABEL clabel -> Obj.magic rl_bottom
    239239   | Joint.CALL (x, nparams, x0) ->
    240      { Types.fst = Set_adt.set_empty; Types.snd =
     240     { Types.fst = Set_adt.set_empty (); Types.snd =
    241241       (Set_adt.set_from_list
    242242         (Util.prefix (Obj.magic nparams) I8051.registerParams)) }
     
    297297   | Joint.GOTO l -> Obj.magic rl_bottom
    298298   | Joint.RETURN ->
    299      { Types.fst = Set_adt.set_empty; Types.snd =
     299     { Types.fst = Set_adt.set_empty (); Types.snd =
    300300       (Set_adt.set_union (Set_adt.set_from_list I8051.registerCalleeSaved)
    301301         ret_regs) }
Note: See TracChangeset for help on using the changeset viewer.