Module `Llvm`Source

Sourcetype llcontext

Sourcetype llmodule

Sourcetype llmetadata

Sourcetype lltype

Sourcetype llvalue

Sourcetype lluse

Sourcetype llbasicblock

Sourcetype llbuilder

Sourcetype llattrkind

Sourcetype llattribute

Sourcetype llmemorybuffer

Sourcetype llmdkind

Sourceexception FeatureDisabled of string

Sourcemodule TypeKind : sig ... end

Sourcemodule Linkage : sig ... end

Sourcemodule Visibility : sig ... end

Sourcemodule DLLStorageClass : sig ... end

Sourcemodule CallConv : sig ... end

Sourcemodule AttrRepr : sig ... end

Sourcemodule AttrIndex : sig ... end

Sourcemodule Attribute : sig ... end

Sourcemodule Icmp : sig ... end

Sourcemodule Fcmp : sig ... end

Sourcemodule Opcode : sig ... end

Sourcemodule LandingPadClauseTy : sig ... end

Sourcemodule ThreadLocalMode : sig ... end

Sourcemodule AtomicOrdering : sig ... end

Sourcemodule AtomicRMWBinOp : sig ... end

Sourcemodule ValueKind : sig ... end

Sourcemodule DiagnosticSeverity : sig ... end

Sourcemodule ModuleFlagBehavior : sig ... end

Sourceexception IoError of string

Sourceval install_fatal_error_handler : (string -> unit) -> unit

Sourceval reset_fatal_error_handler : unit -> unit

Sourceval enable_pretty_stacktrace : unit -> unit

Sourceval parse_command_line_options : ?overview:string -> string array -> unit

Sourcetype ('a, 'b) llpos =

| At_end of 'a
| Before of 'b

Sourcetype ('a, 'b) llrev_pos =

| At_start of 'a
| After of 'b

Sourcemodule Diagnostic : sig ... end

Sourceval set_diagnostic_handler : llcontext -> (Diagnostic.t -> unit) option -> unit

Sourceval create_context : unit -> llcontext

Sourceval dispose_context : llcontext -> unit

Sourceval global_context : unit -> llcontext

Sourceval mdkind_id : llcontext -> string -> llmdkind

Sourceexception UnknownAttribute of string

Sourceval enum_attr_kind : string -> llattrkind

Sourceval llvm_create_enum_attr : llcontext -> llattrkind -> int64 -> llattribute

Sourceval is_enum_attr : llattribute -> bool

Sourceval get_enum_attr_kind : llattribute -> llattrkind

Sourceval get_enum_attr_value : llattribute -> int64

Sourceval llvm_create_string_attr : llcontext -> string -> string -> llattribute

Sourceval is_string_attr : llattribute -> bool

Sourceval get_string_attr_kind : llattribute -> string

Sourceval get_string_attr_value : llattribute -> string

Sourceval create_enum_attr : llcontext -> string -> int64 -> llattribute

Sourceval create_string_attr : llcontext -> string -> string -> llattribute

Sourceval attr_of_repr : llcontext -> AttrRepr.t -> llattribute

Sourceval repr_of_attr : llattribute -> AttrRepr.t

Sourceval create_module : llcontext -> string -> llmodule

Sourceval dispose_module : llmodule -> unit

Sourceval target_triple : llmodule -> string

Sourceval set_target_triple : string -> llmodule -> unit

Sourceval data_layout : llmodule -> string

Sourceval set_data_layout : string -> llmodule -> unit

Sourceval dump_module : llmodule -> unit

Sourceval print_module : string -> llmodule -> unit

Sourceval string_of_llmodule : llmodule -> string

Sourceval set_module_inline_asm : llmodule -> string -> unit

Sourceval module_context : llmodule -> llcontext

Sourceval get_module_identifier : llmodule -> string

Sourceval set_module_identifer : llmodule -> string -> unit

Sourceval get_module_flag : llmodule -> string -> llmetadata option

Source

val add_module_flag : 
  llmodule ->
  ModuleFlagBehavior.t ->
  string ->
  llmetadata ->
  unit

Sourceval classify_type : lltype -> TypeKind.t

Sourceval type_context : lltype -> llcontext

Sourceval type_is_sized : lltype -> bool

Sourceval dump_type : lltype -> unit

Sourceval string_of_lltype : lltype -> string

