Changeset 2689 for src/ERTL/liveness.ma


Ignore:
Timestamp:
Feb 21, 2013, 7:23:17 PM (8 years ago)
Author:
tranquil
Message:
  • fixed passes up to linearisation
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/liveness.ma

    r2681 r2689  
    6868      | COMMENT c ⇒ rl_bottom
    6969      | STORE acc_a dpl dph ⇒ rl_bottom
    70       | COST_LABEL clabel ⇒ rl_bottom
    7170      | PUSH r ⇒ rl_bottom
    7271      | MOVE pair_reg ⇒
     
    8685    | CALL _ _ _ ⇒ 〈set_empty …, set_from_list … RegisterCallerSaved〉
    8786    | COND r lbl_true ⇒ rl_bottom
     87    | COST_LABEL clabel ⇒ rl_bottom
    8888    ]
    8989  | final _ ⇒ rl_bottom
     
    141141      | _ ⇒ rl_bottom
    142142      ]
     143    | COST_LABEL clabel ⇒ rl_bottom
    143144    | CALL _ nparams _ ⇒ 〈set_empty …, set_from_list … (prefix ? nparams RegisterParams)〉
    144145    | COND r lbl_true ⇒ rl_psingleton r
Note: See TracChangeset for help on using the changeset viewer.