Changeset 3009
- Timestamp:
- Mar 28, 2013, 3:09:53 PM (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/liveness.ml
r2951 r3009 256 256 (match seq with 257 257 | 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)) })) 262 269 | Joint.COND (r, lbl_true) -> Obj.magic (rl_psingleton (Obj.magic r)) 263 270 | Joint.Step_seq s0 ->
Note: See TracChangeset
for help on using the changeset viewer.