Skip to content

chore(avm): add names to lookup settings #11768

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
fcarreiro merged 1 commit into from
Feb 6, 2025
Merged

chore(avm): add names to lookup settings #11768

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_alu.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class lookup_pow_2_0_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_POW_2_0";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -72,14 +74,16 @@ class lookup_pow_2_0_lookup_settings {
template <typename FF_>
class lookup_pow_2_0_relation : public GenericLookupRelation<lookup_pow_2_0_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_POW_2_0";
static constexpr std::string_view NAME = lookup_pow_2_0_lookup_settings::NAME;
};
template <typename FF_> using lookup_pow_2_0 = GenericLookup<lookup_pow_2_0_lookup_settings, FF_>;

/////////////////// lookup_pow_2_1 ///////////////////

class lookup_pow_2_1_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_POW_2_1";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -139,7 +143,7 @@ class lookup_pow_2_1_lookup_settings {
template <typename FF_>
class lookup_pow_2_1_relation : public GenericLookupRelation<lookup_pow_2_1_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_POW_2_1";
static constexpr std::string_view NAME = lookup_pow_2_1_lookup_settings::NAME;
};
template <typename FF_> using lookup_pow_2_1 = GenericLookup<lookup_pow_2_1_lookup_settings, FF_>;

Expand Down
8 changes: 6 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_binary.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class lookup_byte_lengths_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_BYTE_LENGTHS";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -73,14 +75,16 @@ class lookup_byte_lengths_lookup_settings {
template <typename FF_>
class lookup_byte_lengths_relation : public GenericLookupRelation<lookup_byte_lengths_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_BYTE_LENGTHS";
static constexpr std::string_view NAME = lookup_byte_lengths_lookup_settings::NAME;
};
template <typename FF_> using lookup_byte_lengths = GenericLookup<lookup_byte_lengths_lookup_settings, FF_>;

/////////////////// lookup_byte_operations ///////////////////

class lookup_byte_operations_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_BYTE_OPERATIONS";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -147,7 +151,7 @@ class lookup_byte_operations_lookup_settings {
template <typename FF_>
class lookup_byte_operations_relation : public GenericLookupRelation<lookup_byte_operations_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_BYTE_OPERATIONS";
static constexpr std::string_view NAME = lookup_byte_operations_lookup_settings::NAME;
};
template <typename FF_> using lookup_byte_operations = GenericLookup<lookup_byte_operations_lookup_settings, FF_>;

Expand Down
20 changes: 15 additions & 5 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_gas.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class lookup_opcode_gas_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_OPCODE_GAS";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -85,14 +87,16 @@ class lookup_opcode_gas_lookup_settings {
template <typename FF_>
class lookup_opcode_gas_relation : public GenericLookupRelation<lookup_opcode_gas_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_OPCODE_GAS";
static constexpr std::string_view NAME = lookup_opcode_gas_lookup_settings::NAME;
};
template <typename FF_> using lookup_opcode_gas = GenericLookup<lookup_opcode_gas_lookup_settings, FF_>;

/////////////////// lookup_l2_gas_rng_chk_0 ///////////////////

class lookup_l2_gas_rng_chk_0_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_0";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -148,14 +152,16 @@ class lookup_l2_gas_rng_chk_0_lookup_settings {
template <typename FF_>
class lookup_l2_gas_rng_chk_0_relation : public GenericLookupRelation<lookup_l2_gas_rng_chk_0_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_0";
static constexpr std::string_view NAME = lookup_l2_gas_rng_chk_0_lookup_settings::NAME;
};
template <typename FF_> using lookup_l2_gas_rng_chk_0 = GenericLookup<lookup_l2_gas_rng_chk_0_lookup_settings, FF_>;

/////////////////// lookup_l2_gas_rng_chk_1 ///////////////////

class lookup_l2_gas_rng_chk_1_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_1";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -211,14 +217,16 @@ class lookup_l2_gas_rng_chk_1_lookup_settings {
template <typename FF_>
class lookup_l2_gas_rng_chk_1_relation : public GenericLookupRelation<lookup_l2_gas_rng_chk_1_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_L2_GAS_RNG_CHK_1";
static constexpr std::string_view NAME = lookup_l2_gas_rng_chk_1_lookup_settings::NAME;
};
template <typename FF_> using lookup_l2_gas_rng_chk_1 = GenericLookup<lookup_l2_gas_rng_chk_1_lookup_settings, FF_>;

/////////////////// lookup_da_gas_rng_chk_0 ///////////////////

class lookup_da_gas_rng_chk_0_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_0";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -274,14 +282,16 @@ class lookup_da_gas_rng_chk_0_lookup_settings {
template <typename FF_>
class lookup_da_gas_rng_chk_0_relation : public GenericLookupRelation<lookup_da_gas_rng_chk_0_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_0";
static constexpr std::string_view NAME = lookup_da_gas_rng_chk_0_lookup_settings::NAME;
};
template <typename FF_> using lookup_da_gas_rng_chk_0 = GenericLookup<lookup_da_gas_rng_chk_0_lookup_settings, FF_>;

/////////////////// lookup_da_gas_rng_chk_1 ///////////////////

