Expand description
We’ve temporarily moved the stable_mir
implementation to rustc_smir::stable_mir
,
during refactoring to break the circular dependency between rustc_smir
and stable_mir
,
This is a transitional measure as described in PR #139319.
Once the refactoring is complete, the stable_mir
implementation will be moved back here.
Modules§
- abi
- compiler_
interface - Define the interface with the Rust compiler.
- crate_
def - Module that define a common trait for things that represent a crate definition, such as, a function, a trait, an enum, and any other definitions.
- error
- When things go wrong, we need some error handling. There are a few different types of errors in StableMIR:
- mir
- target
- Provide information about the machine that this is being compiled into.
- ty
- visitor
Structs§
- Crate
- Holds information about a crate.
- Crate
Item - Holds information about an item in a crate.
- DefId
- A unique identification number for each item accessible for the current compilation unit.
- Error
- A generic error to represent an API request that cannot be fulfilled.
- Opaque
- A type that provides internal information but that can still be used for debug purpose.
Enums§
- Compiler
Error - An error type used to represent an error that has already been reported by the compiler.
- Ctor
Kind - Item
Kind
Traits§
- Crate
Def - A trait for retrieving information about a particular definition.
- Crate
DefItems - A trait for retrieving all items from a definition within a crate.
- Crate
DefType - A trait that can be used to retrieve a definition’s type.
Functions§
- all_
local_ items - Retrieve all items in the local crate that have a MIR associated with them.
- all_
trait_ decls - all_
trait_ impls - entry_
fn - Return the function where execution starts if the current
crate defines that. This is usually
main
, but could bestart
if the crate is a no-std crate. - external_
crates - Try to find a crate with the given name.
- find_
crates - Try to find a crate or crates if multiple crates exist from given name.
- local_
crate - Access to the local crate.
- opaque
Type Aliases§
- Assoc
Items - A list of associated items.
- Crate
Items - A list of crate items.
- Crate
Num - The number that identifies a crate.
- Filename
- Impl
Trait Decls - A list of impl trait decls.
- Symbol
- Use String for now but we should replace it.
- Trait
Decls - A list of trait decls.