i1 | Lang.Crucible.LLVM.MemType |
i16 | Lang.Crucible.LLVM.MemType |
i16p | Lang.Crucible.LLVM.MemType |
i32 | Lang.Crucible.LLVM.MemType |
i32p | Lang.Crucible.LLVM.MemType |
i64 | Lang.Crucible.LLVM.MemType |
i64p | Lang.Crucible.LLVM.MemType |
i8 | Lang.Crucible.LLVM.MemType |
i8p | Lang.Crucible.LLVM.MemType |
Ident | |
1 (Type/Class) | Lang.Crucible.LLVM.MemType |
2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
Immutable | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
IndeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
indeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
InductiveInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
InitialInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
initializeAllMemory | Lang.Crucible.LLVM.Globals |
initializeMemory | Lang.Crucible.LLVM.Globals |
initializeMemoryConstGlobals | Lang.Crucible.LLVM.Globals |
initialLLVMFileSystem | Lang.Crucible.LLVM.SymIO |
InsertElementIndex | Lang.Crucible.LLVM.Errors.Poison |
IntConst | Lang.Crucible.LLVM.Translation |
intConst | Lang.Crucible.LLVM.Translation |
integerAlignment | Lang.Crucible.LLVM.DataLayout |
IntFormat | Lang.Crucible.LLVM.Printf |
IntFormat_Hex | Lang.Crucible.LLVM.Printf |
IntFormat_Octal | Lang.Crucible.LLVM.Printf |
IntFormat_SignedDecimal | Lang.Crucible.LLVM.Printf |
IntFormat_UnsignedDecimal | Lang.Crucible.LLVM.Printf |
intLayout | Lang.Crucible.LLVM.DataLayout |
IntrinsicsOptions | |
1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
IntType | Lang.Crucible.LLVM.MemType |
intWidthSize | Lang.Crucible.LLVM.DataLayout |
Invalid | Lang.Crucible.LLVM.Errors.MemoryError |
Invalidated | Lang.Crucible.LLVM.Errors.MemoryError |
invalidateMem | Lang.Crucible.LLVM.MemModel.Generic |
InvariantEntry | |
1 (Type/Class) | Lang.Crucible.LLVM.SimpleLoopInvariant |
2 (Data Constructor) | Lang.Crucible.LLVM.SimpleLoopInvariant |
InvariantPhase | Lang.Crucible.LLVM.SimpleLoopInvariant |
isAligned | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
isAllocatedAlignedPointer | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
isAllocatedGeneric | Lang.Crucible.LLVM.MemModel.MemLog |
isAllocatedMutable | Lang.Crucible.LLVM.MemModel.Generic |
isGlobalPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
isGlobalPointer' | Lang.Crucible.LLVM.MemModel.Pointer |
isPointerMemType | Lang.Crucible.LLVM.MemType |
isValidPointer | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
isZero | Lang.Crucible.LLVM.MemModel |