bb::avm2::ExecInstructionSpec::RegisterInfo Class Reference

#include <instruction_spec.hpp>

Public Member Functions
RegisterInfo &	add_input (std::optional< ValueTag > tag=std::nullopt)
RegisterInfo &	add_inputs (const std::vector< std::optional< ValueTag > > &tags)
RegisterInfo &	add_output ()
size_t	num_inputs () const
size_t	num_outputs () const
size_t	total_registers () const
bool	is_active (size_t index) const
bool	is_write (size_t index) const
bool	need_tag_check (size_t index) const
std::optional< ValueTag >	expected_tag (size_t index) const
bool	operator== (const RegisterInfo &other) const =default

Static Public Attributes
static constexpr auto	ANY_TAG = std::nullopt

Private Attributes
std::vector< std::optional< ValueTag > >	inputs
bool	has_output = false

Detailed Description

Definition at line 34 of file instruction_spec.hpp.

Member Function Documentation

add_input()

RegisterInfo & bb::avm2::RegisterInfo::add_input

(

std::optional< ValueTag >

tag = std::nullopt

)

Definition at line 428 of file instruction_spec.cpp.

add_inputs()

RegisterInfo & bb::avm2::RegisterInfo::add_inputs

(

const std::vector< std::optional< ValueTag > > &

tags

)

Definition at line 434 of file instruction_spec.cpp.

add_output()

RegisterInfo & bb::avm2::RegisterInfo::add_output

(

)

Definition at line 440 of file instruction_spec.cpp.

expected_tag()

std::optional< ValueTag > bb::avm2::RegisterInfo::expected_tag

(

size_t

index

)

const

Definition at line 461 of file instruction_spec.cpp.

is_active()

bool bb::avm2::RegisterInfo::is_active

(

size_t

index

)

const

Definition at line 446 of file instruction_spec.cpp.

is_write()

bool bb::avm2::RegisterInfo::is_write

(

size_t

index

)

const

Definition at line 451 of file instruction_spec.cpp.

need_tag_check()

bool bb::avm2::RegisterInfo::need_tag_check

(

size_t

index

)

const

Definition at line 456 of file instruction_spec.cpp.

num_inputs()

size_t bb::avm2::ExecInstructionSpec::RegisterInfo::num_inputs ( ) const

inline

Definition at line 40 of file instruction_spec.hpp.

num_outputs()

size_t bb::avm2::ExecInstructionSpec::RegisterInfo::num_outputs ( ) const

inline

Definition at line 41 of file instruction_spec.hpp.

operator==()

bool bb::avm2::ExecInstructionSpec::RegisterInfo::operator== ( const RegisterInfo &  other ) const

default

total_registers()

size_t bb::avm2::ExecInstructionSpec::RegisterInfo::total_registers ( ) const

inline

Definition at line 42 of file instruction_spec.hpp.

Member Data Documentation

ANY_TAG

constexpr auto bb::avm2::ExecInstructionSpec::RegisterInfo::ANY_TAG = std::nullopt

staticconstexpr

Definition at line 53 of file instruction_spec.hpp.

has_output

bool bb::avm2::ExecInstructionSpec::RegisterInfo::has_output = false

private

Definition at line 59 of file instruction_spec.hpp.

inputs

std::vector<std::optional<ValueTag> > bb::avm2::ExecInstructionSpec::RegisterInfo::inputs

private

Definition at line 58 of file instruction_spec.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/common/instruction_spec.hpp
• src/barretenberg/vm2/common/instruction_spec.cpp