finsh_compiler.c 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937
  1. /*
  2. * RT-Thread finsh shell compiler
  3. *
  4. * COPYRIGHT (C) 2006 - 2013, RT-Thread Development Team
  5. *
  6. * This file is part of RT-Thread (http://www.rt-thread.org)
  7. * Maintainer: bernard.xiong <bernard.xiong at gmail.com>
  8. *
  9. * All rights reserved.
  10. *
  11. * This program is free software; you can redistribute it and/or modify
  12. * it under the terms of the GNU General Public License as published by
  13. * the Free Software Foundation; either version 2 of the License, or
  14. * (at your option) any later version.
  15. *
  16. * This program is distributed in the hope that it will be useful,
  17. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  18. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  19. * GNU General Public License for more details.
  20. *
  21. * You should have received a copy of the GNU General Public License along
  22. * with this program; if not, write to the Free Software Foundation, Inc.,
  23. * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  24. *
  25. * Change Logs:
  26. * Date Author Notes
  27. * 2010-03-22 Bernard first version
  28. */
  29. #include <finsh.h>
  30. #include "finsh_node.h"
  31. #include "finsh_error.h"
  32. #include "finsh_var.h"
  33. #include "finsh_ops.h"
  34. union finsh_value* finsh_compile_sp; /* stack pointer */
  35. u_char* finsh_compile_pc; /* PC */
  36. #define finsh_code_byte(x) do { *finsh_compile_pc = (x); finsh_compile_pc ++; } while(0)
  37. #define finsh_code_word(x) do { FINSH_SET16(finsh_compile_pc, x); finsh_compile_pc +=2; } while(0)
  38. #define finsh_code_dword(x) do { FINSH_SET32(finsh_compile_pc, x); finsh_compile_pc +=4; } while(0)
  39. static int finsh_compile(struct finsh_node* node)
  40. {
  41. if (node != NULL)
  42. {
  43. /* compile child node */
  44. if (finsh_node_child(node) != NULL)
  45. finsh_compile(finsh_node_child(node));
  46. /* compile current node */
  47. switch (node->node_type)
  48. {
  49. case FINSH_NODE_ID:
  50. {
  51. /* identifier::syscall */
  52. if (node->idtype & FINSH_IDTYPE_SYSCALL)
  53. {
  54. /* load address */
  55. finsh_code_byte(FINSH_OP_LD_DWORD);
  56. finsh_code_dword((long)node->id.syscall->func);
  57. }
  58. /* identifier::sysvar */
  59. else if (node->idtype & FINSH_IDTYPE_SYSVAR)
  60. {
  61. struct finsh_sysvar* sysvar;
  62. sysvar = node->id.sysvar;
  63. if (sysvar != NULL)
  64. {
  65. switch (sysvar->type)
  66. {
  67. case finsh_type_char:
  68. case finsh_type_uchar:
  69. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  70. {
  71. /* load address */
  72. finsh_code_byte(FINSH_OP_LD_DWORD);
  73. }
  74. else
  75. {
  76. /* load value */
  77. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  78. }
  79. finsh_code_dword((long)(sysvar->var));
  80. break;
  81. case finsh_type_short:
  82. case finsh_type_ushort:
  83. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  84. {
  85. /* load address */
  86. finsh_code_byte(FINSH_OP_LD_DWORD);
  87. }
  88. else
  89. {
  90. /* load value */
  91. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  92. }
  93. finsh_code_dword((long)(sysvar->var));
  94. break;
  95. case finsh_type_int:
  96. case finsh_type_uint:
  97. case finsh_type_long:
  98. case finsh_type_ulong:
  99. case finsh_type_charp:
  100. case finsh_type_shortp:
  101. case finsh_type_intp:
  102. case finsh_type_longp:
  103. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  104. {
  105. /* load address */
  106. finsh_code_byte(FINSH_OP_LD_DWORD);
  107. }
  108. else
  109. {
  110. /* load value */
  111. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  112. }
  113. finsh_code_dword((long)(sysvar->var));
  114. break;
  115. }
  116. }
  117. }
  118. /* identifier::var */
  119. else
  120. {
  121. struct finsh_var* var;
  122. var = node->id.var;
  123. if (var != NULL)
  124. {
  125. switch (var->type)
  126. {
  127. case finsh_type_char:
  128. case finsh_type_uchar:
  129. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  130. {
  131. /* load address */
  132. finsh_code_byte(FINSH_OP_LD_DWORD);
  133. }
  134. else
  135. {
  136. /* load value */
  137. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  138. }
  139. finsh_code_dword((long)&(var->value.char_value));
  140. break;
  141. case finsh_type_short:
  142. case finsh_type_ushort:
  143. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  144. {
  145. /* load address */
  146. finsh_code_byte(FINSH_OP_LD_DWORD);
  147. }
  148. else
  149. {
  150. /* load value */
  151. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  152. }
  153. finsh_code_dword((long)&(var->value.short_value));
  154. break;
  155. case finsh_type_int:
  156. case finsh_type_uint:
  157. case finsh_type_long:
  158. case finsh_type_ulong:
  159. case finsh_type_charp:
  160. case finsh_type_shortp:
  161. case finsh_type_intp:
  162. case finsh_type_longp:
  163. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  164. {
  165. /* load address */
  166. finsh_code_byte(FINSH_OP_LD_DWORD);
  167. }
  168. else
  169. {
  170. /* load value */
  171. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  172. }
  173. finsh_code_dword((long)&(var->value.long_value));
  174. break;
  175. }
  176. }
  177. }
  178. }
  179. break;
  180. /* load const */
  181. case FINSH_NODE_VALUE_CHAR:
  182. finsh_code_byte(FINSH_OP_LD_BYTE);
  183. finsh_code_byte(node->value.char_value);
  184. break;
  185. case FINSH_NODE_VALUE_INT:
  186. case FINSH_NODE_VALUE_LONG:
  187. finsh_code_byte(FINSH_OP_LD_DWORD);
  188. finsh_code_dword(node->value.long_value);
  189. break;
  190. case FINSH_NODE_VALUE_NULL:
  191. case FINSH_NODE_VALUE_STRING:
  192. finsh_code_byte(FINSH_OP_LD_DWORD);
  193. finsh_code_dword((u_long)node->value.ptr);
  194. break;
  195. /* arithmetic operation */
  196. case FINSH_NODE_SYS_ADD:
  197. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_ADD_BYTE);
  198. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_ADD_WORD);
  199. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_ADD_DWORD);
  200. break;
  201. case FINSH_NODE_SYS_SUB:
  202. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_SUB_BYTE);
  203. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_SUB_WORD);
  204. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_SUB_DWORD);
  205. break;
  206. case FINSH_NODE_SYS_MUL:
  207. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_MUL_BYTE);
  208. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_MUL_WORD);
  209. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_MUL_DWORD);
  210. break;
  211. case FINSH_NODE_SYS_DIV:
  212. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_DIV_BYTE);
  213. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_DIV_WORD);
  214. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_DIV_DWORD);
  215. break;
  216. case FINSH_NODE_SYS_MOD:
  217. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_MOD_BYTE);
  218. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_MOD_WORD);
  219. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_MOD_DWORD);
  220. break;
  221. /* bit operation */
  222. case FINSH_NODE_SYS_AND:
  223. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_AND_BYTE);
  224. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_AND_WORD);
  225. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_AND_DWORD);
  226. break;
  227. case FINSH_NODE_SYS_OR:
  228. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_OR_BYTE);
  229. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_OR_WORD);
  230. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_OR_DWORD);
  231. break;
  232. case FINSH_NODE_SYS_XOR:
  233. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_XOR_BYTE);
  234. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_XOR_WORD);
  235. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_XOR_DWORD);
  236. break;
  237. case FINSH_NODE_SYS_BITWISE:
  238. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_BITWISE_BYTE);
  239. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_BITWISE_WORD);
  240. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_BITWISE_DWORD);
  241. break;
  242. case FINSH_NODE_SYS_SHL:
  243. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_SHL_BYTE);
  244. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_SHL_WORD);
  245. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_SHL_DWORD);
  246. break;
  247. case FINSH_NODE_SYS_SHR:
  248. if (node->data_type == FINSH_DATA_TYPE_BYTE) finsh_code_byte(FINSH_OP_SHR_BYTE);
  249. else if (node->data_type == FINSH_DATA_TYPE_WORD) finsh_code_byte(FINSH_OP_SHR_WORD);
  250. else if (node->data_type == FINSH_DATA_TYPE_DWORD) finsh_code_byte(FINSH_OP_SHR_DWORD);
  251. break;
  252. /* syscall */
  253. case FINSH_NODE_SYS_FUNC:
  254. {
  255. int parameters;
  256. struct finsh_node* sibling;
  257. parameters = 0;
  258. if (finsh_node_child(node) != NULL)
  259. {
  260. sibling = finsh_node_sibling(finsh_node_child(node));
  261. while (sibling != NULL)
  262. {
  263. parameters ++;
  264. sibling = finsh_node_sibling(sibling);
  265. }
  266. /* load address of function */
  267. // finsh_code_dword((long)&(node->var->value.ptr));
  268. /* syscall parameters */
  269. finsh_code_byte(FINSH_OP_SYSCALL);
  270. finsh_code_byte(parameters);
  271. }
  272. }
  273. break;
  274. /* assign expression */
  275. case FINSH_NODE_SYS_ASSIGN:
  276. if (finsh_node_child(node) && finsh_node_child(node)->node_type == FINSH_NODE_ID)
  277. {
  278. switch (finsh_node_child(node)->data_type)
  279. {
  280. case FINSH_DATA_TYPE_BYTE:
  281. finsh_code_byte(FINSH_OP_ST_BYTE);
  282. /* load value again */
  283. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE_STACK);
  284. break;
  285. case FINSH_DATA_TYPE_WORD:
  286. finsh_code_byte(FINSH_OP_ST_WORD);
  287. /* load value again */
  288. finsh_code_byte(FINSH_OP_LD_VALUE_WORD_STACK);
  289. break;
  290. case FINSH_DATA_TYPE_DWORD:
  291. finsh_code_byte(FINSH_OP_ST_DWORD);
  292. /* load value again */
  293. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  294. break;
  295. default:
  296. finsh_error_set(FINSH_ERROR_UNKNOWN_TYPE);
  297. }
  298. }
  299. else if (finsh_node_child(node)->node_type == FINSH_NODE_SYS_GETVALUE)
  300. {
  301. switch ((finsh_node_child(node)->data_type) & 0x0F)
  302. {
  303. case FINSH_DATA_TYPE_BYTE:
  304. finsh_code_byte(FINSH_OP_ST_BYTE);
  305. /* load value again */
  306. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE_STACK);
  307. break;
  308. case FINSH_DATA_TYPE_WORD:
  309. finsh_code_byte(FINSH_OP_ST_WORD);
  310. /* load value again */
  311. finsh_code_byte(FINSH_OP_LD_VALUE_WORD_STACK);
  312. break;
  313. case FINSH_DATA_TYPE_DWORD:
  314. finsh_code_byte(FINSH_OP_ST_DWORD);
  315. /* load value again */
  316. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  317. break;
  318. default:
  319. finsh_error_set(FINSH_ERROR_UNKNOWN_TYPE);
  320. }
  321. }
  322. break;
  323. /* pre-increase */
  324. case FINSH_NODE_SYS_PREINC:
  325. if (finsh_node_child(node) && finsh_node_child(node)->node_type == FINSH_NODE_ID)
  326. {
  327. struct finsh_var* var;
  328. var = finsh_node_child(node)->id.var;
  329. /* ld_dword &id */
  330. // finsh_code_byte(FINSH_OP_LD_DWORD);
  331. switch (node->data_type)
  332. {
  333. case FINSH_DATA_TYPE_BYTE:
  334. /* address */
  335. // finsh_code_dword((long)&(var->value.char_value));
  336. /* ld_value_byte &id */
  337. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  338. finsh_code_dword((long)&(var->value.char_value));
  339. /* ld_byte 1 */
  340. finsh_code_byte(FINSH_OP_LD_BYTE);
  341. finsh_code_byte(1);
  342. /* add_byte */
  343. finsh_code_byte(FINSH_OP_ADD_BYTE);
  344. /* st_byte */
  345. finsh_code_byte(FINSH_OP_ST_BYTE);
  346. /* load value again */
  347. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  348. break;
  349. case FINSH_DATA_TYPE_WORD:
  350. /* address */
  351. // finsh_code_dword((long)&(var->value.short_value));
  352. /* ld_value_word &id */
  353. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  354. finsh_code_dword((long)&(var->value.short_value));
  355. /* ld_word 1 */
  356. finsh_code_byte(FINSH_OP_LD_WORD);
  357. finsh_code_word(1);
  358. /* add_word */
  359. finsh_code_byte(FINSH_OP_ADD_WORD);
  360. /* st_word */
  361. finsh_code_byte(FINSH_OP_ST_WORD);
  362. /* load value again */
  363. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  364. break;
  365. case FINSH_DATA_TYPE_DWORD:
  366. /* address */
  367. // finsh_code_dword((long)&(var->value.long_value));
  368. /* ld_dword &id */
  369. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  370. finsh_code_dword((long)&(var->value.long_value));
  371. /* ld_dword 1 */
  372. finsh_code_byte(FINSH_OP_LD_DWORD);
  373. finsh_code_dword(1);
  374. /* add_dword */
  375. finsh_code_byte(FINSH_OP_ADD_DWORD);
  376. /* st_dword */
  377. finsh_code_byte(FINSH_OP_ST_DWORD);
  378. /* load value again */
  379. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  380. break;
  381. }
  382. }
  383. break;
  384. /* pre-decrease */
  385. case FINSH_NODE_SYS_PREDEC:
  386. if (finsh_node_child(node) && finsh_node_child(node)->node_type == FINSH_NODE_ID)
  387. {
  388. struct finsh_var* var;
  389. var = finsh_node_child(node)->id.var;
  390. /* ld_dword &id */
  391. // finsh_code_byte(FINSH_OP_LD_DWORD);
  392. switch (node->data_type)
  393. {
  394. case FINSH_DATA_TYPE_BYTE:
  395. /* address */
  396. // finsh_code_dword((long)&(var->value.char_value));
  397. /* ld_value_byte &id */
  398. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  399. finsh_code_dword((long)&(var->value.char_value));
  400. /* ld_byte 1 */
  401. finsh_code_byte(FINSH_OP_LD_BYTE);
  402. finsh_code_byte(1);
  403. /* add_byte */
  404. finsh_code_byte(FINSH_OP_SUB_BYTE);
  405. /* st_byte */
  406. finsh_code_byte(FINSH_OP_ST_BYTE);
  407. /* load value again */
  408. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  409. break;
  410. case FINSH_DATA_TYPE_WORD:
  411. /* address */
  412. // finsh_code_dword((long)&(var->value.short_value));
  413. /* ld_value_word &id */
  414. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  415. finsh_code_dword((long)&(var->value.short_value));
  416. /* ld_word 1 */
  417. finsh_code_byte(FINSH_OP_LD_WORD);
  418. finsh_code_word(1);
  419. /* add_word */
  420. finsh_code_byte(FINSH_OP_SUB_WORD);
  421. /* st_word */
  422. finsh_code_byte(FINSH_OP_ST_WORD);
  423. /* load value again */
  424. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  425. break;
  426. case FINSH_DATA_TYPE_DWORD:
  427. /* address */
  428. // finsh_code_dword((long)&(var->value.long_value));
  429. /* ld_dword &id */
  430. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  431. finsh_code_dword((long)&(var->value.long_value));
  432. /* ld_dword 1 */
  433. finsh_code_byte(FINSH_OP_LD_DWORD);
  434. finsh_code_dword(1);
  435. /* add_dword */
  436. finsh_code_byte(FINSH_OP_SUB_DWORD);
  437. /* st_dword */
  438. finsh_code_byte(FINSH_OP_ST_DWORD);
  439. /* load value again */
  440. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  441. break;
  442. }
  443. }
  444. break;
  445. /* increase */
  446. case FINSH_NODE_SYS_INC:
  447. if (finsh_node_child(node) && finsh_node_child(node)->node_type == FINSH_NODE_ID)
  448. {
  449. struct finsh_var* var;
  450. var = finsh_node_child(node)->id.var;
  451. switch (node->data_type)
  452. {
  453. case FINSH_DATA_TYPE_BYTE:
  454. /* ld_value_byte &id */
  455. // finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  456. // finsh_code_dword((long)&(var->value.char_value));
  457. /* ld_dword &id */
  458. finsh_code_byte(FINSH_OP_LD_DWORD);
  459. finsh_code_dword((long)&(var->value.char_value));
  460. /* ld_value_byte &id */
  461. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  462. finsh_code_dword((long)&(var->value.char_value));
  463. /* ld_byte 1 */
  464. finsh_code_byte(FINSH_OP_LD_BYTE);
  465. finsh_code_byte(1);
  466. /* add_byte */
  467. finsh_code_byte(FINSH_OP_ADD_BYTE);
  468. /* get byte */
  469. finsh_code_byte(FINSH_OP_ST_BYTE);
  470. /* pop */
  471. finsh_code_byte(FINSH_OP_POP);
  472. break;
  473. case FINSH_DATA_TYPE_WORD:
  474. /* ld_value_word &id */
  475. // finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  476. // finsh_code_dword((long)&(var->value.short_value));
  477. /* ld_dword &id */
  478. finsh_code_byte(FINSH_OP_LD_DWORD);
  479. finsh_code_dword((long)&(var->value.short_value));
  480. /* ld_value_word &id */
  481. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  482. finsh_code_dword((long)&(var->value.short_value));
  483. /* ld_word 1 */
  484. finsh_code_byte(FINSH_OP_LD_WORD);
  485. finsh_code_word(1);
  486. /* add_byte */
  487. finsh_code_byte(FINSH_OP_ADD_WORD);
  488. /* get byte */
  489. finsh_code_byte(FINSH_OP_ST_WORD);
  490. /* pop */
  491. finsh_code_byte(FINSH_OP_POP);
  492. break;
  493. case FINSH_DATA_TYPE_DWORD:
  494. /* ld_value_dword &id */
  495. // finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  496. // finsh_code_dword((long)&(var->value.long_value));
  497. /* ld_dword &id */
  498. finsh_code_byte(FINSH_OP_LD_DWORD);
  499. finsh_code_dword((long)&(var->value.long_value));
  500. /* ld_value_dword &id */
  501. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  502. finsh_code_dword((long)&(var->value.long_value));
  503. /* ld_dword 1 */
  504. finsh_code_byte(FINSH_OP_LD_DWORD);
  505. finsh_code_dword(1);
  506. /* add_byte */
  507. finsh_code_byte(FINSH_OP_ADD_DWORD);
  508. /* get byte */
  509. finsh_code_byte(FINSH_OP_ST_DWORD);
  510. /* pop */
  511. finsh_code_byte(FINSH_OP_POP);
  512. break;
  513. }
  514. }
  515. break;
  516. /* decrease */
  517. case FINSH_NODE_SYS_DEC:
  518. if (finsh_node_child(node) && finsh_node_child(node)->node_type == FINSH_NODE_ID)
  519. {
  520. struct finsh_var* var;
  521. var = finsh_node_child(node)->id.var;
  522. switch (node->data_type)
  523. {
  524. case FINSH_DATA_TYPE_BYTE:
  525. /* ld_value_byte &id */
  526. // finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  527. // finsh_code_dword((long)&(var->value.char_value));
  528. /* ld_dword &id */
  529. finsh_code_byte(FINSH_OP_LD_DWORD);
  530. finsh_code_dword((long)&(var->value.char_value));
  531. /* ld_value_byte &id */
  532. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE);
  533. finsh_code_dword((long)&(var->value.char_value));
  534. /* ld_byte 1 */
  535. finsh_code_byte(FINSH_OP_LD_BYTE);
  536. finsh_code_byte(1);
  537. /* add_byte */
  538. finsh_code_byte(FINSH_OP_SUB_BYTE);
  539. /* get byte */
  540. finsh_code_byte(FINSH_OP_ST_BYTE);
  541. /* pop */
  542. finsh_code_byte(FINSH_OP_POP);
  543. break;
  544. case FINSH_DATA_TYPE_WORD:
  545. /* ld_value_word &id */
  546. // finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  547. // finsh_code_dword((long)&(var->value.short_value));
  548. /* ld_dword &id */
  549. finsh_code_byte(FINSH_OP_LD_DWORD);
  550. finsh_code_dword((long)&(var->value.short_value));
  551. /* ld_value_word &id */
  552. finsh_code_byte(FINSH_OP_LD_VALUE_WORD);
  553. finsh_code_dword((long)&(var->value.short_value));
  554. /* ld_word 1 */
  555. finsh_code_byte(FINSH_OP_LD_WORD);
  556. finsh_code_word(1);
  557. /* add_byte */
  558. finsh_code_byte(FINSH_OP_SUB_WORD);
  559. /* get byte */
  560. finsh_code_byte(FINSH_OP_ST_WORD);
  561. /* pop */
  562. finsh_code_byte(FINSH_OP_POP);
  563. break;
  564. case FINSH_DATA_TYPE_DWORD:
  565. /* ld_value_dword &id */
  566. // finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  567. // finsh_code_dword((long)&(var->value.long_value));
  568. /* ld_dword &id */
  569. finsh_code_byte(FINSH_OP_LD_DWORD);
  570. finsh_code_dword((long)&(var->value.long_value));
  571. /* ld_value_dword &id */
  572. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD);
  573. finsh_code_dword((long)&(var->value.long_value));
  574. /* ld_dword 1 */
  575. finsh_code_byte(FINSH_OP_LD_DWORD);
  576. finsh_code_dword(1);
  577. /* add_byte */
  578. finsh_code_byte(FINSH_OP_SUB_DWORD);
  579. /* get byte */
  580. finsh_code_byte(FINSH_OP_ST_DWORD);
  581. /* pop */
  582. finsh_code_byte(FINSH_OP_POP);
  583. break;
  584. }
  585. }
  586. break;
  587. case FINSH_NODE_SYS_NULL:
  588. finsh_code_dword(0);
  589. break;
  590. case FINSH_NODE_SYS_GETVALUE:
  591. if (node->idtype & FINSH_IDTYPE_ADDRESS)
  592. {
  593. /* nothing will be generated */
  594. }
  595. else
  596. {
  597. switch (node->data_type)
  598. {
  599. case FINSH_DATA_TYPE_BYTE:
  600. finsh_code_byte(FINSH_OP_LD_VALUE_BYTE_STACK);
  601. break;
  602. case FINSH_DATA_TYPE_WORD:
  603. finsh_code_byte(FINSH_OP_LD_VALUE_WORD_STACK);
  604. break;
  605. case FINSH_DATA_TYPE_DWORD:
  606. finsh_code_byte(FINSH_OP_LD_VALUE_DWORD_STACK);
  607. break;
  608. default:
  609. break;
  610. }
  611. }
  612. break;
  613. case FINSH_NODE_SYS_GETADDR:
  614. /* nothing will be generated */
  615. break;
  616. default:
  617. finsh_error_set(FINSH_ERROR_UNKNOWN_NODE);
  618. break;
  619. }
  620. /* compile sibling node */
  621. if (finsh_node_sibling(node) != NULL)
  622. finsh_compile(finsh_node_sibling(node));
  623. }
  624. return 0;
  625. }
  626. static int finsh_type_check(struct finsh_node* node, u_char is_addr)
  627. {
  628. if (node != NULL)
  629. {
  630. /* address & value */
  631. if (node->node_type == FINSH_NODE_SYS_ASSIGN ||
  632. node->node_type == FINSH_NODE_SYS_PREINC ||
  633. node->node_type == FINSH_NODE_SYS_PREDEC ||
  634. node->node_type == FINSH_NODE_SYS_GETADDR)
  635. {
  636. /* address */
  637. finsh_type_check(finsh_node_child(node), FINSH_IDTYPE_ADDRESS);
  638. }
  639. else if (node->node_type == FINSH_NODE_SYS_GETVALUE && is_addr)
  640. {
  641. /* change the attribute of getvalue in left expr */
  642. finsh_type_check(finsh_node_child(node), 0);
  643. }
  644. else
  645. {
  646. /* transfer 'av' to child node */
  647. finsh_type_check(finsh_node_child(node), is_addr);
  648. }
  649. /* always does not load address in sibling */
  650. finsh_type_check(finsh_node_sibling(node), FINSH_NODE_VALUE);
  651. /** set attribute of current node */
  652. /* make sure the current node is address or value */
  653. if (node->idtype != FINSH_IDTYPE_SYSCALL) node->idtype |= is_addr;
  654. if (finsh_node_child(node) != NULL)
  655. {
  656. node->data_type = finsh_node_child(node)->data_type;
  657. return 0;
  658. }
  659. if (node->node_type == FINSH_NODE_ID)
  660. {
  661. if (node->idtype & FINSH_IDTYPE_VAR)
  662. {
  663. struct finsh_var* var;
  664. var = node->id.var;
  665. if (var != NULL)
  666. {
  667. switch (var->type)
  668. {
  669. case finsh_type_void:
  670. node->data_type = FINSH_DATA_TYPE_VOID;
  671. break;
  672. case finsh_type_char:
  673. case finsh_type_uchar:
  674. node->data_type = FINSH_DATA_TYPE_BYTE;
  675. break;
  676. case finsh_type_short:
  677. case finsh_type_ushort:
  678. node->data_type = FINSH_DATA_TYPE_WORD;
  679. break;
  680. case finsh_type_int:
  681. case finsh_type_uint:
  682. case finsh_type_long:
  683. case finsh_type_ulong:
  684. node->data_type = FINSH_DATA_TYPE_DWORD;
  685. break;
  686. case finsh_type_charp:
  687. case finsh_type_voidp:
  688. case finsh_type_shortp:
  689. case finsh_type_intp:
  690. case finsh_type_longp:
  691. node->data_type = FINSH_DATA_TYPE_DWORD;
  692. break;
  693. default:
  694. finsh_error_set(FINSH_ERROR_UNKNOWN_TYPE);
  695. break;
  696. }
  697. }
  698. }
  699. else if (node->idtype & FINSH_IDTYPE_SYSVAR)
  700. {
  701. struct finsh_sysvar *sysvar;
  702. sysvar = node->id.sysvar;
  703. if (sysvar != NULL)
  704. {
  705. switch (sysvar->type)
  706. {
  707. case finsh_type_void:
  708. node->data_type = FINSH_DATA_TYPE_VOID;
  709. break;
  710. case finsh_type_char:
  711. case finsh_type_uchar:
  712. node->data_type = FINSH_DATA_TYPE_BYTE;
  713. break;
  714. case finsh_type_short:
  715. case finsh_type_ushort:
  716. node->data_type = FINSH_DATA_TYPE_WORD;
  717. break;
  718. case finsh_type_int:
  719. case finsh_type_uint:
  720. case finsh_type_long:
  721. case finsh_type_ulong:
  722. node->data_type = FINSH_DATA_TYPE_DWORD;
  723. break;
  724. case finsh_type_charp:
  725. case finsh_type_voidp:
  726. case finsh_type_shortp:
  727. case finsh_type_intp:
  728. case finsh_type_longp:
  729. node->data_type = FINSH_DATA_TYPE_DWORD;
  730. break;
  731. default:
  732. finsh_error_set(FINSH_ERROR_UNKNOWN_TYPE);
  733. break;
  734. }
  735. }
  736. }
  737. }
  738. else if (node->node_type == FINSH_NODE_VALUE_CHAR)
  739. {
  740. node->data_type = FINSH_DATA_TYPE_BYTE;
  741. }
  742. else if (node->node_type == FINSH_NODE_VALUE_INT ||
  743. node->node_type == FINSH_NODE_VALUE_LONG ||
  744. node->node_type == FINSH_NODE_VALUE_STRING ||
  745. node->node_type == FINSH_NODE_VALUE_NULL)
  746. {
  747. node->data_type = FINSH_DATA_TYPE_DWORD;
  748. }
  749. }
  750. return 0;
  751. }
  752. int finsh_compiler_run(struct finsh_node* node)
  753. {
  754. struct finsh_node* sibling;
  755. /* type check */
  756. finsh_type_check(node, FINSH_NODE_VALUE);
  757. /* clean text segment and vm stack */
  758. memset(&text_segment[0], 0, sizeof(text_segment));
  759. memset(&finsh_vm_stack[0], 0, sizeof(finsh_vm_stack[0]));
  760. /* reset compile stack pointer and pc */
  761. finsh_compile_sp = &finsh_vm_stack[0];
  762. finsh_compile_pc = &text_segment[0];
  763. /* compile node */
  764. sibling = node;
  765. while (sibling != NULL)
  766. {
  767. struct finsh_node* current_node;
  768. current_node = sibling;
  769. /* get sibling node */
  770. sibling = current_node->sibling;
  771. /* clean sibling node */
  772. current_node->sibling = NULL;
  773. finsh_compile(current_node);
  774. /* pop current value */
  775. if (sibling != NULL) finsh_code_byte(FINSH_OP_POP);
  776. }
  777. return 0;
  778. }