#pragma once

#include <cstdint>
#include <optional>
#include <utility>
#include <vector>

namespace aisa {

    using regnum_t = std::uint_fast64_t;
    using regval_t = std::uint64_t;

    struct Step {
        std::optional<std::pair<regnum_t, regval_t>> predicate;
        std::vector<regnum_t> source_regs;
        std::vector<regnum_t> destination_regs;

        std::optional<regnum_t> predicate_reg() const
        {
            if (predicate.has_value())
                return predicate->first;
            return {};
        }

        std::optional<regnum_t> expected_predicate_val() const
        {
            if (predicate.has_value())
                return predicate->second;
            return {};
        }

        virtual std::vector<regval_t> compute_destinations(const std::vector<regval_t> &source_vals) const = 0;
    };

}