Changeset 2689 for src/ERTL


Ignore:
Timestamp:
Feb 21, 2013, 7:23:17 PM (7 years ago)
Author:
tranquil
Message:
  • fixed passes up to linearisation
Location:
src/ERTL
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r2681 r2689  
    314314    match s' return λ_.step_block LTL globals with
    315315    [ COMMENT c ⇒ [COMMENT … c]
    316     | COST_LABEL cost_lbl ⇒ [COST_LABEL … cost_lbl]
    317316    | POP r ⇒
    318317      POP … A ::
     
    369368      ]
    370369    ]
     370  | COST_LABEL cost_lbl ⇒ 〈[ ], λ_.COST_LABEL … cost_lbl, [ ]〉
    371371  | COND r ltrue ⇒
    372372    〈add_dummy_variance … (move RegisterA (lookup r)),λ_.COND … it ltrue, [ ]〉
  • 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.