<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Llvm" rel="Chapter" href="Llvm.html"> <link title="Llvm_analysis" rel="Chapter" href="Llvm_analysis.html"> <link title="Llvm_bitreader" rel="Chapter" href="Llvm_bitreader.html"> <link title="Llvm_bitwriter" rel="Chapter" href="Llvm_bitwriter.html"> <link title="Llvm_executionengine" rel="Chapter" href="Llvm_executionengine.html"> <link title="Llvm_scalar_opts" rel="Chapter" href="Llvm_scalar_opts.html"> <link title="Llvm_target" rel="Chapter" href="Llvm_target.html"><title>Llvm</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> llcontext<br> <span class="keyword">type</span> llmodule<br> <span class="keyword">type</span> lltype<br> <span class="keyword">type</span> lltypehandle<br> <span class="keyword">type</span> llvalue<br> <span class="keyword">type</span> lluse<br> <span class="keyword">type</span> llbasicblock<br> <span class="keyword">type</span> llbuilder<br> <span class="keyword">type</span> llmemorybuffer<br> <span class="keyword">module</span> <span class="constructor">TypeKind</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">Void</span><br> <span class="keywordsign">|</span> <span class="constructor">Float</span><br> <span class="keywordsign">|</span> <span class="constructor">Double</span><br> <span class="keywordsign">|</span> <span class="constructor">X86fp80</span><br> <span class="keywordsign">|</span> <span class="constructor">Fp128</span><br> <span class="keywordsign">|</span> <span class="constructor">Ppc_fp128</span><br> <span class="keywordsign">|</span> <span class="constructor">Label</span><br> <span class="keywordsign">|</span> <span class="constructor">Integer</span><br> <span class="keywordsign">|</span> <span class="constructor">Function</span><br> <span class="keywordsign">|</span> <span class="constructor">Struct</span><br> <span class="keywordsign">|</span> <span class="constructor">Array</span><br> <span class="keywordsign">|</span> <span class="constructor">Pointer</span><br> <span class="keywordsign">|</span> <span class="constructor">Opaque</span><br> <span class="keywordsign">|</span> <span class="constructor">Vector</span><br> <span class="keywordsign">|</span> <span class="constructor">Metadata</span><br> <span class="keywordsign">|</span> <span class="constructor">Union</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Linkage</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">External</span><br> <span class="keywordsign">|</span> <span class="constructor">Available_externally</span><br> <span class="keywordsign">|</span> <span class="constructor">Link_once</span><br> <span class="keywordsign">|</span> <span class="constructor">Link_once_odr</span><br> <span class="keywordsign">|</span> <span class="constructor">Weak</span><br> <span class="keywordsign">|</span> <span class="constructor">Weak_odr</span><br> <span class="keywordsign">|</span> <span class="constructor">Appending</span><br> <span class="keywordsign">|</span> <span class="constructor">Internal</span><br> <span class="keywordsign">|</span> <span class="constructor">Private</span><br> <span class="keywordsign">|</span> <span class="constructor">Dllimport</span><br> <span class="keywordsign">|</span> <span class="constructor">Dllexport</span><br> <span class="keywordsign">|</span> <span class="constructor">External_weak</span><br> <span class="keywordsign">|</span> <span class="constructor">Ghost</span><br> <span class="keywordsign">|</span> <span class="constructor">Common</span><br> <span class="keywordsign">|</span> <span class="constructor">Linker_private</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Visibility</span> : <span class="keyword">sig</span> <span class="keyword">type</span> t = <span class="constructor">Default</span> <span class="keywordsign">|</span> <span class="constructor">Hidden</span> <span class="keywordsign">|</span> <span class="constructor">Protected</span> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">CallConv</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> c : int<br> <span class="keyword">val</span> fast : int<br> <span class="keyword">val</span> cold : int<br> <span class="keyword">val</span> x86_stdcall : int<br> <span class="keyword">val</span> x86_fastcall : int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Attribute</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">Zext</span><br> <span class="keywordsign">|</span> <span class="constructor">Sext</span><br> <span class="keywordsign">|</span> <span class="constructor">Noreturn</span><br> <span class="keywordsign">|</span> <span class="constructor">Inreg</span><br> <span class="keywordsign">|</span> <span class="constructor">Structret</span><br> <span class="keywordsign">|</span> <span class="constructor">Nounwind</span><br> <span class="keywordsign">|</span> <span class="constructor">Noalias</span><br> <span class="keywordsign">|</span> <span class="constructor">Byval</span><br> <span class="keywordsign">|</span> <span class="constructor">Nest</span><br> <span class="keywordsign">|</span> <span class="constructor">Readnone</span><br> <span class="keywordsign">|</span> <span class="constructor">Readonly</span><br> <span class="keywordsign">|</span> <span class="constructor">Noinline</span><br> <span class="keywordsign">|</span> <span class="constructor">Alwaysinline</span><br> <span class="keywordsign">|</span> <span class="constructor">Optsize</span><br> <span class="keywordsign">|</span> <span class="constructor">Ssp</span><br> <span class="keywordsign">|</span> <span class="constructor">Sspreq</span><br> <span class="keywordsign">|</span> <span class="constructor">Alignment</span><br> <span class="keywordsign">|</span> <span class="constructor">Nocapture</span><br> <span class="keywordsign">|</span> <span class="constructor">Noredzone</span><br> <span class="keywordsign">|</span> <span class="constructor">Noimplicitfloat</span><br> <span class="keywordsign">|</span> <span class="constructor">Naked</span><br> <span class="keywordsign">|</span> <span class="constructor">Inlinehint</span><br> <span class="keywordsign">|</span> <span class="constructor">Stackalignment</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Icmp</span> :<br> <span class="keyword">sig</span> <span class="keyword">type</span> t = <span class="constructor">Eq</span> <span class="keywordsign">|</span> <span class="constructor">Ne</span> <span class="keywordsign">|</span> <span class="constructor">Ugt</span> <span class="keywordsign">|</span> <span class="constructor">Uge</span> <span class="keywordsign">|</span> <span class="constructor">Ult</span> <span class="keywordsign">|</span> <span class="constructor">Ule</span> <span class="keywordsign">|</span> <span class="constructor">Sgt</span> <span class="keywordsign">|</span> <span class="constructor">Sge</span> <span class="keywordsign">|</span> <span class="constructor">Slt</span> <span class="keywordsign">|</span> <span class="constructor">Sle</span> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Fcmp</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">False</span><br> <span class="keywordsign">|</span> <span class="constructor">Oeq</span><br> <span class="keywordsign">|</span> <span class="constructor">Ogt</span><br> <span class="keywordsign">|</span> <span class="constructor">Oge</span><br> <span class="keywordsign">|</span> <span class="constructor">Olt</span><br> <span class="keywordsign">|</span> <span class="constructor">Ole</span><br> <span class="keywordsign">|</span> <span class="constructor">One</span><br> <span class="keywordsign">|</span> <span class="constructor">Ord</span><br> <span class="keywordsign">|</span> <span class="constructor">Uno</span><br> <span class="keywordsign">|</span> <span class="constructor">Ueq</span><br> <span class="keywordsign">|</span> <span class="constructor">Ugt</span><br> <span class="keywordsign">|</span> <span class="constructor">Uge</span><br> <span class="keywordsign">|</span> <span class="constructor">Ult</span><br> <span class="keywordsign">|</span> <span class="constructor">Ule</span><br> <span class="keywordsign">|</span> <span class="constructor">Une</span><br> <span class="keywordsign">|</span> <span class="constructor">True</span><br> <span class="keyword">end</span><br> <span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) llpos = <span class="constructor">At_end</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="keywordsign">|</span> <span class="constructor">Before</span> <span class="keyword">of</span> <span class="keywordsign">'</span>b<br> <span class="keyword">type</span> (<span class="keywordsign">'</span>a, <span class="keywordsign">'</span>b) llrev_pos = <span class="constructor">At_start</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="keywordsign">|</span> <span class="constructor">After</span> <span class="keyword">of</span> <span class="keywordsign">'</span>b<br> <span class="keyword">exception</span> <span class="constructor">IoError</span> <span class="keyword">of</span> string<br> <span class="keyword">external</span> create_context : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext = <span class="string">"llvm_create_context"</span><br> <span class="keyword">external</span> dispose_context : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> unit = <span class="string">"llvm_dispose_context"</span><br> <span class="keyword">external</span> global_context : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext = <span class="string">"llvm_global_context"</span><br> <span class="keyword">external</span> mdkind_id : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int = <span class="string">"llvm_mdkind_id"</span><br> <span class="keyword">external</span> create_module : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule<br> = <span class="string">"llvm_create_module"</span><br> <span class="keyword">external</span> dispose_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit = <span class="string">"llvm_dispose_module"</span><br> <span class="keyword">external</span> target_triple : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string = <span class="string">"llvm_target_triple"</span><br> <span class="keyword">external</span> set_target_triple : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_target_triple"</span><br> <span class="keyword">external</span> data_layout : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string = <span class="string">"llvm_data_layout"</span><br> <span class="keyword">external</span> set_data_layout : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_data_layout"</span><br> <span class="keyword">external</span> define_type_name : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_add_type_name"</span><br> <span class="keyword">external</span> delete_type_name : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_delete_type_name"</span><br> <span class="keyword">external</span> type_by_name : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype option<br> = <span class="string">"llvm_type_by_name"</span><br> <span class="keyword">external</span> dump_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit = <span class="string">"llvm_dump_module"</span><br> <span class="keyword">external</span> classify_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">TypeKind</span>.t<br> = <span class="string">"llvm_classify_type"</span><br> <span class="keyword">external</span> type_context : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext = <span class="string">"llvm_type_context"</span><br> <span class="keyword">val</span> string_of_lltype : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string<br> <span class="keyword">external</span> i1_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_i1_type"</span><br> <span class="keyword">external</span> i8_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_i8_type"</span><br> <span class="keyword">external</span> i16_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_i16_type"</span><br> <span class="keyword">external</span> i32_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_i32_type"</span><br> <span class="keyword">external</span> i64_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_i64_type"</span><br> <span class="keyword">external</span> integer_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_integer_type"</span><br> <span class="keyword">external</span> integer_bitwidth : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int = <span class="string">"llvm_integer_bitwidth"</span><br> <span class="keyword">external</span> float_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_float_type"</span><br> <span class="keyword">external</span> double_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_double_type"</span><br> <span class="keyword">external</span> x86fp80_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_x86fp80_type"</span><br> <span class="keyword">external</span> fp128_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_fp128_type"</span><br> <span class="keyword">external</span> ppc_fp128_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_ppc_fp128_type"</span><br> <span class="keyword">external</span> function_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_function_type"</span><br> <span class="keyword">external</span> var_arg_function_type :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_var_arg_function_type"</span><br> <span class="keyword">external</span> is_var_arg : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_var_arg"</span><br> <span class="keyword">external</span> return_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"LLVMGetReturnType"</span><br> <span class="keyword">external</span> param_types : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array<br> = <span class="string">"llvm_param_types"</span><br> <span class="keyword">external</span> struct_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_struct_type"</span><br> <span class="keyword">external</span> packed_struct_type :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_packed_struct_type"</span><br> <span class="keyword">external</span> struct_element_types : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array<br> = <span class="string">"llvm_struct_element_types"</span><br> <span class="keyword">external</span> is_packed : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_packed"</span><br> <span class="keyword">external</span> union_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_union_type"</span><br> <span class="keyword">external</span> union_element_types : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array<br> = <span class="string">"llvm_union_element_types"</span><br> <span class="keyword">external</span> array_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_array_type"</span><br> <span class="keyword">external</span> pointer_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_pointer_type"</span><br> <span class="keyword">external</span> qualified_pointer_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_qualified_pointer_type"</span><br> <span class="keyword">external</span> vector_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_vector_type"</span><br> <span class="keyword">external</span> element_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"LLVMGetElementType"</span><br> <span class="keyword">external</span> array_length : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int = <span class="string">"llvm_array_length"</span><br> <span class="keyword">external</span> address_space : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int = <span class="string">"llvm_address_space"</span><br> <span class="keyword">external</span> vector_size : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int = <span class="string">"llvm_vector_size"</span><br> <span class="keyword">external</span> opaque_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_opaque_type"</span><br> <span class="keyword">external</span> void_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_void_type"</span><br> <span class="keyword">external</span> label_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_label_type"</span><br> <span class="keyword">external</span> handle_to_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltypehandle<br> = <span class="string">"llvm_handle_to_type"</span><br> <span class="keyword">external</span> type_of_handle : <span class="constructor">Llvm</span>.lltypehandle <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> = <span class="string">"llvm_type_of_handle"</span><br> <span class="keyword">external</span> refine_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_refine_type"</span><br> <span class="keyword">external</span> type_of : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype = <span class="string">"llvm_type_of"</span><br> <span class="keyword">external</span> value_name : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string = <span class="string">"llvm_value_name"</span><br> <span class="keyword">external</span> set_value_name : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_value_name"</span><br> <span class="keyword">external</span> dump_value : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_dump_value"</span><br> <span class="keyword">external</span> replace_all_uses_with : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"LLVMReplaceAllUsesWith"</span><br> <span class="keyword">external</span> use_begin : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lluse option = <span class="string">"llvm_use_begin"</span><br> <span class="keyword">external</span> use_succ : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lluse option = <span class="string">"llvm_use_succ"</span><br> <span class="keyword">external</span> user : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_user"</span><br> <span class="keyword">external</span> used_value : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_used_value"</span><br> <span class="keyword">val</span> iter_uses : (<span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_uses : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> fold_right_uses : (<span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> operand : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_operand"</span><br> <span class="keyword">external</span> is_constant : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_constant"</span><br> <span class="keyword">external</span> const_null : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstNull"</span><br> <span class="keyword">external</span> const_all_ones : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstAllOnes"</span><br> <span class="keyword">external</span> const_pointer_null : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstPointerNull"</span><br> <span class="keyword">external</span> undef : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMGetUndef"</span><br> <span class="keyword">external</span> is_null : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_null"</span><br> <span class="keyword">external</span> is_undef : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_undef"</span><br> <span class="keyword">external</span> has_metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_has_metadata"</span><br> <span class="keyword">external</span> metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> = <span class="string">"llvm_metadata"</span><br> <span class="keyword">external</span> set_metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_metadata"</span><br> <span class="keyword">external</span> clear_metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_clear_metadata"</span><br> <span class="keyword">external</span> mdstring : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_mdstring"</span><br> <span class="keyword">external</span> mdnode : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_mdnode"</span><br> <span class="keyword">external</span> const_int : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_const_int"</span><br> <span class="keyword">external</span> const_of_int64 : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Int64</span>.t <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_of_int64"</span><br> <span class="keyword">external</span> const_int_of_string : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_int_of_string"</span><br> <span class="keyword">external</span> const_float : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> float <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_float"</span><br> <span class="keyword">external</span> const_float_of_string : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_float_of_string"</span><br> <span class="keyword">external</span> const_string : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_string"</span><br> <span class="keyword">external</span> const_stringz : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_stringz"</span><br> <span class="keyword">external</span> const_array : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_array"</span><br> <span class="keyword">external</span> const_struct :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_struct"</span><br> <span class="keyword">external</span> const_packed_struct :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_packed_struct"</span><br> <span class="keyword">external</span> const_vector : <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_vector"</span><br> <span class="keyword">external</span> const_union : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstUnion"</span><br> <span class="keyword">external</span> align_of : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMAlignOf"</span><br> <span class="keyword">external</span> size_of : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMSizeOf"</span><br> <span class="keyword">external</span> const_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstNeg"</span><br> <span class="keyword">external</span> const_nsw_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstNSWNeg"</span><br> <span class="keyword">external</span> const_nuw_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstNUWNeg"</span><br> <span class="keyword">external</span> const_fneg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstFNeg"</span><br> <span class="keyword">external</span> const_not : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstNot"</span><br> <span class="keyword">external</span> const_add : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstAdd"</span><br> <span class="keyword">external</span> const_nsw_add : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNSWAdd"</span><br> <span class="keyword">external</span> const_nuw_add : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNUWAdd"</span><br> <span class="keyword">external</span> const_fadd : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFAdd"</span><br> <span class="keyword">external</span> const_sub : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSub"</span><br> <span class="keyword">external</span> const_nsw_sub : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNSWSub"</span><br> <span class="keyword">external</span> const_nuw_sub : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNUWSub"</span><br> <span class="keyword">external</span> const_fsub : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFSub"</span><br> <span class="keyword">external</span> const_mul : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstMul"</span><br> <span class="keyword">external</span> const_nsw_mul : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNSWMul"</span><br> <span class="keyword">external</span> const_nuw_mul : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstNUWMul"</span><br> <span class="keyword">external</span> const_fmul : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFMul"</span><br> <span class="keyword">external</span> const_udiv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstUDiv"</span><br> <span class="keyword">external</span> const_sdiv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSDiv"</span><br> <span class="keyword">external</span> const_exact_sdiv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstExactSDiv"</span><br> <span class="keyword">external</span> const_fdiv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFDiv"</span><br> <span class="keyword">external</span> const_urem : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstURem"</span><br> <span class="keyword">external</span> const_srem : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSRem"</span><br> <span class="keyword">external</span> const_frem : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFRem"</span><br> <span class="keyword">external</span> const_and : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstAnd"</span><br> <span class="keyword">external</span> const_or : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstOr"</span><br> <span class="keyword">external</span> const_xor : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstXor"</span><br> <span class="keyword">external</span> const_icmp :<br> <span class="constructor">Llvm</span>.<span class="constructor">Icmp</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_icmp"</span><br> <span class="keyword">external</span> const_fcmp :<br> <span class="constructor">Llvm</span>.<span class="constructor">Fcmp</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_fcmp"</span><br> <span class="keyword">external</span> const_shl : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstShl"</span><br> <span class="keyword">external</span> const_lshr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstLShr"</span><br> <span class="keyword">external</span> const_ashr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstAShr"</span><br> <span class="keyword">external</span> const_gep : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_gep"</span><br> <span class="keyword">external</span> const_in_bounds_gep :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_in_bounds_gep"</span><br> <span class="keyword">external</span> const_trunc : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstTrunc"</span><br> <span class="keyword">external</span> const_sext : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSExt"</span><br> <span class="keyword">external</span> const_zext : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstZExt"</span><br> <span class="keyword">external</span> const_fptrunc : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFPTrunc"</span><br> <span class="keyword">external</span> const_fpext : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFPExt"</span><br> <span class="keyword">external</span> const_uitofp : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstUIToFP"</span><br> <span class="keyword">external</span> const_sitofp : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSIToFP"</span><br> <span class="keyword">external</span> const_fptoui : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFPToUI"</span><br> <span class="keyword">external</span> const_fptosi : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFPToSI"</span><br> <span class="keyword">external</span> const_ptrtoint : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstPtrToInt"</span><br> <span class="keyword">external</span> const_inttoptr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstIntToPtr"</span><br> <span class="keyword">external</span> const_bitcast : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstBitCast"</span><br> <span class="keyword">external</span> const_zext_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstZExtOrBitCast"</span><br> <span class="keyword">external</span> const_sext_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstSExtOrBitCast"</span><br> <span class="keyword">external</span> const_trunc_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstTruncOrBitCast"</span><br> <span class="keyword">external</span> const_pointercast : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstPointerCast"</span><br> <span class="keyword">external</span> const_intcast : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstIntCast"</span><br> <span class="keyword">external</span> const_fpcast : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstFPCast"</span><br> <span class="keyword">external</span> const_select :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstSelect"</span><br> <span class="keyword">external</span> const_extractelement :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMConstExtractElement"</span><br> <span class="keyword">external</span> const_insertelement :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstInsertElement"</span><br> <span class="keyword">external</span> const_shufflevector :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMConstShuffleVector"</span><br> <span class="keyword">external</span> const_extractvalue : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_extractvalue"</span><br> <span class="keyword">external</span> const_insertvalue :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_insertvalue"</span><br> <span class="keyword">external</span> const_inline_asm :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_const_inline_asm"</span><br> <span class="keyword">external</span> block_address : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMBlockAddress"</span><br> <span class="keyword">external</span> global_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule<br> = <span class="string">"LLVMGetGlobalParent"</span><br> <span class="keyword">external</span> is_declaration : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_declaration"</span><br> <span class="keyword">external</span> linkage : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Linkage</span>.t = <span class="string">"llvm_linkage"</span><br> <span class="keyword">external</span> set_linkage : <span class="constructor">Llvm</span>.<span class="constructor">Linkage</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_linkage"</span><br> <span class="keyword">external</span> section : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string = <span class="string">"llvm_section"</span><br> <span class="keyword">external</span> set_section : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_set_section"</span><br> <span class="keyword">external</span> visibility : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Visibility</span>.t = <span class="string">"llvm_visibility"</span><br> <span class="keyword">external</span> set_visibility : <span class="constructor">Llvm</span>.<span class="constructor">Visibility</span>.t <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_visibility"</span><br> <span class="keyword">external</span> alignment : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int = <span class="string">"llvm_alignment"</span><br> <span class="keyword">external</span> set_alignment : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_set_alignment"</span><br> <span class="keyword">external</span> declare_global :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_declare_global"</span><br> <span class="keyword">external</span> declare_qualified_global :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_declare_qualified_global"</span><br> <span class="keyword">external</span> define_global :<br> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_define_global"</span><br> <span class="keyword">external</span> define_qualified_global :<br> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_define_qualified_global"</span><br> <span class="keyword">external</span> lookup_global : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> = <span class="string">"llvm_lookup_global"</span><br> <span class="keyword">external</span> delete_global : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_delete_global"</span><br> <span class="keyword">external</span> global_begin :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_global_begin"</span><br> <span class="keyword">external</span> global_succ :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_global_succ"</span><br> <span class="keyword">val</span> iter_globals : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_globals :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> global_end :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_global_end"</span><br> <span class="keyword">external</span> global_pred :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_global_pred"</span><br> <span class="keyword">val</span> rev_iter_globals : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_right_globals :<br> (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> is_global_constant : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_is_global_constant"</span><br> <span class="keyword">external</span> set_global_constant : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_global_constant"</span><br> <span class="keyword">external</span> global_initializer : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMGetInitializer"</span><br> <span class="keyword">external</span> set_initializer : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_initializer"</span><br> <span class="keyword">external</span> remove_initializer : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_remove_initializer"</span><br> <span class="keyword">external</span> is_thread_local : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_thread_local"</span><br> <span class="keyword">external</span> set_thread_local : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_thread_local"</span><br> <span class="keyword">external</span> add_alias :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_add_alias"</span><br> <span class="keyword">external</span> declare_function :<br> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_declare_function"</span><br> <span class="keyword">external</span> define_function :<br> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_define_function"</span><br> <span class="keyword">external</span> lookup_function : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> = <span class="string">"llvm_lookup_function"</span><br> <span class="keyword">external</span> delete_function : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_delete_function"</span><br> <span class="keyword">external</span> function_begin :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_function_begin"</span><br> <span class="keyword">external</span> function_succ :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_function_succ"</span><br> <span class="keyword">val</span> iter_functions : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_functions :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> function_end :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_function_end"</span><br> <span class="keyword">external</span> function_pred :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llmodule, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_function_pred"</span><br> <span class="keyword">val</span> rev_iter_functions : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_right_functions :<br> (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> is_intrinsic : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_intrinsic"</span><br> <span class="keyword">external</span> function_call_conv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> = <span class="string">"llvm_function_call_conv"</span><br> <span class="keyword">external</span> set_function_call_conv : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_function_call_conv"</span><br> <span class="keyword">external</span> gc : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string option = <span class="string">"llvm_gc"</span><br> <span class="keyword">external</span> set_gc : string option <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit = <span class="string">"llvm_set_gc"</span><br> <span class="keyword">external</span> add_function_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_function_attr"</span><br> <span class="keyword">external</span> remove_function_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_remove_function_attr"</span><br> <span class="keyword">external</span> params : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array = <span class="string">"llvm_params"</span><br> <span class="keyword">external</span> param : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_param"</span><br> <span class="keyword">external</span> param_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"LLVMGetParamParent"</span><br> <span class="keyword">external</span> param_begin :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_param_begin"</span><br> <span class="keyword">external</span> param_succ :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_param_succ"</span><br> <span class="keyword">val</span> iter_params : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_params :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> param_end :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_param_end"</span><br> <span class="keyword">external</span> param_pred :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_param_pred"</span><br> <span class="keyword">val</span> rev_iter_params : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_right_params :<br> (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> add_param_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_param_attr"</span><br> <span class="keyword">external</span> remove_param_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_remove_param_attr"</span><br> <span class="keyword">external</span> set_param_alignment : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_param_alignment"</span><br> <span class="keyword">external</span> basic_blocks : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock array<br> = <span class="string">"llvm_basic_blocks"</span><br> <span class="keyword">external</span> entry_block : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"LLVMGetEntryBasicBlock"</span><br> <span class="keyword">external</span> delete_block : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit = <span class="string">"llvm_delete_block"</span><br> <span class="keyword">external</span> append_block :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"llvm_append_block"</span><br> <span class="keyword">external</span> insert_block :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"llvm_insert_block"</span><br> <span class="keyword">external</span> block_parent : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMGetBasicBlockParent"</span><br> <span class="keyword">external</span> block_begin :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llbasicblock) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_block_begin"</span><br> <span class="keyword">external</span> block_succ :<br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llbasicblock) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_block_succ"</span><br> <span class="keyword">val</span> iter_blocks : (<span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_blocks :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> block_end :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llbasicblock) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_block_end"</span><br> <span class="keyword">external</span> block_pred :<br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue, <span class="constructor">Llvm</span>.llbasicblock) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_block_pred"</span><br> <span class="keyword">val</span> rev_iter_blocks : (<span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_right_blocks :<br> (<span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> value_of_block : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"LLVMBasicBlockAsValue"</span><br> <span class="keyword">external</span> value_is_block : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_value_is_block"</span><br> <span class="keyword">external</span> block_of_value : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"LLVMValueAsBasicBlock"</span><br> <span class="keyword">external</span> instr_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"LLVMGetInstructionParent"</span><br> <span class="keyword">external</span> instr_begin :<br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_instr_begin"</span><br> <span class="keyword">external</span> instr_succ :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos<br> = <span class="string">"llvm_instr_succ"</span><br> <span class="keyword">val</span> iter_instrs : (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> fold_left_instrs :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> instr_end :<br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_instr_end"</span><br> <span class="keyword">external</span> instr_pred :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llrev_pos<br> = <span class="string">"llvm_instr_pred"</span><br> <span class="keyword">val</span> fold_right_instrs :<br> (<span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">external</span> instruction_call_conv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> = <span class="string">"llvm_instruction_call_conv"</span><br> <span class="keyword">external</span> set_instruction_call_conv : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_instruction_call_conv"</span><br> <span class="keyword">external</span> add_instruction_param_attr :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_instruction_param_attr"</span><br> <span class="keyword">external</span> remove_instruction_param_attr :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_remove_instruction_param_attr"</span><br> <span class="keyword">external</span> is_tail_call : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_is_tail_call"</span><br> <span class="keyword">external</span> set_tail_call : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_tail_call"</span><br> <span class="keyword">external</span> add_incoming :<br> <span class="constructor">Llvm</span>.llvalue * <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_incoming"</span><br> <span class="keyword">external</span> incoming : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> (<span class="constructor">Llvm</span>.llvalue * <span class="constructor">Llvm</span>.llbasicblock) list<br> = <span class="string">"llvm_incoming"</span><br> <span class="keyword">external</span> builder : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder = <span class="string">"llvm_builder"</span><br> <span class="keyword">val</span> builder_at :<br> <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span><br> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder<br> <span class="keyword">val</span> builder_before : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder<br> <span class="keyword">val</span> builder_at_end : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder<br> <span class="keyword">external</span> position_builder :<br> (<span class="constructor">Llvm</span>.llbasicblock, <span class="constructor">Llvm</span>.llvalue) <span class="constructor">Llvm</span>.llpos <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_position_builder"</span><br> <span class="keyword">val</span> position_before : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> position_at_end : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> <span class="keyword">external</span> insertion_block : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> = <span class="string">"llvm_insertion_block"</span><br> <span class="keyword">external</span> insert_into_builder :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_insert_into_builder"</span><br> <span class="keyword">external</span> set_current_debug_location :<br> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_current_debug_location"</span><br> <span class="keyword">external</span> clear_current_debug_location : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_clear_current_debug_location"</span><br> <span class="keyword">external</span> current_debug_location : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> = <span class="string">"llvm_current_debug_location"</span><br> <span class="keyword">external</span> set_inst_debug_location : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_set_inst_debug_location"</span><br> <span class="keyword">external</span> build_ret_void : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_ret_void"</span><br> <span class="keyword">external</span> build_ret : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_ret"</span><br> <span class="keyword">external</span> build_aggregate_ret :<br> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_aggregate_ret"</span><br> <span class="keyword">external</span> build_br : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_br"</span><br> <span class="keyword">external</span> build_cond_br :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_cond_br"</span><br> <span class="keyword">external</span> build_switch :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_switch"</span><br> <span class="keyword">external</span> add_case :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_case"</span><br> <span class="keyword">external</span> build_indirect_br :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_indirect_br"</span><br> <span class="keyword">external</span> add_destination : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_add_destination"</span><br> <span class="keyword">external</span> build_invoke :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_invoke_bc"</span> <span class="string">"llvm_build_invoke_nat"</span><br> <span class="keyword">external</span> build_unwind : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_unwind"</span><br> <span class="keyword">external</span> build_unreachable : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_unreachable"</span><br> <span class="keyword">external</span> build_add :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_add"</span><br> <span class="keyword">external</span> build_nsw_add :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nsw_add"</span><br> <span class="keyword">external</span> build_nuw_add :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nuw_add"</span><br> <span class="keyword">external</span> build_fadd :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fadd"</span><br> <span class="keyword">external</span> build_sub :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_sub"</span><br> <span class="keyword">external</span> build_nsw_sub :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nsw_sub"</span><br> <span class="keyword">external</span> build_nuw_sub :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nuw_sub"</span><br> <span class="keyword">external</span> build_fsub :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fsub"</span><br> <span class="keyword">external</span> build_mul :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_mul"</span><br> <span class="keyword">external</span> build_nsw_mul :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nsw_mul"</span><br> <span class="keyword">external</span> build_nuw_mul :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nuw_mul"</span><br> <span class="keyword">external</span> build_fmul :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fmul"</span><br> <span class="keyword">external</span> build_udiv :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_udiv"</span><br> <span class="keyword">external</span> build_sdiv :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_sdiv"</span><br> <span class="keyword">external</span> build_exact_sdiv :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_exact_sdiv"</span><br> <span class="keyword">external</span> build_fdiv :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fdiv"</span><br> <span class="keyword">external</span> build_urem :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_urem"</span><br> <span class="keyword">external</span> build_srem :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_srem"</span><br> <span class="keyword">external</span> build_frem :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_frem"</span><br> <span class="keyword">external</span> build_shl :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_shl"</span><br> <span class="keyword">external</span> build_lshr :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_lshr"</span><br> <span class="keyword">external</span> build_ashr :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_ashr"</span><br> <span class="keyword">external</span> build_and :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_and"</span><br> <span class="keyword">external</span> build_or :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_or"</span><br> <span class="keyword">external</span> build_xor :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_xor"</span><br> <span class="keyword">external</span> build_neg :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_neg"</span><br> <span class="keyword">external</span> build_nsw_neg :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nsw_neg"</span><br> <span class="keyword">external</span> build_nuw_neg :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_nuw_neg"</span><br> <span class="keyword">external</span> build_fneg :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fneg"</span><br> <span class="keyword">external</span> build_not :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_not"</span><br> <span class="keyword">external</span> build_alloca :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_alloca"</span><br> <span class="keyword">external</span> build_array_alloca :<br> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_array_alloca"</span><br> <span class="keyword">external</span> build_load :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_load"</span><br> <span class="keyword">external</span> build_store :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_store"</span><br> <span class="keyword">external</span> build_gep :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_gep"</span><br> <span class="keyword">external</span> build_in_bounds_gep :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_in_bounds_gep"</span><br> <span class="keyword">external</span> build_struct_gep :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_struct_gep"</span><br> <span class="keyword">external</span> build_global_string :<br> string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_global_string"</span><br> <span class="keyword">external</span> build_global_stringptr :<br> string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_global_stringptr"</span><br> <span class="keyword">external</span> build_trunc :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_trunc"</span><br> <span class="keyword">external</span> build_zext :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_zext"</span><br> <span class="keyword">external</span> build_sext :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_sext"</span><br> <span class="keyword">external</span> build_fptoui :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fptoui"</span><br> <span class="keyword">external</span> build_fptosi :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fptosi"</span><br> <span class="keyword">external</span> build_uitofp :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_uitofp"</span><br> <span class="keyword">external</span> build_sitofp :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_sitofp"</span><br> <span class="keyword">external</span> build_fptrunc :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fptrunc"</span><br> <span class="keyword">external</span> build_fpext :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fpext"</span><br> <span class="keyword">external</span> build_ptrtoint :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_prttoint"</span><br> <span class="keyword">external</span> build_inttoptr :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_inttoptr"</span><br> <span class="keyword">external</span> build_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_bitcast"</span><br> <span class="keyword">external</span> build_zext_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_zext_or_bitcast"</span><br> <span class="keyword">external</span> build_sext_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_sext_or_bitcast"</span><br> <span class="keyword">external</span> build_trunc_or_bitcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_trunc_or_bitcast"</span><br> <span class="keyword">external</span> build_pointercast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_pointercast"</span><br> <span class="keyword">external</span> build_intcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_intcast"</span><br> <span class="keyword">external</span> build_fpcast :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fpcast"</span><br> <span class="keyword">external</span> build_icmp :<br> <span class="constructor">Llvm</span>.<span class="constructor">Icmp</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_icmp"</span><br> <span class="keyword">external</span> build_fcmp :<br> <span class="constructor">Llvm</span>.<span class="constructor">Fcmp</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_fcmp"</span><br> <span class="keyword">external</span> build_phi :<br> (<span class="constructor">Llvm</span>.llvalue * <span class="constructor">Llvm</span>.llbasicblock) list <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue = <span class="string">"llvm_build_phi"</span><br> <span class="keyword">external</span> build_call :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_call"</span><br> <span class="keyword">external</span> build_select :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_select"</span><br> <span class="keyword">external</span> build_va_arg :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_va_arg"</span><br> <span class="keyword">external</span> build_extractelement :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_extractelement"</span><br> <span class="keyword">external</span> build_insertelement :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_insertelement"</span><br> <span class="keyword">external</span> build_shufflevector :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_shufflevector"</span><br> <span class="keyword">external</span> build_extractvalue :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_extractvalue"</span><br> <span class="keyword">external</span> build_insertvalue :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span><br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_insertvalue"</span><br> <span class="keyword">external</span> build_is_null :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_is_null"</span><br> <span class="keyword">external</span> build_is_not_null :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_is_not_null"</span><br> <span class="keyword">external</span> build_ptrdiff :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> = <span class="string">"llvm_build_ptrdiff"</span><br> <span class="keyword">module</span> <span class="constructor">MemoryBuffer</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">external</span> of_file : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmemorybuffer<br> = <span class="string">"llvm_memorybuffer_of_file"</span><br> <span class="keyword">external</span> of_stdin : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmemorybuffer<br> = <span class="string">"llvm_memorybuffer_of_stdin"</span><br> <span class="keyword">external</span> dispose : <span class="constructor">Llvm</span>.llmemorybuffer <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_memorybuffer_dispose"</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">PassManager</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">type</span> any = [ <span class="keywordsign">`</span><span class="constructor">Function</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Module</span> ]<br> <span class="keyword">external</span> create : unit <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Module</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t<br> = <span class="string">"llvm_passmanager_create"</span><br> <span class="keyword">external</span> create_function :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Function</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t<br> = <span class="string">"LLVMCreateFunctionPassManager"</span><br> <span class="keyword">external</span> run_module :<br> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Module</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_passmanager_run_module"</span><br> <span class="keyword">external</span> initialize : [ <span class="keywordsign">`</span><span class="constructor">Function</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_passmanager_initialize"</span><br> <span class="keyword">external</span> run_function :<br> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Function</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_passmanager_run_function"</span><br> <span class="keyword">external</span> finalize : [ <span class="keywordsign">`</span><span class="constructor">Function</span> ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> bool<br> = <span class="string">"llvm_passmanager_finalize"</span><br> <span class="keyword">external</span> dispose : [< <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.any ] <span class="constructor">Llvm</span>.<span class="constructor">PassManager</span>.t <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_passmanager_dispose"</span><br> <span class="keyword">end</span><br> <span class="keyword">end</span></code></body></html>