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 CodeGenOptLevel = struct
  17   type t =
  18   | None
  19   | Less
  20   | Default
  21   | Aggressive
  22 end
  23
  24 module RelocMode = struct
  25   type t =
  26   | Default
  27   | Static
  28   | PIC
  29   | DynamicNoPIC
  30 end
  31
  32 module CodeModel = struct
  33   type t =
  34   | Default
  35   | JITDefault
  36   | Small
  37   | Kernel
  38   | Medium
  39   | Large
  40 end
  41
  42 module CodeGenFileType = struct
  43   type t =
  44   | AssemblyFile
  45   | ObjectFile
  46 end
  47
  48 exception Error of string
  49
  50 let () = Callback.register_exception "Llvm_target.Error" (Error "")
  51
  52 module DataLayout = struct
  53   type t
  54
  55   external of_string : string -> t = "llvm_datalayout_of_string"
  56   external as_string : t -> string = "llvm_datalayout_as_string"
  57   external add_to_pass_manager : [<Llvm.PassManager.any]
  58                                  Llvm.PassManager.t -> t -> unit
  59                                = "llvm_datalayout_add_to_pass_manager"
  60   external byte_order : t -> Endian.t = "llvm_datalayout_byte_order"
  61   external pointer_size : t -> int = "llvm_datalayout_pointer_size"
  62   external intptr_type : Llvm.llcontext -> t -> Llvm.lltype
  63                        = "llvm_datalayout_intptr_type"
  64   external qualified_pointer_size : int -> t -> int
  65                                   = "llvm_datalayout_qualified_pointer_size"
  66   external qualified_intptr_type : Llvm.llcontext -> int -> t -> Llvm.lltype
  67                                  = "llvm_datalayout_qualified_intptr_type"
  68   external size_in_bits : Llvm.lltype -> t -> Int64.t
  69                         = "llvm_datalayout_size_in_bits"
  70   external store_size : Llvm.lltype -> t -> Int64.t
  71                       = "llvm_datalayout_store_size"
  72   external abi_size : Llvm.lltype -> t -> Int64.t
  73                     = "llvm_datalayout_abi_size"
  74   external abi_align : Llvm.lltype -> t -> int
  75                      = "llvm_datalayout_abi_align"
  76   external stack_align : Llvm.lltype -> t -> int
  77                        = "llvm_datalayout_stack_align"
  78   external preferred_align : Llvm.lltype -> t -> int
  79                            = "llvm_datalayout_preferred_align"
  80   external preferred_align_of_global : Llvm.llvalue -> t -> int
  81                                    = "llvm_datalayout_preferred_align_of_global"
  82   external element_at_offset : Llvm.lltype -> Int64.t -> t -> int
  83                              = "llvm_datalayout_element_at_offset"
  84   external offset_of_element : Llvm.lltype -> int -> t -> Int64.t
  85                              = "llvm_datalayout_offset_of_element"
  86 end
  87
  88 module Target = struct
  89   type t
  90
  91   external default_triple : unit -> string = "llvm_target_default_triple"
  92   external first : unit -> t option = "llvm_target_first"
  93   external succ : t -> t option = "llvm_target_succ"
  94   external by_name : string -> t option = "llvm_target_by_name"
  95   external by_triple : string -> t = "llvm_target_by_triple"
  96   external name : t -> string = "llvm_target_name"
  97   external description : t -> string = "llvm_target_description"
  98   external has_jit : t -> bool = "llvm_target_has_jit"
  99   external has_target_machine : t -> bool = "llvm_target_has_target_machine"
 100   external has_asm_backend : t -> bool = "llvm_target_has_asm_backend"
 101
 102   let all () =
 103     let rec step elem lst =
 104       match elem with
 105       | Some target -> step (succ target) (target :: lst)
 106       | None        -> lst
 107     in
 108     step (first ()) []
 109 end
 110
 111 module TargetMachine = struct
 112   type t
 113
 114   external create : triple:string -> ?cpu:string -> ?features:string ->
 115                     ?level:CodeGenOptLevel.t -> ?reloc_mode:RelocMode.t ->
 116                     ?code_model:CodeModel.t -> Target.t -> t
 117                   = "llvm_create_targetmachine_bytecode"
 118                     "llvm_create_targetmachine_native"
 119   external target : t -> Target.t
 120                   = "llvm_targetmachine_target"
 121   external triple : t -> string
 122                   = "llvm_targetmachine_triple"
 123   external cpu : t -> string
 124                = "llvm_targetmachine_cpu"
 125   external features : t -> string
 126                     = "llvm_targetmachine_features"
 127   external data_layout : t -> DataLayout.t
 128                        = "llvm_targetmachine_data_layout"
 129   external add_analysis_passes : [< Llvm.PassManager.any ] Llvm.PassManager.t -> t -> unit
 130                                = "llvm_targetmachine_add_analysis_passes"
 131   external set_verbose_asm : bool -> t -> unit
 132                            = "llvm_targetmachine_set_verbose_asm"
 133   external emit_to_file : Llvm.llmodule -> CodeGenFileType.t -> string ->
 134                           t -> unit
 135                         = "llvm_targetmachine_emit_to_file"
 136   external emit_to_memory_buffer : Llvm.llmodule -> CodeGenFileType.t ->
 137                                    t -> Llvm.llmemorybuffer
 138                                  = "llvm_targetmachine_emit_to_memory_buffer"
 139 end