]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/driver.ml
Package description and copyright added.
[pkg-cerco/acc.git] / src / driver.ml
1
2 (** This module defines the target architecture and instanciates the memory
3     functor for each intermediate language. *)
4
5 module DataSize32 =
6 struct
7   let alignment = Some 4
8   let int_size = 4
9   let ptr_size = 4
10 end
11
12 (* The target architecture: the Intel 8051. *)
13
14 module TargetArch = I8051
15
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