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