alu.hpp

Go to the documentation of this file.

// AUTOGENERATED FILE
#pragma once
 
#include <string_view>
 
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/relation_types.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
 
namespace bb::avm2 {
 
template <typename FF_> class aluImpl {
  public:
    using FF = FF_;
 
    static constexpr std::array<size_t, 67> SUBRELATION_PARTIAL_LENGTHS = {
        3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 2, 3, 3, 5, 5, 3, 3, 3, 4, 5, 3, 5, 3, 3, 4, 3, 6, 6, 3, 3,
        5, 6, 6, 6, 4, 3, 4, 5, 5, 5, 6, 4, 4, 3, 3, 4, 4, 6, 6, 5, 3, 3, 5, 3, 3, 3, 2, 2, 3, 4, 3, 4, 3
    };
 
    template <typename AllEntities> inline static bool skip(const AllEntities& in)
    {
        using C = ColumnAndShifts;
 
        return (in.get(C::alu_sel)).is_zero();
    }
 
    template <typename ContainerOverSubrelations, typename AllEntities>
    void static accumulate(ContainerOverSubrelations& evals,
                           const AllEntities& in,
                           [[maybe_unused]] const RelationParameters<FF>&,
                           [[maybe_unused]] const FF& scaling_factor);
};
 
template <typename FF> class alu : public Relation<aluImpl<FF>> {
  public:
    static constexpr const std::string_view NAME = "alu";
 
    // Subrelation indices constants, to be used in tests.
    static constexpr size_t SR_DISPATCH_OPERATION = 13;
    static constexpr size_t SR_EXACTLY_ONE_OPERATION_ACTIVE = 14;
    static constexpr size_t SR_TAG_IS_FF = 17;
    static constexpr size_t SR_TAG_IS_U128 = 18;
    static constexpr size_t SR_ERR_CHECK = 21;
    static constexpr size_t SR_TAG_ERR_CHECK = 22;
    static constexpr size_t SR_AB_TAGS_CHECK = 23;
    static constexpr size_t SR_ONLY_RELEVANT_CHECK_AB_TAGS_ERROR = 24;
    static constexpr size_t SR_DIV_0_ERR = 25;
    static constexpr size_t SR_ONLY_RELEVANT_CHECK_DIV_0_ERR_ERROR = 26;
    static constexpr size_t SR_C_TAG_CHECK = 28;
    static constexpr size_t SR_A_DECOMPOSITION = 30;
    static constexpr size_t SR_B_DECOMPOSITION = 31;
    static constexpr size_t SR_A_LO_BITS = 33;
    static constexpr size_t SR_A_HI_BITS = 34;
    static constexpr size_t SR_ALU_ADD_SUB = 35;
    static constexpr size_t SR_ALU_MUL_NON_U128 = 36;
    static constexpr size_t SR_ALU_MUL_U128 = 37;
    static constexpr size_t SR_ALU_DIV_U128_CHECK = 41;
    static constexpr size_t SR_ALU_DIV_U128 = 42;
    static constexpr size_t SR_ALU_FDIV_DIV_NON_U128 = 43;
    static constexpr size_t SR_EQ_OP_MAIN = 44;
    static constexpr size_t SR_GT_INPUT_A = 47;
    static constexpr size_t SR_GT_INPUT_B = 48;
    static constexpr size_t SR_GT_ASSIGN_RESULT_C = 49;
    static constexpr size_t SR_NOT_OP_MAIN = 50;
    static constexpr size_t SR_SHL_TWO_POW_SHIFT = 51;
    static constexpr size_t SR_ALU_SHL = 52;
    static constexpr size_t SR_ALU_SHR = 53;
    static constexpr size_t SR_SHIFTS_LO_BITS = 56;
    static constexpr size_t SR_SEL_TRUNC_NON_TRIVIAL = 60;
    static constexpr size_t SR_SEL_TRUNCATE = 61;
    static constexpr size_t SR_TRUNC_TRIVIAL_CASE = 62;
    static constexpr size_t SR_DEST_FF_IS_TRIVIAL = 63;
    static constexpr size_t SR_SMALL_TRUNC_VAL_IS_LO = 64;
    static constexpr size_t SR_TRUNC_LO_128_DECOMPOSITION = 65;
    static constexpr size_t SR_TRUNC_MID_BITS = 66;
 
    static std::string get_subrelation_label(size_t index)
    {
#ifdef AVM_INCLUDE_COLUMN_INFORMATION
        switch (index) {
        case SR_DISPATCH_OPERATION:
            return "DISPATCH_OPERATION";
        case SR_EXACTLY_ONE_OPERATION_ACTIVE:
            return "EXACTLY_ONE_OPERATION_ACTIVE";
        case SR_TAG_IS_FF:
            return "TAG_IS_FF";
        case SR_TAG_IS_U128:
            return "TAG_IS_U128";
        case SR_ERR_CHECK:
            return "ERR_CHECK";
        case SR_TAG_ERR_CHECK:
            return "TAG_ERR_CHECK";
        case SR_AB_TAGS_CHECK:
            return "AB_TAGS_CHECK";
        case SR_ONLY_RELEVANT_CHECK_AB_TAGS_ERROR:
            return "ONLY_RELEVANT_CHECK_AB_TAGS_ERROR";
        case SR_DIV_0_ERR:
            return "DIV_0_ERR";
        case SR_ONLY_RELEVANT_CHECK_DIV_0_ERR_ERROR:
            return "ONLY_RELEVANT_CHECK_DIV_0_ERR_ERROR";
        case SR_C_TAG_CHECK:
            return "C_TAG_CHECK";
        case SR_A_DECOMPOSITION:
            return "A_DECOMPOSITION";
        case SR_B_DECOMPOSITION:
            return "B_DECOMPOSITION";
        case SR_A_LO_BITS:
            return "A_LO_BITS";
        case SR_A_HI_BITS:
            return "A_HI_BITS";
        case SR_ALU_ADD_SUB:
            return "ALU_ADD_SUB";
        case SR_ALU_MUL_NON_U128:
            return "ALU_MUL_NON_U128";
        case SR_ALU_MUL_U128:
            return "ALU_MUL_U128";
        case SR_ALU_DIV_U128_CHECK:
            return "ALU_DIV_U128_CHECK";
        case SR_ALU_DIV_U128:
            return "ALU_DIV_U128";
        case SR_ALU_FDIV_DIV_NON_U128:
            return "ALU_FDIV_DIV_NON_U128";
        case SR_EQ_OP_MAIN:
            return "EQ_OP_MAIN";
        case SR_GT_INPUT_A:
            return "GT_INPUT_A";
        case SR_GT_INPUT_B:
            return "GT_INPUT_B";
        case SR_GT_ASSIGN_RESULT_C:
            return "GT_ASSIGN_RESULT_C";
        case SR_NOT_OP_MAIN:
            return "NOT_OP_MAIN";
        case SR_SHL_TWO_POW_SHIFT:
            return "SHL_TWO_POW_SHIFT";
        case SR_ALU_SHL:
            return "ALU_SHL";
        case SR_ALU_SHR:
            return "ALU_SHR";
        case SR_SHIFTS_LO_BITS:
            return "SHIFTS_LO_BITS";
        case SR_SEL_TRUNC_NON_TRIVIAL:
            return "SEL_TRUNC_NON_TRIVIAL";
        case SR_SEL_TRUNCATE:
            return "SEL_TRUNCATE";
        case SR_TRUNC_TRIVIAL_CASE:
            return "TRUNC_TRIVIAL_CASE";
        case SR_DEST_FF_IS_TRIVIAL:
            return "DEST_FF_IS_TRIVIAL";
        case SR_SMALL_TRUNC_VAL_IS_LO:
            return "SMALL_TRUNC_VAL_IS_LO";
        case SR_TRUNC_LO_128_DECOMPOSITION:
            return "TRUNC_LO_128_DECOMPOSITION";
        case SR_TRUNC_MID_BITS:
            return "TRUNC_MID_BITS";
        }
#endif
        return std::to_string(index);
    }
};
 
} // namespace bb::avm2