Changeset 1271 for src/ERTL/liveness.ma


Ignore:
Timestamp:
Sep 26, 2011, 4:24:32 PM (9 years ago)
Author:
mulligan
Message:

finished, kind of

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/liveness.ma

    r1260 r1271  
    9696    | joint_instr_load r _ _ ⇒ lattice_psingleton r
    9797    (* Potentially destroys all caller-save hardware registers. *)
    98     | joint_instr_call_id _ _ ⇒ 〈set_empty …, set_from_list … RegisterCallerSaved〉
     98    | joint_instr_call_id id _ _ ⇒ 〈set_empty …, set_from_list … RegisterCallerSaved〉
    9999    | joint_instr_comment c ⇒ lattice_bottom
    100100    | joint_instr_cond r lbl_true ⇒ lattice_bottom
     
    142142    | joint_instr_load acc_a dpl dph ⇒ lattice_join (lattice_psingleton dpl) (lattice_psingleton dph)
    143143    (* Reads the hardware registers that are used to pass parameters. *)
    144     | joint_instr_call_id _ nparams ⇒ 〈set_empty …, set_from_list … (prefix ? nparams RegisterParams)〉
     144    | joint_instr_call_id _ nparams _ ⇒ 〈set_empty …, set_from_list … (prefix ? nparams RegisterParams)〉
    145145    | joint_instr_comment c ⇒ lattice_bottom
    146146    | joint_instr_cond r lbl_true ⇒ lattice_psingleton r
     
    214214      else
    215215        Some ? l
    216     | joint_instr_call_id _ nparams ⇒ None ?
     216    | joint_instr_call_id _ nparams _ ⇒ None ?
    217217    | joint_instr_comment c ⇒ None ?
    218218    | joint_instr_cond r lbl_true ⇒ None ?
Note: See TracChangeset for help on using the changeset viewer.