commit 145d64aa6e78838ed07cefed372f0ad6a4687e97 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 20:16:57 2020 +0200 ACME adaptation commit 885209d7822286744ea53232ae7461472a01d5d6 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 19:57:25 2020 +0200 ACME adaptation commit 334d84486bc603551887e7cbeb59d329f2224cc7 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 18:29:15 2020 +0200 ACME adaptation commit b5966f49bcd8f0ca79cbec93819a31238924707e Author: FeralChild64 <you@example.com> Date: Sun Sep 20 18:09:31 2020 +0200 ACME adaptation commit 786536a93a5eab5e676fca99625b4eb094a554e7 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 17:24:48 2020 +0200 ACME adaptation commit 704c70dfb1f5d68775d6f3da220803b8a3990f56 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 15:07:12 2020 +0200 ACME adaptation commit 136874964c9083b375f151475310f9636871fc72 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 14:45:14 2020 +0200 ACME adaptation commit 8eca0d5700b72d04336e72c5cd3a68e18b85f96d Author: FeralChild64 <you@example.com> Date: Sun Sep 20 14:06:52 2020 +0200 ACME adaptation commit 11d29eb7ee318239d782f85498b6d0524624d5c4 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 13:56:45 2020 +0200 ACME apaptation commit c9b5e5e04cceb92c66bc027e6440bc0f7c5a499f Author: FeralChild64 <you@example.com> Date: Sun Sep 20 13:49:04 2020 +0200 ACME adaptation commit f5cc254cbc921f07863807468cb3fe26b410b409 Author: FeralChild64 <you@example.com> Date: Sun Sep 20 13:01:18 2020 +0200 ACME adaptation commit e135a27bf9c30cc0965379c954564e06406303b1 Author: FeralChild64 <you@example.com> Date: Sat Sep 19 21:55:01 2020 +0200 ACME adaptation commit e9dfddf90d9e2795e88b7da40ae050d733faeb56 Author: FeralChild64 <you@example.com> Date: Sat Sep 19 21:48:47 2020 +0200 Makefile fix commit 07030104c65cf5e5beeacf6d629ccb9245e58657 Author: FeralChild64 <you@example.com> Date: Sat Sep 19 21:42:00 2020 +0200 ACME adaptation commit f824362ee5bcfbffca86c430b57773b2ffd65655 Author: FeralChild64 <you@example.com> Date: Sat Sep 19 20:14:56 2020 +0200 ACME adaptation commit 3a3c59007dcd4940d89b8669f34ca56b61c25fdf Author: FeralChild64 <you@example.com> Date: Fri Sep 18 21:51:45 2020 +0200 ACME adaptation commit 6790ef7bc88a41de2881c69b7524dd4ab8c74b5d Author: FeralChild64 <you@example.com> Date: Fri Sep 18 20:35:23 2020 +0200 ACME adaptation commit 38ad18b90e9ec713aa7ca49576b3388ce1733357 Author: FeralChild64 <you@example.com> Date: Fri Sep 18 18:46:20 2020 +0200 ACME adaptation commit 541340371122a9702f7b2d9771c298223cffd0e9 Author: FeralChild64 <you@example.com> Date: Fri Sep 18 16:49:46 2020 +0200 ACME adaptation commit 25cfd5e186459be1a260d3eb8cfff767838de370 Author: FeralChild64 <you@example.com> Date: Thu Sep 17 20:13:33 2020 +0200 ACME adaptation commit f61599444d5b1d03d8fd8e4a6a7c3b85069bedb3 Author: FeralChild64 <you@example.com> Date: Thu Sep 17 19:29:23 2020 +0200 ACME adaptation commit b290be31ec7bb2e5723607697da1bbc621c84429 Author: FeralChild64 <you@example.com> Date: Thu Sep 17 17:20:14 2020 +0200 ACME adaptation commit 877be9e856880d98fd4bcb25b42aaaacda9dc463 Author: FeralChild64 <you@example.com> Date: Wed Sep 16 21:47:38 2020 +0200 ACME adaptation commit bb20edaf85d386e41d5c2f715b745b68fbd3362e Author: FeralChild64 <you@example.com> Date: Wed Sep 16 21:31:30 2020 +0200 ACME adaptation commit c5d31bd8685abce37c8e254d15aac20bd1570d9f Author: FeralChild64 <you@example.com> Date: Wed Sep 16 18:40:49 2020 +0200 ACME adaptation commit 29349826b38f8a89649171559dc8cf24c560aff1 Author: FeralChild64 <you@example.com> Date: Mon Sep 14 23:35:47 2020 +0200 ACME adaptation commit 8bcd6a621c4b11766d0cf34f79858ba90a67248e Author: FeralChild64 <you@example.com> Date: Mon Sep 14 22:52:25 2020 +0200 ACME adaptation commit e87a69edc2ce4bfcc460c31e08dcc352a985f88d Author: FeralChild64 <you@example.com> Date: Mon Sep 14 22:43:27 2020 +0200 ACME adaptation commit f49a097bd52e96d00b866c02bda7121e4543233c Author: FeralChild64 <you@example.com> Date: Mon Sep 14 19:02:07 2020 +0200 ACME adaptation commit fa0e9214a633b8e8f867cc70925b390940dcd426 Author: FeralChild64 <you@example.com> Date: Mon Sep 14 17:47:19 2020 +0200 ACME adaptation commit 1b763b91e7a03e426227129c7f22f0ce57a4c197 Author: FeralChild64 <you@example.com> Date: Mon Sep 14 17:17:10 2020 +0200 ACME adaptation commit e92a4b57b232cd85eb1e71090b8a89c7c8461ebc Author: FeralChild64 <you@example.com> Date: Mon Sep 14 17:15:37 2020 +0200 ACME adaptation commit de3c693e8a7e73ea5289198946058e3240894e6a Author: FeralChild64 <you@example.com> Date: Mon Sep 14 17:10:05 2020 +0200 ACME adaptation commit f9bd7ae0f04e932d613be9ed5cb19af9be5d338e Author: FeralChild64 <you@example.com> Date: Sun Sep 13 14:34:44 2020 +0200 ACME adaptation commit 694dee52555dbfc2b1f7f452a9671ff51106c057 Author: FeralChild64 <you@example.com> Date: Sun Sep 13 14:16:14 2020 +0200 ACME adaptation commit 0af2c55edfcd22942d9f25417eb0d35f55b71604 Author: FeralChild64 <you@example.com> Date: Fri Sep 11 17:38:09 2020 +0200 ACME adaptation commit 2015e17334bd56a1e8a13a5abc098d9c2e7ea44f Author: FeralChild64 <you@example.com> Date: Fri Sep 11 16:46:05 2020 +0200 ACME adaptation commit b1e972162798d60f4483cd6cc261e856c20c2c8c Author: FeralChild64 <you@example.com> Date: Fri Sep 11 16:24:31 2020 +0200 ACME adaptation commit 9d027e868466901ba53bf074a79ec8cf16273021 Author: FeralChild64 <you@example.com> Date: Fri Sep 11 15:04:31 2020 +0200 ACME adaptation commit 957186deddd1aa4f3b4f1aa1f421e4239a584e57 Author: FeralChild64 <you@example.com> Date: Thu Sep 10 22:49:07 2020 +0200 ACME adaptation commit b8060f67a455cfac109f08d96b62c360d693b931 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 23:07:28 2020 +0200 ACME adaptation commit e54d004568f44bbfe5c070ef1d7cf3544112e497 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 22:58:20 2020 +0200 ACME adaptation commit f90b77f073c5a605cb31c6ee451f65c8a8aff7d8 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 22:12:09 2020 +0200 ACME adaptation commit b211bb4afcd9c58fe1f5c92f3007717d611cd531 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 22:01:40 2020 +0200 ACME adaptation commit 8d7ea343b07e9e08e5f77f3c414758a6cffd0440 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 21:38:34 2020 +0200 ACME adaptation commit 46413eb0d92d6400aba0ff8dfe556e61e8a44d78 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 21:07:47 2020 +0200 ACME adaptation commit 9f98f69ecc21f7b74a5eb89e247f5a2c6fcb655d Author: FeralChild64 <you@example.com> Date: Wed Sep 9 20:05:03 2020 +0200 ACME adaptation commit 7bb9f1cadc682c7e0a4a6796739d860d473ca110 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 19:55:12 2020 +0200 ACME adaptation commit 5fc115392b5bdca6b56f67ad866b1884d2d2bdf8 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 19:31:10 2020 +0200 ACME adaptation commit b7940fc60e568d859df9e3156f6bacc6d685b2cc Author: FeralChild64 <you@example.com> Date: Wed Sep 9 19:16:09 2020 +0200 ACME adaptation commit 56288cb97197561afa0816b29c134ec1190e8eab Author: FeralChild64 <you@example.com> Date: Wed Sep 9 18:48:23 2020 +0200 ACME adaptation commit 10401a60fc7922a53d782120ef6795d889140218 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 16:34:16 2020 +0200 ACME adaptation commit 8ce76e4d2b56837a691ae84b1a412a2ae32a157b Author: FeralChild64 <you@example.com> Date: Wed Sep 9 16:20:44 2020 +0200 ACME adaptation commit 33fade899fa6172ea6b5b5f6683bb61f544429fd Author: FeralChild64 <you@example.com> Date: Wed Sep 9 15:28:46 2020 +0200 ACME adaptation commit a416f04734402fcfbc57a933731376df2e0180a1 Author: FeralChild64 <you@example.com> Date: Wed Sep 9 12:40:03 2020 +0200 ACME adaptation commit f8daee005b1d29f6912723be2ac94bc5fbeb0508 Author: FeralChild64 <you@example.com> Date: Mon Sep 7 23:29:54 2020 +0200 ACME adaptation commit 83fe6bdd0b08a44fdbfc6eefe323a4b194ccaf5b Author: FeralChild64 <you@example.com> Date: Mon Sep 7 22:23:16 2020 +0200 ACME adaptation commit cb1f75620b9c83000a15c9c7f7acefdfee79a979 Author: FeralChild64 <you@example.com> Date: Mon Sep 7 19:23:12 2020 +0200 ACME adaptation commit e524d517c933ae1f0aeb49764d307fadb4845025 Author: FeralChild64 <you@example.com> Date: Sun Sep 6 08:24:25 2020 +0200 ACME adaptation - replaced comments commit 2ab572c3a21f4a78a7312d0e684bc11d91d1717a Author: FeralChild64 <you@example.com> Date: Sat Sep 5 17:59:10 2020 +0200 ACME adaptation - replaced the assembler
1394 lines
42 KiB
C++
1394 lines
42 KiB
C++
//
|
|
// Utility to build a segment from the provided assembler
|
|
// source files, placing routines where they need to live
|
|
//
|
|
|
|
#include "common.h"
|
|
|
|
#include <dirent.h>
|
|
#include <libgen.h>
|
|
#include <string.h>
|
|
#include <unistd.h>
|
|
#include <sys/types.h>
|
|
#include <sys/stat.h>
|
|
|
|
#include <algorithm>
|
|
#include <fstream>
|
|
#include <iomanip>
|
|
#include <list>
|
|
#include <map>
|
|
#include <set>
|
|
#include <vector>
|
|
|
|
const std::string LAB_OUT_START = "__routine_START_";
|
|
const std::string LAB_OUT_END = "__routine_END_";
|
|
const std::string LAB_IN_START = "\t" + LAB_OUT_START;
|
|
const std::string LAB_IN_END = "\t" + LAB_OUT_END;
|
|
|
|
//
|
|
// Command line settings
|
|
//
|
|
|
|
std::string CMD_assembler = "./acme";
|
|
std::string CMD_outFile = "OUT.BIN";
|
|
std::string CMD_outDir = "./out";
|
|
std::string CMD_segName = "MAIN";
|
|
std::string CMD_segInfo = "(unnamed)";
|
|
std::string CMD_romLayout = "STD";
|
|
int CMD_loAddress = 0xC000;
|
|
int CMD_hiAddress = 0xCFFF;
|
|
|
|
std::list<std::string> CMD_inList;
|
|
|
|
//
|
|
// Common helper functions
|
|
//
|
|
|
|
void printUsage()
|
|
{
|
|
std::cout << "\n" <<
|
|
"usage: build_segment [-a <assembler command>] [-o <out file>] [-d <out dir>]" << "\n" <<
|
|
" [-l <start/low address>] [-h <end/high address>]" << "\n" <<
|
|
" [-s <segment name>] [-i <segment display info>]" << "\n" <<
|
|
" [-r <rom layout>]" << "\n" <<
|
|
" <input dir/file list>" << "\n\n";
|
|
}
|
|
|
|
void printBannerCollectAnalyse()
|
|
{
|
|
printBannerLineTop();
|
|
std::cout << "// Segment '" << CMD_segInfo << "' - collecting and analysing routines" << "\n";
|
|
printBannerLineBottom();
|
|
}
|
|
|
|
void printBannerBinCompile()
|
|
{
|
|
printBannerLineTop();
|
|
std::cout << "// Segment '" << CMD_segInfo << "' - binning and compiling the assembly" << "\n";
|
|
printBannerLineBottom();
|
|
}
|
|
|
|
std::string toLabel(const std::string &fileName)
|
|
{
|
|
std::string retVal = fileName;
|
|
|
|
std::replace(retVal.begin(), retVal.end(), ',', '_');
|
|
std::replace(retVal.begin(), retVal.end(), '.', '_');
|
|
|
|
return retVal;
|
|
}
|
|
|
|
//
|
|
// Class definitions
|
|
//
|
|
|
|
class SourceFile
|
|
{
|
|
public:
|
|
SourceFile(const std::string &fileName, const std::string &dirName);
|
|
|
|
void preprocess();
|
|
void preprocessLine(const std::string &line, uint32_t lineNum);
|
|
void preprocessLine_Alias(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter, uint32_t lineNum);
|
|
void preprocessLine_Import(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter);
|
|
void preprocessLine_Layout(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter);
|
|
|
|
bool nameMatch(const std::string &token, const std::string &name);
|
|
|
|
std::string fileName;
|
|
std::string dirName;
|
|
|
|
bool layoutProcessingDone;
|
|
bool ignore;
|
|
bool floating;
|
|
bool high;
|
|
|
|
std::map<std::string, std::list<std::pair<std::string, uint16_t>>> symbolImports;
|
|
std::map<uint32_t, std::pair<std::string, uint16_t>> symbolAliases;
|
|
|
|
std::vector<char> content;
|
|
|
|
std::string label;
|
|
int startAddr; // for fixed (non-floating) routines only
|
|
int codeLength; // for both fixed and floating routines
|
|
|
|
int testAddrStart; // start address during test run
|
|
int testAddrEnd; // end address during test run
|
|
};
|
|
|
|
class BinningProblem
|
|
{
|
|
public:
|
|
|
|
BinningProblem() {};
|
|
BinningProblem(int loAddress, int hiAddress);
|
|
|
|
bool isSolved() const;
|
|
|
|
void addToProblem(SourceFile *routine);
|
|
void fillGap(DualStream &logOutput, int gapAddress, const std::list<SourceFile *> &routines);
|
|
void placeHighRoutines(DualStream &logOutput);
|
|
void performObviousSteps(DualStream &logOutput);
|
|
void removeUselessGaps(DualStream &logOutput);
|
|
void sortFloatingRoutinesBySize();
|
|
|
|
std::map<int, SourceFile *> fixedRoutines; // routines with location already fixed
|
|
std::map<int, int> gaps; // gaps by address
|
|
std::vector<SourceFile *> floatingRoutines; // routines not allocated to any address yet; always keep them sorted!
|
|
|
|
int statSize;
|
|
int statFree;
|
|
int statWasted;
|
|
};
|
|
|
|
class Solver
|
|
{
|
|
public:
|
|
explicit Solver(BinningProblem &problem) : problem(problem), logOutput(logFile, std::cout) {}
|
|
|
|
void run();
|
|
|
|
int selectGapToFill();
|
|
void findPartialSolution(int gapSize, std::list<SourceFile *> &partialSolution);
|
|
|
|
private:
|
|
|
|
BinningProblem &problem;
|
|
std::ofstream logFile;
|
|
|
|
DualStream logOutput;
|
|
};
|
|
|
|
//
|
|
// Global variables
|
|
//
|
|
|
|
std::list<SourceFile> GLOBAL_sourceFiles;
|
|
std::list<SourceFile> GLOBAL_sourceFiles_noCode;
|
|
size_t GLOBAL_maxFileNameLen = 0;
|
|
size_t GLOBAL_totalRoutinesSize = 0;
|
|
BinningProblem GLOBAL_binningProblem;
|
|
|
|
//
|
|
// Top-level functions
|
|
//
|
|
|
|
void parseCommandLine(int argc, char **argv)
|
|
{
|
|
int opt;
|
|
|
|
// Retrieve command line options
|
|
|
|
while ((opt = getopt(argc, argv, "a:o:d:s:i:r:l:h:")) != -1)
|
|
{
|
|
switch(opt)
|
|
{
|
|
case 'a': CMD_assembler = optarg; break;
|
|
case 'o': CMD_outFile = optarg; break;
|
|
case 'd': CMD_outDir = optarg; break;
|
|
case 's': CMD_segName = optarg; break;
|
|
case 'i': CMD_segInfo = optarg; break;
|
|
case 'r': CMD_romLayout = optarg; break;
|
|
case 'l': CMD_loAddress = strtol(optarg, nullptr, 16); break;
|
|
case 'h': CMD_hiAddress = strtol(optarg, nullptr, 16); break;
|
|
default: printUsage(); ERROR();
|
|
}
|
|
}
|
|
|
|
// Retrieve file/directory list
|
|
|
|
for (int idx = optind; idx < argc; idx++)
|
|
{
|
|
CMD_inList.push_back(argv[idx]);
|
|
}
|
|
|
|
if (CMD_inList.empty()) { printUsage(); ERROR("empty directory/file list"); }
|
|
}
|
|
|
|
void readSourceFiles()
|
|
{
|
|
struct stat statBuf;
|
|
for (const auto &objName : CMD_inList)
|
|
{
|
|
if (stat(objName.c_str(), &statBuf) < 0)
|
|
{
|
|
ERROR(std::string("can't get information about '") + objName + "'");
|
|
}
|
|
|
|
if (S_ISREG(statBuf.st_mode))
|
|
{
|
|
// This is a regular file
|
|
|
|
char *tmp1 = strdup(objName.c_str());
|
|
char *tmp2 = strdup(objName.c_str());
|
|
|
|
std::string dirName = dirname(tmp1);
|
|
std::string fileName = basename(tmp2);
|
|
|
|
free(tmp1);
|
|
free(tmp2);
|
|
|
|
GLOBAL_sourceFiles.push_back(SourceFile(fileName, dirName));
|
|
GLOBAL_maxFileNameLen = std::max(GLOBAL_maxFileNameLen, fileName.length());
|
|
continue;
|
|
}
|
|
|
|
// This should be a directory
|
|
|
|
DIR *dirHandle = opendir(objName.c_str());
|
|
if (!dirHandle) ERROR(std::string("unable to open directory '") + objName + "'");
|
|
|
|
struct dirent *dirEntry;
|
|
while ((dirEntry = readdir(dirHandle)) != nullptr)
|
|
{
|
|
const std::string fileName = dirEntry->d_name;
|
|
|
|
// Filter-out files which are not assembler files, temporary, etc.
|
|
|
|
if (fileName.length() < 3) continue;
|
|
if (fileName.front() == '#') continue;
|
|
if (fileName.front() == '~') continue;
|
|
if (fileName.substr(fileName.length() - 2) != ".s") continue;
|
|
|
|
// Add file to the global list
|
|
|
|
GLOBAL_sourceFiles.push_back(SourceFile(fileName, objName));
|
|
GLOBAL_maxFileNameLen = std::max(GLOBAL_maxFileNameLen, fileName.length());
|
|
}
|
|
|
|
closedir(dirHandle);
|
|
}
|
|
|
|
// Filter-out files marked as ignored
|
|
|
|
GLOBAL_sourceFiles.erase(std::remove_if(GLOBAL_sourceFiles.begin(), GLOBAL_sourceFiles.end(),
|
|
[](const SourceFile &sourceFile) -> bool { return sourceFile.ignore; }), GLOBAL_sourceFiles.end());
|
|
|
|
if (GLOBAL_sourceFiles.empty()) ERROR("no source files found");
|
|
|
|
// Sort the file list by name, to provide deterministic results
|
|
|
|
auto compare = [](const SourceFile &a, const SourceFile &b) -> bool { return a.fileName.compare(b.fileName) < 0; };
|
|
GLOBAL_sourceFiles.sort(compare);
|
|
}
|
|
|
|
void checkInputFileLabels()
|
|
{
|
|
std::set<std::string> usedLabels;
|
|
for (const auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
if (usedLabels.count(sourceFile.label) != 0)
|
|
{
|
|
ERROR(std::string("input file '") + sourceFile.fileName + "' has a name too similar to another one");
|
|
}
|
|
|
|
usedLabels.insert(sourceFile.label);
|
|
}
|
|
}
|
|
|
|
void calcRoutineSizes()
|
|
{
|
|
const std::string nameBase = CMD_segName + "_sizetest";
|
|
const std::string filePath = CMD_outDir + DIR_SEPARATOR;
|
|
|
|
const std::string outFileNameBare = nameBase + ".s";
|
|
const std::string outFileNamePath = filePath + outFileNameBare;
|
|
const std::string symFileNamePath = filePath + nameBase + ".sym";
|
|
|
|
// Remove old files
|
|
|
|
unlink(outFileNamePath.c_str());
|
|
unlink(symFileNamePath.c_str());
|
|
|
|
// Write test file to determine routine sizes
|
|
|
|
std::ofstream outFile(outFileNamePath, std::fstream::out | std::fstream::trunc);
|
|
if (!outFile.good()) ERROR(std::string("can't open temporary file '") + outFileNamePath + "'");
|
|
|
|
// Start at $100, so that no local data gets accesses using ZP addressing modes
|
|
// during this pass, which would otherwise upset things later
|
|
|
|
outFile << "\n" << "*=$100" << "\n";
|
|
outFile << "!set SEGMENT_" << CMD_segName << " = 1\n";
|
|
outFile << "!set ROM_LAYOUT_" << CMD_romLayout << " = 1\n";
|
|
|
|
for (const auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
outFile << "\n\n\n\n";
|
|
outFile << ";--- Source file " << sourceFile.fileName << "\n\n";
|
|
outFile << "!zone " << toLabel(sourceFile.fileName) << "\n\n";
|
|
outFile << LAB_OUT_START << sourceFile.label << ":" << "\n\n";
|
|
|
|
outFile << std::string(sourceFile.content.begin(), sourceFile.content.end());
|
|
|
|
outFile << "\n\n";
|
|
outFile << LAB_OUT_END << sourceFile.label << ":" << "\n";
|
|
}
|
|
|
|
if (!outFile.good()) ERROR(std::string("error writing temporary file '") + outFileNamePath + "'");
|
|
outFile.close();
|
|
|
|
// All written - now launch the assembler
|
|
|
|
const std::string cmd = "cd " + filePath + " && " + CMD_assembler +
|
|
" --color --outfile /dev/null --symbollist " + CMD_segName + "_sizetest.sym " +
|
|
outFileNameBare;
|
|
std::cout << "command: " << cmd << "\n" << std::flush;
|
|
if (0 != system(cmd.c_str()))
|
|
{
|
|
ERROR("assembler running failed");
|
|
}
|
|
|
|
// Read addresses
|
|
|
|
std::ifstream symFile;
|
|
symFile.open(symFileNamePath);
|
|
if (!symFile.good()) ERROR(std::string("unable to open results file '") + symFileNamePath + "'");
|
|
|
|
std::string line;
|
|
while (std::getline(symFile, line))
|
|
{
|
|
bool startLabel;
|
|
|
|
if (0 == line.compare(0, LAB_IN_START.size(), LAB_IN_START))
|
|
{
|
|
line.erase(0, LAB_IN_START.length());
|
|
startLabel = true;
|
|
}
|
|
else if (0 == line.compare(0, LAB_IN_END.size(), LAB_IN_END))
|
|
{
|
|
line.erase(0, LAB_IN_END.length());
|
|
startLabel = false;
|
|
}
|
|
else continue;
|
|
|
|
// Decode address, write it into the object
|
|
|
|
auto eqPos = line.rfind('=');
|
|
|
|
auto address = strtol(line.substr(eqPos + 3).c_str(), nullptr , 16);
|
|
std::string refLabel = line.substr(0, eqPos - 1);
|
|
|
|
for (auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
if (refLabel.compare(sourceFile.label) != 0) continue;
|
|
if (startLabel)
|
|
{
|
|
sourceFile.testAddrStart = address;
|
|
}
|
|
else
|
|
{
|
|
sourceFile.testAddrEnd = address;
|
|
}
|
|
}
|
|
}
|
|
|
|
symFile.close();
|
|
|
|
// Calculate size of each and every routine
|
|
|
|
for (auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
if (sourceFile.testAddrStart <= 0 || sourceFile.testAddrEnd <= 0 ||
|
|
sourceFile.testAddrStart > sourceFile.testAddrEnd)
|
|
{
|
|
ERROR(std::string("unable to determine code length in '") + sourceFile.fileName + "'");
|
|
}
|
|
|
|
sourceFile.codeLength = sourceFile.testAddrEnd - sourceFile.testAddrStart;
|
|
GLOBAL_totalRoutinesSize += sourceFile.codeLength;
|
|
}
|
|
|
|
// Check whether total code size is sane
|
|
|
|
if (0 == GLOBAL_totalRoutinesSize) ERROR("total code size is 0");
|
|
if (signed(GLOBAL_totalRoutinesSize) > CMD_hiAddress - CMD_loAddress)
|
|
{
|
|
ERROR(std::string("total code size is ") + std::to_string(GLOBAL_totalRoutinesSize) + ", too much for this segment!");
|
|
}
|
|
|
|
// Sort the file list by code size, starting from the smallest
|
|
|
|
auto compare = [](const SourceFile &a, const SourceFile &b) -> bool { return a.codeLength < b.codeLength; };
|
|
GLOBAL_sourceFiles.sort(compare);
|
|
|
|
// Move zero-sized element to a separate list
|
|
|
|
while (GLOBAL_sourceFiles.front().codeLength == 0)
|
|
{
|
|
GLOBAL_sourceFiles_noCode.push_back(GLOBAL_sourceFiles.front());
|
|
GLOBAL_sourceFiles.pop_front();
|
|
}
|
|
}
|
|
|
|
void prepareBinningProblem()
|
|
{
|
|
// Prepare the log file
|
|
|
|
const std::string logFileNamePath = CMD_outDir + DIR_SEPARATOR + CMD_segName + "_binproblem.log";
|
|
unlink(logFileNamePath.c_str());
|
|
std::ofstream logFile(logFileNamePath, std::fstream::out | std::fstream::trunc);
|
|
DualStream logOutput(logFile, std::cout);
|
|
|
|
// Print out code length information
|
|
|
|
for (const auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
std::string spacing;
|
|
spacing.resize(GLOBAL_maxFileNameLen + 4 - sourceFile.fileName.length(), ' ');
|
|
std::string floating_high;
|
|
|
|
if (sourceFile.high)
|
|
{
|
|
floating_high = "(floating, high) ";
|
|
}
|
|
else if (sourceFile.floating)
|
|
{
|
|
floating_high = "(floating) ";
|
|
}
|
|
else
|
|
{
|
|
floating_high = " ";
|
|
}
|
|
|
|
logOutput << "file: " << floating_high << sourceFile.fileName << spacing << "size: " << std::to_string(sourceFile.codeLength) << "\n";
|
|
}
|
|
|
|
// Create the binning problem
|
|
|
|
GLOBAL_binningProblem = BinningProblem(CMD_loAddress, CMD_hiAddress);
|
|
|
|
for (auto &sourceFile : GLOBAL_sourceFiles)
|
|
{
|
|
GLOBAL_binningProblem.addToProblem(&sourceFile);
|
|
}
|
|
|
|
// Print out some more statistics
|
|
|
|
logOutput << "\n" <<
|
|
"free space (after floating routines are placed): " <<
|
|
std::to_string(CMD_hiAddress - CMD_loAddress + 1 - GLOBAL_totalRoutinesSize) << "\n" <<
|
|
"number of floating routines: " <<
|
|
std::to_string(GLOBAL_binningProblem.floatingRoutines.size()) << "\n" <<
|
|
"number of gaps for the floating routines: " <<
|
|
std::to_string(GLOBAL_binningProblem.gaps.size()) << "\n" <<
|
|
"\n";
|
|
|
|
// Print out the available gaps
|
|
|
|
for (auto& gap : GLOBAL_binningProblem.gaps)
|
|
{
|
|
logOutput << "gap address: $" << std::uppercase << std::hex << gap.first <<
|
|
" size: " << std::to_string(gap.second) << "\n";
|
|
}
|
|
|
|
logOutput << "\n";
|
|
|
|
// Close the log file
|
|
|
|
if (!logFile.good()) ERROR(std::string("error writing log file '") + logFileNamePath + "'");
|
|
logFile.close();
|
|
}
|
|
|
|
void solveBinningProblem()
|
|
{
|
|
std::cout << "trying to solve the routine binning problem" << "\n\n";
|
|
|
|
// Do some routine actions on the binning problem object
|
|
|
|
Solver solver(GLOBAL_binningProblem);
|
|
solver.run();
|
|
|
|
if (!GLOBAL_binningProblem.isSolved())
|
|
{
|
|
ERROR("unable to solve the routine binning problem");
|
|
}
|
|
|
|
std::cout << "\n";
|
|
}
|
|
|
|
void compileSegment()
|
|
{
|
|
// First combine everything into one assembler file
|
|
|
|
const std::string outFileNameBare = CMD_segName + "_combined.s";
|
|
const std::string vlfFileNamePath = CMD_segName + "_combined.vs";
|
|
const std::string repFileNamePath = CMD_segName + "_combined.rep";
|
|
const std::string symFileNamePath = CMD_segName + "_combined.sym";
|
|
const std::string filePath = CMD_outDir + DIR_SEPARATOR;
|
|
const std::string outFileNamePath = filePath + outFileNameBare;
|
|
unlink(outFileNamePath.c_str());
|
|
unlink(vlfFileNamePath.c_str());
|
|
unlink(repFileNamePath.c_str());
|
|
unlink(symFileNamePath.c_str());
|
|
std::ofstream outFile(outFileNamePath, std::fstream::out | std::fstream::trunc);
|
|
if (!outFile.good()) ERROR(std::string("can't open temporary file '") + outFileNamePath + "'");
|
|
|
|
// Write the header
|
|
|
|
outFile << "!set SEGMENT_" << CMD_segName << " = 1\n";
|
|
outFile << "!set ROM_LAYOUT_" << CMD_romLayout << " = 1\n\n";
|
|
outFile << "\t* = $" << std::hex << CMD_loAddress << ", INVISIBLE\n";
|
|
outFile << "\t!fill $" << std::hex << (CMD_hiAddress + 1 - CMD_loAddress) << "\n\n";
|
|
|
|
// Write files which only contain definitions (no routines)
|
|
|
|
for (const auto &sourceFile : GLOBAL_sourceFiles_noCode)
|
|
{
|
|
outFile << "\n\n\n\n";
|
|
outFile << ";--- Source file " << sourceFile.fileName << "\n\n";
|
|
outFile << "!zone " << toLabel(sourceFile.fileName) << "\n\n";
|
|
outFile << std::string(sourceFile.content.begin(), sourceFile.content.end());
|
|
outFile << "\n";
|
|
}
|
|
|
|
// Write remaining files, these should be placed under their proper locations
|
|
|
|
for (const auto &routine : GLOBAL_binningProblem.fixedRoutines)
|
|
{
|
|
outFile << "\n\n\n\n";
|
|
outFile << ";--- Source file " << routine.second->fileName << "\n\n";
|
|
outFile << "!zone " << toLabel(routine.second->fileName) << "\n\n";
|
|
outFile << "\t* = $" << std::hex << routine.first << "\n\n";
|
|
outFile << std::string(routine.second->content.begin(), routine.second->content.end());
|
|
outFile << "\n";
|
|
}
|
|
|
|
outFile << "\n\n";
|
|
|
|
if (!outFile.good()) ERROR(std::string("error writing temporary file '") + outFileNamePath + "'");
|
|
outFile.close();
|
|
|
|
// All written - now launch the assembler
|
|
|
|
const std::string cmd = "cd " + filePath + " && " + CMD_assembler +
|
|
" --strict-segments --color" +
|
|
" --outfile " + CMD_outFile +
|
|
" --symbollist " + symFileNamePath +
|
|
" --vicelabels " + vlfFileNamePath +
|
|
" --report " + repFileNamePath +
|
|
" " + outFileNameBare;
|
|
std::cout << "command: " << cmd << "\n" << std::flush;
|
|
if (0 != system(cmd.c_str()))
|
|
{
|
|
ERROR("assembler running failed");
|
|
}
|
|
}
|
|
|
|
//
|
|
// Main function
|
|
//
|
|
|
|
int main(int argc, char **argv)
|
|
{
|
|
parseCommandLine(argc, argv);
|
|
|
|
printBannerCollectAnalyse();
|
|
|
|
readSourceFiles();
|
|
checkInputFileLabels();
|
|
calcRoutineSizes();
|
|
|
|
printBannerBinCompile();
|
|
|
|
prepareBinningProblem();
|
|
solveBinningProblem();
|
|
compileSegment();
|
|
|
|
return 0;
|
|
}
|
|
|
|
//
|
|
// Class 'SourceFile'
|
|
//
|
|
|
|
SourceFile::SourceFile(const std::string &fileName, const std::string &dirName) :
|
|
fileName(fileName),
|
|
dirName(dirName),
|
|
layoutProcessingDone(false),
|
|
ignore(false),
|
|
floating(false),
|
|
high(false),
|
|
startAddr(-1),
|
|
codeLength(-1),
|
|
testAddrStart(-1),
|
|
testAddrEnd(-1)
|
|
{
|
|
const std::string fileNameWithPath = dirName + DIR_SEPARATOR + fileName;
|
|
std::cout << "reading file: " << fileNameWithPath << "\n";
|
|
|
|
// Open the file
|
|
|
|
std::ifstream inFile;
|
|
inFile.open(fileNameWithPath);
|
|
if (!inFile.good()) ERROR("unable to open file");
|
|
|
|
// Read the content
|
|
|
|
inFile.seekg(0, inFile.end);
|
|
auto fileLength = inFile.tellg();
|
|
if (fileLength == 0) ERROR("file is empty");
|
|
content.resize(fileLength);
|
|
|
|
inFile.seekg(0);
|
|
inFile.read(&content[0], fileLength);
|
|
if (!inFile.good()) ERROR("error reading file content");
|
|
if (content.back() != '\n') content.push_back('\n');
|
|
|
|
inFile.close();
|
|
|
|
// Determine if the file content is floating or fixed position one,
|
|
// retrieve start address
|
|
|
|
auto isHexDigit = [](char digit) -> bool
|
|
{
|
|
return (digit >= '0' && digit <= '9') ||
|
|
(digit >= 'a' && digit <= 'f') ||
|
|
(digit >= 'A' && digit <= 'F');;
|
|
};
|
|
|
|
floating = !(fileName.length() >= 6 && fileName[4] == '.' &&
|
|
isHexDigit(fileName[0]) &&
|
|
isHexDigit(fileName[1]) &&
|
|
isHexDigit(fileName[2]) &&
|
|
isHexDigit(fileName[3]));
|
|
|
|
if (!floating)
|
|
{
|
|
startAddr = strtol(fileName.substr(0, 4).c_str(), nullptr ,16);
|
|
}
|
|
|
|
// Preprocess the file (apply settings from the content)
|
|
|
|
preprocess();
|
|
|
|
// Generate assembler compatible label from the file name
|
|
|
|
label = toLabel(fileName);
|
|
}
|
|
|
|
void SourceFile::preprocess()
|
|
{
|
|
std::string contentStr(content.begin(), content.end());
|
|
std::istringstream stream1(contentStr);
|
|
std::istringstream stream2(contentStr);
|
|
std::string line;
|
|
uint32_t lineNum = 0;
|
|
|
|
// Preprocess all the lines
|
|
|
|
while (std::getline(stream1, line))
|
|
{
|
|
lineNum++;
|
|
|
|
if (line.empty()) continue;
|
|
std::replace(line.begin(), line.end(), '\t', ' ');
|
|
line.erase(std::remove(line.begin(), line.end(), '\r'), line.end());
|
|
preprocessLine(line, lineNum - 1);
|
|
}
|
|
|
|
// Replace content with preprocessed one
|
|
|
|
std::string spacing;
|
|
content.clear();
|
|
lineNum = 0;
|
|
|
|
size_t maxSymLen = 0;
|
|
for (const auto &symbolAlias : symbolAliases) maxSymLen = std::max(maxSymLen, symbolAlias.second.first.length());
|
|
|
|
while (std::getline(stream2, line))
|
|
{
|
|
if (symbolAliases.find(lineNum) != symbolAliases.end())
|
|
{
|
|
std::ostringstream alias;
|
|
spacing.resize(maxSymLen + 2 - symbolAliases[lineNum].first.length(), ' ');
|
|
alias << "!addr " << symbolAliases[lineNum].first << spacing << "= $" <<
|
|
std::hex << symbolAliases[lineNum].second << " " << line;
|
|
const std::string aliasStr = alias.str();
|
|
content.insert(content.end(), aliasStr.begin(), aliasStr.end());
|
|
}
|
|
else
|
|
{
|
|
content.insert(content.end(), line.begin(), line.end());
|
|
}
|
|
|
|
content.push_back('\n');
|
|
lineNum++;
|
|
}
|
|
|
|
symbolAliases.clear();
|
|
symbolImports.clear();
|
|
}
|
|
|
|
void SourceFile::preprocessLine(const std::string &line, uint32_t lineNum)
|
|
{
|
|
// Split the line into tokens
|
|
|
|
std::list<std::string> tokens;
|
|
|
|
std::istringstream stream(line);
|
|
std::string token;
|
|
while(std::getline(stream, token, ' '))
|
|
{
|
|
if (token.empty()) continue;
|
|
tokens.push_back(token);
|
|
}
|
|
if (tokens.empty()) return;
|
|
|
|
// Now preprocess line using the token list
|
|
|
|
auto iter = tokens.begin();
|
|
|
|
// Injest the comment token
|
|
|
|
if ((iter++)->compare(";;") != 0 || iter == tokens.end()) return;
|
|
|
|
// Check if supported directive
|
|
|
|
if (iter->compare("#ALIAS#") == 0) preprocessLine_Alias(tokens, ++iter, lineNum);
|
|
else if (iter->compare("#IMPORT#") == 0) preprocessLine_Import(tokens, ++iter);
|
|
else if (iter->compare("#LAYOUT#") == 0) preprocessLine_Layout(tokens, ++iter);
|
|
}
|
|
|
|
void SourceFile::preprocessLine_Alias(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter, uint32_t lineNum)
|
|
{
|
|
if (ignore) return;
|
|
|
|
// Extract symbol, namespace, and target
|
|
|
|
if (iter == tokens.end()) ERROR("syntax error, missing symbol in '#ALIAS#'");
|
|
std::string symbol = *(iter++);
|
|
|
|
if (iter == tokens.end() || (iter++)->compare("=") != 0) ERROR("syntax error, expected assignment in '#ALIAS#'");
|
|
if (iter == tokens.end()) ERROR("syntax error, missing namespace/target in '#ALIAS#'");
|
|
|
|
auto dotPos = iter->rfind('.');
|
|
std::string symNameSpace = iter->substr(0, dotPos);
|
|
std::string symTarget = iter->substr(dotPos + 1, std::string::npos);
|
|
|
|
if (symNameSpace.empty()) ERROR("syntax error, missing namespace in '#ALIAS#'");
|
|
if (symTarget.empty()) ERROR("syntax error, missing target in '#ALIAS#'");
|
|
|
|
// Put the alias - if address found
|
|
|
|
for (const auto &alias : symbolImports[symNameSpace])
|
|
{
|
|
if (alias.first.compare(symTarget) != 0) continue;
|
|
|
|
symbolAliases[lineNum] = std::pair<std::string, uint16_t>(symbol, alias.second);
|
|
break;
|
|
}
|
|
}
|
|
|
|
void SourceFile::preprocessLine_Import(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter)
|
|
{
|
|
if (ignore) return;
|
|
|
|
if (iter == tokens.end()) ERROR("syntax error, missing namespace in '#IMPORT#'");
|
|
std::string symNameSpace = *(iter++);
|
|
|
|
if (iter == tokens.end() || iter->compare("=") != 0) ERROR("syntax error, expected assignment in '#IMPORT#'");
|
|
|
|
while (++iter != tokens.end())
|
|
{
|
|
// Try to import sumbols for the file
|
|
|
|
std::ifstream impFile;
|
|
impFile.open(CMD_outDir + DIR_SEPARATOR + *iter);
|
|
if (!impFile.good())
|
|
{
|
|
impFile.close();
|
|
continue;
|
|
}
|
|
|
|
std::string line;
|
|
while (std::getline(impFile, line))
|
|
{
|
|
// Import label and address
|
|
|
|
auto eqPos = line.rfind('=');
|
|
|
|
auto address = strtol(line.substr(eqPos + 3).c_str(), nullptr , 16);
|
|
std::string label = line.substr(1, eqPos - 2);
|
|
|
|
symbolImports[symNameSpace].push_back(std::pair<std::string, uint16_t>(label, address));
|
|
}
|
|
|
|
impFile.close();
|
|
}
|
|
}
|
|
|
|
void SourceFile::preprocessLine_Layout(const std::list<std::string> &tokens, std::list<std::string>::iterator &iter)
|
|
{
|
|
if (layoutProcessingDone) return;
|
|
|
|
// Check if segment name and rom layout match
|
|
|
|
if (iter == tokens.end()) ERROR("syntax error, missing rom layout in '#LAYOUT#'");
|
|
if (!nameMatch(*(iter++), CMD_romLayout)) return;
|
|
|
|
if (iter == tokens.end()) ERROR("syntax error, missing segment name in '#LAYOUT#'");
|
|
if (!nameMatch(*(iter++), CMD_segName)) return;
|
|
|
|
// Retrieve and apply action
|
|
|
|
if (iter == tokens.end()) ERROR("syntax error, missing action in '#LAYOUT#'");
|
|
|
|
if (iter->compare("#IGNORE") == 0)
|
|
{
|
|
ignore = true;
|
|
}
|
|
else if (iter->compare("#TAKE-FLOAT") == 0)
|
|
{
|
|
floating = true;
|
|
}
|
|
else if (iter->compare("#TAKE-HIGH") == 0)
|
|
{
|
|
floating = true;
|
|
high = true;
|
|
}
|
|
else if (iter->compare("#TAKE-OFFSET") == 0)
|
|
{
|
|
if (++iter == tokens.end()) ERROR("syntax error, missing parameter for '#TAKE-OFFSET'");
|
|
startAddr += strtol(iter->c_str(), nullptr, 16);
|
|
}
|
|
else if (iter->compare("#TAKE") != 0)
|
|
{
|
|
ERROR(std::string("syntax error, unsupported action '") + *iter + "' in '#LAYOUT#'");
|
|
}
|
|
|
|
// Mark the file - to tell that layout processing is finished
|
|
|
|
layoutProcessingDone = true;
|
|
}
|
|
|
|
|
|
bool SourceFile::nameMatch(const std::string &token, const std::string &name)
|
|
{
|
|
return (token.compare("*") == 0) || (token.compare(name) == 0);
|
|
}
|
|
|
|
//
|
|
// Class 'BinningProblem'
|
|
//
|
|
|
|
BinningProblem::BinningProblem(int loAddress, int hiAddress)
|
|
{
|
|
if (hiAddress < loAddress || hiAddress < 0 || loAddress < 0 || hiAddress > 0xFFFF || loAddress > 0xFFFF)
|
|
{
|
|
ERROR("invalid lo/hi address");
|
|
}
|
|
|
|
// Create one large gap (initial) to represent the assembly
|
|
|
|
gaps[loAddress] = hiAddress - loAddress + 1;
|
|
|
|
// Initial value of statistics
|
|
|
|
statSize = gaps[loAddress];
|
|
statFree = gaps[loAddress];
|
|
statWasted = 0;
|
|
}
|
|
|
|
bool BinningProblem::isSolved() const
|
|
{
|
|
return floatingRoutines.empty();
|
|
}
|
|
|
|
void BinningProblem::addToProblem(SourceFile *routine)
|
|
{
|
|
if (routine->floating)
|
|
{
|
|
floatingRoutines.push_back(routine);
|
|
}
|
|
else
|
|
{
|
|
// For the fixed-address routines, we have to find the matching place
|
|
|
|
bool gapFound = false;
|
|
for (auto &gap: gaps)
|
|
{
|
|
if (gap.first > routine->startAddr || gap.first + gap.second - 1 < routine->startAddr)
|
|
{
|
|
continue; // not a suitable gap
|
|
}
|
|
|
|
// We have to put the routine into the current gap
|
|
|
|
if (gap.first + gap.second < routine->startAddr + routine->codeLength)
|
|
{
|
|
ERROR(std::string("fixed address file '") + routine->fileName + "' won't fit in the available gap");
|
|
}
|
|
|
|
gapFound = true;
|
|
|
|
// Put the routine into the gap, possibly removing it or splitting into two
|
|
|
|
fixedRoutines[routine->startAddr] = routine;
|
|
statFree -= routine->codeLength;
|
|
|
|
// Calculate possible new gap after the routine
|
|
|
|
int newGapSize = (gap.first + gap.second) - (routine->startAddr + routine->codeLength);
|
|
int newGapStart = (newGapSize <= 0) ? -1 : routine->startAddr + routine->codeLength;
|
|
|
|
// Remove or shrink the current gap
|
|
|
|
if (gap.first == routine->startAddr)
|
|
{
|
|
gaps.erase(gap.first);
|
|
}
|
|
else
|
|
{
|
|
gap.second = routine->startAddr - gap.first;
|
|
}
|
|
|
|
// Add a new gap
|
|
|
|
if (newGapStart > 0) gaps[newGapStart] = newGapSize;
|
|
|
|
break; // iterator is not valid enymore, we have to stop the llop
|
|
}
|
|
|
|
if (!gapFound)
|
|
{
|
|
ERROR(std::string("start address of fixed address file '") +
|
|
routine->fileName + "' (" + std::to_string(routine->startAddr) +
|
|
") already occupied or out of range");
|
|
}
|
|
}
|
|
}
|
|
|
|
void BinningProblem::fillGap(DualStream &logOutput, int gapAddress, const std::list<SourceFile *> &routines)
|
|
{
|
|
int offset = 0;
|
|
std::string spacing;
|
|
|
|
for (auto &routine : routines)
|
|
{
|
|
int targetAddr = gapAddress + offset;
|
|
|
|
spacing.resize(GLOBAL_maxFileNameLen + 4 - routine->fileName.length(), ' ');
|
|
logOutput << " $" << std::hex << targetAddr << std::dec << ": " <<
|
|
routine->fileName << spacing << "size: " << routine->codeLength << "\n";
|
|
|
|
fixedRoutines[targetAddr] = routine;
|
|
offset += routine->codeLength;
|
|
statFree -= routine->codeLength;
|
|
|
|
if (offset > gaps[gapAddress]) ERROR(std::string("internal error line ") + std::to_string(__LINE__));
|
|
|
|
floatingRoutines.erase(std::remove(floatingRoutines.begin(), floatingRoutines.end(), routine), floatingRoutines.end());
|
|
}
|
|
|
|
// Get rid of the gap, it's useless now
|
|
|
|
if (offset == gaps[gapAddress])
|
|
{
|
|
logOutput << "filled to the last byte" << "\n";
|
|
}
|
|
else if (!isSolved())
|
|
{
|
|
logOutput << "filled in - dropped bytes: " << gaps[gapAddress] - offset << "\n";
|
|
statWasted += gaps[gapAddress] - offset;
|
|
}
|
|
else
|
|
{
|
|
logOutput << "out of routines" << "\n";
|
|
}
|
|
|
|
gaps.erase(gapAddress);
|
|
}
|
|
|
|
void BinningProblem::placeHighRoutines(DualStream &logOutput)
|
|
{
|
|
// Place routines which has to be stored in the high ROM area
|
|
// It is expected there will be very few of them, so no complicated algorithms here
|
|
|
|
std::string spacing;
|
|
|
|
while (!floatingRoutines.empty())
|
|
{
|
|
// Find the largest high routine
|
|
|
|
auto iterRoutine = floatingRoutines.end();
|
|
|
|
for (auto iter = floatingRoutines.begin(); iter < floatingRoutines.end(); iter++)
|
|
{
|
|
if (!(*iter)->high) continue;
|
|
|
|
if (iterRoutine == floatingRoutines.end() ||
|
|
(*iterRoutine)->codeLength < (*iter)->codeLength)
|
|
{
|
|
iterRoutine = iter;
|
|
continue;
|
|
}
|
|
|
|
if ((*iterRoutine)->codeLength < (*iter)->codeLength)
|
|
{
|
|
iterRoutine = iter;
|
|
}
|
|
}
|
|
|
|
if (iterRoutine == floatingRoutines.end()) break;
|
|
|
|
// Now we need to find a space to put it - just take the largest gap available,
|
|
// which is located in the high ROM area
|
|
|
|
int routineSize = (*iterRoutine)->codeLength;
|
|
int gapAddress = -1;
|
|
|
|
for (auto &gap : gaps)
|
|
{
|
|
if (gap.second < routineSize || gap.first < 0xE000) continue;
|
|
|
|
if (gap.second == routineSize)
|
|
{
|
|
gapAddress = gap.first;
|
|
break;
|
|
}
|
|
|
|
if (gapAddress < 0 || gap.second > gaps[gapAddress])
|
|
{
|
|
gapAddress = gap.first;
|
|
}
|
|
}
|
|
|
|
if (gapAddress < 0) ERROR("no suitable space for a high routine");
|
|
|
|
// Place routine in the gap found
|
|
|
|
gaps[gapAddress] -= routineSize;
|
|
|
|
int targetAddr = gapAddress + gaps[gapAddress];
|
|
fixedRoutines[targetAddr] = *iterRoutine;
|
|
statFree -= routineSize;
|
|
|
|
logOutput << "reducing gap $" << std::hex << gapAddress << std::dec <<
|
|
" to size " << gaps[gapAddress] << "\n";
|
|
|
|
spacing.resize(GLOBAL_maxFileNameLen + 4 - (*iterRoutine)->fileName.length(), ' ');
|
|
logOutput << " $" << std::hex << targetAddr << std::dec << ": " <<
|
|
(*iterRoutine)->fileName << spacing << "size: " <<
|
|
(*iterRoutine)->codeLength << "\n";
|
|
|
|
floatingRoutines.erase(iterRoutine);
|
|
if (gaps[gapAddress] == 0) gaps.erase(gapAddress);
|
|
}
|
|
}
|
|
|
|
void BinningProblem::performObviousSteps(DualStream &logOutput)
|
|
{
|
|
// Get the size of the biggest routine; if there is just one gap which
|
|
// can handle it - put the routine exactly there
|
|
|
|
std::string spacing;
|
|
|
|
bool repeat = true;
|
|
bool lastGap = false;
|
|
while (repeat && !floatingRoutines.empty() && !gaps.empty())
|
|
{
|
|
repeat = false;
|
|
|
|
int routineSize = floatingRoutines.back()->codeLength;
|
|
|
|
int gapAddress;
|
|
int matchingGaps = 0;
|
|
for (auto &gap : gaps)
|
|
{
|
|
if (gap.second >= routineSize)
|
|
{
|
|
matchingGaps++;
|
|
gapAddress = gap.first;
|
|
}
|
|
}
|
|
|
|
if (!lastGap && gaps.size() == 1)
|
|
{
|
|
lastGap = true;
|
|
logOutput << "selected gap: $" << std::hex << gapAddress << std::dec <<
|
|
" (size: " << gaps[gapAddress] << ") - the last remaining" << "\n";
|
|
}
|
|
|
|
if (matchingGaps == 1)
|
|
{
|
|
// Routine can only be placed in this particular gap - do so
|
|
|
|
gaps[gapAddress] -= routineSize;
|
|
int targetAddr = gapAddress + gaps[gapAddress];
|
|
fixedRoutines[targetAddr] = floatingRoutines.back();
|
|
statFree -= routineSize;
|
|
|
|
if (gaps.size() > 1)
|
|
{
|
|
logOutput << "forced reducing gap $" << std::hex << gapAddress << std::dec <<
|
|
" to size " << gaps[gapAddress] << "\n";
|
|
}
|
|
|
|
spacing.resize(GLOBAL_maxFileNameLen + 4 - floatingRoutines.back()->fileName.length(), ' ');
|
|
logOutput << " $" << std::hex << targetAddr << std::dec << ": " <<
|
|
floatingRoutines.back()->fileName << spacing << "size: " <<
|
|
floatingRoutines.back()->codeLength << "\n";
|
|
|
|
floatingRoutines.pop_back();
|
|
if (gaps[gapAddress] == 0) gaps.erase(gapAddress);
|
|
|
|
repeat = true;
|
|
}
|
|
}
|
|
}
|
|
|
|
void BinningProblem::removeUselessGaps(DualStream &logOutput)
|
|
{
|
|
// Get the size of the smallest floating routine,
|
|
// remove all the gaps which are smaller in size
|
|
|
|
int minUsefulSize = floatingRoutines[0]->codeLength;
|
|
|
|
bool repeat = true;
|
|
while (repeat)
|
|
{
|
|
repeat = false;
|
|
for (auto &gap : gaps)
|
|
{
|
|
if (gap.second < minUsefulSize)
|
|
{
|
|
logOutput << "dropping gap: $" << std::hex << gap.first << std::dec << " (size: " << gap.second << ")" << "\n";
|
|
statWasted += gap.second;
|
|
gaps.erase(gap.first);
|
|
repeat = true;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
void BinningProblem::sortFloatingRoutinesBySize()
|
|
{
|
|
// Sort the unallocated routines by size, starting from the smallest one
|
|
|
|
auto compare = [](const SourceFile *a, const SourceFile *b) -> bool { return a->codeLength < b->codeLength; };
|
|
std::sort (floatingRoutines.begin(), floatingRoutines.end(), compare);
|
|
}
|
|
|
|
//
|
|
// Class 'Solver'
|
|
//
|
|
|
|
void Solver::run()
|
|
{
|
|
// Prepare the log file
|
|
|
|
const std::string logFileNamePath = CMD_outDir + DIR_SEPARATOR + CMD_segName + "_binsolution.log";
|
|
unlink(logFileNamePath.c_str());
|
|
logFile.open(logFileNamePath, std::fstream::out | std::fstream::trunc);
|
|
|
|
// Sort the floating routines, just to be extra sure
|
|
|
|
problem.sortFloatingRoutinesBySize();
|
|
|
|
// Place routines which should be stored in high-ROM
|
|
|
|
problem.placeHighRoutines(logOutput);
|
|
|
|
// Run the solver until all is done
|
|
|
|
while (!problem.gaps.empty() && !problem.floatingRoutines.empty())
|
|
{
|
|
problem.performObviousSteps(logOutput);
|
|
problem.removeUselessGaps(logOutput);
|
|
|
|
if (problem.gaps.empty() || problem.floatingRoutines.empty()) break;
|
|
|
|
int gapAddr = selectGapToFill();
|
|
|
|
logOutput << "selected gap: $" << std::hex << gapAddr << std::dec << " (size: " << problem.gaps[gapAddr] << ")" << "\n";
|
|
|
|
std::list<SourceFile *> partialSolution;
|
|
findPartialSolution(problem.gaps[gapAddr], partialSolution);
|
|
problem.fillGap(logOutput, gapAddr, partialSolution);
|
|
}
|
|
|
|
// Print out the result
|
|
|
|
if (problem.isSolved())
|
|
{
|
|
logOutput << "\n" << "all the routines sucessfully placed" << "\n\n";
|
|
|
|
logOutput << "segment statistics:" << "\n";
|
|
// logOutput << " - total size: " << problem.statSize << "\n"; - for BASIC contains filling gap too
|
|
logOutput << " - wasted bytes: " << problem.statWasted << "\n";
|
|
logOutput << " - still free: " << problem.statFree - problem.statWasted << "\n\n";
|
|
}
|
|
|
|
// Close the log file
|
|
|
|
if (!logFile.good()) ERROR(std::string("error writing log file '") + logFileNamePath + "'");
|
|
logFile.close();
|
|
}
|
|
|
|
int Solver::selectGapToFill()
|
|
{
|
|
// Find the smallest gap to fill-in
|
|
|
|
int gapAddr = -1;
|
|
int gapSize = -1;
|
|
|
|
for (auto &gap : problem.gaps)
|
|
{
|
|
if (gapSize < 0 || gap.second < gapSize)
|
|
{
|
|
gapAddr = gap.first;
|
|
gapSize = gap.second;
|
|
}
|
|
}
|
|
|
|
return gapAddr;
|
|
}
|
|
|
|
int KS(const std::vector<SourceFile *> &routines,
|
|
std::vector<std::vector<int>> &cacheV, // value cache
|
|
std::vector<std::vector<std::list<bool>>> &cacheS, // partial solution cache
|
|
int n, int C,
|
|
std::list<bool> &solution) // sequence of decisions for each routine, has to be empty when calling
|
|
{
|
|
// This routine solves a knapsack problem using a dynamic programming.
|
|
//
|
|
// In short: 'routines' contains a list of routines that can potentially be placed in the gap of size C.
|
|
// We start from index n (the highest one), referencing the last routine from the list (the largest one,
|
|
// as the list is sorted). Our goal: by recursively searching the tree of all possible solutions
|
|
// (solution = a sequence of decisions, each telling whether to take the routine or not) find the one
|
|
// that fills the gap in the most complete way. Additional cache greatly speeds up the algorithm.
|
|
// See the comments below to fully understand how it works.
|
|
|
|
// XXX Possible efficiency improvement for the future: try to consider more than one gap at once,
|
|
// this will need a serious rework of the dynamic cache handling and will probably hurt the performance
|
|
|
|
if (n == 0)
|
|
{
|
|
// No more routines to take the decision...
|
|
return 0;
|
|
}
|
|
|
|
if (C == 0)
|
|
{
|
|
// We have no capacity left - decisions for all the routines left should be not to take them
|
|
solution.resize(n, false);
|
|
return 0;
|
|
}
|
|
|
|
auto &cachedV = cacheV[n - 1][C - 1];
|
|
auto &cachedS = cacheS[n - 1][C - 1];
|
|
if (cachedV >= 0)
|
|
{
|
|
// We already hold the solution in our cache - return it
|
|
solution = cachedS;
|
|
return cachedV;
|
|
}
|
|
|
|
auto &codeSize = routines[n - 1]->codeLength;
|
|
if (codeSize > C)
|
|
{
|
|
// We can't take this routine, it's too large
|
|
|
|
cachedV = KS(routines, cacheV, cacheS, n - 1, C, solution);
|
|
solution.push_back(false);
|
|
cachedS = solution;
|
|
|
|
return cachedV;
|
|
}
|
|
|
|
// Note: it it seems equally good to take this routine, or not - take it!
|
|
// Evaluation starts from the largest routines, and we should prefer to leave
|
|
// a larger number of smaller routines - as this gives more possibilities
|
|
// while optimizing the usage of further gaps
|
|
|
|
std::list<bool> solution1;
|
|
int val1 = KS(routines, cacheV, cacheS, n - 1, C - codeSize, solution1) + codeSize; // take
|
|
|
|
if (val1 == C)
|
|
{
|
|
// By taking this routine we are filling all the space - contrary to the classic
|
|
// knapsack problem, this is an optimal solution for us, don't waste time calculating
|
|
// the others
|
|
|
|
cachedV = val1;
|
|
solution = solution1;
|
|
solution.push_back(true);
|
|
cachedS = solution;
|
|
return cachedV;
|
|
}
|
|
|
|
std::list<bool> solution2;
|
|
int val2 = KS(routines, cacheV, cacheS, n - 1, C, solution2); // don't take
|
|
|
|
if (val1 >= val2)
|
|
{
|
|
// It's better to take this particular routine
|
|
|
|
cachedV = val1;
|
|
solution = solution1;
|
|
solution.push_back(true);
|
|
}
|
|
else
|
|
{
|
|
// It's better not to take this particular routine
|
|
|
|
cachedV = val2;
|
|
solution = solution2;
|
|
solution.push_back(false);
|
|
}
|
|
|
|
cachedS = solution;
|
|
return cachedV;
|
|
};
|
|
|
|
void Solver::findPartialSolution(int gapSize, std::list<SourceFile *> &partialSolution)
|
|
{
|
|
// First filter out available routines, take only the ones not larger than our gap
|
|
|
|
std::vector<SourceFile *> routines;
|
|
routines.clear();
|
|
for (auto &routine : problem.floatingRoutines)
|
|
{
|
|
if (routine->codeLength <= gapSize)
|
|
{
|
|
routines.push_back(routine);
|
|
}
|
|
else break; // 'floatingRoutines' should be kept sorted
|
|
}
|
|
|
|
// Prepare value cache
|
|
|
|
std::vector<std::vector<int>> cacheV;
|
|
cacheV.resize(routines.size());
|
|
for (auto &cacheRow : cacheV) cacheRow.resize(gapSize, -1);
|
|
|
|
// Prepare partial solution cache
|
|
std::vector<std::vector<std::list<bool>>> cacheS;
|
|
cacheS.resize(routines.size());
|
|
for (auto &cacheRow : cacheS) cacheRow.resize(gapSize);
|
|
|
|
// Calculate solution
|
|
|
|
std::list<bool> solution;
|
|
KS(routines, cacheV, cacheS, routines.size(), gapSize, solution);
|
|
|
|
if (routines.size() != solution.size()) ERROR(std::string("internal error line ") + std::to_string(__LINE__));
|
|
|
|
// Return the solution upstream
|
|
|
|
while (!routines.empty())
|
|
{
|
|
if (solution.back() != false)
|
|
{
|
|
partialSolution.push_front(routines.back());
|
|
}
|
|
|
|
routines.pop_back();
|
|
solution.pop_back();
|
|
}
|
|
|
|
return;
|
|
}
|