subx/033non_code_segment.cc


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

//: Raise an error when operand metadata is used in non-code segments.

:(scenario operand_metadata_outside_code_segment)
% Hide_errors = true;
== 0x1  # code segment
cd 0x80/imm8
== 0x1000  # data segment
cd 12/imm8
+error: 12/imm8: metadata imm8 is only allowed in the (first) code segment

:(before "End Level-2 Transforms")
Transform.push_back(ensure_operands_only_in_code_segments);
:(code)
void ensure_operands_only_in_code_segments(/*const*/ program& p) {
  trace(99, "transform") << "-- ensure operands only in code segments" << end();
  if (p.segments.empty()) return;
  for (int i = /*skip code segment*/1;  i < SIZE(p.segments);  ++i) {
    const segment& seg = p.segments.at(i);
    for (int j = 0;  j < SIZE(seg.lines);  ++j) {
      const line& l = seg.lines.at(j);
      for (int k = 0;  k < SIZE(l.words);  ++k) {
        const word& w = l.words.at(k);
        for (map<string, uint32_t>::iterator p = Operand_bound.begin();  p != Operand_bound.end();  ++p)
          if (has_metadata(w, p->first))
            raise << w.original << ": metadata " << p->first << " is only allowed in the (first) code segment\n" << end();
      }
    }
  }
}