052kernel-string-equal.subx - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: bcfd1848986744b0c820362efc951084a84ff452 (plain) (tree)

39c4ddb4 ^

1666b12f ^

2a2a5b1e ^

bfcc0f85 ^

2a2a5b1e ^

39c4ddb4 ^

1666b12f ^

9e5e87ca ^

1666b12f ^

57628c0e ^

ee9a9237 ^

1666b12f ^

8188bbbc ^

6030d7e2 ^

9d27e966 ^

33352536 ^

7dac9ade ^

1666b12f ^

71eb22a5 ^

6030d7e2 ^

bfcc0f85 ^

1639687b ^

6030d7e2 ^

1639687b ^

6030d7e2 ^

1639687b ^

6030d7e2 ^

1639687b ^

33352536 ^

1639687b ^

7a583220 ^

33352536 ^

aff782c4 ^

33352536 ^

71eb22a5 ^

33352536 ^

bfcc0f85 ^

33352536 ^

71eb22a5 ^

33352536 ^

71eb22a5 ^

33352536 ^

71eb22a5 ^

33352536 ^

71eb22a5 ^

33352536 ^

71ee78f2 ^

1639687b ^

33352536 ^

6070c23e ^

1639687b ^

33352536 ^

1639687b ^

33352536 ^

57628c0e ^

6323661c ^

6070c23e ^

57628c0e ^

33352536 ^

6070c23e ^

1639687b ^

33352536 ^

1639687b ^

33352536 ^

1639687b ^

33352536 ^

71ee78f2 ^

1639687b ^

33352536 ^

6323661c ^

6070c23e ^

71ee78f2 ^

33352536 ^

71ee78f2 ^

71ee78f2 ^

33352536 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

7a583220 ^

33352536 ^

6030d7e2 ^

57628c0e ^

9d27e966 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

8b9dd2d1 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

8b9dd2d1 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

8b9dd2d1 ^

ee9a9237 ^

71ee78f2 ^

ee9a9237 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

ee9a9237 ^

33352536 ^

6030d7e2 ^

57628c0e ^

03d50cc8 ^

33352536 ^

ee9a9237 ^

6030d7e2 ^

8b9dd2d1 ^

ee9a9237 ^

71ee78f2 generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-18 08:47:14 +0000

