1(*===-- llvm_target.ml - LLVM Ocaml Interface ------------------*- OCaml -*-===*
2 *
3 *                     The LLVM Compiler Infrastructure
4 *
5 * This file is distributed under the University of Illinois Open Source
6 * License. See LICENSE.TXT for details.
7 *
8 *===----------------------------------------------------------------------===*)
9
10module Endian = struct
11  type t =
12  | Big
13  | Little
14end
15
16module DataLayout = struct
17  type t
18
19  external create : string -> t = "llvm_targetdata_create"
20  external add : t -> [<Llvm.PassManager.any] Llvm.PassManager.t -> unit
21               = "llvm_targetdata_add"
22  external as_string : t -> string = "llvm_targetdata_as_string"
23  external dispose : t -> unit = "llvm_targetdata_dispose"
24end
25
26external byte_order : DataLayout.t -> Endian.t = "llvm_byte_order"
27external pointer_size : DataLayout.t -> int = "llvm_pointer_size"
28external intptr_type : DataLayout.t -> Llvm.lltype = "LLVMIntPtrType"
29external size_in_bits : DataLayout.t -> Llvm.lltype -> Int64.t
30                      = "llvm_size_in_bits"
31external store_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_store_size"
32external abi_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_abi_size"
33external abi_align : DataLayout.t -> Llvm.lltype -> int = "llvm_abi_align"
34external stack_align : DataLayout.t -> Llvm.lltype -> int = "llvm_stack_align"
35external preferred_align : DataLayout.t -> Llvm.lltype -> int
36                         = "llvm_preferred_align"
37external preferred_align_of_global : DataLayout.t -> Llvm.llvalue -> int
38                                   = "llvm_preferred_align_of_global"
39external element_at_offset : DataLayout.t -> Llvm.lltype -> Int64.t -> int
40                           = "llvm_element_at_offset"
41external offset_of_element : DataLayout.t -> Llvm.lltype -> int -> Int64.t
42                           = "llvm_offset_of_element"
43