<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_ipo" rel="Chapter" href="Llvm_ipo.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> 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">Half</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">Vector</span><br> <span class="keywordsign">|</span> <span class="constructor">Metadata</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> <span class="keyword">of</span> int<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> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="constructor">ReturnsTwice</span><br> <span class="keywordsign">|</span> <span class="constructor">UWTable</span><br> <span class="keywordsign">|</span> <span class="constructor">NonLazyBind</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">module</span> <span class="constructor">Opcode</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">Invalid</span><br> <span class="keywordsign">|</span> <span class="constructor">Ret</span><br> <span class="keywordsign">|</span> <span class="constructor">Br</span><br> <span class="keywordsign">|</span> <span class="constructor">Switch</span><br> <span class="keywordsign">|</span> <span class="constructor">IndirectBr</span><br> <span class="keywordsign">|</span> <span class="constructor">Invoke</span><br> <span class="keywordsign">|</span> <span class="constructor">Invalid2</span><br> <span class="keywordsign">|</span> <span class="constructor">Unreachable</span><br> <span class="keywordsign">|</span> <span class="constructor">Add</span><br> <span class="keywordsign">|</span> <span class="constructor">FAdd</span><br> <span class="keywordsign">|</span> <span class="constructor">Sub</span><br> <span class="keywordsign">|</span> <span class="constructor">FSub</span><br> <span class="keywordsign">|</span> <span class="constructor">Mul</span><br> <span class="keywordsign">|</span> <span class="constructor">FMul</span><br> <span class="keywordsign">|</span> <span class="constructor">UDiv</span><br> <span class="keywordsign">|</span> <span class="constructor">SDiv</span><br> <span class="keywordsign">|</span> <span class="constructor">FDiv</span><br> <span class="keywordsign">|</span> <span class="constructor">URem</span><br> <span class="keywordsign">|</span> <span class="constructor">SRem</span><br> <span class="keywordsign">|</span> <span class="constructor">FRem</span><br> <span class="keywordsign">|</span> <span class="constructor">Shl</span><br> <span class="keywordsign">|</span> <span class="constructor">LShr</span><br> <span class="keywordsign">|</span> <span class="constructor">AShr</span><br> <span class="keywordsign">|</span> <span class="constructor">And</span><br> <span class="keywordsign">|</span> <span class="constructor">Or</span><br> <span class="keywordsign">|</span> <span class="constructor">Xor</span><br> <span class="keywordsign">|</span> <span class="constructor">Alloca</span><br> <span class="keywordsign">|</span> <span class="constructor">Load</span><br> <span class="keywordsign">|</span> <span class="constructor">Store</span><br> <span class="keywordsign">|</span> <span class="constructor">GetElementPtr</span><br> <span class="keywordsign">|</span> <span class="constructor">Trunc</span><br> <span class="keywordsign">|</span> <span class="constructor">ZExt</span><br> <span class="keywordsign">|</span> <span class="constructor">SExt</span><br> <span class="keywordsign">|</span> <span class="constructor">FPToUI</span><br> <span class="keywordsign">|</span> <span class="constructor">FPToSI</span><br> <span class="keywordsign">|</span> <span class="constructor">UIToFP</span><br> <span class="keywordsign">|</span> <span class="constructor">SIToFP</span><br> <span class="keywordsign">|</span> <span class="constructor">FPTrunc</span><br> <span class="keywordsign">|</span> <span class="constructor">FPExt</span><br> <span class="keywordsign">|</span> <span class="constructor">PtrToInt</span><br> <span class="keywordsign">|</span> <span class="constructor">IntToPtr</span><br> <span class="keywordsign">|</span> <span class="constructor">BitCast</span><br> <span class="keywordsign">|</span> <span class="constructor">ICmp</span><br> <span class="keywordsign">|</span> <span class="constructor">FCmp</span><br> <span class="keywordsign">|</span> <span class="constructor">PHI</span><br> <span class="keywordsign">|</span> <span class="constructor">Call</span><br> <span class="keywordsign">|</span> <span class="constructor">Select</span><br> <span class="keywordsign">|</span> <span class="constructor">UserOp1</span><br> <span class="keywordsign">|</span> <span class="constructor">UserOp2</span><br> <span class="keywordsign">|</span> <span class="constructor">VAArg</span><br> <span class="keywordsign">|</span> <span class="constructor">ExtractElement</span><br> <span class="keywordsign">|</span> <span class="constructor">InsertElement</span><br> <span class="keywordsign">|</span> <span class="constructor">ShuffleVector</span><br> <span class="keywordsign">|</span> <span class="constructor">ExtractValue</span><br> <span class="keywordsign">|</span> <span class="constructor">InsertValue</span><br> <span class="keywordsign">|</span> <span class="constructor">Fence</span><br> <span class="keywordsign">|</span> <span class="constructor">AtomicCmpXchg</span><br> <span class="keywordsign">|</span> <span class="constructor">AtomicRMW</span><br> <span class="keywordsign">|</span> <span class="constructor">Resume</span><br> <span class="keywordsign">|</span> <span class="constructor">LandingPad</span><br> <span class="keywordsign">|</span> <span class="constructor">Unwind</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ValueKind</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t =<br> <span class="constructor">NullValue</span><br> <span class="keywordsign">|</span> <span class="constructor">Argument</span><br> <span class="keywordsign">|</span> <span class="constructor">BasicBlock</span><br> <span class="keywordsign">|</span> <span class="constructor">InlineAsm</span><br> <span class="keywordsign">|</span> <span class="constructor">MDNode</span><br> <span class="keywordsign">|</span> <span class="constructor">MDString</span><br> <span class="keywordsign">|</span> <span class="constructor">BlockAddress</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantAggregateZero</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantArray</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantExpr</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantFP</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantInt</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantPointerNull</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantStruct</span><br> <span class="keywordsign">|</span> <span class="constructor">ConstantVector</span><br> <span class="keywordsign">|</span> <span class="constructor">Function</span><br> <span class="keywordsign">|</span> <span class="constructor">GlobalAlias</span><br> <span class="keywordsign">|</span> <span class="constructor">GlobalVariable</span><br> <span class="keywordsign">|</span> <span class="constructor">UndefValue</span><br> <span class="keywordsign">|</span> <span class="constructor">Instruction</span> <span class="keyword">of</span> <span class="constructor">Llvm</span>.<span class="constructor">Opcode</span>.t<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">val</span> create_context : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext<br> <span class="keyword">val</span> dispose_context : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> global_context : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext<br> <span class="keyword">val</span> mdkind_id : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int<br> <span class="keyword">val</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="keyword">val</span> dispose_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> target_triple : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> set_target_triple : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> data_layout : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> set_data_layout : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> dump_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> set_module_inline_asm : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> module_context : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext<br> <span class="keyword">val</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="keyword">val</span> type_is_sized : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> type_context : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llcontext<br> <span class="keyword">val</span> string_of_lltype : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> i1_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> i8_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> i16_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> i32_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> i64_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</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="keyword">val</span> integer_bitwidth : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> float_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> double_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> x86fp80_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> fp128_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> ppc_fp128_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</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="keyword">val</span> var_arg_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="keyword">val</span> is_var_arg : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> return_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> param_types : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array<br> <span class="keyword">val</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="keyword">val</span> packed_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="keyword">val</span> struct_name : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> string option<br> <span class="keyword">val</span> named_struct_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> struct_set_body : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> struct_element_types : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype array<br> <span class="keyword">val</span> is_packed : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> is_opaque : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> array_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="keyword">val</span> pointer_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</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="keyword">val</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="keyword">val</span> element_type : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> array_length : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> address_space : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> vector_size : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> void_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> label_type : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</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="keyword">val</span> type_of : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lltype<br> <span class="keyword">val</span> classify_value : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">ValueKind</span>.t<br> <span class="keyword">val</span> value_name : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> set_value_name : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> dump_value : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</span> use_begin : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lluse option<br> <span class="keyword">val</span> use_succ : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.lluse option<br> <span class="keyword">val</span> user : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> used_value : <span class="constructor">Llvm</span>.lluse <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<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">val</span> operand : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> set_operand : <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="keyword">val</span> num_operands : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> is_constant : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> const_null : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_all_ones : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_pointer_null : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> undef : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> is_null : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> is_undef : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> constexpr_opcode : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Opcode</span>.t<br> <span class="keyword">val</span> has_metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</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="keyword">val</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="keyword">val</span> clear_metadata : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</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="keyword">val</span> get_mdstring : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string option<br> <span class="keyword">val</span> get_named_metadata : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array<br> <span class="keyword">val</span> const_int : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</span> int64_of_const : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Int64</span>.t option<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> const_struct : <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="keyword">val</span> const_named_struct : <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="keyword">val</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="keyword">val</span> const_vector : <span class="constructor">Llvm</span>.llvalue array <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> align_of : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> size_of : <span class="constructor">Llvm</span>.lltype <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_nsw_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_nuw_neg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_fneg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> const_not : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> const_zext_or_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="keyword">val</span> const_sext_or_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="keyword">val</span> const_trunc_or_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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> const_extractelement : <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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> global_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmodule<br> <span class="keyword">val</span> is_declaration : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> linkage : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Linkage</span>.t<br> <span class="keyword">val</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="keyword">val</span> section : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> set_section : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> visibility : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Visibility</span>.t<br> <span class="keyword">val</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="keyword">val</span> alignment : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> set_alignment : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> declare_global : <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="keyword">val</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="keyword">val</span> define_global : 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="keyword">val</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="keyword">val</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="keyword">val</span> delete_global : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</span> global_succ : <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="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">val</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="keyword">val</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="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">val</span> is_global_constant : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> set_global_constant : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> global_initializer : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</span> remove_initializer : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> is_thread_local : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> set_thread_local : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> delete_function : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</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="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">val</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="keyword">val</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="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">val</span> is_intrinsic : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> function_call_conv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> set_function_call_conv : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> gc : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> string option<br> <span class="keyword">val</span> set_gc : string option <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</span> function_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t list<br> <span class="keyword">val</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="keyword">val</span> params : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue array<br> <span class="keyword">val</span> param : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> param_attr : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Attribute</span>.t list<br> <span class="keyword">val</span> param_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> param_begin : <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="keyword">val</span> param_succ : <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="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">val</span> param_end : <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="keyword">val</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="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">val</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="keyword">val</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="keyword">val</span> set_param_alignment : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> basic_blocks : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock array<br> <span class="keyword">val</span> entry_block : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> <span class="keyword">val</span> delete_block : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</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="keyword">val</span> block_parent : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</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="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">val</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="keyword">val</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="keyword">val</span> block_terminator : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<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">val</span> value_of_block : <span class="constructor">Llvm</span>.llbasicblock <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</span> value_is_block : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> block_of_value : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> <span class="keyword">val</span> instr_parent : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> <span class="keyword">val</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="keyword">val</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="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">val</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="keyword">val</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="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">val</span> instr_opcode : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Opcode</span>.t<br> <span class="keyword">val</span> icmp_predicate : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.<span class="constructor">Icmp</span>.t option<br> <span class="keyword">val</span> instruction_call_conv : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> set_instruction_call_conv : int <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</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="keyword">val</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="keyword">val</span> is_tail_call : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> set_tail_call : bool <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> add_incoming : <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="keyword">val</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="keyword">val</span> delete_instruction : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> builder : <span class="constructor">Llvm</span>.llcontext <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbuilder<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">val</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="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">val</span> insertion_block : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> <span class="keyword">val</span> insert_into_builder : <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="keyword">val</span> set_current_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="keyword">val</span> clear_current_debug_location : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> current_debug_location : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue option<br> <span class="keyword">val</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="keyword">val</span> build_ret_void : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> build_malloc : <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="keyword">val</span> build_array_malloc :<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="keyword">val</span> build_free : <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="keyword">val</span> add_case : <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="keyword">val</span> switch_default_dest : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llbasicblock<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> build_landingpad :<br> <span class="constructor">Llvm</span>.lltype <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="keyword">val</span> set_cleanup : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> add_clause : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> build_resume : <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="keyword">val</span> build_unreachable : <span class="constructor">Llvm</span>.llbuilder <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llvalue<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</span> build_neg : <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="keyword">val</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="keyword">val</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="keyword">val</span> build_fneg : <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="keyword">val</span> build_not : <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="keyword">val</span> build_alloca : <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="keyword">val</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="keyword">val</span> build_load : <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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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<br> <span class="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">module</span> <span class="constructor">MemoryBuffer</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> of_file : string <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmemorybuffer<br> <span class="keyword">val</span> of_stdin : unit <span class="keywordsign">-></span> <span class="constructor">Llvm</span>.llmemorybuffer<br> <span class="keyword">val</span> dispose : <span class="constructor">Llvm</span>.llmemorybuffer <span class="keywordsign">-></span> unit<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">val</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="keyword">val</span> create_function : <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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">val</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="keyword">end</span><br> <span class="keyword">end</span></code></body></html>