package llvm

You can search for identifiers within the package.

in-package search v0.2.0

package llvm

llvm.all_backends.shared
- Llvm_all_backends
llvm.all_backends.static
- Llvm_all_backends
llvm.analysis.shared
- Llvm_analysis
llvm.analysis.static
- Llvm_analysis
llvm.bitreader.shared
- Llvm_bitreader
llvm.bitreader.static
- Llvm_bitreader
llvm.bitwriter.shared
- Llvm_bitwriter
llvm.bitwriter.static
- Llvm_bitwriter
llvm.debuginfo.shared
- Llvm_debuginfo
llvm.debuginfo.static
- Llvm_debuginfo
llvm.executionengine.shared
- Llvm_executionengine
llvm.executionengine.static
- Llvm_executionengine
llvm.ipo.shared
- Llvm_ipo
llvm.ipo.static
- Llvm_ipo
llvm.irreader.shared
- Llvm_irreader
llvm.irreader.static
- Llvm_irreader
llvm.linker.shared
- Llvm_linker
llvm.linker.static
- Llvm_linker
llvm.passmgr_builder.shared
- Llvm_passmgr_builder
llvm.passmgr_builder.static
- Llvm_passmgr_builder
llvm.scalar_opts.shared
- Llvm_scalar_opts
llvm.scalar_opts.static
- Llvm_scalar_opts
llvm.shared
- Llvm
llvm.static
- Llvm
llvm.target.shared
- Llvm_target
llvm.target.static
- Llvm_target
llvm.transform_utils.shared
- Llvm_transform_utils
llvm.transform_utils.static
- Llvm_transform_utils
llvm.vectorize.shared
- Llvm_vectorize
llvm.vectorize.static
- Llvm_vectorize
llvm_AArch64.shared
- Llvm_AArch64
llvm_AArch64.static
- Llvm_AArch64
llvm_AMDGPU.shared
- Llvm_AMDGPU
llvm_AMDGPU.static
- Llvm_AMDGPU
llvm_ARM.shared
- Llvm_ARM
llvm_ARM.static
- Llvm_ARM
llvm_AVR.shared
- Llvm_AVR
llvm_AVR.static
- Llvm_AVR
llvm_BPF.shared
- Llvm_BPF
llvm_BPF.static
- Llvm_BPF
llvm_Hexagon.shared
- Llvm_Hexagon
llvm_Hexagon.static
- Llvm_Hexagon
llvm_Lanai.shared
- Llvm_Lanai
llvm_Lanai.static
- Llvm_Lanai
llvm_LoongArch.shared
- Llvm_LoongArch
llvm_LoongArch.static
- Llvm_LoongArch
llvm_M68k.shared
- Llvm_M68k
llvm_M68k.static
- Llvm_M68k
llvm_MSP430.shared
- Llvm_MSP430
llvm_MSP430.static
- Llvm_MSP430
llvm_Mips.shared
- Llvm_Mips
llvm_Mips.static
- Llvm_Mips
llvm_NVPTX.shared
- Llvm_NVPTX
llvm_NVPTX.static
- Llvm_NVPTX
llvm_PowerPC.shared
- Llvm_PowerPC
llvm_PowerPC.static
- Llvm_PowerPC
llvm_RISCV.shared
- Llvm_RISCV
llvm_RISCV.static
- Llvm_RISCV
llvm_Sparc.shared
- Llvm_Sparc
llvm_Sparc.static
- Llvm_Sparc
llvm_SystemZ.shared
- Llvm_SystemZ
llvm_SystemZ.static
- Llvm_SystemZ
llvm_VE.shared
- Llvm_VE
llvm_VE.static
- Llvm_VE
llvm_WebAssembly.shared
- Llvm_WebAssembly
llvm_WebAssembly.static
- Llvm_WebAssembly
llvm_X86.shared
- Llvm_X86
llvm_X86.static
- Llvm_X86
llvm_XCore.shared
- Llvm_XCore
llvm_XCore.static
- Llvm_XCore
llvm_Xtensa.shared
- Llvm_Xtensa
llvm_Xtensa.static
- Llvm_Xtensa

Legend:
Library
Module
Module type
Parameter
Class
Class type

type lldibuilder

module DWARFSourceLanguageKind : sig ... end

Source languages known by DWARF.

module DIFlag : sig ... end

type lldiflags

An opaque type to represent OR of multiple DIFlag.t.

val diflags_get : DIFlag.t -> lldiflags

