[OCaml] Make Llvm_target.DataLayout.t automatically managed
[oota-llvm.git] / bindings / ocaml / target / llvm_target.ml
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
10 module Endian = struct
11   type t =
12   | Big
13   | Little
14 end
15
16 module 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 end
24
25 external byte_order : DataLayout.t -> Endian.t = "llvm_byte_order"
26 external pointer_size : DataLayout.t -> int = "llvm_pointer_size"
27 external intptr_type : DataLayout.t -> Llvm.lltype = "llvm_intptr_type"
28 external size_in_bits : DataLayout.t -> Llvm.lltype -> Int64.t
29                       = "llvm_size_in_bits"
30 external store_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_store_size"
31 external abi_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_abi_size"
32 external abi_align : DataLayout.t -> Llvm.lltype -> int = "llvm_abi_align"
33 external stack_align : DataLayout.t -> Llvm.lltype -> int = "llvm_stack_align"
34 external preferred_align : DataLayout.t -> Llvm.lltype -> int
35                          = "llvm_preferred_align"
36 external preferred_align_of_global : DataLayout.t -> Llvm.llvalue -> int
37                                    = "llvm_preferred_align_of_global"
38 external element_at_offset : DataLayout.t -> Llvm.lltype -> Int64.t -> int
39                            = "llvm_element_at_offset"
40 external offset_of_element : DataLayout.t -> Llvm.lltype -> int -> Int64.t
41                            = "llvm_offset_of_element"