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

(** This module defines the target architecture and instanciates the memory
    functor for each intermediate language. *)

(* Clight as an interpretation independant from the target
   architecture. Integers and addresses are 4 bytes long. *)

module DataSize32 =
struct
  let alignment = Some 4
  let int_size = 4
  let ptr_size = 4
end

(* The target architecture: the Intel 8051. *)

module TargetArch = I8051

module ClightMemory = Memory.Make (DataSize32)
module CminorMemory = Memory.Make (TargetArch)
module RTLabsMemory = Memory.Make (TargetArch)
module RTLMemory    = Memory.Make (TargetArch)
module ERTLMemory   = Memory.Make (TargetArch)
module LTLMemory    = Memory.Make (TargetArch)
module LINMemory    = Memory.Make (TargetArch)