Changeset 1995 for src/LIN


Ignore:
Timestamp:
May 24, 2012, 7:18:35 PM (7 years ago)
Author:
campbell
Message:

Overall compiler definition; bits and pieces to
make everything happy(ish).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r1522 r1995  
    106106        [ Cmpl ⇒ Instruction (CPL ? ACC_A)
    107107        | Inc ⇒ Instruction (INC ? ACC_A)
     108        | Rl ⇒ Instruction (RL ? ACC_A)
    108109        ]
    109110      | OP2 op2 _ _ reg ⇒
     
    337338
    338339(* dpm: fresh prefix stuff needs unifying with brian *)
    339 definition translate : lin_program → pseudo_assembly_program ≝
     340definition lin_to_asm : lin_program → pseudo_assembly_program ≝
    340341  λp.
    341342  let prog_lbls ≝ program_labels … p in
Note: See TracChangeset for help on using the changeset viewer.