Documentation
Miri
.
Input
Search
return to top
source
Imports
Init
Miri.Input.AllocationImage
Miri.Input.CallCompatibility
Miri.Input.CallResolution
Miri.Input.CompilerBacktraceFacts
Miri.Input.CompilerBacktraceSource
Miri.Input.CompilerCallConstruction
Miri.Input.CompilerCallFacts
Miri.Input.CompilerCallPipeline
Miri.Input.CompilerCastLeaves
Miri.Input.CompilerCastQueries
Miri.Input.CompilerConstantMachine
Miri.Input.CompilerConstantQueries
Miri.Input.CompilerCpuAffinity
Miri.Input.CompilerFactAdapters
Miri.Input.CompilerFacts
Miri.Input.CompilerForeignSymbols
Miri.Input.CompilerFrameContext
Miri.Input.CompilerFrameMetadata
Miri.Input.CompilerFunctionPointers
Miri.Input.CompilerGlobals
Miri.Input.CompilerInstance
Miri.Input.CompilerInstanceAbi
Miri.Input.CompilerLifecycle
Miri.Input.CompilerLifecyclePipeline
Miri.Input.CompilerLinkSections
Miri.Input.CompilerLinuxSyscall
Miri.Input.CompilerNamedFields
Miri.Input.CompilerNamedGlobals
Miri.Input.CompilerOperandSites
Miri.Input.CompilerPaths
Miri.Input.CompilerPlaceTypes
Miri.Input.CompilerProviders
Miri.Input.CompilerRandomDispatch
Miri.Input.CompilerRuntimeQueries
Miri.Input.CompilerScalarLeaves
Miri.Input.CompilerScopes
Miri.Input.CompilerShimAbi
Miri.Input.CompilerShimSignatures
Miri.Input.CompilerSignatureAbi
Miri.Input.CompilerThreadLocal
Miri.Input.CompilerUnixMemoryQueries
Miri.Input.CompilerUnixThreadDispatch
Miri.Input.CompilerUnixTls
Miri.Input.CompilerVTableFacts
Miri.Input.CompilerVTableLeaves
Miri.Input.CompilerVTableMachine
Miri.Input.CompilerVTableQueries
Miri.Input.CompilerVTableRuntime
Miri.Input.CompilerValidityLeaves
Miri.Input.CompilerVirtualFacts
Miri.Input.CompilerWindowsTypeLayouts
Miri.Input.Decoder
Miri.Input.EvalArchitectureMachine
Miri.Input.EvalCallDispatchConstruction
Miri.Input.EvalCallbackFutexConstruction
Miri.Input.EvalCallbackMachine
Miri.Input.EvalCallbackOperationConstruction
Miri.Input.EvalCallbackSourceConstruction
Miri.Input.EvalCompilerMachine
Miri.Input.EvalConfiguration
Miri.Input.EvalConfigurationCore
Miri.Input.EvalCoreMachine
Miri.Input.EvalEntrySymbols
Miri.Input.EvalExecutable
Miri.Input.EvalForeignConstruction
Miri.Input.EvalForeignExit
Miri.Input.EvalForeignIoMachine
Miri.Input.EvalForeignSocketMachine
Miri.Input.EvalForeignSyncMachine
Miri.Input.EvalHostMachine
Miri.Input.EvalNativeConstruction
Miri.Input.EvalNativeMachine
Miri.Input.EvalPlaceConstruction
Miri.Input.EvalPortableForeignConstruction
Miri.Input.EvalPortableForeignRuntime
Miri.Input.EvalPreparation
Miri.Input.EvalRunConstruction
Miri.Input.EvalRuntimeConstruction
Miri.Input.EvalSocketAddressConstruction
Miri.Input.EvalSourceRunConstruction
Miri.Input.EvalSourceRunFinalization
Miri.Input.EvalStartupAssembly
Miri.Input.EvalStartupMemoryConstruction
Miri.Input.EvalStartupRuntimeConstruction
Miri.Input.EvalStartupWindows
Miri.Input.EvalSyncMachine
Miri.Input.EvalSyncObjectConstruction
Miri.Input.EvalTerminatorMachine
Miri.Input.EvalTimeConstruction
Miri.Input.EvalTypedSyncMachine
Miri.Input.EvalUnixAffinityConstruction
Miri.Input.EvalUnixConstruction
Miri.Input.EvalUnixDynamicConstruction
Miri.Input.EvalUnixFreeBsdConstruction
Miri.Input.EvalUnixFsConstruction
Miri.Input.EvalUnixMacOsConstruction
Miri.Input.EvalUnixMemoryConstruction
Miri.Input.EvalUnixPthreadConstruction
Miri.Input.EvalUnixSolarishConstruction
Miri.Input.EvalUnixSourceConstruction
Miri.Input.EvalValidityMachine
Miri.Input.EvalVectoredMachine
Miri.Input.EvalWindowsCallbackSourceConstruction
Miri.Input.EvalWindowsConnectedSourceAssembly
Miri.Input.EvalWindowsEnvironmentConstruction
Miri.Input.EvalWindowsEnvironmentDispatchConstruction
Miri.Input.EvalWindowsFileConstruction
Miri.Input.EvalWindowsIoErrorConstruction
Miri.Input.EvalWindowsPlatformConstruction
Miri.Input.EvalWindowsRandomConstruction
Miri.Input.EvalWindowsRawSourceEntry
Miri.Input.EvalWindowsRunConstruction
Miri.Input.EvalWindowsSourceConstruction
Miri.Input.EvalWindowsSourceRunConstruction
Miri.Input.EvalWindowsSourceRunFinalization
Miri.Input.EvalWindowsStdOnlyConstruction
Miri.Input.EvalWindowsSyncTimeConstruction
Miri.Input.EvalWindowsThreadConstruction
Miri.Input.EvalWorld
Miri.Input.HostRuntime
Miri.Input.InitialMachine
Miri.Input.LowerMIR
Miri.Input.MachineConstruction
Miri.Input.NativeMathHost
Miri.Input.ProducerEvidence
Miri.Input.RuntimeArrayQueries
Miri.Input.RuntimeMetadata
Imported by
Public schema-v2 decoder and source-shaped MIR lowering API.