| laxArith | Lang.Crucible.LLVM.Translation |
| laxConstantEquality | Lang.Crucible.LLVM.MemModel |
| laxLoadsAndStores | Lang.Crucible.LLVM.MemModel |
| laxPointerMemOptions | Lang.Crucible.LLVM.MemModel |
| laxPointerOrdering | Lang.Crucible.LLVM.MemModel |
| Len_Byte | Lang.Crucible.LLVM.Printf |
| Len_IntMax | Lang.Crucible.LLVM.Printf |
| Len_Long | Lang.Crucible.LLVM.Printf |
| Len_LongDouble | Lang.Crucible.LLVM.Printf |
| Len_LongLong | Lang.Crucible.LLVM.Printf |
| Len_NoMod | Lang.Crucible.LLVM.Printf |
| Len_PtrDiff | Lang.Crucible.LLVM.Printf |
| Len_Short | Lang.Crucible.LLVM.Printf |
| Len_Sizet | Lang.Crucible.LLVM.Printf |
| Leq | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
| LibcAbsIntMinUB | Lang.Crucible.LLVM.Intrinsics.Libc |
| liftDeclare | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftMemType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftRetType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
| liftType | Lang.Crucible.LLVM.TypeContext |
| LittleEndian | Lang.Crucible.LLVM.DataLayout |
| LLVM | Lang.Crucible.LLVM.Extension, Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM |
| llvmAbortOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMAbsIntMin | Lang.Crucible.LLVM.Errors.Poison |
| LLVMAbsIntMinPoison | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAbsOverride | |
| 1 (Function) | Lang.Crucible.LLVM.Intrinsics.Libc |
| 2 (Function) | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmAcosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAcosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAliasMap | Lang.Crucible.LLVM.TypeContext |
| LLVMAnnMap | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
| LLVMArch | Lang.Crucible.LLVM.Extension |
| llvmArch | Lang.Crucible.LLVM.Translation |
| llvmAsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAsinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssertFailOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssertRtnOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAssumeOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmAtan2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtan2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmAtanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmBitreverse | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmBSwapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCeilOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCeilOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMConst | Lang.Crucible.LLVM.Translation |
| LLVMContext | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| llvmCopysignOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCopysignOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmCosOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCosOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCtlz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCtpop | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmCttz | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmDataLayout | Lang.Crucible.LLVM.TypeContext |
| llvmDecl | Lang.Crucible.LLVM.QQ |
| llvmDeclToFunHandleRepr | Lang.Crucible.LLVM.Translation, Lang.Crucible.LLVM.Intrinsics |
| llvmDeclToFunHandleRepr' | Lang.Crucible.LLVM.Translation |
| llvmExitOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExp2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExp2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpectOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpm1fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpm1Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmExpOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExpOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmExtensionEval | Lang.Crucible.LLVM.Eval |
| LLVMExtensionExpr | Lang.Crucible.LLVM.Extension |
| llvmExtensionImpl | Lang.Crucible.LLVM |
| llvmFabsF32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFabsF64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFileDescMap | Lang.Crucible.LLVM.SymIO |
| llvmFilePointerRepr | Lang.Crucible.LLVM.SymIO |
| LLVMFileSystem | |
| 1 (Type/Class) | Lang.Crucible.LLVM.SymIO |
| 2 (Data Constructor) | Lang.Crucible.LLVM.SymIO |
| llvmFileSystem | Lang.Crucible.LLVM.SymIO |
| llvmFloorfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFloorOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFloorOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFloorOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmafOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFmaOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFmaOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmaOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmuladdOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFmuladdOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFreeOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmFshl | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFshr | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmFunctionAliases | Lang.Crucible.LLVM.Translation |
| llvmGetenvOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmGlobalAliases | Lang.Crucible.LLVM.Translation |
| llvmGlobals | Lang.Crucible.LLVM |
| llvmGlobalsToCtx | Lang.Crucible.LLVM |
| llvmHandles | Lang.Crucible.LLVM.SymIO |
| llvmHtonlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHtonsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHypotfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmHypotOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmIntrinsicTypes | Lang.Crucible.LLVM.Intrinsics |
| llvmInvariantEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantEndOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmInvariantStartOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsFpclassOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsFpclassOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmIsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmIsnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLAbsOverride_32 | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLAbsOverride_64 | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLifetimeEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeOverrideOverload | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeOverrideOverload_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLifetimeStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLLAbsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog10Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog10Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog1pfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog1pOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLog2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLog2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLogfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLogOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmLogOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmLogOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemcpyOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemcpyOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemmoveOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemmoveOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemsetOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmMemsetOverride_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemsetOverride_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmMemVar | Lang.Crucible.LLVM.Translation |
| llvmMetadataMap | Lang.Crucible.LLVM.TypeContext |
| llvmNtohlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmNtohsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmObjectsizeOverride_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_32_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmObjectsizeOverride_64_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMOverride | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_args | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_declare | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_def | Lang.Crucible.LLVM.Intrinsics |
| llvmOverride_ret | Lang.Crucible.LLVM.Intrinsics |
| llvmOvr | Lang.Crucible.LLVM.QQ |
| LLVMPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPointerBlock | Lang.Crucible.LLVM.MemModel.Pointer |
| llvmPointerOffset | Lang.Crucible.LLVM.MemModel.Pointer |
| LLVMPointerRepr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
| LLVMPointerType | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
| llvmPointerType | Lang.Crucible.LLVM.MemModel.Pointer |
| llvmPointerView | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPointer_bv | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPowfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPowOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPowOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPowOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrefetchOverride_preLLVM10 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmPrintfChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPrintfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
| llvmPtrWidth | Lang.Crucible.LLVM.Translation |
| llvmPutCharOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmPutsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmReallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmRetTypeAsRepr | Lang.Crucible.LLVM.Translation |
| llvmSaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMSafetyAssertion | Lang.Crucible.LLVM.Errors |
| LLVMSideCondition | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Extension |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Extension |
| llvmSinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSinOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSinOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSizeT | Lang.Crucible.LLVM.Intrinsics |
| llvmSmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSqrtfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSqrtOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSqrtOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSqrtOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmSSizeT | Lang.Crucible.LLVM.Intrinsics |
| llvmSsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStackrestore | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStacksave | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmStatementExec | Lang.Crucible.LLVM.MemModel |
| LLVMStmt | Lang.Crucible.LLVM.Extension |
| llvmStrlenOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmSymIOIntrinsicTypes | Lang.Crucible.LLVM.SymIO |
| llvmTanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvmTanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| LLVMTranslationWarning | |
| 1 (Type/Class) | Lang.Crucible.LLVM.Translation |
| 2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
| llvmTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmType | Lang.Crucible.LLVM.QQ |
| llvmTypeAsRepr | Lang.Crucible.LLVM.Translation |
| llvmTypeCtx | Lang.Crucible.LLVM.Translation |
| llvmTypesAsCtx | Lang.Crucible.LLVM.Translation |
| llvmUaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUBSanTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmUsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVMVal | Lang.Crucible.LLVM.MemModel |
| LLVMValArray | Lang.Crucible.LLVM.MemModel |
| LLVMValFloat | Lang.Crucible.LLVM.MemModel |
| LLVMValInt | Lang.Crucible.LLVM.MemModel |
| llvmValStorableType | Lang.Crucible.LLVM.MemModel |
| LLVMValString | Lang.Crucible.LLVM.MemModel |
| LLVMValStruct | Lang.Crucible.LLVM.MemModel |
| LLVMValUndef | Lang.Crucible.LLVM.MemModel |
| LLVMValZero | Lang.Crucible.LLVM.MemModel |
| llvmX86_pclmulqdq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| llvmX86_SSE2_storeu_dq | Lang.Crucible.LLVM.Intrinsics.LLVM |
| LLVM_Alloca | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Addr | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Declare | Lang.Crucible.LLVM.Extension |
| LLVM_Dbg_Value | Lang.Crucible.LLVM.Extension |
| LLVM_Debug | Lang.Crucible.LLVM.Extension |
| LLVM_Load | Lang.Crucible.LLVM.Extension |
| LLVM_LoadHandle | Lang.Crucible.LLVM.Extension |
| LLVM_MemClear | Lang.Crucible.LLVM.Extension |
| LLVM_PointerBlock | Lang.Crucible.LLVM.Extension |
| LLVM_PointerExpr | Lang.Crucible.LLVM.Extension |
| LLVM_PointerIte | Lang.Crucible.LLVM.Extension |
| LLVM_PointerOffset | Lang.Crucible.LLVM.Extension |
| LLVM_PopFrame | Lang.Crucible.LLVM.Extension |
| LLVM_PtrAddOffset | Lang.Crucible.LLVM.Extension |
| LLVM_PtrEq | Lang.Crucible.LLVM.Extension |
| LLVM_PtrLe | Lang.Crucible.LLVM.Extension |
| LLVM_PtrSubtract | Lang.Crucible.LLVM.Extension |
| LLVM_PushFrame | Lang.Crucible.LLVM.Extension |
| LLVM_ResolveGlobal | Lang.Crucible.LLVM.Extension |
| LLVM_SideConditions | Lang.Crucible.LLVM.Extension |
| LLVM_Store | Lang.Crucible.LLVM.Extension |
| llvm__isinffOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isnanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| llvm__isnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
| loadMaybeString | Lang.Crucible.LLVM.MemModel |
| loadRaw | Lang.Crucible.LLVM.MemModel |
| loadString | Lang.Crucible.LLVM.MemModel |
| LongDoubleConst | Lang.Crucible.LLVM.Translation |
| lookupAlias | Lang.Crucible.LLVM.TypeContext |
| lookupFileHandle | Lang.Crucible.LLVM.SymIO |
| lookupMetadata | Lang.Crucible.LLVM.TypeContext |
| LowerCase | Lang.Crucible.LLVM.Printf |
| LshrExact | Lang.Crucible.LLVM.Errors.Poison |
| LshrOp2Big | Lang.Crucible.LLVM.Errors.Poison |