Llvm (p.llvm.15.0.7+nnp-3.doc.llvm.static.Llvm)

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 set_opaque_pointers_false : llcontext -> unit

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 : lltype -> lltype

Sourceval pointer_type2 : llcontext -> lltype

Sourceval qualified_pointer_type : lltype -> int -> lltype

Sourceval qualified_pointer_type2 : 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 const_element : llvalue -> int -> llvalue

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_fneg : 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 : llvalue -> llvalue array -> llvalue

Sourceval const_gep2 : lltype -> llvalue -> llvalue array -> llvalue

Sourceval const_in_bounds_gep : llvalue -> llvalue array -> llvalue

Sourceval const_in_bounds_gep2 : 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_select : llvalue -> llvalue -> llvalue -> 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 -> llvalue -> string -> llvalue

Sourceval add_alias2 : 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 : 
  llvalue ->
  llvalue array ->
  llbasicblock ->
  llbasicblock ->
  string ->
  llbuilder ->
  llvalue

Source

val build_invoke2 : 
  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 : llvalue -> string -> llbuilder -> llvalue

Sourceval build_load2 : 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

Sourceval build_gep : llvalue -> llvalue array -> string -> llbuilder -> llvalue

Source

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

Source

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

Source

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

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

Source

val build_struct_gep2 : 
  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

Sourceval build_call : llvalue -> llvalue array -> string -> llbuilder -> llvalue

Source

val build_call2 : 
  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

Sourceval build_ptrdiff : llvalue -> llvalue -> string -> llbuilder -> llvalue

Source

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

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

Sourcemodule MemoryBuffer : sig ... end

Sourcemodule PassManager : sig ... end