Enum peepmatic_runtime::linear::Action

pub enum Action {
    GetLhs {
        path: PathId,
    },
    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: Operator,
    },
    MakeBinaryInst {
        operator: Operator,
        type: Type,
        operands: [RhsId; 2],
    },
    MakeTernaryInst {
        operator: Operator,
        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

path: PathId

The path to the 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: Operator

The operator for this instruction.

MakeBinaryInst

Make a binary instruction.

Fields of MakeBinaryInst

operator: Operator

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: Operator

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 Clone for Action

fn clone(&self) -> Action

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Action

impl Debug for Action

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Action

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

Deserialize this value from the given Serde deserializer.

impl Eq for Action

impl Hash for Action

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 PartialEq<Action> for Action

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

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

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

This method tests for !=.

impl Serialize for Action

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

Serialize this value into the given Serde serializer.

impl StructuralEq for Action

impl StructuralPartialEq for Action