Ignore:
Timestamp:
Oct 5, 2011, 10:20:41 AM (9 years ago)
Author:
tranquil
Message:

Started branch of untrusted compiler with indexed labels

  • added indexing structure to CostLabel?
  • propagated changes to other modules
  • added indexing as parameter to labelling
  • loop indexes not implemented yet, so behaviour is still the same
Location:
Deliverables/D2.2/8051-indexed-labels-branch
Files:
1 edited
1 copied

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/ASM/ASM.mli

    r619 r1291  
    102102type labelled_instruction =
    103103 [ instruction
    104  | `Cost of string
     104 | `Cost of CostLabel.t
    105105 | `Label of string
    106106 | `Jmp of string
     
    122122type program =
    123123    { code        : BitVectors.byte list ;
    124       cost_labels : string BitVectors.WordMap.t ;
     124      cost_labels : CostLabel.t BitVectors.WordMap.t ;
    125125      exit_addr   : BitVectors.word ;
    126126      has_main    : bool }
Note: See TracChangeset for help on using the changeset viewer.