tangle.mu « 0.vm.arc « archive - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 3e73dd891f766cc2306acc7211c3c7e04e8d67c5 (plain) (tree)

4feb3daf ^

0ca35d02 ^

d1c12218 ^

d4b4d018 ^

a37494eb ^

4feb3daf ^

d4b4d018 ^

4feb3daf ^

d4b4d018 ^

4feb3daf generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-20 07:10:16 +0000

s="s">"LineNr"> 5 //: needed for the 'run-tests' function. 6 //: 7 //: By convention, temporary functions needed by tests will start with 8 //: '_test-'. 9 10 //: We don't rely on any transforms running in previous layers, but this layer 11 //: knows about labels and will emit labels for previous layers to transform. 12 :(after "Begin Transforms") 13 <a href='031transforms.cc.html#L4'>Transform</a>.push_back(<a href='040---tests.cc.html#L34'>create_test_function</a>); 14 15 :(code) 16 void <a href='040---tests.cc.html#L16'>test_run_test</a>() { 17 <a href='010---vm.cc.html#L154'>Mem</a>.push_back(vma(0xbd000000)); // manually allocate memory 18 <a href='010---vm.cc.html#L25'>Reg</a>[ESP].u = 0xbd000100; 19 <a href='011run.cc.html#L82'>run</a>( 20 "== code 0x1\n" // code segment 21 "main:\n" 22 " e8/call run-tests/disp32\n" // 5 bytes 23 " f4/halt\n" // 1 byte 24 "test-foo:\n" // offset 7 25 " 01 d8\n" // just some unique instruction: add EBX to EAX 26 " c3/return\n" 27 ); 28 // check that code in test-foo ran (implicitly called by run-tests) 29 <a href='003trace.cc.html#L292'>CHECK_TRACE_CONTENTS</a>( 30 "run: 0x00000007 opcode: 01\n" 31 ); 32 } 33 34 void <a href='040---tests.cc.html#L34'>create_test_function</a>(program& p) { 35 if (p.<a href='011run.cc.html#L106'>segments</a>.empty()) return; 36 segment& code = *find(p, "code"); 37 <a href='003trace.cc.html#L96'>trace</a>(3, "transform") << "-- create 'run-tests'" << end(); 38 vector<line> new_insts; 39 for (int i = 0; i < <a href='001help.cc.html#L170'>SIZE</a>(code.<a href='011run.cc.html#L113'>lines</a>); ++i) { 40 line& inst = code.<a href='011run.cc.html#L113'>lines</a>.at(i); 41 for (int j = 0; j < <a href='001help.cc.html#L170'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>); ++j) { 42 const word& curr = inst.<a href='011run.cc.html#L122'>words</a>.at(j); 43 if (*curr.data.rbegin() != ':') continue; // not a label 44 if (!starts_with(curr.data, "test-")) continue; 45 string fn = <a href='036labels.cc.html#L263'>drop_last</a>(curr.data); 46 new_insts.push_back(call(fn)); 47 } 48 } 49 if (new_insts.empty()) return; // no tests found 50 code.<a href='011run.cc.html#L113'>lines</a>.push_back(label("run-tests")); 51 code.<a href='011run.cc.html#L113'>lines</a>.insert(code.<a href='011run.cc.html#L113'>lines</a>.end(), new_insts.begin(), new_insts.end()); 52 code.<a href='011run.cc.html#L113'>lines</a>.push_back(<a href='040---tests.cc.html#L89'>ret</a>()); 53 } 54 55 string to_string(const segment& s) { 56 ostringstream out; 57 for (int i = 0; i < <a href='001help.cc.html#L170'>SIZE</a>(s.<a href='011run.cc.html#L113'>lines</a>); ++i) { 58 const line& l = s.<a href='011run.cc.html#L113'>lines</a>.at(i); 59 for (int j = 0; j < <a href='001help.cc.html#L170'>SIZE</a>(l.<a href='011run.cc.html#L122'>words</a>); ++j) { 60 if (j > 0) out << ' '; 61 out << to_string(l.<a href='011run.cc.html#L122'>words</a>.at(j)); 62 } 63 out << '\n'; 64 } 65 return out.str(); 66 } 67 68 <a href='011run.cc.html#L121'>line</a> call(string s) { 69 <a href='011run.cc.html#L121'>line</a> result; 70 result.<a href='011run.cc.html#L122'>words</a>.push_back(call()); 71 result.<a href='011run.cc.html#L122'>words</a>.push_back(<a href='040---tests.cc.html#L82'>disp32</a>(s)); 72 return result; 73 } 74 75 <a href='011run.cc.html#L127'>word</a> call() { 76 <a href='011run.cc.html#L127'>word</a> result; 77 result.data = "e8"; 78 result.metadata.push_back("call"); 79 return result; 80 } 81 82 <a href='011run.cc.html#L127'>word</a> <a href='040---tests.cc.html#L82'>disp32</a>(string s) { 83 <a href='011run.cc.html#L127'>word</a> result; 84 result.data = s; 85 result.metadata.push_back("disp32"); 86 return result; 87 } 88 89 <a href='011run.cc.html#L121'>line</a> <a href='040---tests.cc.html#L89'>ret</a>() { 90 <a href='011run.cc.html#L121'>line</a> result; 91 result.<a href='011run.cc.html#L122'>words</a>.push_back(<a href='011run.cc.html#L127'>word</a>()); 92 result.<a href='011run.cc.html#L122'>words</a>.back().data = "c3"; 93 result.<a href='011run.cc.html#L122'>words</a>.back().metadata.push_back("return"); 94 return result; 95 } </pre> </body> </html>