Enum peepmatic_runtime::linear::Action

pub enum Action<TOperator> {
    GetLhs {
        lhs: LhsId,
    },
    UnaryUnquote {
        operator: UnquoteOperator,
        operand: RhsId,
    },
    BinaryUnquote {
        operator: UnquoteOperator,
        operands: [RhsId; 2],
    },
    MakeIntegerConst {
        value: IntegerId,
        bit_width: BitWidth,
    },
    MakeBooleanConst {
        value: bool,
        bit_width: BitWidth,
    },
    MakeConditionCode {
        cc: ConditionCode,
    },
    MakeUnaryInst {
        operand: RhsId,
        type: Type,
        operator: TOperator,
    },
    MakeBinaryInst {
        operator: TOperator,
        type: Type,
        operands: [RhsId; 2],
    },
    MakeTernaryInst {
        operator: TOperator,
        type: Type,
        operands: [RhsId; 3],
    },
}

An action to perform when transitioning between states in the automata.

When evaluating actions, the i^th action implicitly defines the RhsId(i).

Variants

GetLhs

Reuse something from the left-hand side.

Fields of GetLhs

lhs: LhsId

The left-hand side instruction or value.

UnaryUnquote

Perform compile-time evaluation.

Fields of UnaryUnquote

operator: UnquoteOperator

The unquote operator.

operand: RhsId

The constant operand to this unquote.

BinaryUnquote

Perform compile-time evaluation.

Fields of BinaryUnquote

operator: UnquoteOperator

The unquote operator.

operands: [RhsId; 2]

The constant operands to this unquote.

MakeIntegerConst

Create an integer constant.

Fields of MakeIntegerConst

value: IntegerId

The constant integer value.

bit_width: BitWidth

The bit width of this constant.

MakeBooleanConst

Create a boolean constant.

Fields of MakeBooleanConst

value: bool

The constant boolean value.

bit_width: BitWidth

The bit width of this constant.

MakeConditionCode

Create a condition code.

Fields of MakeConditionCode

cc: ConditionCode

The condition code.

MakeUnaryInst

Make a unary instruction.

Fields of MakeUnaryInst

operand: RhsId

The operand for this instruction.

type: Type

The type of this instruction’s result.

operator: TOperator

The operator for this instruction.

MakeBinaryInst

Make a binary instruction.

Fields of MakeBinaryInst

operator: TOperator

The opcode for this instruction.

type: Type

The type of this instruction’s result.

operands: [RhsId; 2]

The operands for this instruction.

MakeTernaryInst

Make a ternary instruction.

Fields of MakeTernaryInst

operator: TOperator

The opcode for this instruction.

type: Type

The type of this instruction’s result.

operands: [RhsId; 3]

The operands for this instruction.

Trait Implementations

impl<TOperator: Clone> Clone for Action<TOperator>

fn clone(&self) -> Action<TOperator>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<TOperator: Debug> Debug for Action<TOperator>

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

Formats the value using the given formatter.

impl<'de, TOperator> Deserialize<'de> for Action<TOperator> where
    TOperator: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<TOperator: Hash> Hash for Action<TOperator>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<TOperator: PartialEq> PartialEq<Action<TOperator>> for Action<TOperator>

fn eq(&self, other: &Action<TOperator>) -> bool

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

fn ne(&self, other: &Action<TOperator>) -> bool

This method tests for !=.

impl<TOperator> Serialize for Action<TOperator> where
    TOperator: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<TOperator: Copy> Copy for Action<TOperator>

impl<TOperator: Eq> Eq for Action<TOperator>

impl<TOperator> StructuralEq for Action<TOperator>

impl<TOperator> StructuralPartialEq for Action<TOperator>