Changeset 740 for Deliverables/D2.2/8051/src/driver.ml
- Timestamp:
- Apr 4, 2011, 5:18:15 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/driver.ml
r486 r740 2 2 (** This module defines the target architecture and instanciates the memory 3 3 functor for each intermediate language. *) 4 5 (* Clight as an interpretation independant from the target6 architecture. Integers and addresses are 4 bytes long. *)7 4 8 5 module DataSize32 = … … 17 14 module TargetArch = I8051 18 15 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) 16 module Memory32 = Memory.Make (DataSize32) 17 module MemoryTarget = Memory.Make (TargetArch) 18 19 module ClightMemory = Memory32 20 module CminorMemory = Memory32 21 module RTLabsMemory = Memory32 22 module RTLMemory = MemoryTarget 23 module ERTLMemory = MemoryTarget 24 module LTLMemory = MemoryTarget 25 module LINMemory = MemoryTarget
Note: See TracChangeset
for help on using the changeset viewer.