Sourceval i1_type : llcontext -> lltype

Sourceval i8_type : llcontext -> lltype

Sourceval i16_type : llcontext -> lltype

Sourceval i32_type : llcontext -> lltype

Sourceval i64_type : llcontext -> lltype

Sourceval integer_type : llcontext -> int -> lltype

Sourceval integer_bitwidth : lltype -> int

Sourceval float_type : llcontext -> lltype

Sourceval double_type : llcontext -> lltype

Sourceval x86fp80_type : llcontext -> lltype

Sourceval fp128_type : llcontext -> lltype

Sourceval ppc_fp128_type : llcontext -> lltype

Sourceval function_type : lltype -> lltype array -> lltype

Sourceval var_arg_function_type : lltype -> lltype array -> lltype

Sourceval is_var_arg : lltype -> bool

Sourceval return_type : lltype -> lltype

Sourceval param_types : lltype -> lltype array

Sourceval struct_type : llcontext -> lltype array -> lltype

Sourceval packed_struct_type : llcontext -> lltype array -> lltype

Sourceval struct_name : lltype -> string option

Sourceval named_struct_type : llcontext -> string -> lltype

Sourceval struct_set_body : lltype -> lltype array -> bool -> unit

Sourceval struct_element_types : lltype -> lltype array

Sourceval is_packed : lltype -> bool

Sourceval is_opaque : lltype -> bool

Sourceval is_literal : lltype -> bool

Sourceval subtypes : lltype -> lltype array

Sourceval array_type : lltype -> int -> lltype

Sourceval pointer_type : llcontext -> lltype

Sourceval qualified_pointer_type : llcontext -> int -> lltype

Sourceval vector_type : lltype -> int -> lltype

Sourceval element_type : lltype -> lltype

Sourceval array_length : lltype -> int

Sourceval address_space : lltype -> int

Sourceval vector_size : lltype -> int

Sourceval void_type : llcontext -> lltype

Sourceval label_type : llcontext -> lltype

Sourceval x86_mmx_type : llcontext -> lltype

Sourceval type_by_name : llmodule -> string -> lltype option

Sourceval classify_value : llvalue -> ValueKind.t

Sourceval type_of : llvalue -> lltype

Sourceval value_name : llvalue -> string

Sourceval set_value_name : string -> llvalue -> unit

Sourceval dump_value : llvalue -> unit

Sourceval string_of_llvalue : llvalue -> string

Sourceval replace_all_uses_with : llvalue -> llvalue -> unit

Sourceval use_begin : llvalue -> lluse option

Sourceval use_succ : lluse -> lluse option

Sourceval user : lluse -> llvalue

Sourceval used_value : lluse -> llvalue

