aboutsummaryrefslogtreecommitdiff
path: root/qtmips_machine/instruction.h
blob: 2ecd0c4209d218bfbbd173d6bbda53074c954c2f (plain)
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
// SPDX-License-Identifier: GPL-2.0+
/*******************************************************************************
 * QtMips - MIPS 32-bit Architecture Subset Simulator
 *
 * Implemented to support following courses:
 *
 *   B35APO - Computer Architectures
 *   https://cw.fel.cvut.cz/wiki/courses/b35apo
 *
 *   B4M35PAP - Advanced Computer Architectures
 *   https://cw.fel.cvut.cz/wiki/courses/b4m35pap/start
 *
 * Copyright (c) 2017-2019 Karel Koci<cynerd@email.cz>
 * Copyright (c) 2019      Pavel Pisa <pisa@cmp.felk.cvut.cz>
 *
 * Faculty of Electrical Engineering (http://www.fel.cvut.cz)
 * Czech Technical University        (http://www.cvut.cz/)
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor,
 * Boston, MA  02110-1301, USA.
 *
 ******************************************************************************/

#ifndef INSTRUCTION_H
#define INSTRUCTION_H

#include <QObject>
#include <QString>
#include <QStringList>
#include <QVector>

#include "machinedefs.h"

namespace machine {

enum InstructionFlags {
    IMF_NONE       = 0,
    IMF_SUPPORTED  = 1L<<0, /**< Instruction is supported */
    IMF_MEMWRITE   = 1L<<1, /**< Write to the memory when memory stage is reached */
    IMF_MEMREAD    = 1L<<2, /**< Read from the memory when memory stage is reached */
    IMF_ALUSRC     = 1L<<3, /**< The second ALU source is immediate operand */
    IMF_REGD       = 1L<<4, /**< RD field specifies register to be updated, if not
                                 set and REGWRITE = 1, then destination reg in RT */
    IMF_REGWRITE   = 1L<<5, /**< Instruction result (ALU or memory) is written to
                                 register file */
    IMF_ZERO_EXTEND= 1L<<6, /**< Immediate operand is zero extended, else sign */
    IMF_PC_TO_R31  = 1L<<7, /**< PC value will be stored to register R31/RA */
    IMF_BJR_REQ_RS = 1L<<8, /**< Branch or jump operation reguires RS value */
    IMF_BJR_REQ_RT = 1L<<9, /**< Branch or jump operation requires RT value */
    IMF_ALU_SHIFT  = 1L<<10, /**< Operation is shift of RT by RS or SHAMT */
    IMF_MEM        = 1L<<11, /**< Instruction is memory access instruction */
    IMF_ALU_REQ_RS = 1L<<12, /**< Execution phase/ALU requires RS value */
    IMF_ALU_REQ_RT = 1L<<13, /**< Execution phase/ALU/mem requires RT value */
    IMF_READ_HILO  = 1L<<14, /**< Operation reads value from  HI or LO registers */
    IMF_WRITE_HILO = 1L<<15, /**< Operation writes value to HI and/or LO registers */
    IMF_PC8_TO_RT  = 1L<<16, /**< PC value will be stored in RT specified register */
    IMF_BRANCH     = 1L<<17, /**< Operation is conditional or unconditional branch
                                  or branch and link when PC_TO_R31 is set */
    IMF_JUMP       = 1L<<18, /**< Jump operation - J, JAL, JR or JALR */
    IMF_BJ_NOT     = 1L<<19, /**< Negate condition for branch instructiion */
    IMF_BGTZ_BLEZ  = 1L<<20, /**< BGTZ/BLEZ, else BEGT/BLTZ or BEQ, BNE when RT */
    IMF_NB_SKIP_DS = 1L<<21, /**< Skip instruction in delay slot if branch not taken */
    IMF_EXCEPTION  = 1L<<22, /**< Instruction causes synchronous exception */
    IMF_STOP_IF    = 1L<<23, /**< Stop instruction fetch until instruction processed */
};

struct RelocExpression {
    inline RelocExpression(std::int32_t location, QString expression, std::int64_t offset, std::int64_t min,
                           std::int64_t max, unsigned lsb_bit, unsigned bits, unsigned shift,
                           QString filename, int line, int options) {
        this->location = location;
        this->expression = expression;
        this->offset = offset;
        this->min = min;
        this->max = max;
        this->lsb_bit = lsb_bit;
        this->bits = bits;
        this->shift = shift;
        this->filename = filename;
        this->line = line;
        this->options = options;
    }
    std::int32_t  location;
    QString       expression;
    std::int64_t  offset;
    std::int64_t  min;
    std::int64_t  max;
    unsigned      lsb_bit;
    unsigned      bits;
    unsigned      shift;
    QString       filename;
    int           line;
    int           options;
};

typedef QVector<RelocExpression *> RelocExpressionList;

class Instruction {
public:
    Instruction();
    Instruction(std::uint32_t inst);
    Instruction(std::uint8_t opcode, std::uint8_t rs, std::uint8_t rt, std::uint8_t rd, std::uint8_t shamt, std::uint8_t funct); // Type R
    Instruction(std::uint8_t opcode, std::uint8_t rs, std::uint8_t rt, std::uint16_t immediate); // Type I
    Instruction(std::uint8_t opcode, std::uint32_t address); // Type J
    Instruction(const Instruction&);

    enum Type {
        T_R,
        T_I,
        T_J,
        T_UNKNOWN
    };

    std::uint8_t opcode() const;
    std::uint8_t rs() const;
    std::uint8_t rt() const;
    std::uint8_t rd() const;
    std::uint8_t shamt() const;
    std::uint8_t funct() const;
    std::uint8_t cop0sel() const;
    std::uint16_t immediate() const;
    std::uint32_t address() const;
    std::uint32_t data() const;
    enum Type type() const;
    enum InstructionFlags flags() const;
    enum AluOp alu_op() const;
    enum AccessControl mem_ctl() const;
    enum ExceptionCause encoded_exception() const;

    void flags_alu_op_mem_ctl(enum InstructionFlags &flags,
                  enum AluOp &alu_op, enum AccessControl &mem_ctl) const;

    bool is_break() const;

    bool operator==(const Instruction &c) const;
    bool operator!=(const Instruction &c) const;
    Instruction &operator=(const Instruction &c);

    QString to_str(std::int32_t inst_addr = 0) const;

    static ssize_t code_from_string(std::uint32_t *code, size_t buffsize,
                           QString inst_base, QStringList &inst_fields, QString &error,
                           std::uint32_t inst_addr = 0,
                           RelocExpressionList *reloc = nullptr,
                           QString filename = "", int line = 0, bool pseudo_opt = false, int options = 0);

    static ssize_t code_from_string(std::uint32_t *code, size_t buffsize,
                           QString str, QString &error, std::uint32_t inst_addr = 0,
                           RelocExpressionList *reloc = nullptr, QString filename = "",
                           int line = 0, bool pseudo_opt = false, int options = 0);

    bool update(std::int64_t val, RelocExpression *relocexp);

    static void append_recognized_instructions(QStringList &list);
    static void set_symbolic_registers(bool enable);
    static void append_recognized_registers(QStringList &list);
private:
    std::uint32_t dt;
    static bool symbolic_registers_fl;
};

}

Q_DECLARE_METATYPE(machine::Instruction)

#endif // INSTRUCTION_H