Changeset 1185 for src/ERTL/build.ma


Ignore:
Timestamp:
Sep 5, 2011, 5:02:53 PM (9 years ago)
Author:
mulligan
Message:

ported liveness analysis to new code

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/build.ma

    r1144 r1185  
    1616        let exceptions ≝
    1717          match stmt with
    18           [ ertl_st_move _ sr _    ⇒ lattice_psingleton sr
    19           | ertl_st_set_hdw _ sr _ ⇒ lattice_psingleton sr
    20           | ertl_st_get_hdw _ sr _ ⇒ lattice_hsingleton sr
    21           | _                      ⇒ ?
     18          [ joint_st_sequential seq l ⇒
     19            match seq with
     20            [ joint_instr_move pair_reg ⇒
     21              let reg_r ≝ \snd pair_reg in
     22              match reg_r with
     23              [ hardware hw ⇒ lattice_hsingleton hw
     24              | pseudo   ps ⇒ lattice_psingleton ps
     25              ]
     26            | _                         ⇒ ?
     27            ]
     28          | _ ⇒ ?
    2229          ]
    2330        in
     
    2532        let graph ≝
    2633          match stmt with
    27           [ ertl_st_move r1 r2 _    ⇒ ig_mkppp graph r1 r2
    28           | ertl_st_get_hdw r hwr _ ⇒ ig_mkpph graph r hwr
    29           | ertl_st_set_hdw hwr r _ ⇒ ig_mkpph graph r hwr
    30           | _                       ⇒ graph
     34          [ joint_st_sequential seq l ⇒
     35            match seq with
     36            [ joint_instr_move pair_reg ⇒
     37              let reg_l ≝ \fst pair_reg in
     38              let reg_r ≝ \snd pair_reg in
     39              match reg_l with
     40              [ pseudo ps1 ⇒
     41                match reg_r with
     42                [ pseudo ps2  ⇒ ig_mkppp graph ps1 ps2
     43                | hardware hw ⇒ ig_mkpph graph ps1 hw
     44                ]
     45              | hardware hw1 ⇒
     46                match reg_r with
     47                [ pseudo ps    ⇒ ig_mkpph graph ps hw1
     48                | hardware hw2 ⇒ graph
     49                ]
     50            | _ ⇒ graph
     51            ]
     52          | _ ⇒ graph
    3153          ]
    3254        in graph
Note: See TracChangeset for help on using the changeset viewer.