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

Last change on this file since 1664 was 740, checked in by ayache, 9 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.