Enum rustc::mir::StatementKind

pub enum StatementKind<'tcx> {
    Assign(Place<'tcx>, Rvalue<'tcx>),
    SetDiscriminant {
        place: Place<'tcx>,
        variant_index: usize,
    },
    StorageLive(Local),
    StorageDead(Local),
    InlineAsm {
        asm: Box<InlineAsm>,
        outputs: Vec<Place<'tcx>>,
        inputs: Vec<Operand<'tcx>>,
    },
    Validate(ValidationOp, Vec<ValidationOperand<'tcx, Place<'tcx>>>),
    EndRegion(Scope),
    Nop,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Variants

Assign(Place<'tcx>, Rvalue<'tcx>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Write the RHS Rvalue to the LHS Place.

SetDiscriminant

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Write the discriminant for a variant to the enum Place.

Fields of SetDiscriminant

place: Place<'tcx>	🔬 This is a nightly-only experimental API. (rustc_private) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?
variant_index: usize	🔬 This is a nightly-only experimental API. (rustc_private) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

StorageLive(Local)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Start a live range for the storage of the local.

StorageDead(Local)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

End the current live range for the storage of the local.

InlineAsm

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Execute a piece of inline Assembly.

Fields of InlineAsm

asm: Box<InlineAsm>	🔬 This is a nightly-only experimental API. (rustc_private) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?
outputs: Vec<Place<'tcx>>	🔬 This is a nightly-only experimental API. (rustc_private) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?
inputs: Vec<Operand<'tcx>>	🔬 This is a nightly-only experimental API. (rustc_private) this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Validate(ValidationOp, Vec<ValidationOperand<'tcx, Place<'tcx>>>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Assert the given places to be valid inhabitants of their type. These statements are currently only interpreted by miri and only generated when "-Z mir-emit-validate" is passed. See https://internals.rust-lang.org/t/types-as-contracts/5562/73 for more details.

EndRegion(Scope)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Mark one terminating point of a region scope (i.e. static region). (The starting point(s) arise implicitly from borrows.)

Nop

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

No-op. Useful for deleting instructions without affecting statement indices.

Trait Implementations

impl<'gcx> HashStable<StableHashingContext<'gcx>> for StatementKind<'gcx>

fn hash_stable<W: StableHasherResult>(
    &self,
    hcx: &mut StableHashingContext<'gcx>,
    hasher: &mut StableHasher<W>
)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx> Clone for StatementKind<'tcx>

fn clone(&self) -> StatementKind<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for StatementKind<'tcx>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'tcx> Encodable for StatementKind<'tcx>

fn encode<__S: Encoder>(&self, __arg_0: &mut __S) -> Result<(), __S::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx> Decodable for StatementKind<'tcx>

fn decode<__D: Decoder>(
    __arg_0: &mut __D
) -> Result<StatementKind<'tcx>, __D::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?