aisa/aisa.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

#pragma once

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

namespace aisa {

    using addr_t = std::uint64_t;
    using byte_t = std::uint8_t;
    using regnum_t = std::uint_fast64_t;
    using regval_t = std::uint64_t;

    struct Task;

    struct ISA {
        virtual ~ISA() { }

        virtual std::pair<std::unique_ptr<const Task>, regval_t> initial_task() const = 0;
    };

    struct Step;

    struct Task {
        regnum_t environment;

        virtual ~Task() { }

        virtual std::string disasm() const = 0;

        virtual std::optional<std::pair<std::unique_ptr<const Step>, regval_t>> step(regval_t environment_val) const;
    };

    struct MemInfo {
        addr_t physical_addr;
        addr_t size;
    };

    struct Wires {
        std::vector<regval_t> source_vals;
        std::vector<byte_t> memory_val;
        bool aborted = false;
        std::vector<regval_t> destination_vals;
        std::optional<std::pair<std::unique_ptr<const Task>, regval_t>> new_task;
    };

    enum class MOp {
        NONE,
        LOAD,
        STORE,
    };

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

        virtual ~Step() { }

        virtual std::string disasm(const Wires *w = nullptr) const = 0;

        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 {};
        }

        MOp mop = MOp::NONE;

        virtual MemInfo meminfo(const Wires &wires) const;
        virtual void evaluate(Wires &wires) const;
    };

}