Sourceval iter_uses : (lluse -> 'a) -> llvalue -> unit

Sourceval fold_left_uses : ('a -> lluse -> 'a) -> 'a -> llvalue -> 'a

Sourceval fold_right_uses : (lluse -> 'a -> 'a) -> llvalue -> 'a -> 'a

Sourceval operand : llvalue -> int -> llvalue

Sourceval operand_use : llvalue -> int -> lluse

Sourceval set_operand : llvalue -> int -> llvalue -> unit

Sourceval num_operands : llvalue -> int

Sourceval indices : llvalue -> int array

Sourceval is_constant : llvalue -> bool

Sourceval const_null : lltype -> llvalue

Sourceval const_all_ones : lltype -> llvalue

Sourceval const_pointer_null : lltype -> llvalue

Sourceval undef : lltype -> llvalue

Sourceval poison : lltype -> llvalue

Sourceval is_null : llvalue -> bool

Sourceval is_undef : llvalue -> bool

Sourceval is_poison : llvalue -> bool

Sourceval constexpr_opcode : llvalue -> Opcode.t

Sourceval has_metadata : llvalue -> bool

Sourceval metadata : llvalue -> llmdkind -> llvalue option

Sourceval set_metadata : llvalue -> llmdkind -> llvalue -> unit

Sourceval clear_metadata : llvalue -> llmdkind -> unit

Sourceval mdstring : llcontext -> string -> llvalue

Sourceval mdnode : llcontext -> llvalue array -> llvalue

Sourceval mdnull : llcontext -> llvalue

Sourceval get_mdstring : llvalue -> string option

Sourceval get_mdnode_operands : llvalue -> llvalue array

Sourceval get_named_metadata : llmodule -> string -> llvalue array

Sourceval add_named_metadata_operand : llmodule -> string -> llvalue -> unit

Sourceval value_as_metadata : llvalue -> llmetadata

Sourceval metadata_as_value : llcontext -> llmetadata -> llvalue

Sourceval const_int : lltype -> int -> llvalue

Sourceval const_of_int64 : lltype -> Int64.t -> bool -> llvalue

Sourceval int64_of_const : llvalue -> Int64.t option

Sourceval const_int_of_string : lltype -> string -> int -> llvalue

Sourceval const_float : lltype -> float -> llvalue

Sourceval float_of_const : llvalue -> float option

Sourceval const_float_of_string : lltype -> string -> llvalue

Sourceval const_string : llcontext -> string -> llvalue

Sourceval const_stringz : llcontext -> string -> llvalue

Sourceval const_array : lltype -> llvalue array -> llvalue

Sourceval const_struct : llcontext -> llvalue array -> llvalue

Sourceval const_named_struct : lltype -> llvalue array -> llvalue

Sourceval const_packed_struct : llcontext -> llvalue array -> llvalue

Sourceval const_vector : llvalue array -> llvalue

Sourceval string_of_const : llvalue -> string option

Sourceval aggregate_element : llvalue -> int -> llvalue option

Sourceval align_of : lltype -> llvalue

Sourceval size_of : lltype -> llvalue

Sourceval const_neg : llvalue -> llvalue

Sourceval const_nsw_neg : llvalue -> llvalue

Sourceval const_nuw_neg : llvalue -> llvalue

Sourceval const_not : llvalue -> llvalue

Sourceval const_add : llvalue -> llvalue -> llvalue

Sourceval const_nsw_add : llvalue -> llvalue -> llvalue

Sourceval const_nuw_add : llvalue -> llvalue -> llvalue

Sourceval const_sub : llvalue -> llvalue -> llvalue

Sourceval const_nsw_sub : llvalue -> llvalue -> llvalue

Sourceval const_nuw_sub : llvalue -> llvalue -> llvalue

Sourceval const_mul : llvalue -> llvalue -> llvalue

Sourceval const_nsw_mul : llvalue -> llvalue -> llvalue

Sourceval const_nuw_mul : llvalue -> llvalue -> llvalue

Sourceval const_and : llvalue -> llvalue -> llvalue

Sourceval const_or : llvalue -> llvalue -> llvalue

Sourceval const_xor : llvalue -> llvalue -> llvalue

Sourceval const_icmp : Icmp.t -> llvalue -> llvalue -> llvalue

Sourceval const_fcmp : Fcmp.t -> llvalue -> llvalue -> llvalue

Sourceval const_shl : llvalue -> llvalue -> llvalue

Sourceval const_lshr : llvalue -> llvalue -> llvalue

Sourceval const_ashr : llvalue -> llvalue -> llvalue

Sourceval const_gep : lltype -> llvalue -> llvalue array -> llvalue

Sourceval const_in_bounds_gep : lltype -> llvalue -> llvalue array -> llvalue

Sourceval const_trunc : llvalue -> lltype -> llvalue

Sourceval const_sext : llvalue -> lltype -> llvalue

Sourceval const_zext : llvalue -> lltype -> llvalue

Sourceval const_fptrunc : llvalue -> lltype -> llvalue

Sourceval const_fpext : llvalue -> lltype -> llvalue

Sourceval const_uitofp : llvalue -> lltype -> llvalue

Sourceval const_sitofp : llvalue -> lltype -> llvalue

Sourceval const_fptoui : llvalue -> lltype -> llvalue

Sourceval const_fptosi : llvalue -> lltype -> llvalue

Sourceval const_ptrtoint : llvalue -> lltype -> llvalue

Sourceval const_inttoptr : llvalue -> lltype -> llvalue

Sourceval const_bitcast : llvalue -> lltype -> llvalue

Sourceval const_zext_or_bitcast : llvalue -> lltype -> llvalue

Sourceval const_sext_or_bitcast : llvalue -> lltype -> llvalue

Sourceval const_trunc_or_bitcast : llvalue -> lltype -> llvalue

Sourceval const_pointercast : llvalue -> lltype -> llvalue

Sourceval const_intcast : llvalue -> lltype -> is_signed:bool -> llvalue

Sourceval const_fpcast : llvalue -> lltype -> llvalue

Sourceval const_extractelement : llvalue -> llvalue -> llvalue

Sourceval const_insertelement : llvalue -> llvalue -> llvalue -> llvalue

Sourceval const_shufflevector : llvalue -> llvalue -> llvalue -> llvalue

Sourceval const_inline_asm : lltype -> string -> string -> bool -> bool -> llvalue

Sourceval block_address : llvalue -> llbasicblock -> llvalue

Sourceval global_parent : llvalue -> llmodule

Sourceval is_declaration : llvalue -> bool

Sourceval linkage : llvalue -> Linkage.t

Sourceval set_linkage : Linkage.t -> llvalue -> unit

Sourceval unnamed_addr : llvalue -> bool

Sourceval set_unnamed_addr : bool -> llvalue -> unit

Sourceval section : llvalue -> string

Sourceval set_section : string -> llvalue -> unit

Sourceval visibility : llvalue -> Visibility.t

Sourceval set_visibility : Visibility.t -> llvalue -> unit

Sourceval dll_storage_class : llvalue -> DLLStorageClass.t

Sourceval set_dll_storage_class : DLLStorageClass.t -> llvalue -> unit

Sourceval alignment : llvalue -> int

Sourceval set_alignment : int -> llvalue -> unit

Sourceval global_copy_all_metadata : llvalue -> (llmdkind * llmetadata) array

Sourceval is_global_constant : llvalue -> bool

Sourceval set_global_constant : bool -> llvalue -> unit

Sourceval declare_global : lltype -> string -> llmodule -> llvalue

Sourceval declare_qualified_global : lltype -> string -> int -> llmodule -> llvalue

Sourceval define_global : string -> llvalue -> llmodule -> llvalue

Sourceval define_qualified_global : string -> llvalue -> int -> llmodule -> llvalue

Sourceval lookup_global : string -> llmodule -> llvalue option

Sourceval delete_global : llvalue -> unit

Sourceval global_initializer : llvalue -> llvalue option

Sourceval set_initializer : llvalue -> llvalue -> unit

Sourceval remove_initializer : llvalue -> unit

Sourceval is_thread_local : llvalue -> bool

Sourceval set_thread_local : bool -> llvalue -> unit

Sourceval thread_local_mode : llvalue -> ThreadLocalMode.t

Sourceval set_thread_local_mode : ThreadLocalMode.t -> llvalue -> unit

Sourceval is_externally_initialized : llvalue -> bool

Sourceval set_externally_initialized : bool -> llvalue -> unit

Sourceval global_begin : llmodule -> (llmodule, llvalue) llpos

Sourceval global_succ : llvalue -> (llmodule, llvalue) llpos

Sourceval global_end : llmodule -> (llmodule, llvalue) llrev_pos

Sourceval global_pred : llvalue -> (llmodule, llvalue) llrev_pos

Source

val iter_global_range : 
  (llvalue -> 'a) ->
  (llmodule, llvalue) llpos ->
  (llmodule, llvalue) llpos ->
  unit

Sourceval iter_globals : (llvalue -> 'a) -> llmodule -> unit

Source

val fold_left_global_range : 
  ('a -> llvalue -> 'a) ->
  'a ->
  (llmodule, llvalue) llpos ->
  (llmodule, llvalue) llpos ->
  'a

Sourceval fold_left_globals : ('a -> llvalue -> 'a) -> 'a -> llmodule -> 'a

Source

val rev_iter_global_range : 
  (llvalue -> 'a) ->
  (llmodule, llvalue) llrev_pos ->
  (llmodule, llvalue) llrev_pos ->
  unit

Sourceval rev_iter_globals : (llvalue -> 'a) -> llmodule -> unit

Source

val fold_right_global_range : 
  (llvalue -> 'a -> 'a) ->
  (llmodule, llvalue) llrev_pos ->
  (llmodule, llvalue) llrev_pos ->
  'a ->
  'a

Sourceval fold_right_globals : (llvalue -> 'a -> 'a) -> llmodule -> 'a -> 'a

Sourceval add_alias : llmodule -> lltype -> int -> llvalue -> string -> llvalue

Sourceval declare_function : string -> lltype -> llmodule -> llvalue

Sourceval define_function : string -> lltype -> llmodule -> llvalue

Sourceval lookup_function : string -> llmodule -> llvalue option

Sourceval delete_function : llvalue -> unit

Sourceval is_intrinsic : llvalue -> bool

Sourceval function_call_conv : llvalue -> int

Sourceval set_function_call_conv : int -> llvalue -> unit

Sourceval gc : llvalue -> string option

Sourceval set_gc : string option -> llvalue -> unit

Sourceval function_begin : llmodule -> (llmodule, llvalue) llpos

Sourceval function_succ : llvalue -> (llmodule, llvalue) llpos

Sourceval function_end : llmodule -> (llmodule, llvalue) llrev_pos

Sourceval function_pred : llvalue -> (llmodule, llvalue) llrev_pos

Source

val iter_function_range : 
  (llvalue -> 'a) ->
  (llmodule, llvalue) llpos ->
  (llmodule, llvalue) llpos ->
  unit

Sourceval iter_functions : (llvalue -> 'a) -> llmodule -> unit

Source

val fold_left_function_range : 
  ('a -> llvalue -> 'a) ->
  'a ->
  (llmodule, llvalue) llpos ->
  (llmodule, llvalue) llpos ->
  'a

Sourceval fold_left_functions : ('a -> llvalue -> 'a) -> 'a -> llmodule -> 'a

Source

val rev_iter_function_range : 
  (llvalue -> 'a) ->
  (llmodule, llvalue) llrev_pos ->
  (llmodule, llvalue) llrev_pos ->
  unit

Sourceval rev_iter_functions : (llvalue -> 'a) -> llmodule -> unit

Source

val fold_right_function_range : 
  (llvalue -> 'a -> 'a) ->
  (llmodule, llvalue) llrev_pos ->
  (llmodule, llvalue) llrev_pos ->
  'a ->
  'a

Sourceval fold_right_functions : (llvalue -> 'a -> 'a) -> llmodule -> 'a -> 'a

Sourceval llvm_add_function_attr : llvalue -> llattribute -> int -> unit

Sourceval llvm_function_attrs : llvalue -> int -> llattribute array

Sourceval llvm_remove_enum_function_attr : llvalue -> llattrkind -> int -> unit

Sourceval llvm_remove_string_function_attr : llvalue -> string -> int -> unit

Sourceval add_function_attr : llvalue -> llattribute -> AttrIndex.t -> unit

Sourceval function_attrs : llvalue -> AttrIndex.t -> llattribute array

Sourceval remove_enum_function_attr : llvalue -> llattrkind -> AttrIndex.t -> unit

Sourceval remove_string_function_attr : llvalue -> string -> AttrIndex.t -> unit

Sourceval params : llvalue -> llvalue array

Sourceval param : llvalue -> int -> llvalue

Sourceval param_parent : llvalue -> llvalue

Sourceval param_begin : llvalue -> (llvalue, llvalue) llpos

Sourceval param_succ : llvalue -> (llvalue, llvalue) llpos

Sourceval param_end : llvalue -> (llvalue, llvalue) llrev_pos

Sourceval param_pred : llvalue -> (llvalue, llvalue) llrev_pos

Source

val iter_param_range : 
  (llvalue -> 'a) ->
  (llvalue, llvalue) llpos ->
  (llvalue, llvalue) llpos ->
  unit

Sourceval iter_params : (llvalue -> 'a) -> llvalue -> unit

Source

val fold_left_param_range : 
  ('a -> llvalue -> 'a) ->
  'a ->
  (llvalue, llvalue) llpos ->
  (llvalue, llvalue) llpos ->
  'a

Sourceval fold_left_params : ('a -> llvalue -> 'a) -> 'a -> llvalue -> 'a

Source

val rev_iter_param_range : 
  (llvalue -> 'a) ->
  (llvalue, llvalue) llrev_pos ->
  (llvalue, llvalue) llrev_pos ->
  unit

Sourceval rev_iter_params : (llvalue -> 'a) -> llvalue -> unit

Source

val fold_right_param_range : 
  (llvalue -> 'a -> 'a) ->
  'a ->
  (llvalue, llvalue) llrev_pos ->
  (llvalue, llvalue) llrev_pos ->
  'a

Sourceval fold_right_params : (llvalue -> 'a -> 'a) -> llvalue -> 'a -> 'a

Sourceval value_of_block : llbasicblock -> llvalue

Sourceval value_is_block : llvalue -> bool

Sourceval block_of_value : llvalue -> llbasicblock

Sourceval block_parent : llbasicblock -> llvalue

Sourceval basic_blocks : llvalue -> llbasicblock array

Sourceval entry_block : llvalue -> llbasicblock

Sourceval delete_block : llbasicblock -> unit

Sourceval remove_block : llbasicblock -> unit

Sourceval move_block_before : llbasicblock -> llbasicblock -> unit

Sourceval move_block_after : llbasicblock -> llbasicblock -> unit

Sourceval append_block : llcontext -> string -> llvalue -> llbasicblock

Sourceval insert_block : llcontext -> string -> llbasicblock -> llbasicblock

Sourceval block_begin : llvalue -> (llvalue, llbasicblock) llpos

Sourceval block_succ : llbasicblock -> (llvalue, llbasicblock) llpos

Sourceval block_end : llvalue -> (llvalue, llbasicblock) llrev_pos

Sourceval block_pred : llbasicblock -> (llvalue, llbasicblock) llrev_pos

Sourceval block_terminator : llbasicblock -> llvalue option

Source

val iter_block_range : 
  (llbasicblock -> 'a) ->
  (llvalue, llbasicblock) llpos ->
  (llvalue, llbasicblock) llpos ->
  unit

Sourceval iter_blocks : (llbasicblock -> 'a) -> llvalue -> unit

Source

val fold_left_block_range : 
  ('a -> llbasicblock -> 'a) ->
  'a ->
  (llvalue, llbasicblock) llpos ->
  (llvalue, llbasicblock) llpos ->
  'a

Sourceval fold_left_blocks : ('a -> llbasicblock -> 'a) -> 'a -> llvalue -> 'a

Source

val rev_iter_block_range : 
  (llbasicblock -> 'a) ->
  (llvalue, llbasicblock) llrev_pos ->
  (llvalue, llbasicblock) llrev_pos ->
  unit

Sourceval rev_iter_blocks : (llbasicblock -> 'a) -> llvalue -> unit

Source

val fold_right_block_range : 
  (llbasicblock -> 'a -> 'a) ->
  'a ->
  (llvalue, llbasicblock) llrev_pos ->
  (llvalue, llbasicblock) llrev_pos ->
  'a

Sourceval fold_right_blocks : (llbasicblock -> 'a -> 'a) -> llvalue -> 'a -> 'a

Sourceval instr_parent : llvalue -> llbasicblock

Sourceval instr_begin : llbasicblock -> (llbasicblock, llvalue) llpos

Sourceval instr_succ : llvalue -> (llbasicblock, llvalue) llpos

Sourceval instr_end : llbasicblock -> (llbasicblock, llvalue) llrev_pos

Sourceval instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos

Sourceval instr_opcode : llvalue -> Opcode.t

Sourceval icmp_predicate : llvalue -> Icmp.t option

Sourceval fcmp_predicate : llvalue -> Fcmp.t option

Sourceval instr_clone : llvalue -> llvalue

Source

val iter_instrs_range : 
  (llvalue -> 'a) ->
  (llbasicblock, llvalue) llpos ->
  (llbasicblock, llvalue) llpos ->
  unit

Sourceval iter_instrs : (llvalue -> 'a) -> llbasicblock -> unit

Source

val fold_left_instrs_range : 
  ('a -> llvalue -> 'a) ->
  'a ->
  (llbasicblock, llvalue) llpos ->
  (llbasicblock, llvalue) llpos ->
  'a

Sourceval fold_left_instrs : ('a -> llvalue -> 'a) -> 'a -> llbasicblock -> 'a

Source

val rev_iter_instrs_range : 
  (llvalue -> 'a) ->
  (llbasicblock, llvalue) llrev_pos ->
  (llbasicblock, llvalue) llrev_pos ->
  unit

Sourceval rev_iter_instrs : (llvalue -> 'a) -> llbasicblock -> unit

Source

val fold_right_instr_range : 
  (llvalue -> 'a -> 'a) ->
  (llbasicblock, llvalue) llrev_pos ->
  (llbasicblock, llvalue) llrev_pos ->
  'a ->
  'a

Sourceval fold_right_instrs : (llvalue -> 'a -> 'a) -> llbasicblock -> 'a -> 'a

Sourceval instruction_call_conv : llvalue -> int

Sourceval set_instruction_call_conv : int -> llvalue -> unit

Sourceval llvm_add_call_site_attr : llvalue -> llattribute -> int -> unit

Sourceval llvm_call_site_attrs : llvalue -> int -> llattribute array

Sourceval llvm_remove_enum_call_site_attr : llvalue -> llattrkind -> int -> unit

Sourceval llvm_remove_string_call_site_attr : llvalue -> string -> int -> unit

Sourceval add_call_site_attr : llvalue -> llattribute -> AttrIndex.t -> unit

Sourceval call_site_attrs : llvalue -> AttrIndex.t -> llattribute array

Sourceval remove_enum_call_site_attr : llvalue -> llattrkind -> AttrIndex.t -> unit

Sourceval remove_string_call_site_attr : llvalue -> string -> AttrIndex.t -> unit

Sourceval num_arg_operands : llvalue -> int

Sourceval is_tail_call : llvalue -> bool

Sourceval set_tail_call : bool -> llvalue -> unit

Sourceval get_normal_dest : llvalue -> llbasicblock

Sourceval get_unwind_dest : llvalue -> llbasicblock

Sourceval is_volatile : llvalue -> bool

Sourceval set_volatile : bool -> llvalue -> unit

Sourceval is_terminator : llvalue -> bool

Sourceval successor : llvalue -> int -> llbasicblock

Sourceval set_successor : llvalue -> int -> llbasicblock -> unit

Sourceval num_successors : llvalue -> int

Sourceval successors : llvalue -> llbasicblock array

Sourceval iter_successors : (llbasicblock -> 'a) -> llvalue -> unit

Sourceval fold_successors : (llbasicblock -> 'a -> 'a) -> llvalue -> 'a -> 'a

Sourceval condition : llvalue -> llvalue

Sourceval set_condition : llvalue -> llvalue -> unit

Sourceval is_conditional : llvalue -> bool

Source

val get_branch : 
  llvalue ->
  [> `Conditional of llvalue * llbasicblock * llbasicblock
  | `Unconditional of llbasicblock ]
    option

Sourceval add_incoming : (llvalue * llbasicblock) -> llvalue -> unit

Sourceval incoming : llvalue -> (llvalue * llbasicblock) list

Sourceval delete_instruction : llvalue -> unit

Sourceval builder : llcontext -> llbuilder

Sourceval position_builder : (llbasicblock, llvalue) llpos -> llbuilder -> unit

Sourceval insertion_block : llbuilder -> llbasicblock

Sourceval insert_into_builder : llvalue -> string -> llbuilder -> unit

Sourceval builder_at : llcontext -> (llbasicblock, llvalue) llpos -> llbuilder

Sourceval builder_before : llcontext -> llvalue -> llbuilder

Sourceval builder_at_end : llcontext -> llbasicblock -> llbuilder

Sourceval position_before : llvalue -> llbuilder -> unit

Sourceval position_at_end : llbasicblock -> llbuilder -> unit

Sourceval set_current_debug_location : llbuilder -> llvalue -> unit

Sourceval clear_current_debug_location : llbuilder -> unit

Sourceval current_debug_location : llbuilder -> llvalue option

Sourceval set_inst_debug_location : llbuilder -> llvalue -> unit

Sourceval build_ret_void : llbuilder -> llvalue

Sourceval build_ret : llvalue -> llbuilder -> llvalue

Sourceval build_aggregate_ret : llvalue array -> llbuilder -> llvalue

Sourceval build_br : llbasicblock -> llbuilder -> llvalue

Source

val build_cond_br : 
  llvalue ->
  llbasicblock ->
  llbasicblock ->
  llbuilder ->
  llvalue

Sourceval build_switch : llvalue -> llbasicblock -> int -> llbuilder -> llvalue

Sourceval build_malloc : lltype -> string -> llbuilder -> llvalue

Sourceval build_array_malloc : lltype -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_free : llvalue -> llbuilder -> llvalue

Sourceval add_case : llvalue -> llvalue -> llbasicblock -> unit

Sourceval switch_default_dest : llvalue -> llbasicblock

Sourceval build_indirect_br : llvalue -> int -> llbuilder -> llvalue

Sourceval add_destination : llvalue -> llbasicblock -> unit

Source

val build_invoke : 
  lltype ->
  llvalue ->
  llvalue array ->
  llbasicblock ->
  llbasicblock ->
  string ->
  llbuilder ->
  llvalue

Source

val build_landingpad : 
  lltype ->
  llvalue ->
  int ->
  string ->
  llbuilder ->
  llvalue

Sourceval is_cleanup : llvalue -> bool

Sourceval set_cleanup : llvalue -> bool -> unit

Sourceval add_clause : llvalue -> llvalue -> unit

Sourceval build_resume : llvalue -> llbuilder -> llvalue

Sourceval build_unreachable : llbuilder -> llvalue

Sourceval build_add : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nsw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nuw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_fadd : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nsw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nuw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_fsub : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nsw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_nuw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_fmul : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_udiv : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_exact_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_fdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_urem : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_srem : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_frem : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_shl : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_lshr : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_ashr : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_and : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_or : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_xor : llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_neg : llvalue -> string -> llbuilder -> llvalue

Sourceval build_nsw_neg : llvalue -> string -> llbuilder -> llvalue

Sourceval build_nuw_neg : llvalue -> string -> llbuilder -> llvalue

Sourceval build_fneg : llvalue -> string -> llbuilder -> llvalue

Sourceval build_not : llvalue -> string -> llbuilder -> llvalue

Sourceval build_alloca : lltype -> string -> llbuilder -> llvalue

Sourceval build_array_alloca : lltype -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_load : lltype -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_store : llvalue -> llvalue -> llbuilder -> llvalue

Source

val build_atomicrmw : 
  AtomicRMWBinOp.t ->
  llvalue ->
  llvalue ->
  AtomicOrdering.t ->
  bool ->
  string ->
  llbuilder ->
  llvalue

Source

val build_gep : 
  lltype ->
  llvalue ->
  llvalue array ->
  string ->
  llbuilder ->
  llvalue

Source

val build_in_bounds_gep : 
  lltype ->
  llvalue ->
  llvalue array ->
  string ->
  llbuilder ->
  llvalue

Source

val build_struct_gep : 
  lltype ->
  llvalue ->
  int ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_global_string : string -> string -> llbuilder -> llvalue

Sourceval build_global_stringptr : string -> string -> llbuilder -> llvalue

Sourceval build_trunc : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_zext : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_sext : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_fptoui : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_fptosi : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_uitofp : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_sitofp : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_fptrunc : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_fpext : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_ptrtoint : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_inttoptr : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_bitcast : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_zext_or_bitcast : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_sext_or_bitcast : llvalue -> lltype -> string -> llbuilder -> llvalue

Source

val build_trunc_or_bitcast : 
  llvalue ->
  lltype ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_pointercast : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_intcast : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_fpcast : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_icmp : Icmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_fcmp : Fcmp.t -> llvalue -> llvalue -> string -> llbuilder -> llvalue

Sourceval build_phi : (llvalue * llbasicblock) list -> string -> llbuilder -> llvalue

Sourceval build_empty_phi : lltype -> string -> llbuilder -> llvalue

Source

val build_call : 
  lltype ->
  llvalue ->
  llvalue array ->
  string ->
  llbuilder ->
  llvalue

Source

val build_select : 
  llvalue ->
  llvalue ->
  llvalue ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_va_arg : llvalue -> lltype -> string -> llbuilder -> llvalue

Sourceval build_extractelement : llvalue -> llvalue -> string -> llbuilder -> llvalue

Source

val build_insertelement : 
  llvalue ->
  llvalue ->
  llvalue ->
  string ->
  llbuilder ->
  llvalue

Source

val build_shufflevector : 
  llvalue ->
  llvalue ->
  llvalue ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_extractvalue : llvalue -> int -> string -> llbuilder -> llvalue

Source

val build_insertvalue : 
  llvalue ->
  llvalue ->
  int ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_is_null : llvalue -> string -> llbuilder -> llvalue

Sourceval build_is_not_null : llvalue -> string -> llbuilder -> llvalue

Source

val build_ptrdiff : 
  lltype ->
  llvalue ->
  llvalue ->
  string ->
  llbuilder ->
  llvalue

Sourceval build_freeze : llvalue -> string -> llbuilder -> llvalue

Sourcemodule MemoryBuffer : sig ... end

package llvm

Module LlvmSource

Module `Llvm`Source