diflags_set f Construct an lldiflags value with a single flag f.

val diflags_set : lldiflags -> DIFlag.t -> lldiflags

diflags_set fs f Include flag f in fs and return the new value.

val diflags_test : lldiflags -> DIFlag.t -> bool

diflags_test fs f Does fs contain flag f?

module MetadataKind : sig ... end

The kind of metadata nodes.

module DWARFEmissionKind : sig ... end

The amount of debug information to emit.

val debug_metadata_version : unit -> int

debug_metadata_version () The current debug metadata version number

val get_module_debug_metadata_version : Llvm.llmodule -> int

get_module_debug_metadata_version m Version of metadata present in m.

val dibuilder : Llvm.llmodule -> lldibuilder

dibuilder m Create a debug info builder for m.

val dibuild_finalize : lldibuilder -> unit

dibuild_finalize dib Construct any deferred debug info descriptors.

val dibuild_create_compile_unit : 
  lldibuilder ->
  DWARFSourceLanguageKind.t ->
  file_ref:Llvm.llmetadata ->
  producer:string ->
  is_optimized:bool ->
  flags:string ->
  runtime_ver:int ->
  split_name:string ->
  DWARFEmissionKind.t ->
  dwoid:int ->
  di_inlining:bool ->
  di_profiling:bool ->
  sys_root:string ->
  sdk:string ->
  Llvm.llmetadata

dibuild_create_compile_unit A CompileUnit provides an anchor for all debugging information generated during this instance of compilation. See LLVMDIBuilderCreateCompileUnit.

val dibuild_create_file : 
  lldibuilder ->
  filename:string ->
  directory:string ->
  Llvm.llmetadata

dibuild_create_file Create a file descriptor to hold debugging information for a file. See LLVMDIBuilderCreateFile.

val dibuild_create_module : 
  lldibuilder ->
  parent_ref:Llvm.llmetadata ->
  name:string ->
  config_macros:string ->
  include_path:string ->
  sys_root:string ->
  Llvm.llmetadata

dibuild_create_module Create a new descriptor for a module with the specified parent scope. See LLVMDIBuilderCreateModule.

val dibuild_create_namespace : 
  lldibuilder ->
  parent_ref:Llvm.llmetadata ->
  name:string ->
  export_symbols:bool ->
  Llvm.llmetadata

dibuild_create_namespace Create a new descriptor for a namespace with the specified parent scope. See LLVMDIBuilderCreateNameSpace

val dibuild_create_function : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  linkage_name:string ->
  file:Llvm.llmetadata ->
  line_no:int ->
  ty:Llvm.llmetadata ->
  is_local_to_unit:bool ->
  is_definition:bool ->
  scope_line:int ->
  flags:lldiflags ->
  is_optimized:bool ->
  Llvm.llmetadata

dibuild_create_function Create a new descriptor for the specified subprogram. See LLVMDIBuilderCreateFunction.

val dibuild_create_lexical_block : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  file:Llvm.llmetadata ->
  line:int ->
  column:int ->
  Llvm.llmetadata

dibuild_create_lexical_block Create a descriptor for a lexical block with the specified parent context. See LLVMDIBuilderCreateLexicalBlock

val llmetadata_null : unit -> Llvm.llmetadata

llmetadata_null () llmetadata is a wrapper around "llvm::Metadata *". This function returns a nullptr valued llmetadata. For example, it can be used to convey an llmetadata for "void" type.

val dibuild_create_debug_location : 
  ?inlined_at:Llvm.llmetadata ->
  Llvm.llcontext ->
  line:int ->
  column:int ->
  scope:Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create Create a new DebugLocation that describes a source location. See LLVMDIBuilderCreateDebugLocation

val di_location_get_line : location:Llvm.llmetadata -> int

di_location_get_line l Get the line number of debug location l.

val di_location_get_column : location:Llvm.llmetadata -> int

di_location_get_column l Get the column number of debug location l.

val di_location_get_scope : location:Llvm.llmetadata -> Llvm.llmetadata

di_location_get_scope l Get the local scope associated with debug location l.

val di_location_get_inlined_at : 
  location:Llvm.llmetadata ->
  Llvm.llmetadata option

di_location_get_inlined_at l Get the "inlined at" location associated with debug location l, if it exists.

val di_scope_get_file : scope:Llvm.llmetadata -> Llvm.llmetadata option

di_scope_get_file l Get the metadata of the file associated with scope s if it exists.

