Changeset 1149 for src/LIN


Ignore:
Timestamp:
Aug 30, 2011, 4:22:54 PM (8 years ago)
Author:
mulligan
Message:

changes to get everything type checking again after changing names of registers in i8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r1112 r1149  
    3232  let generated ≝
    3333    match instr with
    34     [ lin_st_lift l ⇒
    35       match l with
    36       [ joint_st_sequential instr' _ ⇒
    37         match instr' with
    38         [ joint_instr_cost_label lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    39         | joint_instr_cond_acc lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    40         | _ ⇒ set_empty ?
    41         ]
    42       | joint_st_return ⇒ set_empty ?
     34    [ joint_st_sequential instr' _ ⇒
     35      match instr' with
     36      [ joint_instr_cost_label lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     37      | joint_instr_cond_acc lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     38      | _ ⇒ set_empty ?
    4339      ]
    44     | lin_st_goto lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     40    | joint_st_return ⇒ set_empty ?
     41    | joint_st_goto lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    4542    ]
    4643  in
     
    9289  λstatement: pre_lin_statement globals_old.
    9390  match statement with
    94   [ lin_st_goto lbl ⇒ Jmp (word_of_identifier ? lbl)
    95   | lin_st_lift l ⇒
    96     match l with
    97     [ joint_st_return ⇒ Instruction (RET ?)
    98     | joint_st_sequential instr _ ⇒
     91  [ joint_st_goto lbl ⇒ Jmp (word_of_identifier ? lbl)
     92  | joint_st_return ⇒ Instruction (RET ?)
     93  | joint_st_sequential instr _ ⇒
    9994      match instr with
    10095      [ joint_instr_comment comment ⇒ Comment comment
     
    245240        Instruction (SETB ? CARRY)
    246241      ]
    247     ]
    248   ].
     242    ].
    249243  try assumption
    250244  try @ I
Note: See TracChangeset for help on using the changeset viewer.