pan> (i > 0) out << ' '; out << in.at(i).data; } return out.str(); } :(before "End Unit Tests") void test_preserve_metadata_when_emitting_single_byte() { word in; in.data = "f0"; in.original = "f0/foo"; line out; emit_hex_bytes(out, in, 1); CHECK_EQ(out.words.at(0).data, "f0"); CHECK_EQ(out.words.at(0).original, "f0/foo"); } :(code) void test_pack_disp8() { run( "== code 0x1\n" "74 2/disp8\n" // jump 2 bytes away if ZF is set ); CHECK_TRACE_CONTENTS( "transform: packing instruction '74 2/disp8'\n" "transform: instruction after packing: '74 02'\n" ); } void test_pack_disp8_negative() { transform( "== code 0x1\n" // running this will cause an infinite loop "74 -1/disp8\n" // jump 1 byte before if ZF is set ); CHECK_TRACE_CONTENTS( "transform: packing instruction '74 -1/disp8'\n" "transform: instruction after packing: '74 ff'\n" ); } //: helper for scenario void transform(const string& text_bytes) { program p; istringstream in(text_bytes); parse(in, p); if (trace_contains_errors()) return; transform(p); } void test_pack_modrm_imm32() { run( "== code 0x1\n" // instruction effective address operand displacement immediate\n" // op subop mod rm32 base index scale r32\n" // 1-3 bytes 3 bits 2 bits 3 bits 3 bits 3 bits 2 bits 2 bits 0/1/2/4 bytes 0/1/2/4 bytes\n" " 81 0/add/subop 3/mod/direct 3/ebx/rm32 1/imm32 \n" // add 1 to EBX ); CHECK_TRACE_CONTENTS( "transform: packing instruction '81 0/add/subop 3/mod/direct 3/ebx/rm32 1/imm32'\n" "transform: instruction after packing: '81 c3 01 00 00 00'\n" ); } void test_pack_imm32_large() { run( "== code 0x1\n" "b9 0x080490a7/imm32\n" ); CHECK_TRACE_CONTENTS( "transform: packing instruction 'b9 0x080490a7/imm32'\n" "transform: instruction after packing: 'b9 a7 90 04 08'\n" ); } void test_pack_immediate_constants_hex() { run( "== code 0x1\n" "b9 0x2a/imm32\n" ); CHECK_TRACE_CONTENTS( "transform: packing instruction 'b9 0x2a/imm32'\n" "transform: instruction after packing: 'b9 2a 00 00 00'\n" "run: copy imm32 0x0000002a to ECX\n" ); } void test_pack_silently_ignores_non_hex() { Hide_errors = true; transform( "== code 0x1\n" "b9 foo/imm32\n" ); CHECK_TRACE_CONTENTS( "transform: packing instruction 'b9 foo/imm32'\n" // no change (we're just not printing metadata to the trace) "transform: instruction after packing: 'b9 foo'\n" ); } void test_pack_flags_bad_hex() { Hide_errors = true; run( "== code 0x1\n" "b9 0xfoo/imm32\n" ); CHECK_TRACE_CONTENTS( "error: not a number: 0xfoo\n" ); } void test_pack_flags_uppercase_hex() { Hide_errors = true; run( "== code 0x1\n" "b9 0xAb/imm32\n" ); CHECK_TRACE_CONTENTS( "error: uppercase hex not allowed: 0xAb\n" ); } //:: helpers bool all_hex_bytes(const line& inst) { for (int i = 0; i < SIZE(inst.words); ++i) if (!is_hex_byte(inst.words.at(i))) return false; return true; } bool is_hex_byte(const word& curr) { if (contains_any_operand_metadata(curr)) return false; if (SIZE(curr.data) != 2) return false; if (curr.data.find_first_not_of("0123456789abcdef") != string::npos) return false; return true; } bool contains_any_operand_metadata(const word& word) { for (int i = 0; i < SIZE(word.metadata); ++i) if (Instruction_operands.find(word.metadata.at(i)) != Instruction_operands.end()) return true; return false; } bool has_operand_metadata(const line& inst, const string& m) { bool result = false; for (int i = 0; i < SIZE(inst.words); ++i) { if (!has_operand_metadata(inst.words.at(i), m)) continue; if (result) { raise << "'" << to_string(inst) << "' has conflicting " << m << " operands\n" << end(); return false; } result = true; } return result; } bool has_operand_metadata(const word& w, const string& m) { bool result = false; bool metadata_found = false; for (int i = 0; i < SIZE(w.metadata); ++i) { const string& curr = w.metadata.at(i); if (Instruction_operands.find(curr) == Instruction_operands.end()) continue; // ignore unrecognized metadata if (metadata_found) { raise << "'" << w.original << "' has conflicting operand types; it should have only one\n" << end(); return false; } metadata_found = true; result = (curr == m); } return result; } word metadata(const line& inst, const string& m) { for (int i = 0; i < SIZE(inst.words); ++i) if (has_operand_metadata(inst.words.at(i), m)) return inst.words.at(i); assert(false); } bool looks_like_hex_int(const string& s) { if (s.empty()) return false; if (s.at(0) == '-' || s.at(0) == '+') return true; if (isdigit(s.at(0))) return true; // includes '0x' prefix // End looks_like_hex_int(s) Detectors return false; } string to_string(const line& inst) { ostringstream out; for (int i = 0; i < SIZE(inst.words); ++i) { if (i > 0) out << ' '; out << inst.words.at(i).original; } return out.str(); } int32_t parse_int(const string& s) { if (s.empty()) return 0; if (contains_uppercase(s)) { raise << "uppercase hex not allowed: " << s << '\n' << end(); return 0; } istringstream in(s); in >> std::hex; if (s.at(0) == '-') { int32_t result = 0; in >> result; if (!in || !in.eof()) { raise << "not a number: " << s << '\n' << end(); return 0; } return result; } uint32_t uresult = 0; in >> uresult; if (!in || !in.eof()) { raise << "not a number: " << s << '\n' << end(); return 0; } return static_cast<int32_t>(uresult); } :(before "End Unit Tests") void test_parse_int() { CHECK_EQ(0, parse_int("0")); CHECK_EQ(0, parse_int("0x0")); CHECK_EQ(0, parse_int("0x0")); CHECK_EQ(16, parse_int("10")); // hex always CHECK_EQ(-1, parse_int("-1")); CHECK_EQ(-1, parse_int("0xffffffff")); }