source: Deliverables/D2.2/8051-indexed-labels-branch/src/driver.ml @ 1319

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

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 Memory32     = Memory.Make (DataSize32)
module MemoryTarget = Memory.Make (TargetArch)

module ClightMemory = Memory32
module CminorMemory = Memory32
module RTLabsMemory = Memory32
module RTLMemory    = MemoryTarget
module ERTLMemory   = MemoryTarget
module LTLMemory    = MemoryTarget
module LINMemory    = MemoryTarget