Jɠz      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN O P Q R S TUVWXY Z [ \ ] ^ _ ` a b c d e fghijklmnopqrstuvwxyrequires GHC 6.8, LLVM experimentalbos@serpentine.com!Get the type of a sequential type' s elements. .Fill out an array with the types of a function's fixed  parameters. ;Give the number of fixed parameters that a function takes. Give a function's return type. +Indicate whether a function takes varargs. Create a function type. $An integer type of the given width. 1  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./01231.-51,+*)1    7864BA@?<329(' &#'$GHFE!&%$#"/0DC0/( ") %!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJI>=;:  23.-,* +1  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~           !&%$#""#$%&'()*+,-./0123456789:;<=>?@ABCDEFGGFEDCBA@?>=<;:987654456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aa^]RQTLPO\[UKJIH`_ZYNXWSMVHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghhgfedcbbcdefghijjiijkllkkl mManage compile passes. nKA module provider is used by the code generator to get access to a module. oType of top level modules. pYFree all storage related to a module. *Note*, this is a dangerous call, since referring V to the module after this call is an error. The reason for the explicit call to free O the module instead of an automatic lifetime management is that modules have a P somewhat complicated ownership. Handing a module to a module provider changes [ the ownership of the module, and the module provider will free the module when necessary. qWrite a module to a file. rRead a module from a file. s&Turn a module into a module provider. tCreate a pass manager. u$Create a pass manager for a module. v=Add a control flow graph simplification pass to the manager. w0Add a constant propagation pass to the manager. y2Add a global value numbering pass to the manager. ;z{m|}~nopqrstuvwxyz{|}9m|}|}~nopqrstuvwxyz{|} ~ ~  The    -   - types represent type level digits that form  a number by, e.g, D1 (D0 (D5 End)). @ On the value level a slightly more palatable form can be used,   D1$D0$D5$End. "Mark the end of a digit sequence. <A type level number, i.e., a sequence of type level digits. .Get the numeric value of a type level number. / This function does not evaluate its argument. 5Fixed sized vector, the array size is encoded in the n parameter. 5Fixed sized arrays, the array size is encoded in the n parameter. 128 bit floating point. !Variable sized unsigned integer.  The n parameter should belong to  IsTypeNumber. Variable sized signed integer.  The n parameter should belong to  IsTypeNumber.   Function type. Types with a fixed size. IFirst class types, i.e., the types that can be passed as arguments, etc. Primitive types. Floating types. Integral types. 5Arithmetic types, i.e., integral and floating types. GType descriptor, used to convey type information through the LLVM API. The > class classifies all types that have an LLVM representation.  ;An enumeration for the kinds of linkage for global values. 7Stand-in functions for streaming fns from BC files !ExternalWeak linkage description #Function to be accessible from DLL !Function to be imported from DLL 2Rename collisions when linking (static functions) /Special purpose, only applies to global arrays 4Keep one copy of named function when linking (weak) 0Keep one copy of function when linking (inline) Externally visible function eA basic block is a sequence of non-branching instructions, terminated by a control flow instruction. )This class is just to simplify contexts. 0A function is simply a pointer to the function. Create a new module. 'Create a new explicitely named module. Give the body for a module. )Create a new module with the given body. Create a new named function. Create a new function. Use 3 to create a function with external linkage, since  it needs a known name. _Define a function body. The basic block returned by the function is the function entry point. +Create a new function with the given body. +Create a new function with the given body. KAdd attributes to a value. Beware, what attributes are allowed depends on  what kind of value it is. QCreate a reference to an external function while code generating for a function. $Create a new named global variable. Create a new global variable. +Give a global variable a (constant) value. %Create and define a global variable. +Create and define a named global variable. HMake a constant vector. Replicates or truncates the list to get length n. GMake a constant array. Replicates or truncates the list to get length n. G ; GAcceptable single index to getElementPointer. Acceptable arguments to getElementPointer. 0Acceptable argument to array memory allocation. Acceptable arguments to B. 0Acceptable operands to comparison instructions. Always true (always folded) True if unordered or not equal 'True if unordered, less than, or equal True if unordered or less than *True if unordered, greater than, or equal "True if unordered or greater than True if unordered or equal 'True if unordered: isnan(X) | isnan(Y) True if ordered (no nans) )True if ordered and operands are unequal 'True if ordered and less than or equal True if ordered and less than *True if ordered and greater than or equal !True if ordered and greater than  True if ordered and equal  Always false (always folded)  signed less or equal  signed less than signed greater or equal signed greater than unsigned less or equal unsigned less than unsigned greater or equal unsigned greater than  not equal equal 8Acceptable arguments to arithmetic binary instructions. Acceptable arguments to the  instruction. {Return from the current function with the given value. Use () as the return value for what would be a void function is C. ]Branch to the first basic block if the boolean is true, otherwise to the second basic block. 1Unconditionally branch to the given basic block. Branch table instruction. ;Unwind the call stack until a function call performed with C is reached. $ I.e., throw a non-local exception. ?Inform the code generator that this code can never be reached. &Floating point division. 'Floating point remainder. 0Get a value from a vector. 1.Insert a value into a vector, nondescructive. 2Permute vector. 3)Truncate a value to a shorter bit width. 4&Zero extend a value to a wider width. 5$Sign extend a value to wider width. 6!Truncate a floating point value. 7Extend a floating point value. 87Convert a floating point value to an unsigned integer. 94Convert a floating point value to a signed integer. :7Convert an unsigned integer to a floating point value. ;4Convert a signed integer to a floating point value. <!Convert a pointer to an integer. =!Convert an integer to a pointer. >LConvert between to values of the same size by just copying the bit pattern. ?Compare integers. @Compare floating point values. A2Select between two values depending on a boolean. B/Call a function with the given arguments. The B8 instruction is variadic, i.e., the number of arguments ! it takes depends on the type of f. C)Call a function with exception handling. DQJoin several variables (virtual registers) from different basic blocks into one. 8 All of the variables in the list are joined. See also E. E/Add additional inputs to an existing phi node. M The reason for this instruction is that sometimes the structure of the code ^ makes it impossible to have all variables in scope at the point where you need the phi node. FAllocate heap memory. GAllocate heap (array) memory. HAllocate stack memory. IAllocate stack (array) memory. JFree heap memory. KLoad a value from memory. LStore a value in memory M+Address arithmetic. See LLVM description. ) The index is a nested tuple of the form (i1,(i2,( ... ()))). T (This is without a doubt the most confusing LLVM instruction, but the types help.) ]      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMZ          !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMPMThe LLVM execution engine is encapsulated so it cannot be accessed directly. D The reason is that (currently) there must only ever be one engine, ' so access to it is wrapped ina monad. NOPQRS NOPQRSTUTUTUVPrint a value. WPrint a type. XGet the name of a .  mnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMTUVWXopnsmtuqrC !."#&$%'()*+,-/012FGHIJKLM3456789:;<=>     ?@ADEBTU~ VWXvwxyz{|}VWX [IClass of LLVM function types that can be translated to the corresponding  Haskell type. \3Generate a Haskell function from an LLVM function. ]ITranslate a function to Haskell code. This is a simplified interface to , the execution engine and module mechanism. ^Combine ]  and Z . NOPQRSYZ[\]^ OPQSR[N\YZ]^YZZ[\]^ _`a_`a_`a bcdebcdebcde j Synonym for CodeGenFunction r (Value a). lComparison functions. q Lazy and. r Lazy or. sYConditional, returns first element of the pair when condition is true, otherwise second. uReturn a value from an w. vUse x < - set $ ... to make a binding. wUnlift a function with TValue to have Value arguments. xLift a function from having Value arguments to having TValue arguments. yDefine a recursive w+, gets pased itself as the first argument. fghijklmnopqrstuvwxyjiklopmnqrstuvhwgxyffghijklmnopqrstuvwxy !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~CE DE~}|{zyY                             75?      !"#$%&'()*+,-./0123456789:;<=>?@ABkCDEFG H I J K L M N O P Q R S TUVWXYZ[\]^_`abcdefghijkilm533nCoEpqrstu9vwxyz{|#'A}~i5?wual llvm-0.6.0.2LLVM.Util.Foreign LLVM.FFI.CoreLLVM.FFI.TargetLLVM.FFI.ExecutionEngineLLVM.FFI.Transforms.ScalarLLVM.FFI.BitWriterLLVM.FFI.BitReader LLVM.CoreLLVM.FFI.AnalysisData.TypeNumbersLLVM.ExecutionEngineLLVM.Util.FileLLVM.Util.LoopLLVM.Util.ArithmeticLLVM.Core.UtilLLVM.Core.CodeGenMonadLLVM.Core.DataLLVM.Core.TypeLLVM.Core.CodeGenLLVM.Core.InstructionsLLVM.ExecutionEngine.EngineLLVM.Core.Vectorwithalloca withArrayLen setTailCallremoveInstrAttributeremoveAttribute isTailCalladdInstrAttribute addAttributesetParamAlignmentsetInstrParamAlignmentrunPassManagerrunFunctionPassManagerpositionBuilder opaqueType labelTypeinitializeFunctionPassManagergetPreviousParamgetPreviousInstructiongetPreviousGlobalgetPreviousFunctiongetPreviousBasicBlockgetParamParent getNextParamgetNextInstruction getNextGlobalgetNextFunctiongetNextBasicBlock getLastParamgetLastInstruction getLastGlobalgetLastFunctiongetLastBasicBlockgetInstructionParentgetInsertBlockgetGlobalParent getFirstParamgetFirstInstructiongetFirstGlobalgetFirstFunctiongetFirstBasicBlockgetBasicBlockParentfinalizeFunctionPassManager dumpModuleptrDisposePassManagercreatePassManagercreateFunctionPassManagerconstRealOfStringsizeOf setTargetresolveTypeHandle refineType getVectorSize getTargetgetPointerAddressSpacegetIntTypeWidthgetArrayLengthdisposeTypeHandledisposeMessagedisposeMemoryBuffercreateTypeHandlecreateMemoryBufferWithSTDIN$createMemoryBufferWithContentsOfFileisPackedStructgetStructElementTypescountStructElementTypes structTypesetInstructionCallConvgetInstructionCallConvgetIncomingBlockgetIncomingValue addIncoming countIncomingaddCasebuildShuffleVectorbuildInsertElementbuildExtractElement buildVAArg buildSelect buildCallbuildPhi buildFCmp buildICmp buildBitCast buildIntToPtr buildPtrToInt buildFPExt buildFPTrunc buildSIToFP buildUIToFP buildFPToSI buildFPToUI buildSExt buildZExt buildTruncbuildGEP buildStore buildLoad buildFreebuildArrayAlloca buildAllocabuildArrayMalloc buildMallocbuildNotbuildNegbuildXorbuildOrbuildAnd buildAShr buildLShrbuildShl buildFRem buildSRem buildURem buildFDiv buildSDiv buildUDivbuildMulbuildSubbuildAddbuildUnreachable buildUnwind buildInvoke buildSwitch buildCondBrbuildBrbuildRet buildRetVoid positionAtEndpositionBeforeptrDisposeBuilder createBuilderdeleteBasicBlockinsertBasicBlockappendBasicBlockgetEntryBasicBlockgetBasicBlockscountBasicBlocksvalueAsBasicBlockvalueIsBasicBlockbasicBlockAsValueconstShuffleVectorconstInsertElementconstExtractElement constSelect constBitCast constIntToPtr constPtrToInt constFPToSI constFPToUI constSIToFP constUIToFP constFPExt constFPTrunc constZExt constSExt constTruncconstGEP constAShr constLShrconstShl constFCmp constICmpconstXorconstOrconstAnd constFRem constSRem constURem constFDiv constSDiv constUDivconstMulconstSubconstAddconstNotconstNeg constVector constStruct constString constRealconstInt setAlignment getAlignment setVisibility getVisibility setSection getSection setLinkage getLinkage isDeclarationsetGCgetGCsetFunctionCallConvgetFunctionCallConvgetIntrinsicID getParamsgetParam countParamsdeleteFunction addFunctiongetNamedFunctionisUndefisNullgetUndef isConstant constNull constArray constAllOnes dumpValue setValueName getValueNametypeOfsetGlobalConstantisGlobalConstantsetThreadLocal isThreadLocalgetInitializergetNamedGlobalsetInitializer deleteGlobal addGlobalgetElementTypedeleteTypeName addTypeName vectorType pointerType arrayType getParamTypescountParamTypes getReturnTypeisFunctionVarArg functionTypevoidType ppcFP128Type fp128Type x86FP80Type doubleType floatType integerType int64Type int32Type int16Typeint8Typeint1TypeptrDisposeModuleProvider%createModuleProviderForExistingModule setDataLayout getDataLayoutptrDisposeModule disposeModulemoduleCreateWithNamePassManagerRef PassManager AttributeReadOnlyAttributeReadNoneAttribute NestAttributeByValAttributeNoAliasAttributeNoUnwindAttributeStructRetAttributeInRegAttributeNoReturnAttribute SExtAttribute ZExtAttributeTypeKindVectorTypeKindOpaqueTypeKindPointerTypeKind ArrayTypeKindStructTypeKindFunctionTypeKindIntegerTypeKind LabelTypeKindPPC_FP128TypeKind FP128TypeKindX86_FP80TypeKindDoubleTypeKind FloatTypeKind VoidTypeKindMemoryBufferRef MemoryBuffer BuilderRefBuilder BasicBlockRef BasicBlock VisibilityLinkageCallingConvention X86FastCall X86StdCallColdFastCValueRefValueTypeRefTypeModuleProviderRefModuleProvider ModuleRefModulefromCallingConventiontoCallingConvention getTypeKind fromAttribute toAttributestoreSizeOfTypesizeOfTypeInBitspreferredAlignmentOfTypepreferredAlignmentOfGlobal pointerSizeoffsetOfElementinvalidateStructLayout intPtrTypeelementAtOffsetdisposeTargetDatacreateTargetDatacopyStringRepOfTargetDatacallFrameAlignmentOfType byteOrder addTargetData aBISizeOfTypeaBIAlignmentOfType TargetDataRef TargetData ByteOrderinggetPointerToGlobaladdGlobalMappinggetExecutionEngineTargetDatarunFunctionAsMainremoveModuleProvidergenericValueToPointergenericValueIntWidthfreeMachineCodeForFunction findFunctioncreateJITCompilercreateInterpretercreateGenericValueOfPointeraddModuleProvider runFunctionptrDisposeGenericValuegenericValueToFloatcreateGenericValueOfFloatgenericValueToIntcreateGenericValueOfIntrunStaticDestructorsrunStaticConstructorsptrDisposeExecutionEnginecreateExecutionEngineGenericValueRef GenericValueExecutionEngineaddReassociatePassaddPromoteMemoryToRegisterPassaddInstructionCombiningPass addGVNPassaddDemoteMemoryToRegisterPassaddConstantPropagationPassaddCFGSimplificationPasswriteBitcodeToFileHandlewriteBitcodeToFile parseBitcodegetBitcodeModuleProvider destroyModulereadBitcodeFromFileCodeGenFunction CodeGenModuleviewFunctionCFGOnlyviewFunctionCFG verifyModuleverifyFunctionVerifierFailureActionD9D8D7D6D5D4D3D2D1D0End IsTypeNumber typeNumberVectorArrayFP128WordNIntN IsFunctionIsSized IsFirstClass IsPrimitive IsFloating IsInteger IsArithmeticTypeDesc TDFunctionTDPtrTDVectorTDArrayTDIntTDVoidTDFP128TDDoubleTDFloatIsTypetypeDesc IsPowerOf2typeReftypeNameisSigned isFloating GhostLinkageExternalWeakLinkageDLLExportLinkageDLLImportLinkageInternalLinkageAppendingLinkage WeakLinkageLinkOnceLinkageExternalLinkageTGlobal TFunctionGlobal FunctionRet FunctionArgsFunctionIsConst ConstValue ModuleValue newModulenewNamedModule defineModule createModulegetModuleValuescastModuleValuevalueOfvaluezeroallOnesundefnewNamedFunction newFunctiondefineFunctioncreateFunctioncreateNamedFunction addAttributescreateBasicBlock newBasicBlocknewNamedBasicBlockdefineBasicBlockgetCurrentBasicBlockexternFunctionnewNamedGlobal newGlobal defineGlobal createGlobalcreateNamedGlobal createStringcreateStringNul IsIndexArg GetElementPtrAllocArgCallArgsCmpRetCmpOp FPPredicateFPTFPUNEFPULEFPULTFPUGEFPUGTFPUEQFPUNOFPORDFPONEFPOLEFPOLTFPOGEFPOGTFPOEQFPFalse IntPredicateIntSLEIntSLTIntSGEIntSGTIntULEIntULTIntUGEIntUGTIntNEIntEQABinOpRet TerminateretcondBrbrswitchunwind unreachableaddsubmuludivsdivuremsremfdivfremshllshrashrandorxorneginvextractelement insertelement shufflevectortrunczextsextfptruncfpextfptouifptosiuitofpsitofpptrtointinttoptrbitcasticmpfcmpselectcallinvokephi addPhiInputsmalloc arrayMalloc arrayAllocafreeloadstore getElementPtrGeneric EngineAccessrunEngineAccessgetPointerToFunction addModuletoVector fromVectordumpTypeUnsafe unsafePurify TranslatablegenerateFunctionsimpleFunctionunsafeGenerateFunctionwriteCodeGenModuleoptimizeFunctionoptimizeFunctionCGPhiforLoop mapVector mapVector2 CallIntrinsic UnwrapArgs ArithFunctionCmpTValue%==%/=%>%>=%<%<=%&&%||???retrnset arithFunctiontoArithFunctionrecursiveFunctionbaseForeign.C.StringCStringForeign.Marshal.ArrayfromPassManager fromBuilderfromModuleProvider fromModule withModule valueHasType showTypeOfwithModuleProvider withBuilderconstStringNulmakeCall makeInvoke buildEmptyPhiwithEmptyCString addPhiInswithPassManager getValueNameU mtl-1.1.0.2Control.Monad.TransliftIOgenMSym getModulerunCodeGenModulegenFSym getFunction getBuildergetFunctionModule getExterns putExternsrunCodeGenFunctionGHC.PtrPtrconstOfunValuewithCurrentBuilder toGeneric fromGenericgetRunFunctionMkVector