Enum moore_svlog::mir::LvalueKind

pub enum LvalueKind<'a> {
    Transmute(&'a Lvalue<'a>),
    DestructArray(Vec<&'a Lvalue<'a>>),
    DestructStruct(Vec<&'a Lvalue<'a>>),
    Genvar(NodeId),
    Var(NodeId),
    Port(NodeId),
    Intf(NodeId),
    IntfSignal(&'a Lvalue<'a>, NodeId),
    Index {
        value: &'a Lvalue<'a>,
        base: &'a Rvalue<'a>,
        length: usize,
    },
    Member {
        value: &'a Lvalue<'a>,
        field: usize,
    },
    Concat(Vec<&'a Lvalue<'a>>),
    Repeat(usize, &'a Lvalue<'a>),
    Error,
}

The different forms an lvalue expression may take.

Variants

Transmute(&'a Lvalue<'a>)

A type cast which does not incur any operation. For example, going from bit [31:0] to int, or vice versa.

Tuple Fields of Transmute

0: &'a Lvalue<'a>

DestructArray(Vec<&'a Lvalue<'a>>)

Destructor for an array.

Tuple Fields of DestructArray

0: Vec<&'a Lvalue<'a>>

DestructStruct(Vec<&'a Lvalue<'a>>)

Destructor for a struct.

Tuple Fields of DestructStruct

0: Vec<&'a Lvalue<'a>>

Genvar(NodeId)

A reference to a genvar declaration.

Tuple Fields of Genvar

0: NodeId

Var(NodeId)

A reference to a variable declaration.

Tuple Fields of Var

0: NodeId

Port(NodeId)

A reference to a port declaration.

Tuple Fields of Port

0: NodeId

Intf(NodeId)

A reference to an interface.

Tuple Fields of Intf

0: NodeId

IntfSignal(&'a Lvalue<'a>, NodeId)

A reference to an interface’s signal.

Tuple Fields of IntfSignal

0: &'a Lvalue<'a>1: NodeId

Index

A bit- or part-select.

Fields of Index

value: &'a Lvalue<'a>base: &'a Rvalue<'a>length: usize

Member

A struct field access.

Fields of Member

value: &'a Lvalue<'a>field: usize

Concat(Vec<&'a Lvalue<'a>>)

Concatenate multiple values.

The values are cast to and treated as packed bit vectors, and the result is yet another packed bit vector. The lowest index corresponds to the left-most item in the concatenation, which is at the MSB end of the final packed bit vector.

Tuple Fields of Concat

0: Vec<&'a Lvalue<'a>>

Repeat(usize, &'a Lvalue<'a>)

Repeat a value multiple times.

The value is cast to and treated as a packed bit vector, and the result is yet another packed bit vector.

Tuple Fields of Repeat

0: usize1: &'a Lvalue<'a>

Error

An error occurred during lowering.

Implementations

impl<'a> LvalueKind<'a>

pub fn is_error(&self) -> bool

Check whether the lvalue represents a lowering error tombstone.

Trait Implementations

impl<'a> AcceptVisitor<'a> for LvalueKind<'a>

fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> Clone for LvalueKind<'a>

fn clone(&self) -> LvalueKind<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for LvalueKind<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq<LvalueKind<'a>> for LvalueKind<'a>

fn eq(&self, other: &LvalueKind<'a>) -> bool

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

fn ne(&self, other: &LvalueKind<'a>) -> bool

This method tests for !=.

impl<'a> WalkVisitor<'a> for LvalueKind<'a>

fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_lvalue_kind(self)
• self.accept(visitor)
• visitor.post_visit_lvalue_kind(self);

impl<'a> Eq for LvalueKind<'a>

impl<'a> StructuralEq for LvalueKind<'a>

impl<'a> StructuralPartialEq for LvalueKind<'a>