llvm_target.ml revision 3e0c83559397c87e06ef29c41385e7adc34573c2 
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 TargetData = 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 invalidate_struct_layout : t -> Llvm.lltype -> unit
24                                    = "llvm_targetdata_invalidate_struct_layout"
25  external dispose : t -> unit = "llvm_targetdata_dispose"
26end
27
28external byte_order : TargetData.t -> Endian.t = "llvm_byte_order"
29external pointer_size : TargetData.t -> int = "llvm_pointer_size"
30external intptr_type : TargetData.t -> Llvm.lltype = "LLVMIntPtrType"
31external size_in_bits : TargetData.t -> Llvm.lltype -> Int64.t
32                      = "llvm_size_in_bits"
33external store_size : TargetData.t -> Llvm.lltype -> Int64.t = "llvm_store_size"
34external abi_size : TargetData.t -> Llvm.lltype -> Int64.t = "llvm_abi_size"
35external abi_align : TargetData.t -> Llvm.lltype -> int = "llvm_abi_align"
36external stack_align : TargetData.t -> Llvm.lltype -> int = "llvm_stack_align"
37external preferred_align : TargetData.t -> Llvm.lltype -> int
38                         = "llvm_preferred_align"
39external preferred_align_of_global : TargetData.t -> Llvm.llvalue -> int
40                                   = "llvm_preferred_align_of_global"
41external element_at_offset : TargetData.t -> Llvm.lltype -> Int64.t -> int
42                           = "llvm_element_at_offset"
43external offset_of_element : TargetData.t -> Llvm.lltype -> int -> Int64.t
44                           = "llvm_offset_of_element"
45