Skip to content

Commit

Permalink
chore: format
Browse files Browse the repository at this point in the history
  • Loading branch information
@IlyasRidhuan
IlyasRidhuan committed May 2, 2024
1 parent 5e23f6b commit 95ed5a0
Show file tree
Hide file tree
Showing 42 changed files with 6,385 additions and 6,799 deletions.
296 changes: 139 additions & 157 deletions barretenberg/cpp/src/barretenberg/relations/generated/avm/avm_binary.hpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,170 +6,152 @@

namespace bb::Avm_vm {

template <typename FF> struct Avm_binaryRow {
FF avm_binary_acc_ia {};
FF avm_binary_acc_ia_shift {};
FF avm_binary_acc_ib {};
FF avm_binary_acc_ib_shift {};
FF avm_binary_acc_ic {};
FF avm_binary_acc_ic_shift {};
FF avm_binary_bin_sel {};
FF avm_binary_ia_bytes {};
FF avm_binary_ib_bytes {};
FF avm_binary_ic_bytes {};
FF avm_binary_mem_tag_ctr {};
FF avm_binary_mem_tag_ctr_inv {};
FF avm_binary_mem_tag_ctr_shift {};
FF avm_binary_op_id {};
FF avm_binary_op_id_shift {};
};


inline std::string get_relation_label_avm_binary(int index) {
switch (index) {
case 1:
return "OP_ID_REL";

case 2:
return "MEM_TAG_REL";

case 3:
return "BIN_SEL_CTR_REL";

case 7:
return "ACC_REL_A";

case 8:
return "ACC_REL_B";

case 9:
return "ACC_REL_C";

}
return std::to_string(index);
template <typename FF> struct Avm_binaryRow {
FF avm_binary_acc_ia{};
FF avm_binary_acc_ia_shift{};
FF avm_binary_acc_ib{};
FF avm_binary_acc_ib_shift{};
FF avm_binary_acc_ic{};
FF avm_binary_acc_ic_shift{};
FF avm_binary_bin_sel{};
FF avm_binary_ia_bytes{};
FF avm_binary_ib_bytes{};
FF avm_binary_ic_bytes{};
FF avm_binary_mem_tag_ctr{};
FF avm_binary_mem_tag_ctr_inv{};
FF avm_binary_mem_tag_ctr_shift{};
FF avm_binary_op_id{};
FF avm_binary_op_id_shift{};
};

inline std::string get_relation_label_avm_binary(int index)
{
switch (index) {
case 1:
return "OP_ID_REL";

case 2:
return "MEM_TAG_REL";

case 3:
return "BIN_SEL_CTR_REL";

case 7:
return "ACC_REL_A";

case 8:
return "ACC_REL_B";

case 9:
return "ACC_REL_C";
}

return std::to_string(index);
}

template <typename FF_> class avm_binaryImpl {
public:
using FF = FF_;

static constexpr std::array<size_t, 10> SUBRELATION_PARTIAL_LENGTHS{
3,
3,
3,
4,
3,
3,
3,
4,
4,
4,
};


public:
using FF = FF_;

static constexpr std::array<size_t, 10> SUBRELATION_PARTIAL_LENGTHS{
3, 3, 3, 4, 3, 3, 3, 4, 4, 4,
};

template <typename ContainerOverSubrelations, typename AllEntities>
void static accumulate(
ContainerOverSubrelations& evals,
const AllEntities& new_term,
[[maybe_unused]] const RelationParameters<FF>&,
[[maybe_unused]] const FF& scaling_factor
){

//Contribution 0
{
Avm_DECLARE_VIEWS(0);


auto tmp = (avm_binary_bin_sel * (-avm_binary_bin_sel + FF(1)));
tmp *= scaling_factor;
std::get<0>(evals) += tmp;
}
//Contribution 1
void static accumulate(ContainerOverSubrelations& evals,
const AllEntities& new_term,
[[maybe_unused]] const RelationParameters<FF>&,
[[maybe_unused]] const FF& scaling_factor)
{
Avm_DECLARE_VIEWS(1);


auto tmp = ((avm_binary_op_id_shift - avm_binary_op_id) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<1>(evals) += tmp;
}
//Contribution 2
{
Avm_DECLARE_VIEWS(2);


auto tmp = (((avm_binary_mem_tag_ctr_shift - avm_binary_mem_tag_ctr) + FF(1)) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<2>(evals) += tmp;
}
//Contribution 3
{
Avm_DECLARE_VIEWS(3);


auto tmp = ((avm_binary_mem_tag_ctr * (((-avm_binary_bin_sel + FF(1)) * (-avm_binary_mem_tag_ctr_inv + FF(1))) + avm_binary_mem_tag_ctr_inv)) - avm_binary_bin_sel);
tmp *= scaling_factor;
std::get<3>(evals) += tmp;
}
//Contribution 4
{
Avm_DECLARE_VIEWS(4);


auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ia);
tmp *= scaling_factor;
std::get<4>(evals) += tmp;
}
//Contribution 5
{
Avm_DECLARE_VIEWS(5);


auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ib);
tmp *= scaling_factor;
std::get<5>(evals) += tmp;
}
//Contribution 6
{
Avm_DECLARE_VIEWS(6);


auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ic);
tmp *= scaling_factor;
std::get<6>(evals) += tmp;
}
//Contribution 7
{
Avm_DECLARE_VIEWS(7);


auto tmp = (((avm_binary_acc_ia - avm_binary_ia_bytes) - (avm_binary_acc_ia_shift * FF(256))) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<7>(evals) += tmp;
}
//Contribution 8
{
Avm_DECLARE_VIEWS(8);


auto tmp = (((avm_binary_acc_ib - avm_binary_ib_bytes) - (avm_binary_acc_ib_shift * FF(256))) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<8>(evals) += tmp;
}
//Contribution 9
{
Avm_DECLARE_VIEWS(9);


auto tmp = (((avm_binary_acc_ic - avm_binary_ic_bytes) - (avm_binary_acc_ic_shift * FF(256))) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<9>(evals) += tmp;
}
}

// Contribution 0
{
Avm_DECLARE_VIEWS(0);

auto tmp = (avm_binary_bin_sel * (-avm_binary_bin_sel + FF(1)));
tmp *= scaling_factor;
std::get<0>(evals) += tmp;
}
// Contribution 1
{
Avm_DECLARE_VIEWS(1);

auto tmp = ((avm_binary_op_id_shift - avm_binary_op_id) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<1>(evals) += tmp;
}
// Contribution 2
{
Avm_DECLARE_VIEWS(2);

auto tmp = (((avm_binary_mem_tag_ctr_shift - avm_binary_mem_tag_ctr) + FF(1)) * avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<2>(evals) += tmp;
}
// Contribution 3
{
Avm_DECLARE_VIEWS(3);

auto tmp =
((avm_binary_mem_tag_ctr * (((-avm_binary_bin_sel + FF(1)) * (-avm_binary_mem_tag_ctr_inv + FF(1))) +
avm_binary_mem_tag_ctr_inv)) -
avm_binary_bin_sel);
tmp *= scaling_factor;
std::get<3>(evals) += tmp;
}
// Contribution 4
{
Avm_DECLARE_VIEWS(4);

auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ia);
tmp *= scaling_factor;
std::get<4>(evals) += tmp;
}
// Contribution 5
{
Avm_DECLARE_VIEWS(5);

auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ib);
tmp *= scaling_factor;
std::get<5>(evals) += tmp;
}
// Contribution 6
{
Avm_DECLARE_VIEWS(6);

auto tmp = ((-avm_binary_bin_sel + FF(1)) * avm_binary_acc_ic);
tmp *= scaling_factor;
std::get<6>(evals) += tmp;
}
// Contribution 7
{
Avm_DECLARE_VIEWS(7);

auto tmp = (((avm_binary_acc_ia - avm_binary_ia_bytes) - (avm_binary_acc_ia_shift * FF(256))) *
avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<7>(evals) += tmp;
}
// Contribution 8
{
Avm_DECLARE_VIEWS(8);

auto tmp = (((avm_binary_acc_ib - avm_binary_ib_bytes) - (avm_binary_acc_ib_shift * FF(256))) *
avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<8>(evals) += tmp;
}
// Contribution 9
{
Avm_DECLARE_VIEWS(9);

auto tmp = (((avm_binary_acc_ic - avm_binary_ic_bytes) - (avm_binary_acc_ic_shift * FF(256))) *
avm_binary_mem_tag_ctr);
tmp *= scaling_factor;
std::get<9>(evals) += tmp;
}
}
};

template <typename FF> using avm_binary = Relation<avm_binaryImpl<FF>>;

}
} // namespace bb::Avm_vm
Loading

0 comments on commit 95ed5a0

Please sign in to comment.