val di_file_get_directory : file:Llvm.llmetadata -> string

di_file_get_directory f Get the directory of file f.

val di_file_get_filename : file:Llvm.llmetadata -> string

di_file_get_filename f Get the name of file f.

val di_file_get_source : file:Llvm.llmetadata -> string

di_file_get_source f Get the source of file f.

val dibuild_get_or_create_type_array : 
  lldibuilder ->
  data:Llvm.llmetadata array ->
  Llvm.llmetadata

dibuild_get_or_create_type_array Create a type array. See LLVMDIBuilderGetOrCreateTypeArray.

val dibuild_get_or_create_array : 
  lldibuilder ->
  data:Llvm.llmetadata array ->
  Llvm.llmetadata

dibuild_get_or_create_array Create an array of DI Nodes. See LLVMDIBuilderGetOrCreateArray.

val dibuild_create_constant_value_expression : 
  lldibuilder ->
  int ->
  Llvm.llmetadata

dibuild_create_constant_value_expression Create a new descriptor for the specified variable that does not have an address, but does have a constant value. See LLVMDIBuilderCreateConstantValueExpression.

val dibuild_create_global_variable_expression : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  linkage:string ->
  file:Llvm.llmetadata ->
  line:int ->
  ty:Llvm.llmetadata ->
  is_local_to_unit:bool ->
  expr:Llvm.llmetadata ->
  decl:Llvm.llmetadata ->
  align_in_bits:int ->
  Llvm.llmetadata

dibuild_create_global_variable_expression Create a new descriptor for the specified variable. See LLVMDIBuilderCreateGlobalVariableExpression.

val di_global_variable_expression_get_variable : 
  Llvm.llmetadata ->
  Llvm.llmetadata option

di_global_variable_expression_get_variable gve returns the debug variable of gve, which must be a DIGlobalVariableExpression. See LLVMDIGlobalVariableExpressionGetVariable.

val di_variable_get_line : Llvm.llmetadata -> int

di_variable_get_line v returns the line number of the variable v. See LLVMDIVariableGetLine.

val di_variable_get_file : Llvm.llmetadata -> Llvm.llmetadata option

di_variable_get_file v returns the file of the variable v. See LLVMDIVariableGetFile.

val dibuild_create_subroutine_type : 
  lldibuilder ->
  file:Llvm.llmetadata ->
  param_types:Llvm.llmetadata array ->
  lldiflags ->
  Llvm.llmetadata

dibuild_create_subroutine_type Create subroutine type. See LLVMDIBuilderCreateSubroutineType

val dibuild_create_enumerator : 
  lldibuilder ->
  name:string ->
  value:int ->
  is_unsigned:bool ->
  Llvm.llmetadata

dibuild_create_enumerator Create debugging information entry for an enumerator. See LLVMDIBuilderCreateEnumerator

val dibuild_create_enumeration_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  elements:Llvm.llmetadata array ->
  class_ty:Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_enumeration_type Create debugging information entry for an enumeration. See LLVMDIBuilderCreateEnumerationType.

val dibuild_create_union_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  lldiflags ->
  elements:Llvm.llmetadata array ->
  run_time_language:int ->
  unique_id:string ->
  Llvm.llmetadata

dibuild_create_union_type Create debugging information entry for a union. See LLVMDIBuilderCreateUnionType.

val dibuild_create_array_type : 
  lldibuilder ->
  size:int ->
  align_in_bits:int ->
  ty:Llvm.llmetadata ->
  subscripts:Llvm.llmetadata array ->
  Llvm.llmetadata

dibuild_create_array_type Create debugging information entry for an array. See LLVMDIBuilderCreateArrayType.

val dibuild_create_vector_type : 
  lldibuilder ->
  size:int ->
  align_in_bits:int ->
  ty:Llvm.llmetadata ->
  subscripts:Llvm.llmetadata array ->
  Llvm.llmetadata

dibuild_create_vector_type Create debugging information entry for a vector type. See LLVMDIBuilderCreateVectorType.

val dibuild_create_unspecified_type : 
  lldibuilder ->
  name:string ->
  Llvm.llmetadata

dibuild_create_unspecified_type Create a DWARF unspecified type.

val dibuild_create_basic_type : 
  lldibuilder ->
  name:string ->
  size_in_bits:int ->
  encoding:int ->
  lldiflags ->
  Llvm.llmetadata

dibuild_create_basic_type Create debugging information entry for a basic type. See LLVMDIBuilderCreateBasicType.

