Changeset 1179 for src/LIN


Ignore:
Timestamp:
Sep 5, 2011, 11:58:58 AM (8 years ago)
Author:
mulligan
Message:

changes to ertl, ltl and lin to use new notion of joint params. ertl to ltl pass in process of being changed

Location:
src/LIN
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1171 r1179  
    22
    33definition lin_params: params ≝
    4  mk_params unit unit unit unit registers_move Register.
     4 mk_params
     5   label unit unit unit unit registers_move Register
     6     unit unit unit unit.
    57
    68definition pre_lin_statement ≝
    7  λglobals: list ident. joint_statement unit unit lin_params globals.
     9 λglobals: list ident. joint_statement lin_params globals.
    810
    911definition lin_statement ≝
  • src/LIN/LINToASM.ma

    r1168 r1179  
    3535      match instr' with
    3636      [ joint_instr_cost_label lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    37       | joint_instr_cond lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     37      | joint_instr_cond acc_a_reg lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    3838      | _ ⇒ set_empty ?
    3939      ]
    4040    | joint_st_return ⇒ set_empty ?
    4141    | joint_st_goto lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     42    | joint_st_extension _ ⇒ set_empty ?
    4243    ]
    4344  in
     
    9091  match statement with
    9192  [ joint_st_goto lbl ⇒ Jmp (word_of_identifier ? lbl)
     93  | joint_st_extension ext ⇒ Instruction (NOP ?) (* XXX: NOP or something else? *)
    9294  | joint_st_return ⇒ Instruction (RET ?)
    9395  | joint_st_sequential instr _ ⇒
Note: See TracChangeset for help on using the changeset viewer.