class lookup_da_gas_rng_chk_1_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_1";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -337,7 +347,7 @@ class lookup_da_gas_rng_chk_1_lookup_settings {
template <typename FF_>
class lookup_da_gas_rng_chk_1_relation : public GenericLookupRelation<lookup_da_gas_rng_chk_1_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_DA_GAS_RNG_CHK_1";
static constexpr std::string_view NAME = lookup_da_gas_rng_chk_1_lookup_settings::NAME;
};
template <typename FF_> using lookup_da_gas_rng_chk_1 = GenericLookup<lookup_da_gas_rng_chk_1_lookup_settings, FF_>;

Expand Down
8 changes: 6 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_main.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class incl_main_tag_err_lookup_settings {
public:
static constexpr std::string_view NAME = "INCL_MAIN_TAG_ERR";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -69,14 +71,16 @@ class incl_main_tag_err_lookup_settings {
template <typename FF_>
class incl_main_tag_err_relation : public GenericLookupRelation<incl_main_tag_err_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "INCL_MAIN_TAG_ERR";
static constexpr std::string_view NAME = incl_main_tag_err_lookup_settings::NAME;
};
template <typename FF_> using incl_main_tag_err = GenericLookup<incl_main_tag_err_lookup_settings, FF_>;

/////////////////// incl_mem_tag_err ///////////////////

class incl_mem_tag_err_lookup_settings {
public:
static constexpr std::string_view NAME = "INCL_MEM_TAG_ERR";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -132,7 +136,7 @@ class incl_mem_tag_err_lookup_settings {
template <typename FF_>
class incl_mem_tag_err_relation : public GenericLookupRelation<incl_mem_tag_err_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "INCL_MEM_TAG_ERR";
static constexpr std::string_view NAME = incl_mem_tag_err_lookup_settings::NAME;
};
template <typename FF_> using incl_mem_tag_err = GenericLookup<incl_mem_tag_err_lookup_settings, FF_>;

Expand Down
12 changes: 9 additions & 3 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class lookup_mem_rng_chk_0_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_0";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -69,14 +71,16 @@ class lookup_mem_rng_chk_0_lookup_settings {
template <typename FF_>
class lookup_mem_rng_chk_0_relation : public GenericLookupRelation<lookup_mem_rng_chk_0_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_0";
static constexpr std::string_view NAME = lookup_mem_rng_chk_0_lookup_settings::NAME;
};
template <typename FF_> using lookup_mem_rng_chk_0 = GenericLookup<lookup_mem_rng_chk_0_lookup_settings, FF_>;

/////////////////// lookup_mem_rng_chk_1 ///////////////////

class lookup_mem_rng_chk_1_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_1";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -132,14 +136,16 @@ class lookup_mem_rng_chk_1_lookup_settings {
template <typename FF_>
class lookup_mem_rng_chk_1_relation : public GenericLookupRelation<lookup_mem_rng_chk_1_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_1";
static constexpr std::string_view NAME = lookup_mem_rng_chk_1_lookup_settings::NAME;
};
template <typename FF_> using lookup_mem_rng_chk_1 = GenericLookup<lookup_mem_rng_chk_1_lookup_settings, FF_>;

/////////////////// lookup_mem_rng_chk_2 ///////////////////

class lookup_mem_rng_chk_2_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_2";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -195,7 +201,7 @@ class lookup_mem_rng_chk_2_lookup_settings {
template <typename FF_>
class lookup_mem_rng_chk_2_relation : public GenericLookupRelation<lookup_mem_rng_chk_2_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_MEM_RNG_CHK_2";
static constexpr std::string_view NAME = lookup_mem_rng_chk_2_lookup_settings::NAME;
};
template <typename FF_> using lookup_mem_rng_chk_2 = GenericLookup<lookup_mem_rng_chk_2_lookup_settings, FF_>;

Expand Down
8 changes: 6 additions & 2 deletions barretenberg/cpp/src/barretenberg/vm/avm/generated/relations/lookups_mem_slice.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@ namespace bb::avm {

class lookup_cd_value_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_CD_VALUE";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -72,14 +74,16 @@ class lookup_cd_value_lookup_settings {
template <typename FF_>
class lookup_cd_value_relation : public GenericLookupRelation<lookup_cd_value_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_CD_VALUE";
static constexpr std::string_view NAME = lookup_cd_value_lookup_settings::NAME;
};
template <typename FF_> using lookup_cd_value = GenericLookup<lookup_cd_value_lookup_settings, FF_>;

/////////////////// lookup_ret_value ///////////////////

class lookup_ret_value_lookup_settings {
public:
static constexpr std::string_view NAME = "LOOKUP_RET_VALUE";

static constexpr size_t READ_TERMS = 1;
static constexpr size_t WRITE_TERMS = 1;
static constexpr size_t READ_TERM_TYPES[READ_TERMS] = { 0 };
Expand Down Expand Up @@ -138,7 +142,7 @@ class lookup_ret_value_lookup_settings {
template <typename FF_>
class lookup_ret_value_relation : public GenericLookupRelation<lookup_ret_value_lookup_settings, FF_> {
public:
static constexpr std::string_view NAME = "LOOKUP_RET_VALUE";
static constexpr std::string_view NAME = lookup_ret_value_lookup_settings::NAME;
};
template <typename FF_> using lookup_ret_value = GenericLookup<lookup_ret_value_lookup_settings, FF_>;

Expand Down
Loading
Loading