Crate stable_mir

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

rustc_internal

Export the rustc_internal APIs. Note that this module has no stability guarantees and it is not taken into account for semver. Module that implements the bridge between Stable MIR and internal compiler MIR.

target

Provide information about the machine that this is being compiled into.

ty

visitor

Structs

Crate

Holds information about a crate.

CrateItem

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

CompilerError

An error type used to represent an error that has already been reported by the compiler.

CtorKind

ItemKind

Traits

CrateDef

A trait for retrieving information about a particular definition.

CrateDefItems

A trait for retrieving all items from a definition within a crate.

CrateDefType

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 be start 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

AssocItems

A list of associated items.

CrateItems

A list of crate items.

CrateNum

The number that identifies a crate.

Filename

ImplTraitDecls

A list of impl trait decls.

Symbol

Use String for now but we should replace it.

TraitDecls

A list of trait decls.