Changeset 1131 for src/RTL


Ignore:
Timestamp:
Aug 29, 2011, 5:19:31 PM (9 years ago)
Author:
mulligan
Message:

changes to syntax of ertl: removed ertl_st_addr_l and ertl_st_addr_h in favourn of unified instruction ertl_st_addr

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLtoERTL.ma

    r1107 r1131  
    9797  | ertl_st_pop r _ ⇒ ertl_st_pop r l
    9898  | ertl_st_push r _ ⇒ ertl_st_push r l
    99   | ertl_st_addr_h r id _ ⇒ ertl_st_addr_h r id l
    100   | ertl_st_addr_l r id _ ⇒ ertl_st_addr_l r id l
     99  | ertl_st_addr r1 r2 x _ ⇒ ertl_st_addr r1 r2 x l
    101100  | ertl_st_int r i _ ⇒ ertl_st_int r i l
    102101  | ertl_st_move r1 r2 _ ⇒ ertl_st_move r1 r2 l
     
    489488  [ rtl_st_skip lbl' ⇒ add_graph lbl (ertl_st_skip lbl') def
    490489  | rtl_st_cost cost_lbl lbl' ⇒ add_graph lbl (ertl_st_cost cost_lbl lbl') def
    491   | rtl_st_addr r1 r2 x lbl' ⇒
    492     adds_graph [
    493       ertl_st_addr_l r1 x lbl;
    494       ertl_st_addr_h r2 x lbl
    495     ] lbl lbl' def
     490  | rtl_st_addr r1 r2 x lbl' ⇒ add_graph lbl (ertl_st_addr r1 r2 x lbl') def
    496491  | rtl_st_stack_addr r1 r2 lbl' ⇒
    497492    adds_graph [
     
    619614      | ertl_st_pop _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    620615      | ertl_st_push _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    621       | ertl_st_addr_h _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    622       | ertl_st_addr_l _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
     616      | ertl_st_addr _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    623617      | ertl_st_int _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    624618      | ertl_st_move _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
Note: See TracChangeset for help on using the changeset viewer.