blob: 3d60384221871993cfb0acb0cd63d48409b3f822 (
plain) (
blame)
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
|
//: Now that we have labels, using non-label offsets should be unnecessary.
//: While SubX will allow programmers to write raw machine code, that isn't
//: *recommended* once we have more ergonomic alternatives.
:(scenario warn_on_jump_offset)
== 0x1
7e/jump-if 1/disp8
+warn: '7e/jump-if 1/disp8': using raw offsets for jumps is not recommended; use labels instead
:(scenarios transform)
:(scenario warn_on_call_offset)
== 0x1
e8/call 1/disp32
+warn: 'e8/call 1/disp32': using raw offsets for calls is not recommended; use labels instead
:(scenarios run)
:(before "Rewrite Labels(segment code)")
recommend_labels(code);
if (trace_contains_errors()) return;
:(code)
void recommend_labels(const segment& code) {
trace(99, "transform") << "-- check for numeric labels" << end();
for (int i = 0; i < SIZE(code.lines); ++i)
recommend_labels(code.lines.at(i));
}
void recommend_labels(const line& inst) {
int idx = first_operand(inst);
if (idx >= SIZE(inst.words)) return;
if (!is_number(inst.words.at(idx).data)) return;
if (is_jump(inst))
warn << "'" << inst.original << "': using raw offsets for jumps is not recommended; use labels instead\n" << end();
else if (is_call(inst))
warn << "'" << inst.original << "': using raw offsets for calls is not recommended; use labels instead\n" << end();
}
bool is_jump(const line& inst) {
string op1 = preprocess_op(inst.words.at(0)).data;
if (op1 == "0f") {
string op2 = preprocess_op(inst.words.at(1)).data;
return Jump_opcodes_0f.find(op1) != Jump_opcodes_0f.end();
}
if (op1 == "ff") return subop(inst) == /*subop for opcode ff*/4;
return Jump_opcodes.find(op1) != Jump_opcodes.end();
}
bool is_call(const line& inst) {
string op1 = preprocess_op(inst.words.at(0)).data;
if (op1 == "e8") return true;
if (op1 == "ff") return subop(inst) == /*subop for opcode ff*/2;
return false; // no multi-byte call opcodes
}
int subop(const line& inst) {
int idx = first_operand(inst);
assert(idx < SIZE(inst.words));
return (parse_int(inst.words.at(idx).data)>>3) & 0x7;
}
:(before "End Globals")
set<string> Jump_opcodes;
set<string> Jump_opcodes_0f;
:(before "End One-time Setup")
init_jump_opcodes();
:(code)
void init_jump_opcodes() {
Jump_opcodes.insert("74");
Jump_opcodes.insert("75");
Jump_opcodes.insert("7c");
Jump_opcodes.insert("7d");
Jump_opcodes.insert("7e");
Jump_opcodes.insert("7f");
Jump_opcodes_0f.insert("84");
Jump_opcodes_0f.insert("85");
Jump_opcodes_0f.insert("8c");
Jump_opcodes_0f.insert("8d");
Jump_opcodes_0f.insert("8e");
Jump_opcodes_0f.insert("8f");
Jump_opcodes.insert("e9");
Jump_opcodes.insert("eb");
}
|