Changeset 2754 for src/ASM/ASM.ma


Ignore:
Timestamp:
Mar 1, 2013, 10:26:31 AM (7 years ago)
Author:
sacerdot
Message:
  1. WARNING: I commented out one of James's function used in compiler.ma because it was undefined (partial commit). To be restored.
  2. The type of labelled_object_code programs now has a symbol table, used to generate the intensional events function call/return.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2708 r2754  
    984984
    985985definition labelled_instruction ≝ labelled_obj ASMTag pseudo_instruction.
    986 definition preamble ≝ list (Identifier × Word).
     986(* The first associative list assigns symbol names to addresses in data memory.
     987   The second associative list assigns to Identifiers meant to be entry points
     988   of functions the name of the function (that lives in a different namespace) *)
     989definition preamble ≝ list (Identifier × Word) × (list (Identifier × ident)).
    987990definition assembly_program ≝ list instruction.
    988991definition pseudo_assembly_program ≝ preamble × (list labelled_instruction).
     992
     993definition object_code ≝ list Byte.
     994definition costlabel_map ≝ BitVectorTrie costlabel 16.
     995definition symboltable_type ≝ BitVectorTrie ident 16.
     996definition labelled_object_code ≝ object_code × (costlabel_map × symboltable_type).
    989997
    990998(* labels & instructions *)
Note: See TracChangeset for help on using the changeset viewer.