Enum FieldInstr

#[non_exhaustive]
pub enum FieldInstr {
    Test {
        src: RegE,
    },
    Clr {
        dst: RegE,
    },
    PutD {
        dst: RegE,
        data: fe256,
    },
    PutZ {
        dst: RegE,
    },
    PutV {
        dst: RegE,
        val: ConstVal,
    },
    Fits {
        src: RegE,
        bits: Bits,
    },
    Mov {
        dst: RegE,
        src: RegE,
    },
    Eq {
        src1: RegE,
        src2: RegE,
    },
    Neg {
        dst: RegE,
        src: RegE,
    },
    Add {
        dst_src: RegE,
        src: RegE,
    },
    Mul {
        dst_src: RegE,
        src: RegE,
    },
}

Arithmetic instructions for finite fields.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Test

Tests if register contains a value and is not set to None.

Sets CO register to [Status::Ok] if a register contains a value, and to [Status::Fail] otherwise.

Doesn’t affect value in CK register.

Fields

src: RegE

Clr

Clears register value by setting it to None.

Doesn’t affect values in CO and CK registers.

Fields

dst: RegE

PutD

Puts value into a register, replacing previous value in it, if there was any.

Doesn’t affect values in CO and CK registers.

Fields

dst: RegE

data: fe256

PutZ

Puts zero (0) value into a register, replacing previous value in it, if there was any.

Doesn’t affect values in CO and CK registers.

Fields

dst: RegE

PutV

Puts val value, which is a power of 2, into a register, replacing previous value in it, if there was any.

Doesn’t affect values in CO and CK registers.

Fields

dst: RegE

val: ConstVal

Fits

Test whether a value in a register fits in the provided number of bits.

Sets CO register to [Status::Ok] if the value fits given number of bits, and to [Status::Fail] otherwise.

If src is set to None, sets both CO and CK to [Status::Fail]; otherwise leaves value in CK unchanged.

Fields

src: RegE

bits: Bits

Mov

Moves (copies) value from src to dst register, overwriting previous value in dst. If src has no value (i.e. set to None), sets dst to None. State of src register remains unaffected.

Doesn’t affect values in CO and CK registers.

Fields

dst: RegE

src: RegE

Eq

Checks whether src1 and src2 registers are equal. If both src1 and src2 registers contain no value, considers them equal.

Sets CO register to represent equivalence of the registers.

Doesn’t affect value in CK register.

Fields

src1: RegE

src2: RegE

Neg

Negate value in src using finite-field arithmetics, and put result into dst.

Doesn’t affect values in CO register.

If src is set to None, sets CK to [Status::Fail]; otherwise leaves value in CK unchanged.

Fields

dst: RegE

src: RegE

Add

Add src value to dst_src value using finite-field (modulo) arithmetics of the order, putting result to dst_src.

Doesn’t affect values in CO register.

If either src or dst_src (or both) is set to None, sets CK to [Status::Fail]; otherwise leaves value in CK unchanged.

Fields

dst_src: RegE

src: RegE

Mul

Multiply src value to dst_src value using finite-field (modulo) arithmetics of the order, putting result to dst_src.

Doesn’t affect values in CO register.

If either src or dst_src (or both) is set to None, sets CK to [Status::Fail]; otherwise leaves value in CK unchanged.

Fields

dst_src: RegE

src: RegE

Trait Implementations

impl<Id> Bytecode<Id> for FieldInstr

where Id: SiteId,

fn op_range() -> RangeInclusive<u8>

Returns range of instruction bytecodes covered by a set of operations.

fn opcode_byte(&self) -> u8

Returns byte representing instruction code (without its arguments).

fn code_byte_len(&self) -> u16

Returns number of bytes used by the instruction and its arguments when serialized into the code segment.

fn external_ref(&self) -> Option<Id>

If the instruction call or references any external program, returns a reference to it.

fn encode_operands<W>( &self, writer: &mut W, ) -> Result<(), <W as BytecodeWrite<Id>>::Error>

where W: BytecodeWrite<Id>,

Writes an instruction operands as bytecode, omitting opcode byte.

fn decode_operands<R>( reader: &mut R, opcode: u8, ) -> Result<FieldInstr, CodeEofError>

where FieldInstr: Sized, R: BytecodeRead<Id>,

Reads an instruction operands from bytecode, provided the opcode byte.

fn encode_instr<W>( &self, writer: &mut W, ) -> Result<(), <W as BytecodeWrite<Id>>::Error>

where W: BytecodeWrite<Id>,

Write an instruction as bytecode.

fn decode_instr<R>(reader: &mut R) -> Result<Self, CodeEofError>

where Self: Sized, R: BytecodeRead<Id>,

Reads an instruction from bytecode.

impl Clone for FieldInstr

fn clone(&self) -> FieldInstr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FieldInstr

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

Formats the value using the given formatter.

impl Display for FieldInstr

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

Formats the value using the given formatter.

impl<Id> From<FieldInstr> for Instr<Id>

where Id: SiteId,

fn from(v: FieldInstr) -> Instr<Id>

Converts to this type from the input type.

impl<Id> From<FieldInstr> for Instr<Id>

where Id: SiteId,

fn from(v: FieldInstr) -> Instr<Id>

Converts to this type from the input type.

impl Hash for FieldInstr

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

where __H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Id> Instruction<Id> for FieldInstr

where Id: SiteId,

const ISA_EXT: &'static [&'static str]

type Core = GfaCore

type Context<'ctx> = ()

Context: external data which are accessible to the ISA.

fn is_goto_target(&self) -> bool

fn local_goto_pos(&mut self) -> Option<&mut u16>

fn remote_goto_pos(&mut self) -> Option<&mut Site<Id>>

fn src_regs(&self) -> BTreeSet<RegE>

List of registers which value is taken into account by the instruction.

fn dst_regs(&self) -> BTreeSet<RegE>

List of registers which value may be changed by the instruction.

fn op_data_bytes(&self) -> u16

The size of the data coming as an instruction operand (i.e., except data coming from registers or read from outside the instruction operands).

fn ext_data_bytes(&self) -> u16

The size of the data read by the instruction from outside the registers (except data coming as a parameter).

fn complexity(&self) -> u64

Returns computational complexity of the instruction.

fn exec( &self, _: Site<Id>, core: &mut Core<Id, GfaCore>, _: &<FieldInstr as Instruction<Id>>::Context<'_>, ) -> ExecStep<Site<Id>>

Executes the given instruction taking all registers as input and output.

fn isa_ext() -> Confined<BTreeSet<IsaId>, amplify::::collection::confinement::TinyOrdSet::{constant#0}, amplify::::collection::confinement::TinyOrdSet::{constant#1}>

fn regs(&self) -> BTreeSet<<Self::Core as CoreExt>::Reg>

Lists all registers which are used by the instruction.

fn src_reg_bytes(&self) -> u16

The number of bytes in the source registers.

fn dst_reg_bytes(&self) -> u16

The number of bytes in the destination registers.

fn base_complexity(&self) -> u64

impl PartialEq for FieldInstr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for FieldInstr

impl Eq for FieldInstr

impl StructuralPartialEq for FieldInstr