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