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

Last change on this file since 486 was 486, checked in by ayache, 8 years ago

Deliverable D2.2

File size: 745 bytes
Line 
1
2(** This module defines the target architecture and instanciates the memory
3    functor for each intermediate language. *)
4
5(* Clight as an interpretation independant from the target
6   architecture. Integers and addresses are 4 bytes long. *)
7
8module DataSize32 =
9struct
10  let alignment = Some 4
11  let int_size = 4
12  let ptr_size = 4
13end
14
15(* The target architecture: the Intel 8051. *)
16
17module TargetArch = I8051
18
19module ClightMemory = Memory.Make (DataSize32)
20module CminorMemory = Memory.Make (TargetArch)
21module RTLabsMemory = Memory.Make (TargetArch)
22module RTLMemory    = Memory.Make (TargetArch)
23module ERTLMemory   = Memory.Make (TargetArch)
24module LTLMemory    = Memory.Make (TargetArch)
25module LINMemory    = Memory.Make (TargetArch)
Note: See TracBrowser for help on using the repository browser.