source: Deliverables/D2.2/8051/src/driver.ml @ 740

Last change on this file since 740 was 740, checked in by ayache, 10 years ago

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

File size: 623 bytes
Line 
1
2(** This module defines the target architecture and instanciates the memory
3    functor for each intermediate language. *)
4
5module DataSize32 =
6struct
7  let alignment = Some 4
8  let int_size = 4
9  let ptr_size = 4
10end
11
12(* The target architecture: the Intel 8051. *)
13
14module TargetArch = I8051
15
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 TracBrowser for help on using the repository browser.