Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (10 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/driver.ml

    r486 r740  
    22(** This module defines the target architecture and instanciates the memory
    33    functor for each intermediate language. *)
    4 
    5 (* Clight as an interpretation independant from the target
    6    architecture. Integers and addresses are 4 bytes long. *)
    74
    85module DataSize32 =
     
    1714module TargetArch = I8051
    1815
    19 module ClightMemory = Memory.Make (DataSize32)
    20 module CminorMemory = Memory.Make (TargetArch)
    21 module RTLabsMemory = Memory.Make (TargetArch)
    22 module RTLMemory    = Memory.Make (TargetArch)
    23 module ERTLMemory   = Memory.Make (TargetArch)
    24 module LTLMemory    = Memory.Make (TargetArch)
    25 module LINMemory    = Memory.Make (TargetArch)
     16module Memory32     = Memory.Make (DataSize32)
     17module MemoryTarget = Memory.Make (TargetArch)
     18
     19module ClightMemory = Memory32
     20module CminorMemory = Memory32
     21module RTLabsMemory = Memory32
     22module RTLMemory    = MemoryTarget
     23module ERTLMemory   = MemoryTarget
     24module LTLMemory    = MemoryTarget
     25module LINMemory    = MemoryTarget
Note: See TracChangeset for help on using the changeset viewer.