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.llcontext -> Llvm.lltype
  28                      = "llvm_intptr_type"
  29 external qualified_pointer_size : DataLayout.t -> int -> int
  30                                 = "llvm_qualified_pointer_size"
  31 external qualified_intptr_type : DataLayout.t -> Llvm.llcontext ->
  32                                  int -> Llvm.lltype
  33                                = "llvm_qualified_intptr_type"
  34 external size_in_bits : DataLayout.t -> Llvm.lltype -> Int64.t
  35                       = "llvm_size_in_bits"
  36 external store_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_store_size"
  37 external abi_size : DataLayout.t -> Llvm.lltype -> Int64.t = "llvm_abi_size"
  38 external abi_align : DataLayout.t -> Llvm.lltype -> int = "llvm_abi_align"
  39 external stack_align : DataLayout.t -> Llvm.lltype -> int = "llvm_stack_align"
  40 external preferred_align : DataLayout.t -> Llvm.lltype -> int
  41                          = "llvm_preferred_align"
  42 external preferred_align_of_global : DataLayout.t -> Llvm.llvalue -> int
  43                                    = "llvm_preferred_align_of_global"
  44 external element_at_offset : DataLayout.t -> Llvm.lltype -> Int64.t -> int
  45                            = "llvm_element_at_offset"
  46 external offset_of_element : DataLayout.t -> Llvm.lltype -> int -> Int64.t
  47                            = "llvm_offset_of_element"