main.cpp 41 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518
  1. #include <gmock/gmock.h>
  2. #include "decompiler/ff7_field/ff7_field_disassembler.h"
  3. #include "decompiler/ff7_field/ff7_field_engine.h"
  4. #include "decompiler/ff7_field/ff7_field_codegen.h"
  5. #include "decompiler/ff7_world/ff7_world_disassembler.h"
  6. #include "decompiler/ff7_world/ff7_world_engine.h"
  7. #include "control_flow.h"
  8. #include "util.h"
  9. #include "graph.h"
  10. #include "make_unique.h"
  11. #include "sudm.h"
  12. #include "lzs.h"
  13. #include "ff7_field_dummy_formatter.h"
  14. #define GET(vertex) (boost::get(boost::vertex_name, g, vertex))
  15. class TestReadParameterDisassembler : public SimpleDisassembler
  16. {
  17. public:
  18. TestReadParameterDisassembler(std::vector<unsigned char>&& data, InstVec& insts)
  19. : SimpleDisassembler(insts)
  20. {
  21. mStream = std::make_unique<BinaryReader>(std::move(data));
  22. }
  23. void readParams(InstPtr inst, const char *typeString)
  24. {
  25. return SimpleDisassembler::readParams(inst, typeString);
  26. }
  27. virtual void doDisassemble() override final
  28. {
  29. // NOP
  30. }
  31. };
  32. static InstPtr DoReadParameterTest(std::string str, std::vector<unsigned char> data)
  33. {
  34. InstVec insts;
  35. TestReadParameterDisassembler d(std::move(data), insts);
  36. InstPtr inst = new FF7::FF7NoOperationInstruction();
  37. d.readParams(inst, str.c_str());
  38. return inst;
  39. }
  40. TEST(SimpleDisassembler, readParameter_U)
  41. {
  42. std::vector<unsigned char> data = { 0xAA };
  43. InstPtr inst = DoReadParameterTest("U", data);
  44. ASSERT_EQ(inst->_params.size(), 2);
  45. ASSERT_EQ(inst->_params[0]->getSigned(), 0x5);
  46. ASSERT_EQ(inst->_params[1]->getSigned(), 0xA);
  47. }
  48. TEST(SimpleDisassembler, readParameter_N)
  49. {
  50. std::vector<unsigned char> data = { 0xAB };
  51. InstPtr inst = DoReadParameterTest("N", data);
  52. ASSERT_EQ(inst->_params.size(), 2);
  53. ASSERT_EQ(inst->_params[0]->getSigned(), 0xA);
  54. ASSERT_EQ(inst->_params[1]->getSigned(), 0xB);
  55. }
  56. TEST(SimpleDisassembler, readParameter_b)
  57. {
  58. std::vector<unsigned char> data = { (unsigned char)-100 };
  59. InstPtr inst = DoReadParameterTest("b", data);
  60. ASSERT_EQ(inst->_params.size(), 1);
  61. ASSERT_EQ(inst->_params[0]->getSigned(), -100);
  62. }
  63. TEST(SimpleDisassembler, readParameter_B)
  64. {
  65. std::vector<unsigned char> data = { 100 };
  66. InstPtr inst = DoReadParameterTest("B", data);
  67. ASSERT_EQ(inst->_params.size(), 1);
  68. ASSERT_EQ(inst->_params[0]->getSigned(), 100);
  69. }
  70. TEST(SimpleDisassembler, readParameter_s)
  71. {
  72. std::vector<unsigned char> data = { (unsigned char)-40, 0x0 };
  73. InstPtr inst = DoReadParameterTest("s", data);
  74. ASSERT_EQ(inst->_params.size(), 1);
  75. ASSERT_EQ(inst->_params[0]->getSigned(), 216); // TODO: Casting removes the sign
  76. }
  77. TEST(SimpleDisassembler, readParameter_w)
  78. {
  79. std::vector<unsigned char> data = { 0xFE, 0xAA };
  80. InstPtr inst = DoReadParameterTest("w", data);
  81. ASSERT_EQ(inst->_params.size(), 1);
  82. ASSERT_EQ(inst->_params[0]->getSigned(), 0xAAFE);
  83. }
  84. TEST(SimpleDisassembler, readParameter_i)
  85. {
  86. std::vector<unsigned char> data = { (unsigned char)-0x30, 0x0, 0x0, 0x0 };
  87. InstPtr inst = DoReadParameterTest("i", data);
  88. ASSERT_EQ(inst->_params.size(), 1);
  89. ASSERT_EQ(inst->_params[0]->getSigned(), 208); // TODO: Casting removes the sign
  90. }
  91. TEST(SimpleDisassembler, readParameter_d)
  92. {
  93. std::vector<unsigned char> data = { 0xde, 0xad, 0xbe, 0xef };
  94. InstPtr inst = DoReadParameterTest("d", data);
  95. ASSERT_EQ(inst->_params.size(), 1);
  96. ASSERT_EQ(inst->_params[0]->getUnsigned(), 0xEFBEADDE);
  97. }
  98. TEST(FF7Field, FunctionMetaData_Parse_Empty)
  99. {
  100. FF7::FunctionMetaData meta("");
  101. ASSERT_EQ("", meta.EntityName());
  102. ASSERT_EQ(false, meta.IsEnd());
  103. ASSERT_EQ(false, meta.IsStart());
  104. }
  105. TEST(FF7Field, FunctionMetaData_Parse_Empties)
  106. {
  107. FF7::FunctionMetaData meta("__________________");
  108. ASSERT_EQ("", meta.EntityName());
  109. ASSERT_EQ(false, meta.IsEnd());
  110. ASSERT_EQ(false, meta.IsStart());
  111. }
  112. TEST(FF7Field, FunctionMetaData_Parse_Start)
  113. {
  114. FF7::FunctionMetaData meta("start_-1_entity");
  115. ASSERT_EQ("entity", meta.EntityName());
  116. ASSERT_EQ(false, meta.IsEnd());
  117. ASSERT_EQ(true, meta.IsStart());
  118. }
  119. TEST(FF7Field, FunctionMetaData_Parse_End)
  120. {
  121. FF7::FunctionMetaData meta("end_-1_entity");
  122. ASSERT_EQ("entity", meta.EntityName());
  123. ASSERT_EQ(true, meta.IsEnd());
  124. ASSERT_EQ(false, meta.IsStart());
  125. }
  126. TEST(FF7Field, FunctionMetaData_Parse_EntityName)
  127. {
  128. FF7::FunctionMetaData meta("end_-1_TheName");
  129. ASSERT_EQ("TheName", meta.EntityName());
  130. ASSERT_EQ(true, meta.IsEnd());
  131. ASSERT_EQ(false, meta.IsStart());
  132. ASSERT_EQ(-1, meta.CharacterId());
  133. }
  134. TEST(FF7Field, FunctionMetaData_Parse_EntityNameAndId)
  135. {
  136. FF7::FunctionMetaData meta("end_99_The_Name");
  137. ASSERT_EQ("The_Name", meta.EntityName());
  138. ASSERT_EQ(99, meta.CharacterId());
  139. ASSERT_EQ(true, meta.IsEnd());
  140. ASSERT_EQ(false, meta.IsStart());
  141. }
  142. TEST(FF7Field, FunctionMetaData_Parse_StartEnd)
  143. {
  144. FF7::FunctionMetaData meta("start_end_-1_entity");
  145. ASSERT_EQ("entity", meta.EntityName());
  146. ASSERT_EQ(true, meta.IsEnd());
  147. ASSERT_EQ(true, meta.IsStart());
  148. }
  149. /*
  150. TEST(FF7World, DisAsm)
  151. {
  152. for (int i = 0; i < 256; i++)
  153. {
  154. FF7::FF7WorldEngine engine(i);
  155. InstVec insts;
  156. std::cout << std::endl;
  157. std::cout << std::endl;
  158. std::cout << "SCRIPT(" << i << ")" << std::endl;
  159. auto d = engine.getDisassembler(insts);
  160. d->open("decompiler/ff7_world/wm0.ev");
  161. d->disassemble();
  162. d->dumpDisassembly(std::cout);
  163. std::cout << std::endl;
  164. auto c = std::make_unique<ControlFlow>(insts, engine);
  165. c->createGroups();
  166. Graph g = c->analyze();
  167. engine.postCFG(insts, g);
  168. onullstream ns;
  169. auto cg = engine.getCodeGenerator(insts, std::cout);
  170. std::ofstream out;
  171. out.open("graph.dot");
  172. if (out.is_open())
  173. {
  174. auto& g = c->getGraph();
  175. boost::write_graphviz(
  176. out, g, boost::make_label_writer(get(boost::vertex_name, g)),
  177. boost::makeArrowheadWriter(get(boost::edge_attribute, g)), GraphProperties(&engine, g));
  178. }
  179. out.close();
  180. cg->generate(insts, g);
  181. VertexIterator v = boost::vertices(g).first;
  182. GroupPtr gr = GET(*v);
  183. // Find first node
  184. while (gr->_prev != NULL)
  185. {
  186. gr = gr->_prev;
  187. }
  188. // Copy out all lines of code
  189. std::vector<std::string> output;
  190. while (gr != NULL)
  191. {
  192. for (std::vector<CodeLine>::iterator it = gr->_code.begin(); it != gr->_code.end(); ++it)
  193. {
  194. output.push_back(it->_line);
  195. }
  196. gr = gr->_next;
  197. }
  198. ASSERT_TRUE(output.empty() == false);
  199. }
  200. }
  201. */
  202. int main(int argc, char** argv)
  203. {
  204. ::testing::InitGoogleMock(&argc, argv);
  205. return RUN_ALL_TESTS();
  206. }
  207. class Tokenzier
  208. {
  209. public:
  210. Tokenzier(const std::string& input)
  211. : mData(input)
  212. {
  213. }
  214. enum class eTokenType
  215. {
  216. eWhiteSpace,
  217. eText,
  218. eNumber,
  219. eInvalid,
  220. eArgumentDelmiter,
  221. eOpenBracket,
  222. eCloseBracket,
  223. eOpenCurlyBracket,
  224. eCloseCurlyBracket,
  225. eQuote,
  226. eEof
  227. };
  228. class Token
  229. {
  230. public:
  231. Token() = default;
  232. Token(eTokenType type, std::string text, int line, int column)
  233. : mType(type), mText(text), mColumn(column), mLine(line)
  234. {
  235. }
  236. Token(eTokenType type, int number, int line, int column)
  237. : mType(type), mNumber(number), mColumn(column), mLine(line)
  238. {
  239. }
  240. Token(eTokenType type, int line, int column)
  241. : mType(type), mColumn(column), mLine(line)
  242. {
  243. }
  244. std::string AsString() const
  245. {
  246. return mText;
  247. }
  248. int AsNumber() const
  249. {
  250. return mNumber;
  251. }
  252. eTokenType Type() const { return mType; }
  253. int Line() const { return mLine; }
  254. int Column() const { return mColumn; }
  255. private:
  256. std::string mText;
  257. int mNumber = 0;
  258. eTokenType mType = eTokenType::eInvalid;
  259. int mLine = -1;
  260. int mColumn = -1;
  261. };
  262. bool IsLineBreak(char item)
  263. {
  264. return item == '\r' || item == '\n';
  265. }
  266. bool IsSpace(char item, std::locale& loc)
  267. {
  268. return std::isspace(item, loc) && !IsLineBreak(item);
  269. }
  270. bool IsAlpha(char item)
  271. {
  272. return
  273. (item >= 'A' && item <= 'Z') ||
  274. (item >= 'a' && item <= 'z') ||
  275. item == '_';
  276. }
  277. bool IsDigit(char item, std::locale& loc)
  278. {
  279. return std::isdigit(item, loc);
  280. }
  281. Token Next()
  282. {
  283. char item = ' ';
  284. if (!mData)
  285. {
  286. return Token(eTokenType::eEof, mCurLine, mCurCol);
  287. }
  288. ReadChar(item);
  289. bool eof = false;
  290. item = ConsumeWhiteSpace(item, eof);
  291. if (eof)
  292. {
  293. return Token(eTokenType::eEof, mCurLine, mCurCol-1);
  294. }
  295. // Begin comment, consume until eLineBreak
  296. const bool startComment = item == ';';
  297. if (startComment)
  298. {
  299. bool isLineBreak = false;
  300. do
  301. {
  302. if (!ReadChar(item))
  303. {
  304. return Token(eTokenType::eEof, mCurLine, mCurCol - 1);
  305. }
  306. isLineBreak = IsLineBreak(item);
  307. } while (!isLineBreak);
  308. item = ConsumeWhiteSpace(item, eof);
  309. if (eof)
  310. {
  311. return Token(eTokenType::eEof, mCurLine, mCurCol - 1);
  312. }
  313. }
  314. if (item == ',')
  315. {
  316. return Token(eTokenType::eArgumentDelmiter, ",", mCurLine, mCurCol - 1);
  317. }
  318. else if (item == '(')
  319. {
  320. return Token(eTokenType::eOpenBracket, "(", mCurLine, mCurCol - 1);
  321. }
  322. else if (item == ')')
  323. {
  324. return Token(eTokenType::eCloseBracket, ")", mCurLine, mCurCol - 1);
  325. }
  326. else if (item == '{')
  327. {
  328. return Token(eTokenType::eOpenCurlyBracket, "{", mCurLine, mCurCol - 1);
  329. }
  330. else if (item == '}')
  331. {
  332. return Token(eTokenType::eCloseCurlyBracket, "}", mCurLine, mCurCol - 1);
  333. }
  334. else if (item == '"')
  335. {
  336. return Token(eTokenType::eQuote, "\"", mCurLine, mCurCol-1);
  337. }
  338. const bool alpha = IsAlpha(item) || item == ';';
  339. if (alpha)
  340. {
  341. const int startCol = mCurCol - 1;
  342. std::string text(1, item);
  343. // eText, consume until eLineBreak or whitespace
  344. bool stillAlphaOrDigit = false;
  345. do
  346. {
  347. if (!ReadChar(item))
  348. {
  349. return Token(eTokenType::eText, text, mCurLine, startCol);
  350. }
  351. // Strings can end with a :
  352. stillAlphaOrDigit = IsAlpha(item) || IsDigit(item, mLoc) || item == ':';
  353. if (stillAlphaOrDigit)
  354. {
  355. text.push_back(item);
  356. if (item == ':')
  357. {
  358. break;
  359. }
  360. }
  361. else
  362. {
  363. // Put the char back
  364. mData.seekg(-1, std::ios::cur);
  365. }
  366. } while (stillAlphaOrDigit);
  367. return Token(eTokenType::eText, text, mCurLine, startCol);
  368. }
  369. else if (IsDigit(item, mLoc) || item == '-') // Start of negative number
  370. {
  371. // eNumber, consume until eLineBreak or whitespace, each item before that must be a digit
  372. const int startCol = mCurCol - 1;
  373. std::string text(1, item);
  374. bool isANumber = true;
  375. do
  376. {
  377. ReadChar(item);
  378. if (!mData && item == '-')
  379. {
  380. // We ONLY have a -, this is invalid
  381. return Token(eTokenType::eInvalid, mCurLine, startCol);
  382. }
  383. else if (!mData)
  384. {
  385. return Token(eTokenType::eNumber, std::stoi(text), mCurLine, startCol);
  386. }
  387. isANumber = IsDigit(item, mLoc);
  388. if (isANumber)
  389. {
  390. text.push_back(item);
  391. }
  392. else
  393. {
  394. // Put the char back
  395. mData.seekg(-1, std::ios::cur);
  396. }
  397. } while (isANumber);
  398. return Token(eTokenType::eNumber, std::stoi(text), mCurLine, startCol);
  399. }
  400. else
  401. {
  402. // eInvalid
  403. return Token(eTokenType::eInvalid, mCurLine, mCurCol-1);
  404. }
  405. }
  406. private:
  407. char ConsumeWhiteSpace(char item, bool& eof)
  408. {
  409. // Eat all whitespace
  410. bool space = IsSpace(item, mLoc) || IsLineBreak(item);
  411. if (space)
  412. {
  413. do
  414. {
  415. if (!ReadChar(item))
  416. {
  417. eof = true;
  418. return item;
  419. }
  420. space = IsSpace(item, mLoc) || IsLineBreak(item);
  421. } while (space);
  422. }
  423. return item;
  424. }
  425. bool ReadChar(char& output)
  426. {
  427. mData.read(&output, 1);
  428. if (mData)
  429. {
  430. if (IsLineBreak(output))
  431. {
  432. mCurLine++;
  433. mCurCol = 1;
  434. }
  435. else
  436. {
  437. mCurCol++;
  438. }
  439. return true;
  440. }
  441. return false;
  442. }
  443. std::locale mLoc;
  444. std::stringstream mData;
  445. int mCurLine = 1;
  446. int mCurCol = 1;
  447. };
  448. TEST(Tokenzier, Empty)
  449. {
  450. Tokenzier t("");
  451. ASSERT_EQ(Tokenzier::eTokenType::eEof, t.Next().Type());
  452. }
  453. TEST(Tokenzier, ReadText)
  454. {
  455. Tokenzier t("Hello");
  456. Tokenzier::Token token = t.Next();
  457. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  458. ASSERT_EQ("Hello", token.AsString());
  459. }
  460. TEST(Tokenzier, ReadText2)
  461. {
  462. Tokenzier t("Hello world");
  463. Tokenzier::Token token = t.Next();
  464. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  465. ASSERT_EQ("Hello", token.AsString());
  466. token = t.Next();
  467. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  468. ASSERT_EQ("world", token.AsString());
  469. }
  470. // Check !"£$%^&*-+<>?;'[]#\/`¬ are marked as invalid and () is not part of text
  471. TEST(Tokenzier, ReadInvalidText)
  472. {
  473. const char kInvalidChars[] = R"(;!£$%^&*-+<>?'[]#\/`¬)";
  474. const int kNumChars = sizeof(kInvalidChars) / sizeof(char);
  475. for (int i = 0; i < kNumChars; i++)
  476. {
  477. Tokenzier t(std::string(1,kInvalidChars[i]));
  478. Tokenzier::Token token = t.Next();
  479. if (i == 0)
  480. {
  481. // ; without a line break becomes EOF
  482. ASSERT_EQ(Tokenzier::eTokenType::eEof, token.Type());
  483. }
  484. else
  485. {
  486. ASSERT_EQ(Tokenzier::eTokenType::eInvalid, token.Type());
  487. }
  488. ASSERT_EQ("", token.AsString());
  489. }
  490. }
  491. TEST(Tokenzier, ReadInvalidText2)
  492. {
  493. Tokenzier t("H!£$%^");
  494. Tokenzier::Token token = t.Next();
  495. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  496. ASSERT_EQ("H", token.AsString());
  497. token = t.Next();
  498. ASSERT_EQ(Tokenzier::eTokenType::eInvalid, token.Type());
  499. ASSERT_EQ("", token.AsString());
  500. }
  501. TEST(Tokenzier, ReadBrackets)
  502. {
  503. {
  504. Tokenzier t("(");
  505. Tokenzier::Token token = t.Next();
  506. ASSERT_EQ(Tokenzier::eTokenType::eOpenBracket, token.Type());
  507. ASSERT_EQ("(", token.AsString());
  508. }
  509. {
  510. Tokenzier t(")");
  511. Tokenzier::Token token = t.Next();
  512. ASSERT_EQ(Tokenzier::eTokenType::eCloseBracket, token.Type());
  513. ASSERT_EQ(")", token.AsString());
  514. }
  515. }
  516. TEST(Tokenzier, ReadLabel)
  517. {
  518. Tokenzier t("Hello:");
  519. Tokenzier::Token token = t.Next();
  520. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  521. ASSERT_EQ("Hello:", token.AsString());
  522. }
  523. TEST(Tokenzier, ReadLabel2)
  524. {
  525. Tokenzier t("Hello:a");
  526. Tokenzier::Token token = t.Next();
  527. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  528. ASSERT_EQ("Hello:", token.AsString());
  529. }
  530. TEST(Tokenzier, ReadWhiteSpace)
  531. {
  532. Tokenzier t("\t ");
  533. Tokenzier::Token token = t.Next();
  534. ASSERT_EQ(Tokenzier::eTokenType::eEof, token.Type());
  535. ASSERT_EQ("", token.AsString());
  536. }
  537. TEST(Tokenzier, ReadArgumentDelimiter)
  538. {
  539. Tokenzier t(",");
  540. Tokenzier::Token token = t.Next();
  541. ASSERT_EQ(Tokenzier::eTokenType::eArgumentDelmiter, token.Type());
  542. ASSERT_EQ(",", token.AsString());
  543. }
  544. TEST(Tokenzier, ReadNewLine)
  545. {
  546. Tokenzier t("\r\n\r\r\n\n");
  547. Tokenzier::Token token = t.Next();
  548. ASSERT_EQ(Tokenzier::eTokenType::eEof, token.Type());
  549. ASSERT_EQ("", token.AsString());
  550. }
  551. TEST(Tokenzier, ReadNegativeNumber)
  552. {
  553. Tokenzier t("-12345");
  554. Tokenzier::Token token = t.Next();
  555. ASSERT_EQ(Tokenzier::eTokenType::eNumber, token.Type());
  556. ASSERT_EQ(-12345, token.AsNumber());
  557. }
  558. TEST(Tokenzier, ReadNumber)
  559. {
  560. Tokenzier t("12345");
  561. Tokenzier::Token token = t.Next();
  562. ASSERT_EQ(Tokenzier::eTokenType::eNumber, token.Type());
  563. ASSERT_EQ(12345, token.AsNumber());
  564. }
  565. TEST(Tokenzier, ReadQuote)
  566. {
  567. Tokenzier t("\"");
  568. Tokenzier::Token token = t.Next();
  569. ASSERT_EQ(Tokenzier::eTokenType::eQuote, token.Type());
  570. ASSERT_EQ("\"", token.AsString());
  571. }
  572. TEST(Tokenzier, ReadCurlyBrackets)
  573. {
  574. Tokenzier t("{}");
  575. Tokenzier::Token token = t.Next();
  576. ASSERT_EQ(Tokenzier::eTokenType::eOpenCurlyBracket, token.Type());
  577. ASSERT_EQ("{", token.AsString());
  578. token = t.Next();
  579. ASSERT_EQ(Tokenzier::eTokenType::eCloseCurlyBracket, token.Type());
  580. ASSERT_EQ("}", token.AsString());
  581. }
  582. // Combos, whitespace, new line, text, number, argument delimiter eof
  583. TEST(Tokenzier, Combos)
  584. {
  585. Tokenzier t(" \nText1234:1234,;Fool1\nFool2");
  586. Tokenzier::Token token = t.Next();
  587. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  588. ASSERT_EQ("Text1234:", token.AsString());
  589. ASSERT_EQ(2, token.Line());
  590. ASSERT_EQ(1, token.Column());
  591. token = t.Next();
  592. ASSERT_EQ(Tokenzier::eTokenType::eNumber, token.Type());
  593. ASSERT_EQ(1234, token.AsNumber());
  594. ASSERT_EQ(2, token.Line());
  595. ASSERT_EQ(10, token.Column());
  596. token = t.Next();
  597. ASSERT_EQ(Tokenzier::eTokenType::eArgumentDelmiter, token.Type());
  598. ASSERT_EQ(",", token.AsString());
  599. ASSERT_EQ(2, token.Line());
  600. ASSERT_EQ(15, token.Column());
  601. token = t.Next();
  602. ASSERT_EQ(Tokenzier::eTokenType::eText, token.Type());
  603. ASSERT_EQ("Fool2", token.AsString());
  604. ASSERT_EQ(3, token.Line());
  605. ASSERT_EQ(1, token.Column());
  606. token = t.Next();
  607. ASSERT_EQ(Tokenzier::eTokenType::eEof, token.Type());
  608. ASSERT_EQ("", token.AsString());
  609. }
  610. typedef std::vector<std::pair<std::string, Tokenzier::Token>> JumpToken;
  611. class Assembler
  612. {
  613. public:
  614. class Method
  615. {
  616. public:
  617. Method(const std::string& name)
  618. : mName(name)
  619. {
  620. }
  621. bool AddLabel(std::string name, const Tokenzier::Token& token)
  622. {
  623. // Labels end with ":" so chop that char off
  624. name = name.substr(0, name.length() - 1);
  625. auto it = mLabels.find(name);
  626. if (it != std::end(mLabels))
  627. {
  628. return false;
  629. }
  630. mLabels.insert(std::make_pair(name, token));
  631. return true;
  632. }
  633. void AddJump(const std::string& label, const Tokenzier::Token& token)
  634. {
  635. auto it = mJumps.find(label);
  636. if (it != std::end(mJumps))
  637. {
  638. it->second.push_back(token);
  639. }
  640. else
  641. {
  642. std::vector<Tokenzier::Token> t;
  643. t.push_back(token);
  644. mJumps.insert(std::make_pair(label, t));
  645. }
  646. }
  647. void VerifyAndResolveLabels(JumpToken& unreferencedLabels, JumpToken& undefinedLabels)
  648. {
  649. for (const auto& jumpTarget : mJumps)
  650. {
  651. auto it = mLabels.find(jumpTarget.first);
  652. if (it == std::end(mLabels))
  653. {
  654. undefinedLabels.push_back(std::make_pair(jumpTarget.first, jumpTarget.second[0]));
  655. }
  656. }
  657. for (const auto& label : mLabels)
  658. {
  659. auto it = mJumps.find(label.first);
  660. if (it == std::end(mJumps))
  661. {
  662. unreferencedLabels.push_back(std::make_pair(label.first, label.second));
  663. }
  664. }
  665. }
  666. private:
  667. std::string mName;
  668. std::map<std::string, Tokenzier::Token> mLabels;
  669. std::map<std::string, std::vector<Tokenzier::Token>> mJumps;
  670. };
  671. class Object
  672. {
  673. public:
  674. Object(const std::string& name)
  675. : mName(name)
  676. {
  677. }
  678. const std::string& Name() const { return mName; }
  679. Method* AddMethod(const std::string& name)
  680. {
  681. auto method = FindMethod(name);
  682. if (!method)
  683. {
  684. mMethods[name] = std::make_unique<Method>(name);
  685. return FindMethod(name);
  686. }
  687. return nullptr;
  688. }
  689. size_t MethodCount() const { return mMethods.size(); }
  690. bool HasMethod(const std::string& name) const
  691. {
  692. return FindMethod(name) != nullptr;
  693. }
  694. private:
  695. Method* FindMethod(const std::string& name) const
  696. {
  697. auto it = mMethods.find(name);
  698. if (it == std::end(mMethods))
  699. {
  700. return nullptr;
  701. }
  702. return it->second.get();
  703. }
  704. std::string mName;
  705. std::map<std::string, std::unique_ptr<Method>> mMethods;
  706. };
  707. Assembler()
  708. {
  709. }
  710. // Something which wraps "methods"
  711. Object* AddObject(const std::string& objectName)
  712. {
  713. auto obj = FindObject(objectName);
  714. if (!obj)
  715. {
  716. mObjects[objectName] = std::make_unique<Object>(objectName);
  717. return FindObject(objectName);
  718. }
  719. return nullptr;
  720. }
  721. size_t ObjectCount() const { return mObjects.size(); }
  722. private:
  723. Object* FindObject(const std::string& objectName) const
  724. {
  725. auto it = mObjects.find(objectName);
  726. if (it == std::end(mObjects))
  727. {
  728. return nullptr;
  729. }
  730. return it->second.get();
  731. }
  732. std::map<std::string, std::unique_ptr<Object>> mObjects;
  733. };
  734. class Parser
  735. {
  736. public:
  737. class Exception : public std::exception
  738. {
  739. public:
  740. Exception(const std::string& msg)
  741. : mMsg(msg)
  742. {
  743. }
  744. Exception(const std::string& msg, const Tokenzier::Token& token)
  745. : mMsg(msg)
  746. {
  747. mMsg += " on line: " + std::to_string(token.Line()) + ", col: " + std::to_string(token.Column());
  748. if (token.Type() == Tokenzier::eTokenType::eNumber)
  749. {
  750. mMsg += ", with value: '" + std::to_string(token.AsNumber()) + "'";
  751. }
  752. else if (token.AsString().empty() == false)
  753. {
  754. mMsg += ", with value: '" + token.AsString() + "'";
  755. }
  756. }
  757. virtual const char* what() const throw() override
  758. {
  759. return mMsg.c_str();
  760. }
  761. private:
  762. std::string mMsg;
  763. };
  764. class DuplicateObjectNameException : public Exception
  765. {
  766. public:
  767. DuplicateObjectNameException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  768. };
  769. class DuplicateMethodNameException : public Exception
  770. {
  771. public:
  772. DuplicateMethodNameException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  773. };
  774. class TooManyObjectsException : public Exception
  775. {
  776. public:
  777. TooManyObjectsException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  778. };
  779. class TooManyMethodsException : public Exception
  780. {
  781. public:
  782. TooManyMethodsException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  783. };
  784. class TooManyArgumentsException : public Exception
  785. {
  786. public:
  787. TooManyArgumentsException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  788. };
  789. class ArgumentOutOfRangeException : public Exception
  790. {
  791. public:
  792. ArgumentOutOfRangeException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  793. };
  794. class DuplicateLabelException : public Exception
  795. {
  796. public:
  797. DuplicateLabelException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  798. };
  799. class UndefinedLabelException : public Exception
  800. {
  801. public:
  802. UndefinedLabelException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  803. };
  804. class UnknownOpCodeException : public Exception
  805. {
  806. public:
  807. UnknownOpCodeException(const std::string& msg, const Tokenzier::Token& token) : Exception(msg, token) { }
  808. };
  809. Parser(const std::string& src)
  810. : mTokenzier(src)
  811. {
  812. }
  813. void Parse()
  814. {
  815. std::deque<Tokenzier::Token> tokenStack;
  816. for (;;)
  817. {
  818. Tokenzier::Token token = mTokenzier.Next();
  819. if (token.Type() == Tokenzier::eTokenType::eInvalid)
  820. {
  821. throw Exception("Invalid syntax", token);
  822. }
  823. if (token.Type() == Tokenzier::eTokenType::eEof)
  824. {
  825. break;
  826. }
  827. tokenStack.push_back(token);
  828. }
  829. Parse(tokenStack);
  830. }
  831. private:
  832. void Parse(std::deque<Tokenzier::Token>& tokens)
  833. {
  834. while (tokens.empty() == false)
  835. {
  836. // Everything at the top level should be an entity
  837. ParseEntity(tokens);
  838. }
  839. }
  840. void ParseEntity(std::deque<Tokenzier::Token>& tokens)
  841. {
  842. // Starts with entity keyword
  843. ExpectText("Entity", NextToken(tokens));
  844. // Entity name is quoted string within brackets
  845. ExpectToken(Tokenzier::eTokenType::eOpenBracket, tokens);
  846. Tokenzier::Token entityNameToken = ExpectQuotedString(tokens);
  847. ExpectToken(Tokenzier::eTokenType::eCloseBracket, tokens);
  848. std::cout << "ParseEntity: " << entityNameToken.AsString().c_str() << std::endl;
  849. auto pObj = mAssembler.AddObject(entityNameToken.AsString());
  850. if (!pObj)
  851. {
  852. throw DuplicateObjectNameException("Duplicated entity name", entityNameToken);
  853. }
  854. if (mAssembler.ObjectCount() >= 32)
  855. {
  856. throw TooManyObjectsException("There can only be 32 entities", entityNameToken);
  857. }
  858. // Entity body within { }'s
  859. ExpectToken(Tokenzier::eTokenType::eOpenCurlyBracket, tokens);
  860. // Handle empty {}'s case
  861. if (PeekTokenType(tokens) != Tokenzier::eTokenType::eCloseCurlyBracket)
  862. {
  863. ParseEntityMethods(tokens, *pObj);
  864. }
  865. ExpectToken(Tokenzier::eTokenType::eCloseCurlyBracket, tokens);
  866. }
  867. void ParseEntityMethods(std::deque<Tokenzier::Token>& tokens, Assembler::Object& obj)
  868. {
  869. while (tokens.empty() == false)
  870. {
  871. // Marks the end of functions
  872. if (PeekTokenType(tokens) == Tokenzier::eTokenType::eCloseCurlyBracket)
  873. {
  874. break;
  875. }
  876. // Otherwise must be fn name() { } decl
  877. ParseEntityMethod(tokens, obj);
  878. }
  879. }
  880. void ParseEntityMethod(std::deque<Tokenzier::Token>& tokens, Assembler::Object& obj)
  881. {
  882. // Starts with fn keyword
  883. ExpectText("fn", NextToken(tokens));
  884. // Function name
  885. Tokenzier::Token text = NextToken(tokens);
  886. ExpectTokenType(Tokenzier::eTokenType::eText, text);
  887. std::cout << "Entity function: " << text.AsString().c_str() << std::endl;
  888. auto pMethod = obj.AddMethod(text.AsString());
  889. if (!pMethod)
  890. {
  891. throw DuplicateMethodNameException("Duplicated function name", text);
  892. }
  893. size_t methodCount = obj.MethodCount();
  894. if (obj.HasMethod("init") && obj.HasMethod("main"))
  895. {
  896. // init and main count as 1 script
  897. methodCount--;
  898. }
  899. if (methodCount >= 32)
  900. {
  901. throw TooManyMethodsException("There can only be 31 scripts excluding init and main", text);
  902. }
  903. // Brackets end function name
  904. ExpectToken(Tokenzier::eTokenType::eOpenBracket, tokens);
  905. ExpectToken(Tokenzier::eTokenType::eCloseBracket, tokens);
  906. // Body within { } 's,
  907. ExpectToken(Tokenzier::eTokenType::eOpenCurlyBracket, tokens);
  908. // handle empty {}'s case
  909. if (PeekTokenType(tokens) != Tokenzier::eTokenType::eCloseCurlyBracket)
  910. {
  911. ParseEntityMethodBody(tokens, *pMethod);
  912. }
  913. ExpectToken(Tokenzier::eTokenType::eCloseCurlyBracket, tokens);
  914. JumpToken unreferencedLabels;
  915. JumpToken undefinedLabels;
  916. pMethod->VerifyAndResolveLabels(unreferencedLabels, undefinedLabels);
  917. if (!undefinedLabels.empty())
  918. {
  919. throw UndefinedLabelException("Undefined label", undefinedLabels[0].second);
  920. }
  921. if (!unreferencedLabels.empty())
  922. {
  923. // Warn about unused labels
  924. for (const auto& label : unreferencedLabels)
  925. {
  926. std::cout << "WARNING: label " + label.first + " is not used on line : " + std::to_string(label.second.Line()) + ", col : " + std::to_string(label.second.Column()) << std::endl;
  927. }
  928. }
  929. }
  930. void ParseEntityMethodBody(std::deque<Tokenzier::Token>& tokens, Assembler::Method& method)
  931. {
  932. while (tokens.empty() == false)
  933. {
  934. // } is the end of the function
  935. if (PeekTokenType(tokens) == Tokenzier::eTokenType::eCloseCurlyBracket)
  936. {
  937. // TODO: Validate semantics of instructions parsed
  938. break;
  939. }
  940. Tokenzier::Token text = NextToken(tokens);
  941. // Probably someone has a passed a number argument to an opcode that takes no arguments
  942. if (text.Type() == Tokenzier::eTokenType::eNumber)
  943. {
  944. throw UnknownOpCodeException("Expected opcode text", text);
  945. }
  946. ExpectTokenType(Tokenzier::eTokenType::eText, text);
  947. // Label
  948. std::string str = text.AsString();
  949. if (str.back() == ':')
  950. {
  951. std::cout << "LABEL:" << str.c_str() << std::endl;
  952. if (!method.AddLabel(str.c_str(), text))
  953. {
  954. throw DuplicateLabelException("Duplicated label", text);
  955. }
  956. }
  957. // instruction/mnemonic
  958. else
  959. {
  960. std::cout << "INSTRUCTION:" << str.c_str() << std::endl;
  961. ParseInstruction(text, tokens, method);
  962. }
  963. }
  964. }
  965. void ParseInstruction(const Tokenzier::Token& inst, std::deque<Tokenzier::Token>& tokens, Assembler::Method& method)
  966. {
  967. const auto insts = FF7::FieldInstructions();
  968. auto it = insts.find(inst.AsString());
  969. if (it == std::end(insts))
  970. {
  971. throw UnknownOpCodeException(inst.AsString() + " is not a known instruction", inst);
  972. }
  973. // TODO: Handle arguments correctly, validate labels
  974. const FF7::TInstructRecord* rec = it->second;
  975. const char* fmt = rec->mArgumentFormat;
  976. // method.AddInstruction(rec->mOpCode, rec->mOpCodeSize);
  977. // TODO: Flow control needs special handling
  978. while (*fmt)
  979. {
  980. bool handled = false;
  981. switch (*fmt)
  982. {
  983. // TODO: Handle nibbles correctly
  984. /*
  985. case 'N':
  986. {
  987. // TODO
  988. ExpectTokenType(Tokenzier::eTokenType::eNumber, PeekToken(tokens));
  989. NextToken(tokens);
  990. secondNib = !secondNib;
  991. }
  992. break;*/
  993. case 'N':
  994. case 'B':
  995. {
  996. ExpectTokenType(Tokenzier::eTokenType::eNumber, PeekToken(tokens));
  997. const auto token = NextToken(tokens);
  998. if (token.AsNumber() < 0 || token.AsNumber() > 255)
  999. {
  1000. throw ArgumentOutOfRangeException("Byte argument must be between 0 and 255", token);
  1001. }
  1002. //method.AddInstructionArgument<unsigned char>(token.AsNumber());
  1003. handled = true;
  1004. }
  1005. break;
  1006. case 'U':
  1007. {
  1008. ExpectTokenType(Tokenzier::eTokenType::eNumber, PeekToken(tokens));
  1009. const auto token = NextToken(tokens);
  1010. if (token.AsNumber() < 0 || token.AsNumber() > 65535)
  1011. {
  1012. throw ArgumentOutOfRangeException("Unsigned short argument must be between 0 and 65535", token);
  1013. }
  1014. //method.AddInstructionArgument<unsigned short int>(token.AsNumber());
  1015. handled = true;
  1016. }
  1017. break;
  1018. // Single byte label
  1019. case 'L':
  1020. {
  1021. ExpectTokenType(Tokenzier::eTokenType::eText, PeekToken(tokens));
  1022. const auto token = NextToken(tokens);
  1023. std::cout << "ADD JUMP: " << token.AsString() << std::endl;
  1024. method.AddJump(token.AsString(), token);
  1025. handled = true;
  1026. }
  1027. break;
  1028. default:
  1029. // TODO: Throw
  1030. break;
  1031. }
  1032. fmt++;
  1033. // If we parsed and argument and there is another argument, then they
  1034. // should be separated by an argument delimiter
  1035. if (handled && *fmt)
  1036. {
  1037. ExpectTokenType(Tokenzier::eTokenType::eArgumentDelmiter, NextToken(tokens));
  1038. }
  1039. }
  1040. if (PeekTokenType(tokens) == Tokenzier::eTokenType::eArgumentDelmiter)
  1041. {
  1042. throw TooManyArgumentsException("Too many arguments for opcode", NextToken(tokens));
  1043. }
  1044. }
  1045. Tokenzier::Token ExpectQuotedString(std::deque<Tokenzier::Token>& tokens)
  1046. {
  1047. ExpectToken(Tokenzier::eTokenType::eQuote, tokens);
  1048. Tokenzier::Token text = NextToken(tokens);
  1049. ExpectTokenType(Tokenzier::eTokenType::eText, text);
  1050. ExpectToken(Tokenzier::eTokenType::eQuote, tokens);
  1051. return text;
  1052. }
  1053. Tokenzier::eTokenType PeekTokenType(const std::deque<Tokenzier::Token>& tokens)
  1054. {
  1055. return PeekToken(tokens).Type();
  1056. }
  1057. void ExpectTokenType(Tokenzier::eTokenType type, const Tokenzier::Token& token)
  1058. {
  1059. if (token.Type() != type)
  1060. {
  1061. throw Exception("Expected token of type: " + ToString(type) + " but got: " + ToString(token.Type()), token);
  1062. }
  1063. }
  1064. void ExpectToken(Tokenzier::eTokenType type, std::deque<Tokenzier::Token>& tokens)
  1065. {
  1066. ExpectTokenType(type, NextToken(tokens));
  1067. }
  1068. void ExpectText(const std::string& expectedText, const Tokenzier::Token& token)
  1069. {
  1070. if (token.Type() != Tokenzier::eTokenType::eText)
  1071. {
  1072. throw Exception("Expected token of type: " + ToString(Tokenzier::eTokenType::eText) + " but got: " + ToString(token.Type()), token);
  1073. }
  1074. if (token.AsString() != expectedText)
  1075. {
  1076. throw Exception("Expected keyword: " + expectedText + " but got: " + token.AsString(), token);
  1077. }
  1078. }
  1079. Tokenzier::Token NextToken(std::deque<Tokenzier::Token>& tokens)
  1080. {
  1081. if (tokens.empty())
  1082. {
  1083. throw Exception("Expected more tokens before end of input");
  1084. }
  1085. Tokenzier::Token ret = tokens.front();
  1086. tokens.pop_front();
  1087. return ret;
  1088. }
  1089. Tokenzier::Token PeekToken(const std::deque<Tokenzier::Token>& tokens)
  1090. {
  1091. if (tokens.empty())
  1092. {
  1093. throw Exception("Expected more tokens before end of input");
  1094. }
  1095. return tokens.front();
  1096. }
  1097. std::string ToString(Tokenzier::eTokenType type)
  1098. {
  1099. std::string ret;
  1100. switch (type)
  1101. {
  1102. case Tokenzier::eTokenType::eArgumentDelmiter:
  1103. ret = "argument delimiter";
  1104. break;
  1105. case Tokenzier::eTokenType::eWhiteSpace:
  1106. ret = "white space";
  1107. break;
  1108. case Tokenzier::eTokenType::eText:
  1109. ret = "text";
  1110. break;
  1111. case Tokenzier::eTokenType::eNumber:
  1112. ret = "number";
  1113. break;
  1114. case Tokenzier::eTokenType::eInvalid:
  1115. ret = "invalid";
  1116. break;
  1117. case Tokenzier::eTokenType::eOpenBracket:
  1118. ret = "open bracket";
  1119. break;
  1120. case Tokenzier::eTokenType::eCloseBracket:
  1121. ret = "close bracket";
  1122. break;
  1123. case Tokenzier::eTokenType::eOpenCurlyBracket:
  1124. ret = "open curly brace";
  1125. break;
  1126. case Tokenzier::eTokenType::eCloseCurlyBracket:
  1127. ret = "close curly brace";
  1128. break;
  1129. case Tokenzier::eTokenType::eQuote:
  1130. ret = "quote";
  1131. break;
  1132. case Tokenzier::eTokenType::eEof:
  1133. ret = "end of file";
  1134. break;
  1135. default:
  1136. // Shouldn't actually be possible
  1137. throw Exception("Unknown token type: " + std::to_string(static_cast<int>(type)));
  1138. }
  1139. return ret;
  1140. }
  1141. Tokenzier mTokenzier;
  1142. Assembler mAssembler;
  1143. };
  1144. TEST(Parser, SimpleScript)
  1145. {
  1146. Parser p("Entity(\"Testing\") { fn init() { start: NOP REQ 1,2 ;JMPB start\r\n } fn main() { } fn script1() { ;IFUB 0, 0, 1, 2, 0, lfalse NOP lfalse:\n } } ; Example\n Entity(\"Second\")\n {\n fn\n init()\n {\n }\n }");
  1147. ASSERT_NO_THROW(p.Parse());
  1148. }
  1149. // Parse unknown opcode
  1150. TEST(Parser, UnknownOpcode)
  1151. {
  1152. Parser p("Entity(\"Testing\") { fn init() { FLUB } } ");
  1153. ASSERT_THROW(p.Parse(), Parser::UnknownOpCodeException);
  1154. }
  1155. // Parse duplicate entity name
  1156. TEST(Parser, DuplicateObjectName)
  1157. {
  1158. Parser p("Entity(\"Testing\") { fn init() { } } Entity(\"Testing\") { fn init() { } } ");
  1159. ASSERT_THROW(p.Parse(), Parser::DuplicateObjectNameException);
  1160. }
  1161. // Parse duplicate function name
  1162. TEST(Parser, DuplicateMethodName)
  1163. {
  1164. Parser p("Entity(\"Testing\") { fn init() { } fn init() { } }");
  1165. ASSERT_THROW(p.Parse(), Parser::DuplicateMethodNameException);
  1166. }
  1167. // Parse too many entities
  1168. TEST(Parser, TooManyEntities)
  1169. {
  1170. std::string strScript;
  1171. for (int i = 0; i < 32; i++) // TODO: Find out what the actual limit is
  1172. {
  1173. const std::string entityName = "Test" + std::to_string(i);
  1174. const std::string entity = "Entity(\"" + entityName + "\") { fn init() { } }";
  1175. strScript += entity;
  1176. }
  1177. Parser p(strScript);
  1178. ASSERT_THROW(p.Parse(), Parser::TooManyObjectsException);
  1179. }
  1180. // Parse too many functions
  1181. TEST(Parser, TooManyFunctions)
  1182. {
  1183. std::string strFunctions;
  1184. for (int i = 0; i < 31; i++)
  1185. {
  1186. strFunctions += "fn test" + std::to_string(i) +"() { NOP NOP } ";
  1187. }
  1188. Parser p("Entity(\"Testing\") { fn init() { } fn main() { }" + strFunctions +"}");
  1189. ASSERT_THROW(p.Parse(), Parser::TooManyMethodsException);
  1190. }
  1191. // Parse too many arguments
  1192. TEST(Parser, TooManyArguments)
  1193. {
  1194. {
  1195. Parser p("Entity(\"Testing\") { fn init() { NOP 1 } }");
  1196. ASSERT_THROW(p.Parse(), Parser::UnknownOpCodeException);
  1197. }
  1198. {
  1199. Parser p("Entity(\"Testing\") { fn init() { REQSW 1,2,3 } }");
  1200. ASSERT_THROW(p.Parse(), Parser::TooManyArgumentsException);
  1201. }
  1202. }
  1203. // Parse not enough arguments
  1204. TEST(Parser, NotEnoughArguments)
  1205. {
  1206. Parser p("Entity(\"Testing\") { fn init() { REQSW 1 } }");
  1207. ASSERT_THROW(p.Parse(), Parser::Exception); // Expects , after 1
  1208. }
  1209. // Parse argument value out of range
  1210. TEST(Parser, ArgumentOutOfRange)
  1211. {
  1212. Parser p("Entity(\"Testing\") { fn init() { REQSW 256, 9999999 } }");
  1213. ASSERT_THROW(p.Parse(), Parser::ArgumentOutOfRangeException);
  1214. }
  1215. // Parse duplicated labels
  1216. TEST(Parser, DuplicatedLabels)
  1217. {
  1218. Parser p("Entity(\"Testing\") { fn init() { label: label: } }");
  1219. ASSERT_THROW(p.Parse(), Parser::DuplicateLabelException);
  1220. }
  1221. // Parse IF
  1222. TEST(Parser, ParseIf)
  1223. {
  1224. // TODO: Could allow cleaner syntax:
  1225. //Parser p("Entity(\"Testing\") { fn init() { IFUB Var(1,2) > Var(0,4) foo NOP foo: } }");
  1226. Parser p("Entity(\"Testing\") { fn init() { IFUB 1, 0, 20, 30, 1, foo NOP foo: } }");
  1227. p.Parse();
  1228. }
  1229. // Parse IF's with missing labels
  1230. TEST(Parser, ParseIfMissingLabel)
  1231. {
  1232. Parser p("Entity(\"Testing\") { fn init() { IFUB 1, 0, 20, 30, 1, foo NOP } }");
  1233. ASSERT_THROW(p.Parse(), Parser::UndefinedLabelException);
  1234. }
  1235. // Parse generates warning on unused label
  1236. TEST(Parser, WarnsOnUnusedLabels)
  1237. {
  1238. // TODO: Not auto checked as writes to std out, it should probably call back to us so we can check
  1239. Parser p("Entity(\"Testing\") { fn init() { IFUB 1, 0, 20, 30, 1, foo NOP foo: asdf: \nasdsds: \nhello: } }");
  1240. p.Parse();
  1241. }
  1242. // Simple assemble / disassemble
  1243. TEST(Parser, AssembleDisassemble)
  1244. {
  1245. Parser p("Entity(\"Testing\") { fn main() { NOP } fn init() { NOP } }");
  1246. }
  1247. // Parse IF's that jump after the if with no "gap"
  1248. /*
  1249. TEST(Parser, ZeroGapIf)
  1250. {
  1251. Parser p("Entity(\"Testing\") { fn init() { IFUB 1, 0, 20, 30, 1, foo foo: } }");
  1252. ASSERT_THROW(p.Parse(), Parser::JumpHasNoGap);
  1253. }
  1254. */
  1255. // Parse var length arguments
  1256. // Parse double meaning arguments
  1257. // Parse all op codes
  1258. // Assemble all op codes
  1259. // Disassemble all assembled op codes + compare
  1260. // Check function ends with RET or JUMPB/JMPBL - is this actually required?
  1261. TEST(FF7Field, Asm)
  1262. {
  1263. DummyFormatter dummy;
  1264. FF7::FF7FieldEngine eng(dummy, "test");
  1265. InstVec insts;
  1266. FF7::FF7Disassembler d(dummy, &eng, insts);
  1267. }