Enum rustc_mir::transform::promote_consts::Candidate

pub enum Candidate {
    Ref(Location),
    Repeat(Location),
    Argument {
        bb: BasicBlock,
        index: usize,
    },
    InlineAsm {
        bb: BasicBlock,
        index: usize,
    },
}

A "root candidate" for promotion, which will become the returned value in a promoted MIR, unless it's a subset of a larger candidate.

Variants

Ref(Location)

Borrow of a constant temporary, candidate for lifetime extension.

Repeat(Location)

Promotion of the x in [x; 32].

Argument

Currently applied to function calls where the callee has the unstable #[rustc_args_required_const] attribute as well as the SIMD shuffle intrinsic. The intrinsic requires the arguments are indeed constant and the attribute currently provides the semantic requirement that arguments must be constant.

Fields of Argument

bb: BasicBlockindex: usize

InlineAsm

const operand in asm!.

Fields of InlineAsm

bb: BasicBlockindex: usize

Implementations

impl Candidate

pub(in transform::promote_consts) fn forces_explicit_promotion(
    &self
) -> bool

Returns true if we should use the "explicit" rules for promotability for this Candidate.

pub(in transform::promote_consts) fn source_info(
    &self,
    body: &Body<'_>
) -> SourceInfo

Trait Implementations

impl Clone for Candidate

pub fn clone(&self) -> Candidate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Candidate

impl Debug for Candidate

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Candidate

impl PartialEq<Candidate> for Candidate

pub fn eq(&self, other: &Candidate) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Candidate) -> bool

This method tests for !=.

impl StructuralEq for Candidate

impl StructuralPartialEq for Candidate