aboutsummaryrefslogtreecommitdiff
path: root/qtmips_machine
diff options
context:
space:
mode:
Diffstat (limited to 'qtmips_machine')
-rw-r--r--qtmips_machine/instruction.cpp102
-rw-r--r--qtmips_machine/instruction.h4
2 files changed, 50 insertions, 56 deletions
diff --git a/qtmips_machine/instruction.cpp b/qtmips_machine/instruction.cpp
index b851461..49604ca 100644
--- a/qtmips_machine/instruction.cpp
+++ b/qtmips_machine/instruction.cpp
@@ -1071,10 +1071,11 @@ static void reloc_append(RelocExpressionList *reloc, QString fl, uint32_t inst_a
#define CFS_OPTION_SILENT_MASK 0x100
ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
- QString inst_base, QVector<QString> &inst_fields,
+ QString inst_base, QStringList &inst_fields, QString &error,
std::uint32_t inst_addr, RelocExpressionList *reloc,
int line, bool pseudo_opt, int options)
{
+ const char *err = "unknown instruction";
if (str_to_instruction_code_map.isEmpty())
instruction_from_string_build_base();
@@ -1092,6 +1093,7 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
field = 0;
foreach (const QString &arg, im.args) {
if (field >= inst_fields.count()) {
+ err = "number of arguments does not match";
field = -1;
break;
}
@@ -1107,10 +1109,12 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
const ArgumentDesc *adesc = argdesbycode[a];
if (adesc == nullptr) {
if (!fl.count()) {
+ err = "empty argument encountered";
field = -1;
break;
}
if (fl.at(0) != ao) {
+ err = "argument does not match instruction template";
field = -1;
break;
}
@@ -1197,11 +1201,13 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
break;
}
if (chars_taken <= 0) {
+ err = "argument parse error";
field = -1;
break;
}
if ((val & ((1 << adesc->shift) - 1)) &&
!(options & CFS_OPTION_SILENT_MASK)) {
+ err = "low bits of argument has to be zero";
field = -1;
break;
}
@@ -1213,12 +1219,14 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
if (adesc->min < 0) {
if (((std::int64_t)val < adesc->min) ||
((std::int64_t)val > adesc->max)) {
+ err = "argument range exceed";
field = -1;
break;
}
} else {
if ((val < (std::uint64_t)adesc->min) ||
(val > (std::uint64_t)adesc->max)) {
+ err = "argument range exceed";
field = -1;
break;
}
@@ -1230,6 +1238,11 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
}
if (field == -1)
break;
+ if (fl.trimmed() != "") {
+ err = "excessive characters in argument";
+ field = -1;
+ break;
+ }
}
if (field != inst_fields.count())
continue;
@@ -1246,77 +1259,58 @@ ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
ret = 4;
} else if (pseudo_opt) {
if (((inst_base == "LA") || (inst_base == "LI")) && (inst_fields.size() == 2)) {
- if(code_from_string(code, buffsize, "LUI", inst_fields,
+ if(code_from_string(code, buffsize, "LUI", inst_fields, error,
inst_addr, reloc, line, false,
- CFS_OPTION_SILENT_MASK + 16) < 0)
+ CFS_OPTION_SILENT_MASK + 16) < 0) {
+ error = QString("error in LUI element of " + inst_base);
return -1;
+ }
inst_fields.insert(1, "$0");
- if (code_from_string(code + 1, buffsize - 4, "ORI", inst_fields,
+ if (code_from_string(code + 1, buffsize - 4, "ORI", inst_fields, error,
inst_addr + 4, reloc, line, false,
- CFS_OPTION_SILENT_MASK + 0) < 0)
+ CFS_OPTION_SILENT_MASK + 0) < 0) {
+ error = QString("error in ORI element of " + inst_base);
return -1;
+ }
return 8;
}
}
if (buffsize >= 4)
*code = inst_code;
+ if (ret < 0) {
+ error = err;
+ }
return ret;
}
ssize_t Instruction::code_from_string(std::uint32_t *code, size_t buffsize,
- QString str, std::uint32_t inst_addr,
+ QString str, QString &error, std::uint32_t inst_addr,
RelocExpressionList *reloc, int line, bool pseudo_opt, int options)
{
- if (str_to_instruction_code_map.isEmpty())
- instruction_from_string_build_base();
-
- QString inst_base = "";
- QVector<QString> inst_fields(0);
- bool prev_white = true;
- bool act_white;
- bool comma = false;
- bool next_comma = false;
- int field = 0;
- bool error = false;
-
- for (int k = 0, l = 0; k < str.count() + 1; k++, prev_white = act_white) {
- if (next_comma)
- comma = true;
- next_comma = false;
- if (k >= str.count()) {
- act_white = true;
- } else {
- act_white = str.at(k).isSpace();
- if (str.at(k) == ',')
- next_comma = act_white = true;
- }
-
- if (prev_white and !act_white)
- l = k;
- if (!prev_white and act_white) {
- if (inst_base.count() == 0) {
- if (comma) {
- error = true;
- break;
- }
- inst_base = str.mid(l, k - l).toUpper();
- } else {
- if ((field && !comma) || (!field && comma)) {
- error = true;
- break;
- }
- inst_fields.append(str.mid(l, k - l));
- comma = false;
- field++;
- }
- l = k;
- }
+ int k = 0, l;
+ while (k < str.count()) {
+ if (!str.at(k).isSpace())
+ break;
+ k++;
+ }
+ l = k;
+ while (l < str.count()) {
+ if (!str.at(l).isLetterOrNumber())
+ break;
+ l++;
+ }
+ QString inst_base = str.mid(k, l - k).toUpper();
+ str = str.mid(l + 1).trimmed();
+ QStringList inst_fields;
+ if (str.count())
+ inst_fields = str.split(",");
+
+ if (!inst_base.count()) {
+ error = "empty instruction field";
+ return -1;
}
- if (error)
- return -1;
-
- return code_from_string(code, buffsize, inst_base, inst_fields, inst_addr,
+ return code_from_string(code, buffsize, inst_base, inst_fields, error, inst_addr,
reloc, line, pseudo_opt, options);
}
diff --git a/qtmips_machine/instruction.h b/qtmips_machine/instruction.h
index 101d82f..03b8f65 100644
--- a/qtmips_machine/instruction.h
+++ b/qtmips_machine/instruction.h
@@ -149,13 +149,13 @@ public:
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, QVector<QString> &inst_fields,
+ QString inst_base, QStringList &inst_fields, QString &error,
std::uint32_t inst_addr = 0,
RelocExpressionList *reloc = nullptr,
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, std::uint32_t inst_addr = 0,
+ QString str, QString &error, std::uint32_t inst_addr = 0,
RelocExpressionList *reloc = nullptr,
int line = 0, bool pseudo_opt = false, int options = 0);