code.c 8.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495
  1. /*
  2. * This file is part of the UCB release of Plan 9. It is subject to the license
  3. * terms in the LICENSE file found in the top-level directory of this
  4. * distribution and at http://akaros.cs.berkeley.edu/files/Plan9License. No
  5. * part of the UCB release of Plan 9, including this file, may be copied,
  6. * modified, propagated, or distributed except according to the terms contained
  7. * in the LICENSE file.
  8. */
  9. #include "rc.h"
  10. #include "io.h"
  11. #include "exec.h"
  12. #include "fns.h"
  13. #include "getflags.h"
  14. #define c0 t->child[0]
  15. #define c1 t->child[1]
  16. #define c2 t->child[2]
  17. int codep, ncode;
  18. #define emitf(x) ((void)(codep!=ncode || morecode()), codebuf[codep].f = (x), codep++)
  19. #define emiti(x) ((void)(codep!=ncode || morecode()), codebuf[codep].i = (x), codep++)
  20. #define emits(x) ((void)(codep!=ncode || morecode()), codebuf[codep].s = (x), codep++)
  21. void stuffdot(int);
  22. char *fnstr(tree*);
  23. void outcode(tree*, int);
  24. void codeswitch(tree*, int);
  25. int iscase(tree*);
  26. code *codecopy(code*);
  27. void codefree(code*);
  28. int
  29. morecode(void)
  30. {
  31. ncode+=100;
  32. codebuf = (code *)realloc((char *)codebuf, ncode*sizeof codebuf[0]);
  33. if(codebuf==0)
  34. panic("Can't realloc %d bytes in morecode!",
  35. ncode*sizeof codebuf[0]);
  36. return 0;
  37. }
  38. void
  39. stuffdot(int a)
  40. {
  41. if(a<0 || codep<=a)
  42. panic("Bad address %d in stuffdot", a);
  43. codebuf[a].i = codep;
  44. }
  45. int
  46. compile(tree *t)
  47. {
  48. ncode = 100;
  49. codebuf = (code *)emalloc(ncode*sizeof codebuf[0]);
  50. codep = 0;
  51. emiti(0); /* reference count */
  52. outcode(t, flag['e']?1:0);
  53. if(nerror){
  54. efree((char *)codebuf);
  55. return 0;
  56. }
  57. readhere();
  58. emitf(Xreturn);
  59. emitf(0);
  60. return 1;
  61. }
  62. void
  63. cleanhere(char *f)
  64. {
  65. emitf(Xdelhere);
  66. emits(strdup(f));
  67. }
  68. char*
  69. fnstr(tree *t)
  70. {
  71. io *f = openstr();
  72. void *v;
  73. extern char nl;
  74. char svnl = nl;
  75. nl = ';';
  76. pfmt(f, "%t", t);
  77. nl = svnl;
  78. v = f->strp;
  79. f->strp = 0;
  80. closeio(f);
  81. return v;
  82. }
  83. void
  84. outcode(tree *t, int eflag)
  85. {
  86. int p, q;
  87. tree *tt;
  88. if(t==0)
  89. return;
  90. if(t->type!=NOT && t->type!=';')
  91. runq->iflast = 0;
  92. switch(t->type){
  93. default:
  94. pfmt(err, "bad type %d in outcode\n", t->type);
  95. break;
  96. case '$':
  97. emitf(Xmark);
  98. outcode(c0, eflag);
  99. emitf(Xdol);
  100. break;
  101. case '"':
  102. emitf(Xmark);
  103. outcode(c0, eflag);
  104. emitf(Xqdol);
  105. break;
  106. case SUB:
  107. emitf(Xmark);
  108. outcode(c0, eflag);
  109. emitf(Xmark);
  110. outcode(c1, eflag);
  111. emitf(Xsub);
  112. break;
  113. case '&':
  114. emitf(Xasync);
  115. if(havefork){
  116. p = emiti(0);
  117. outcode(c0, eflag);
  118. emitf(Xexit);
  119. stuffdot(p);
  120. } else
  121. emits(fnstr(c0));
  122. break;
  123. case ';':
  124. outcode(c0, eflag);
  125. outcode(c1, eflag);
  126. break;
  127. case '^':
  128. emitf(Xmark);
  129. outcode(c1, eflag);
  130. emitf(Xmark);
  131. outcode(c0, eflag);
  132. emitf(Xconc);
  133. break;
  134. case '`':
  135. emitf(Xbackq);
  136. if(havefork){
  137. p = emiti(0);
  138. outcode(c0, 0);
  139. emitf(Xexit);
  140. stuffdot(p);
  141. } else
  142. emits(fnstr(c0));
  143. break;
  144. case ANDAND:
  145. outcode(c0, 0);
  146. emitf(Xtrue);
  147. p = emiti(0);
  148. outcode(c1, eflag);
  149. stuffdot(p);
  150. break;
  151. case ARGLIST:
  152. outcode(c1, eflag);
  153. outcode(c0, eflag);
  154. break;
  155. case BANG:
  156. outcode(c0, eflag);
  157. emitf(Xbang);
  158. break;
  159. case PCMD:
  160. case BRACE:
  161. outcode(c0, eflag);
  162. break;
  163. case COUNT:
  164. emitf(Xmark);
  165. outcode(c0, eflag);
  166. emitf(Xcount);
  167. break;
  168. case FN:
  169. emitf(Xmark);
  170. outcode(c0, eflag);
  171. if(c1){
  172. emitf(Xfn);
  173. p = emiti(0);
  174. emits(fnstr(c1));
  175. outcode(c1, eflag);
  176. emitf(Xunlocal); /* get rid of $* */
  177. emitf(Xreturn);
  178. stuffdot(p);
  179. }
  180. else
  181. emitf(Xdelfn);
  182. break;
  183. case IF:
  184. outcode(c0, 0);
  185. emitf(Xif);
  186. p = emiti(0);
  187. outcode(c1, eflag);
  188. emitf(Xwastrue);
  189. stuffdot(p);
  190. break;
  191. case NOT:
  192. if(!runq->iflast)
  193. yyerror("`if not' does not follow `if(...)'");
  194. emitf(Xifnot);
  195. p = emiti(0);
  196. outcode(c0, eflag);
  197. stuffdot(p);
  198. break;
  199. case OROR:
  200. outcode(c0, 0);
  201. emitf(Xfalse);
  202. p = emiti(0);
  203. outcode(c1, eflag);
  204. stuffdot(p);
  205. break;
  206. case PAREN:
  207. outcode(c0, eflag);
  208. break;
  209. case SIMPLE:
  210. emitf(Xmark);
  211. outcode(c0, eflag);
  212. emitf(Xsimple);
  213. if(eflag)
  214. emitf(Xeflag);
  215. break;
  216. case SUBSHELL:
  217. emitf(Xsubshell);
  218. if(havefork){
  219. p = emiti(0);
  220. outcode(c0, eflag);
  221. emitf(Xexit);
  222. stuffdot(p);
  223. } else
  224. emits(fnstr(c0));
  225. if(eflag)
  226. emitf(Xeflag);
  227. break;
  228. case SWITCH:
  229. codeswitch(t, eflag);
  230. break;
  231. case TWIDDLE:
  232. emitf(Xmark);
  233. outcode(c1, eflag);
  234. emitf(Xmark);
  235. outcode(c0, eflag);
  236. emitf(Xmatch);
  237. if(eflag)
  238. emitf(Xeflag);
  239. break;
  240. case WHILE:
  241. q = codep;
  242. outcode(c0, 0);
  243. if(q==codep)
  244. emitf(Xsettrue); /* empty condition == while(true) */
  245. emitf(Xtrue);
  246. p = emiti(0);
  247. outcode(c1, eflag);
  248. emitf(Xjump);
  249. emiti(q);
  250. stuffdot(p);
  251. break;
  252. case WORDS:
  253. outcode(c1, eflag);
  254. outcode(c0, eflag);
  255. break;
  256. case FOR:
  257. emitf(Xmark);
  258. if(c1){
  259. outcode(c1, eflag);
  260. emitf(Xglob);
  261. }
  262. else{
  263. emitf(Xmark);
  264. emitf(Xword);
  265. emits(strdup("*"));
  266. emitf(Xdol);
  267. }
  268. emitf(Xmark); /* dummy value for Xlocal */
  269. emitf(Xmark);
  270. outcode(c0, eflag);
  271. emitf(Xlocal);
  272. p = emitf(Xfor);
  273. q = emiti(0);
  274. outcode(c2, eflag);
  275. emitf(Xjump);
  276. emiti(p);
  277. stuffdot(q);
  278. emitf(Xunlocal);
  279. break;
  280. case WORD:
  281. emitf(Xword);
  282. emits(strdup(t->str));
  283. break;
  284. case DUP:
  285. if(t->rtype==DUPFD){
  286. emitf(Xdup);
  287. emiti(t->fd0);
  288. emiti(t->fd1);
  289. }
  290. else{
  291. emitf(Xclose);
  292. emiti(t->fd0);
  293. }
  294. outcode(c1, eflag);
  295. emitf(Xpopredir);
  296. break;
  297. case PIPEFD:
  298. emitf(Xpipefd);
  299. emiti(t->rtype);
  300. if(havefork){
  301. p = emiti(0);
  302. outcode(c0, eflag);
  303. emitf(Xexit);
  304. stuffdot(p);
  305. } else {
  306. emits(fnstr(c0));
  307. }
  308. break;
  309. case REDIR:
  310. emitf(Xmark);
  311. outcode(c0, eflag);
  312. emitf(Xglob);
  313. switch(t->rtype){
  314. case APPEND:
  315. emitf(Xappend);
  316. break;
  317. case WRITE:
  318. emitf(Xwrite);
  319. break;
  320. case READ:
  321. case HERE:
  322. emitf(Xread);
  323. break;
  324. case RDWR:
  325. emitf(Xrdwr);
  326. break;
  327. }
  328. emiti(t->fd0);
  329. outcode(c1, eflag);
  330. emitf(Xpopredir);
  331. break;
  332. case '=':
  333. tt = t;
  334. for(;t && t->type=='=';t = c2);
  335. if(t){ /* var=value cmd */
  336. for(t = tt;t->type=='=';t = c2){
  337. emitf(Xmark);
  338. outcode(c1, eflag);
  339. emitf(Xmark);
  340. outcode(c0, eflag);
  341. emitf(Xlocal); /* push var for cmd */
  342. }
  343. outcode(t, eflag); /* gen. code for cmd */
  344. for(t = tt; t->type == '='; t = c2)
  345. emitf(Xunlocal); /* pop var */
  346. }
  347. else{ /* var=value */
  348. for(t = tt;t;t = c2){
  349. emitf(Xmark);
  350. outcode(c1, eflag);
  351. emitf(Xmark);
  352. outcode(c0, eflag);
  353. emitf(Xassign); /* set var permanently */
  354. }
  355. }
  356. t = tt; /* so tests below will work */
  357. break;
  358. case PIPE:
  359. emitf(Xpipe);
  360. emiti(t->fd0);
  361. emiti(t->fd1);
  362. if(havefork){
  363. p = emiti(0);
  364. q = emiti(0);
  365. outcode(c0, eflag);
  366. emitf(Xexit);
  367. stuffdot(p);
  368. } else {
  369. emits(fnstr(c0));
  370. q = emiti(0);
  371. }
  372. outcode(c1, eflag);
  373. emitf(Xreturn);
  374. stuffdot(q);
  375. emitf(Xpipewait);
  376. break;
  377. }
  378. if(t->type!=NOT && t->type!=';')
  379. runq->iflast = t->type==IF;
  380. else if(c0) runq->iflast = c0->type==IF;
  381. }
  382. /*
  383. * switch code looks like this:
  384. * Xmark
  385. * (get switch value)
  386. * Xjump 1f
  387. * out: Xjump leave
  388. * 1: Xmark
  389. * (get case values)
  390. * Xcase 1f
  391. * (commands)
  392. * Xjump out
  393. * 1: Xmark
  394. * (get case values)
  395. * Xcase 1f
  396. * (commands)
  397. * Xjump out
  398. * 1:
  399. * leave:
  400. * Xpopm
  401. */
  402. void
  403. codeswitch(tree *t, int eflag)
  404. {
  405. int leave; /* patch jump address to leave switch */
  406. int out; /* jump here to leave switch */
  407. int nextcase; /* patch jump address to next case */
  408. tree *tt;
  409. if(c1->child[0]==nil
  410. || c1->child[0]->type!=';'
  411. || !iscase(c1->child[0]->child[0])){
  412. yyerror("case missing in switch");
  413. return;
  414. }
  415. emitf(Xmark);
  416. outcode(c0, eflag);
  417. emitf(Xjump);
  418. nextcase = emiti(0);
  419. out = emitf(Xjump);
  420. leave = emiti(0);
  421. stuffdot(nextcase);
  422. t = c1->child[0];
  423. while(t->type==';'){
  424. tt = c1;
  425. emitf(Xmark);
  426. for(t = c0->child[0];t->type==ARGLIST;t = c0) outcode(c1, eflag);
  427. emitf(Xcase);
  428. nextcase = emiti(0);
  429. t = tt;
  430. for(;;){
  431. if(t->type==';'){
  432. if(iscase(c0)) break;
  433. outcode(c0, eflag);
  434. t = c1;
  435. }
  436. else{
  437. if(!iscase(t)) outcode(t, eflag);
  438. break;
  439. }
  440. }
  441. emitf(Xjump);
  442. emiti(out);
  443. stuffdot(nextcase);
  444. }
  445. stuffdot(leave);
  446. emitf(Xpopm);
  447. }
  448. int
  449. iscase(tree *t)
  450. {
  451. if(t->type!=SIMPLE)
  452. return 0;
  453. do t = c0; while(t->type==ARGLIST);
  454. return t->type==WORD && !t->quoted && strcmp(t->str, "case")==0;
  455. }
  456. code*
  457. codecopy(code *cp)
  458. {
  459. cp[0].i++;
  460. return cp;
  461. }
  462. void
  463. codefree(code *cp)
  464. {
  465. code *p;
  466. if(--cp[0].i!=0)
  467. return;
  468. for(p = cp+1;p->f;p++){
  469. if(p->f==Xappend || p->f==Xclose || p->f==Xread || p->f==Xwrite
  470. || p->f==Xrdwr
  471. || p->f==Xasync || p->f==Xbackq || p->f==Xcase || p->f==Xfalse
  472. || p->f==Xfor || p->f==Xjump
  473. || p->f==Xsubshell || p->f==Xtrue) p++;
  474. else if(p->f==Xdup || p->f==Xpipefd) p+=2;
  475. else if(p->f==Xpipe) p+=4;
  476. else if(p->f==Xword || p->f==Xdelhere) efree((++p)->s);
  477. else if(p->f==Xfn){
  478. efree(p[2].s);
  479. p+=2;
  480. }
  481. }
  482. efree((char *)cp);
  483. }