val dibuild_create_pointer_type : 
  lldibuilder ->
  pointee_ty:Llvm.llmetadata ->
  size_in_bits:int ->
  align_in_bits:int ->
  address_space:int ->
  name:string ->
  Llvm.llmetadata

dibuild_create_pointer_type Create debugging information entry for a pointer. See LLVMDIBuilderCreatePointerType.

val dibuild_create_struct_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  lldiflags ->
  derived_from:Llvm.llmetadata ->
  elements:Llvm.llmetadata array ->
  DWARFSourceLanguageKind.t ->
  vtable_holder:Llvm.llmetadata ->
  unique_id:string ->
  Llvm.llmetadata

dibuild_create_struct_type Create debugging information entry for a struct. See LLVMDIBuilderCreateStructType

val dibuild_create_member_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  offset_in_bits:int ->
  lldiflags ->
  ty:Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_member_type Create debugging information entry for a member. See LLVMDIBuilderCreateMemberType.

val dibuild_create_static_member_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  ty:Llvm.llmetadata ->
  lldiflags ->
  const_val:Llvm.llvalue ->
  align_in_bits:int ->
  Llvm.llmetadata

dibuild_create_static_member_type Create debugging information entry for a C++ static data member. See LLVMDIBuilderCreateStaticMemberType

val dibuild_create_member_pointer_type : 
  lldibuilder ->
  pointee_type:Llvm.llmetadata ->
  class_type:Llvm.llmetadata ->
  size_in_bits:int ->
  align_in_bits:int ->
  lldiflags ->
  Llvm.llmetadata

dibuild_create_member_pointer_type Create debugging information entry for a pointer to member. See LLVMDIBuilderCreateMemberPointerType

val dibuild_create_object_pointer_type : 
  lldibuilder ->
  Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_object_pointer_type dib ty Create a uniqued DIType* clone with FlagObjectPointer and FlagArtificial set. dib is the dibuilder value and ty the underlying type to which this pointer points.

val dibuild_create_qualified_type : 
  lldibuilder ->
  tag:int ->
  Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_qualified_type dib tag ty Create debugging information entry for a qualified type, e.g. 'const int'. dib is the dibuilder value, tag identifyies the type and ty is the base type.

val dibuild_create_reference_type : 
  lldibuilder ->
  tag:int ->
  Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_reference_type dib tag ty Create debugging information entry for a reference type. dib is the dibuilder value, tag identifyies the type and ty is the base type.

val dibuild_create_null_ptr_type : lldibuilder -> Llvm.llmetadata

dibuild_create_null_ptr_type dib Create C++11 nullptr type.

val dibuild_create_typedef : 
  lldibuilder ->
  ty:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_no:int ->
  scope:Llvm.llmetadata ->
  align_in_bits:int ->
  Llvm.llmetadata

dibuild_create_typedef Create debugging information entry for a typedef. See LLVMDIBuilderCreateTypedef.

val dibuild_create_inheritance : 
  lldibuilder ->
  ty:Llvm.llmetadata ->
  base_ty:Llvm.llmetadata ->
  base_offset:int ->
  vb_ptr_offset:int ->
  lldiflags ->
  Llvm.llmetadata

dibuild_create_inheritance Create debugging information entry to establish inheritance relationship between two types. See LLVMDIBuilderCreateInheritance.

val dibuild_create_forward_decl : 
  lldibuilder ->
  tag:int ->
  name:string ->
  scope:Llvm.llmetadata ->
  file:Llvm.llmetadata ->
  line:int ->
  runtime_lang:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  unique_identifier:string ->
  Llvm.llmetadata

dibuild_create_forward_decl Create a permanent forward-declared type. See LLVMDIBuilderCreateForwardDecl.

val dibuild_create_replaceable_composite_type : 
  lldibuilder ->
  tag:int ->
  name:string ->
  scope:Llvm.llmetadata ->
  file:Llvm.llmetadata ->
  line:int ->
  runtime_lang:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  lldiflags ->
  unique_identifier:string ->
  Llvm.llmetadata

dibuild_create_replaceable_composite_type Create a temporary forward-declared type. See LLVMDIBuilderCreateReplaceableCompositeType.

val dibuild_create_bit_field_member_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_num:int ->
  size_in_bits:int ->
  offset_in_bits:int ->
  storage_offset_in_bits:int ->
  lldiflags ->
  ty:Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_bit_field_member_type Create debugging information entry for a bit field member. See LLVMDIBuilderCreateBitFieldMemberType.

