bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_ Struct Reference

#include <lookups_instr_fetching.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_INSTR_FETCHING_WIRE_INSTRUCTION_INFO"
static constexpr std::string_view	RELATION_NAME = "instr_fetching"
static constexpr size_t	LOOKUP_TUPLE_SIZE = 23
static constexpr Column	SRC_SELECTOR = Column::instr_fetching_sel_pc_in_range
static constexpr Column	DST_SELECTOR = Column::precomputed_sel_range_8
static constexpr Column	COUNTS = Column::lookup_instr_fetching_wire_instruction_info_counts
static constexpr Column	INVERSES = Column::lookup_instr_fetching_wire_instruction_info_inv
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	DST_COLUMNS

Detailed Description

Definition at line 196 of file lookups_instr_fetching.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::COUNTS = Column::lookup_instr_fetching_wire_instruction_info_counts

staticconstexpr

Definition at line 202 of file lookups_instr_fetching.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::DST_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::precomputed_clk,          ColumnAndShifts::precomputed_opcode_out_of_range,
        ColumnAndShifts::precomputed_exec_opcode,  ColumnAndShifts::precomputed_instr_size,
        ColumnAndShifts::precomputed_sel_has_tag,  ColumnAndShifts::precomputed_sel_tag_is_op2,
        ColumnAndShifts::precomputed_sel_op_dc_0,  ColumnAndShifts::precomputed_sel_op_dc_1,
        ColumnAndShifts::precomputed_sel_op_dc_2,  ColumnAndShifts::precomputed_sel_op_dc_3,
        ColumnAndShifts::precomputed_sel_op_dc_4,  ColumnAndShifts::precomputed_sel_op_dc_5,
        ColumnAndShifts::precomputed_sel_op_dc_6,  ColumnAndShifts::precomputed_sel_op_dc_7,
        ColumnAndShifts::precomputed_sel_op_dc_8,  ColumnAndShifts::precomputed_sel_op_dc_9,
        ColumnAndShifts::precomputed_sel_op_dc_10, ColumnAndShifts::precomputed_sel_op_dc_11,
        ColumnAndShifts::precomputed_sel_op_dc_12, ColumnAndShifts::precomputed_sel_op_dc_13,
        ColumnAndShifts::precomputed_sel_op_dc_14, ColumnAndShifts::precomputed_sel_op_dc_15,
        ColumnAndShifts::precomputed_sel_op_dc_16
    }

Definition at line 218 of file lookups_instr_fetching.hpp.

DST_SELECTOR

constexpr Column bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::DST_SELECTOR = Column::precomputed_sel_range_8

staticconstexpr

Definition at line 201 of file lookups_instr_fetching.hpp.

INVERSES

constexpr Column bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::INVERSES = Column::lookup_instr_fetching_wire_instruction_info_inv

staticconstexpr

Definition at line 203 of file lookups_instr_fetching.hpp.

LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::LOOKUP_TUPLE_SIZE = 23

staticconstexpr

Definition at line 199 of file lookups_instr_fetching.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::NAME = "LOOKUP_INSTR_FETCHING_WIRE_INSTRUCTION_INFO"

staticconstexpr

Definition at line 197 of file lookups_instr_fetching.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::RELATION_NAME = "instr_fetching"

staticconstexpr

Definition at line 198 of file lookups_instr_fetching.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::instr_fetching_bd0,          ColumnAndShifts::instr_fetching_opcode_out_of_range,
        ColumnAndShifts::instr_fetching_exec_opcode,  ColumnAndShifts::instr_fetching_instr_size,
        ColumnAndShifts::instr_fetching_sel_has_tag,  ColumnAndShifts::instr_fetching_sel_tag_is_op2,
        ColumnAndShifts::instr_fetching_sel_op_dc_0,  ColumnAndShifts::instr_fetching_sel_op_dc_1,
        ColumnAndShifts::instr_fetching_sel_op_dc_2,  ColumnAndShifts::instr_fetching_sel_op_dc_3,
        ColumnAndShifts::instr_fetching_sel_op_dc_4,  ColumnAndShifts::instr_fetching_sel_op_dc_5,
        ColumnAndShifts::instr_fetching_sel_op_dc_6,  ColumnAndShifts::instr_fetching_sel_op_dc_7,
        ColumnAndShifts::instr_fetching_sel_op_dc_8,  ColumnAndShifts::instr_fetching_sel_op_dc_9,
        ColumnAndShifts::instr_fetching_sel_op_dc_10, ColumnAndShifts::instr_fetching_sel_op_dc_11,
        ColumnAndShifts::instr_fetching_sel_op_dc_12, ColumnAndShifts::instr_fetching_sel_op_dc_13,
        ColumnAndShifts::instr_fetching_sel_op_dc_14, ColumnAndShifts::instr_fetching_sel_op_dc_15,
        ColumnAndShifts::instr_fetching_sel_op_dc_16
    }

Definition at line 204 of file lookups_instr_fetching.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_instr_fetching_wire_instruction_info_settings_::SRC_SELECTOR = Column::instr_fetching_sel_pc_in_range

staticconstexpr

Definition at line 200 of file lookups_instr_fetching.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/vm2/generated/relations/lookups_instr_fetching.hpp