Changeset 1138 for src/RTL


Ignore:
Timestamp:
Aug 30, 2011, 12:08:25 PM (8 years ago)
Author:
mulligan
Message:

merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLtoERTL.ma

    r1131 r1138  
    100100  | ertl_st_int r i _ ⇒ ertl_st_int r i l
    101101  | ertl_st_move r1 r2 _ ⇒ ertl_st_move r1 r2 l
    102   | ertl_st_opaccs_a opaccs d s1 s2 _ ⇒ ertl_st_opaccs_a opaccs d s1 s2 l
    103   | ertl_st_opaccs_b opaccs d s1 s2 _ ⇒ ertl_st_opaccs_b opaccs d s1 s2 l
     102  | ertl_st_opaccs opaccs d1 d2 s1 s2 _ ⇒ ertl_st_opaccs opaccs d1 s1 s1 s2 l
    104103  | ertl_st_op1 op1 d s1 _ ⇒ ertl_st_op1 op1 d s1 l
    105104  | ertl_st_op2 op2 d s1 s2 _ ⇒ ertl_st_op2 op2 d s1 s2 l
     
    476475    add_translates (
    477476      set_params args @ [
    478       adds_graph [ ertl_st_call_id f (bitvector_of_nat ? nb_args) start_lbl ];
     477      adds_graph [ ertl_st_call_id f nb_args start_lbl ];
    479478      fetch_result ret_regs
    480479      ]
     
    497496  | rtl_st_move r1 r2 lbl' ⇒ add_graph lbl (ertl_st_move r1 r2 lbl') def
    498497  | rtl_st_opaccs op destr1 destr2 srcr1 srcr2 lbl' ⇒
     498      add_graph lbl (ertl_st_opaccs op destr1 destr2 srcr1 srcr2 lbl) def
     499(* XXX: change from o'caml
    499500    adds_graph [
    500501      ertl_st_opaccs_a op destr1 srcr1 srcr2 lbl;
    501502      ertl_st_opaccs_b op destr2 srcr1 srcr2 lbl
    502503      ] lbl lbl' def
     504*)
    503505  | rtl_st_op1 op1 destr srcr lbl' ⇒
    504506    add_graph lbl (ertl_st_op1 op1 destr srcr lbl') def
     
    617619      | ertl_st_int _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    618620      | ertl_st_move _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    619       | ertl_st_opaccs_a _ _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    620       | ertl_st_opaccs_b _ _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
     621      | ertl_st_opaccs _ _ _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    621622      | ertl_st_op1 _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
    622623      | ertl_st_op2 _ _ _ _ lbl ⇒ find_and_remove_first_cost_label_internal def lbl num_nodes'
Note: See TracChangeset for help on using the changeset viewer.