val dibuild_create_class_type : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line_number:int ->
  size_in_bits:int ->
  align_in_bits:int ->
  offset_in_bits:int ->
  lldiflags ->
  derived_from:Llvm.llmetadata ->
  elements:Llvm.llmetadata array ->
  vtable_holder:Llvm.llmetadata ->
  template_params_node:Llvm.llmetadata ->
  unique_identifier:string ->
  Llvm.llmetadata

dibuild_create_class_type Create debugging information entry for a class. See LLVMDIBuilderCreateClassType.

val dibuild_create_artificial_type : 
  lldibuilder ->
  ty:Llvm.llmetadata ->
  Llvm.llmetadata

dibuild_create_artificial_type dib ty Create a uniqued DIType* clone with FlagArtificial set. dib is the dibuilder value and ty the underlying type.

val di_type_get_name : Llvm.llmetadata -> string

di_type_get_name m Get the name of DIType m.

val di_type_get_size_in_bits : Llvm.llmetadata -> int

di_type_get_size_in_bits m Get size in bits of DIType m.

val di_type_get_offset_in_bits : Llvm.llmetadata -> int

di_type_get_offset_in_bits m Get offset in bits of DIType m.

val di_type_get_align_in_bits : Llvm.llmetadata -> int

di_type_get_align_in_bits m Get alignment in bits of DIType m.

val di_type_get_line : Llvm.llmetadata -> int

di_type_get_line m Get source line where DIType m is declared.

val di_type_get_flags : Llvm.llmetadata -> lldiflags

di_type_get_flags m Get the flags associated with DIType m.

val get_subprogram : Llvm.llvalue -> Llvm.llmetadata option

get_subprogram f Get the metadata of the subprogram attached to function f.

val set_subprogram : Llvm.llvalue -> Llvm.llmetadata -> unit

set_subprogram f m Set the subprogram m attached to function f.

val di_subprogram_get_line : Llvm.llmetadata -> int

di_subprogram_get_line m Get the line associated with subprogram m.

val instr_get_debug_loc : Llvm.llvalue -> Llvm.llmetadata option

instr_get_debug_loc i Get the debug location for instruction i.

val instr_set_debug_loc : Llvm.llvalue -> Llvm.llmetadata option -> unit

instr_set_debug_loc i mopt If mopt is None location metadata of i is cleared, Otherwise location of i is set to the value in mopt.

val get_metadata_kind : Llvm.llmetadata -> MetadataKind.t

get_metadata_kind Obtain the enumerated type of a Metadata instance.

val dibuild_create_auto_variable : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  file:Llvm.llmetadata ->
  line:int ->
  ty:Llvm.llmetadata ->
  always_preserve:bool ->
  lldiflags ->
  align_in_bits:int ->
  Llvm.llmetadata

dibuild_create_auto_variable Create a new descriptor for a local auto variable.

val dibuild_create_parameter_variable : 
  lldibuilder ->
  scope:Llvm.llmetadata ->
  name:string ->
  argno:int ->
  file:Llvm.llmetadata ->
  line:int ->
  ty:Llvm.llmetadata ->
  always_preserve:bool ->
  lldiflags ->
  Llvm.llmetadata

dibuild_create_parameter_variable Create a new descriptor for a function parameter variable.

val dibuild_insert_declare_before : 
  lldibuilder ->
  storage:Llvm.llvalue ->
  var_info:Llvm.llmetadata ->
  expr:Llvm.llmetadata ->
  location:Llvm.llmetadata ->
  instr:Llvm.llvalue ->
  Llvm.llvalue

dibuild_insert_declare_before Insert a new llvm.dbg.declare intrinsic call before the given instruction instr.

val dibuild_insert_declare_at_end : 
  lldibuilder ->
  storage:Llvm.llvalue ->
  var_info:Llvm.llmetadata ->
  expr:Llvm.llmetadata ->
  location:Llvm.llmetadata ->
  block:Llvm.llbasicblock ->
  Llvm.llvalue

dibuild_insert_declare_at_end Insert a new llvm.dbg.declare intrinsic call at the end of basic block block. If block has a terminator instruction, the intrinsic is inserted before that terminator instruction.

val dibuild_expression : lldibuilder -> Int64.t array -> Llvm.llmetadata

dibuild_expression Create a new descriptor for the specified variable which has a complex address expression for its address. See LLVMDIBuilderCreateExpression.