aicasm.c
上传用户:lgb322
上传日期:2013-02-24
资源大小:30529k
文件大小:19k
源码类别:

嵌入式Linux

开发平台:

Unix_Linux

  1. /*
  2.  * Aic7xxx SCSI host adapter firmware asssembler
  3.  *
  4.  * Copyright (c) 1997, 1998, 2000, 2001 Justin T. Gibbs.
  5.  * Copyright (c) 2001 Adaptec Inc.
  6.  * All rights reserved.
  7.  *
  8.  * Redistribution and use in source and binary forms, with or without
  9.  * modification, are permitted provided that the following conditions
  10.  * are met:
  11.  * 1. Redistributions of source code must retain the above copyright
  12.  *    notice, this list of conditions, and the following disclaimer,
  13.  *    without modification.
  14.  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
  15.  *    substantially similar to the "NO WARRANTY" disclaimer below
  16.  *    ("Disclaimer") and any redistribution must be conditioned upon
  17.  *    including a substantially similar Disclaimer requirement for further
  18.  *    binary redistribution.
  19.  * 3. Neither the names of the above-listed copyright holders nor the names
  20.  *    of any contributors may be used to endorse or promote products derived
  21.  *    from this software without specific prior written permission.
  22.  *
  23.  * Alternatively, this software may be distributed under the terms of the
  24.  * GNU General Public License ("GPL") version 2 as published by the Free
  25.  * Software Foundation.
  26.  *
  27.  * NO WARRANTY
  28.  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  29.  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  30.  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
  31.  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  32.  * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  33.  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  34.  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  35.  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  36.  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
  37.  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  38.  * POSSIBILITY OF SUCH DAMAGES.
  39.  *
  40.  * $Id: //depot/aic7xxx/aic7xxx/aicasm/aicasm.c#11 $
  41.  *
  42.  * $FreeBSD: src/sys/dev/aic7xxx/aicasm/aicasm.c,v 1.29 2000/10/05 04:25:42 gibbs Exp $
  43.  */
  44. #include <sys/types.h>
  45. #include <sys/mman.h>
  46. #include <ctype.h>
  47. #include <inttypes.h>
  48. #include <stdio.h>
  49. #include <stdlib.h>
  50. #include <string.h>
  51. #include <sysexits.h>
  52. #include <unistd.h>
  53. #if linux
  54. #include <endian.h>
  55. #else
  56. #include <machine/endian.h>
  57. #endif
  58. #include "aicasm.h"
  59. #include "aicasm_symbol.h"
  60. #include "aicasm_insformat.h"
  61. typedef struct patch {
  62. STAILQ_ENTRY(patch) links;
  63. int patch_func;
  64. u_int begin;
  65. u_int skip_instr;
  66. u_int skip_patch;
  67. } patch_t;
  68. STAILQ_HEAD(patch_list, patch) patches;
  69. static void usage(void);
  70. static void back_patch(void);
  71. static void output_code(void);
  72. static void output_listing(char *ifilename);
  73. static void dump_scope(scope_t *scope);
  74. static void emit_patch(scope_t *scope, int patch);
  75. static int check_patch(patch_t **start_patch, int start_instr,
  76.        int *skip_addr, int *func_vals);
  77. struct path_list search_path;
  78. int includes_search_curdir;
  79. char *appname;
  80. FILE *ofile;
  81. char *ofilename;
  82. char *regfilename;
  83. FILE *regfile;
  84. char *listfilename;
  85. FILE *listfile;
  86. static STAILQ_HEAD(,instruction) seq_program;
  87. struct cs_tailq cs_tailq;
  88. struct scope_list scope_stack;
  89. symlist_t patch_functions;
  90. #if DEBUG
  91. extern int yy_flex_debug;
  92. extern int yydebug;
  93. #endif
  94. extern FILE *yyin;
  95. extern int yyparse(void);
  96. int main(int argc, char *argv[]);
  97. int
  98. main(int argc, char *argv[])
  99. {
  100. extern char *optarg;
  101. extern int optind;
  102. int  ch;
  103. int  retval;
  104. char *inputfilename;
  105. scope_t *sentinal;
  106. STAILQ_INIT(&patches);
  107. SLIST_INIT(&search_path);
  108. STAILQ_INIT(&seq_program);
  109. TAILQ_INIT(&cs_tailq);
  110. SLIST_INIT(&scope_stack);
  111. /* Set Sentinal scope node */
  112. sentinal = scope_alloc();
  113. sentinal->type = SCOPE_ROOT;
  114. includes_search_curdir = 1;
  115. appname = *argv;
  116. regfile = NULL;
  117. listfile = NULL;
  118. #if DEBUG
  119. yy_flex_debug = 0;
  120. yydebug = 0;
  121. #endif
  122. while ((ch = getopt(argc, argv, "d:l:n:o:r:I:O:")) != -1) {
  123. switch(ch) {
  124. case 'd':
  125. #if DEBUG
  126. if (strcmp(optarg, "s") == 0) {
  127. yy_flex_debug = 1;
  128. } else if (strcmp(optarg, "p") == 0) {
  129. yydebug = 1;
  130. } else {
  131. fprintf(stderr, "%s: -d Requires either an "
  132. "'s' or 'p' argumentn", appname);
  133. usage();
  134. }
  135. #else
  136. stop("-d: Assembler not built with debugging "
  137.      "information", EX_SOFTWARE);
  138. #endif
  139. break;
  140. case 'l':
  141. /* Create a program listing */
  142. if ((listfile = fopen(optarg, "w")) == NULL) {
  143. perror(optarg);
  144. stop(NULL, EX_CANTCREAT);
  145. }
  146. listfilename = optarg;
  147. break;
  148. case 'n':
  149. /* Don't complain about the -nostdinc directrive */
  150. if (strcmp(optarg, "ostdinc")) {
  151. fprintf(stderr, "%s: Unknown option -%c%sn",
  152. appname, ch, optarg);
  153. usage();
  154. /* NOTREACHED */
  155. }
  156. break;
  157. case 'o':
  158. if ((ofile = fopen(optarg, "w")) == NULL) {
  159. perror(optarg);
  160. stop(NULL, EX_CANTCREAT);
  161. }
  162. ofilename = optarg;
  163. break;
  164. case 'r':
  165. if ((regfile = fopen(optarg, "w")) == NULL) {
  166. perror(optarg);
  167. stop(NULL, EX_CANTCREAT);
  168. }
  169. regfilename = optarg;
  170. break;
  171. case 'I':
  172. {
  173. path_entry_t include_dir;
  174. if (strcmp(optarg, "-") == 0) {
  175. if (includes_search_curdir == 0) {
  176. fprintf(stderr, "%s: Warning - '-I-' "
  177. "specified multiple "
  178. "timesn", appname);
  179. }
  180. includes_search_curdir = 0;
  181. for (include_dir = SLIST_FIRST(&search_path);
  182.      include_dir != NULL;
  183.      include_dir = SLIST_NEXT(include_dir,
  184.       links))
  185. /*
  186.  * All entries before a '-I-' only
  187.  * apply to includes specified with
  188.  * quotes instead of "<>".
  189.  */
  190. include_dir->quoted_includes_only = 1;
  191. } else {
  192. include_dir =
  193.     (path_entry_t)malloc(sizeof(*include_dir));
  194. if (include_dir == NULL) {
  195. perror(optarg);
  196. stop(NULL, EX_OSERR);
  197. }
  198. include_dir->directory = strdup(optarg);
  199. if (include_dir->directory == NULL) {
  200. perror(optarg);
  201. stop(NULL, EX_OSERR);
  202. }
  203. include_dir->quoted_includes_only = 0;
  204. SLIST_INSERT_HEAD(&search_path, include_dir,
  205.   links);
  206. }
  207. break;
  208. }
  209. case '?':
  210. default:
  211. usage();
  212. /* NOTREACHED */
  213. }
  214. }
  215. argc -= optind;
  216. argv += optind;
  217. if (argc != 1) {
  218. fprintf(stderr, "%s: No input file specifiledn", appname);
  219. usage();
  220. /* NOTREACHED */
  221. }
  222. symtable_open();
  223. inputfilename = *argv;
  224. include_file(*argv, SOURCE_FILE);
  225. retval = yyparse();
  226. if (retval == 0) {
  227. if (SLIST_FIRST(&scope_stack) == NULL
  228.  || SLIST_FIRST(&scope_stack)->type != SCOPE_ROOT) {
  229. stop("Unterminated conditional expression",
  230.      EX_DATAERR);
  231. /* NOTREACHED */
  232. }
  233. /* Process outmost scope */
  234. process_scope(SLIST_FIRST(&scope_stack));
  235. /*
  236.  * Decend the tree of scopes and insert/emit
  237.  * patches as appropriate.  We perform a depth first
  238.  * tranversal, recursively handling each scope.
  239.  */
  240. /* start at the root scope */
  241. dump_scope(SLIST_FIRST(&scope_stack));
  242. /* Patch up forward jump addresses */
  243. back_patch();
  244. if (ofile != NULL)
  245. output_code();
  246. if (regfile != NULL) {
  247. symtable_dump(regfile);
  248. }
  249. if (listfile != NULL)
  250. output_listing(inputfilename);
  251. }
  252. stop(NULL, 0);
  253. /* NOTREACHED */
  254. return (0);
  255. }
  256. static void
  257. usage()
  258. {
  259. (void)fprintf(stderr,
  260. "usage: %-16s [-nostdinc] [-I-] [-I directory] [-o output_file]
  261. [-r register_output_file] [-l program_list_file]
  262. input_filen",
  263. appname);
  264. exit(EX_USAGE);
  265. }
  266. static void
  267. back_patch()
  268. {
  269. struct instruction *cur_instr;
  270. for (cur_instr = STAILQ_FIRST(&seq_program);
  271.      cur_instr != NULL;
  272.      cur_instr = STAILQ_NEXT(cur_instr, links)) {
  273. if (cur_instr->patch_label != NULL) {
  274. struct ins_format3 *f3_instr;
  275. u_int address;
  276. if (cur_instr->patch_label->type != LABEL) {
  277. char buf[255];
  278. snprintf(buf, sizeof(buf),
  279.  "Undefined label %s",
  280.  cur_instr->patch_label->name);
  281. stop(buf, EX_DATAERR);
  282. /* NOTREACHED */
  283. }
  284. f3_instr = &cur_instr->format.format3;
  285. address = f3_instr->address;
  286. address += cur_instr->patch_label->info.linfo->address;
  287. f3_instr->address = address;
  288. }
  289. }
  290. }
  291. static void
  292. output_code()
  293. {
  294. struct instruction *cur_instr;
  295. patch_t *cur_patch;
  296. critical_section_t *cs;
  297. symbol_node_t *cur_node;
  298. int instrcount;
  299. instrcount = 0;
  300. fprintf(ofile,
  301. "/*
  302.  * DO NOT EDIT - This file is automatically generated
  303.  *  from the following source files:
  304.  *
  305. %s */n", versions);
  306. fprintf(ofile, "static uint8_t seqprog[] = {n");
  307. for (cur_instr = STAILQ_FIRST(&seq_program);
  308.      cur_instr != NULL;
  309.      cur_instr = STAILQ_NEXT(cur_instr, links)) {
  310. fprintf(ofile, "%st0x%02x, 0x%02x, 0x%02x, 0x%02x",
  311. cur_instr == STAILQ_FIRST(&seq_program) ? "" : ",n",
  312. #if BYTE_ORDER == LITTLE_ENDIAN
  313. cur_instr->format.bytes[0],
  314. cur_instr->format.bytes[1],
  315. cur_instr->format.bytes[2],
  316. cur_instr->format.bytes[3]);
  317. #else
  318. cur_instr->format.bytes[3],
  319. cur_instr->format.bytes[2],
  320. cur_instr->format.bytes[1],
  321. cur_instr->format.bytes[0]);
  322. #endif
  323. instrcount++;
  324. }
  325. fprintf(ofile, "n};nn");
  326. /*
  327.  *  Output patch information.  Patch functions first.
  328.  */
  329. for (cur_node = SLIST_FIRST(&patch_functions);
  330.      cur_node != NULL;
  331.      cur_node = SLIST_NEXT(cur_node,links)) {
  332. fprintf(ofile,
  333. "static int ahc_patch%d_func(struct ahc_softc *ahc);
  334. static int
  335. ahc_patch%d_func(struct ahc_softc *ahc)
  336. {
  337. return (%s);
  338. }nn",
  339. cur_node->symbol->info.condinfo->func_num,
  340. cur_node->symbol->info.condinfo->func_num,
  341. cur_node->symbol->name);
  342. }
  343. fprintf(ofile,
  344. "typedef int patch_func_t (struct ahc_softc *);
  345. struct patch {
  346. patch_func_t *patch_func;
  347. uint32_t begin    :10,
  348. skip_instr :10,
  349. skip_patch :12;
  350. } patches[] = {n");
  351. for(cur_patch = STAILQ_FIRST(&patches);
  352.     cur_patch != NULL;
  353.     cur_patch = STAILQ_NEXT(cur_patch,links)) {
  354. fprintf(ofile, "%st{ ahc_patch%d_func, %d, %d, %d }",
  355. cur_patch == STAILQ_FIRST(&patches) ? "" : ",n",
  356. cur_patch->patch_func, cur_patch->begin,
  357. cur_patch->skip_instr, cur_patch->skip_patch);
  358. }
  359. fprintf(ofile, "n};n");
  360. fprintf(ofile,
  361. "struct cs {
  362. u_int16_t begin;
  363. u_int16_t end;
  364. } critical_sections[] = {n");
  365. for(cs = TAILQ_FIRST(&cs_tailq);
  366.     cs != NULL;
  367.     cs = TAILQ_NEXT(cs, links)) {
  368. fprintf(ofile, "%st{ %d, %d }",
  369. cs == TAILQ_FIRST(&cs_tailq) ? "" : ",n",
  370. cs->begin_addr, cs->end_addr);
  371. }
  372. fprintf(ofile, "n};n");
  373. fprintf(ofile,
  374. "const int num_critical_sections = sizeof(critical_sections)
  375.  / sizeof(*critical_sections);n");
  376. fprintf(stderr, "%s: %d instructions usedn", appname, instrcount);
  377. }
  378. static void
  379. dump_scope(scope_t *scope)
  380. {
  381. scope_t *cur_scope;
  382. /*
  383.  * Emit the first patch for this scope
  384.  */
  385. emit_patch(scope, 0);
  386. /*
  387.  * Dump each scope within this one.
  388.  */
  389. cur_scope = TAILQ_FIRST(&scope->inner_scope);
  390. while (cur_scope != NULL) {
  391. dump_scope(cur_scope);
  392. cur_scope = TAILQ_NEXT(cur_scope, scope_links);
  393. }
  394. /*
  395.  * Emit the second, closing, patch for this scope
  396.  */
  397. emit_patch(scope, 1);
  398. }
  399. void
  400. emit_patch(scope_t *scope, int patch)
  401. {
  402. patch_info_t *pinfo;
  403. patch_t *new_patch;
  404. pinfo = &scope->patches[patch];
  405. if (pinfo->skip_instr == 0)
  406. /* No-Op patch */
  407. return;
  408. new_patch = (patch_t *)malloc(sizeof(*new_patch));
  409. if (new_patch == NULL)
  410. stop("Could not malloc patch structure", EX_OSERR);
  411. memset(new_patch, 0, sizeof(*new_patch));
  412. if (patch == 0) {
  413. new_patch->patch_func = scope->func_num;
  414. new_patch->begin = scope->begin_addr;
  415. } else {
  416. new_patch->patch_func = 0;
  417. new_patch->begin = scope->end_addr;
  418. }
  419. new_patch->skip_instr = pinfo->skip_instr;
  420. new_patch->skip_patch = pinfo->skip_patch;
  421. STAILQ_INSERT_TAIL(&patches, new_patch, links);
  422. }
  423. void
  424. output_listing(char *ifilename)
  425. {
  426. char buf[1024];
  427. FILE *ifile;
  428. struct instruction *cur_instr;
  429. patch_t *cur_patch;
  430. symbol_node_t *cur_func;
  431. int *func_values;
  432. int instrcount;
  433. int instrptr;
  434. int line;
  435. int func_count;
  436. int skip_addr;
  437. instrcount = 0;
  438. instrptr = 0;
  439. line = 1;
  440. skip_addr = 0;
  441. if ((ifile = fopen(ifilename, "r")) == NULL) {
  442. perror(ifilename);
  443. stop(NULL, EX_DATAERR);
  444. }
  445. /*
  446.  * Determine which options to apply to this listing.
  447.  */
  448. for (func_count = 0, cur_func = SLIST_FIRST(&patch_functions);
  449.     cur_func != NULL;
  450.     cur_func = SLIST_NEXT(cur_func, links))
  451. func_count++;
  452. func_values = NULL;
  453. if (func_count != 0) {
  454. func_values = (int *)malloc(func_count * sizeof(int));
  455. if (func_values == NULL)
  456. stop("Could not malloc", EX_OSERR);
  457. func_values[0] = 0; /* FALSE func */
  458. func_count--;
  459. /*
  460.  * Ask the user to fill in the return values for
  461.  * the rest of the functions.
  462.  */
  463. for (cur_func = SLIST_FIRST(&patch_functions);
  464.      cur_func != NULL && SLIST_NEXT(cur_func, links) != NULL;
  465.      cur_func = SLIST_NEXT(cur_func, links), func_count--) {
  466. int input;
  467. fprintf(stdout, "n(%s)n", cur_func->symbol->name);
  468. fprintf(stdout,
  469. "Enter the return value for "
  470. "this expression[T/F]:");
  471. while (1) {
  472. input = getchar();
  473. input = toupper(input);
  474. if (input == 'T') {
  475. func_values[func_count] = 1;
  476. break;
  477. } else if (input == 'F') {
  478. func_values[func_count] = 0;
  479. break;
  480. }
  481. }
  482. if (isatty(fileno(stdin)) == 0)
  483. putchar(input);
  484. }
  485. fprintf(stdout, "nThanks!n");
  486. }
  487. /* Now output the listing */
  488. cur_patch = STAILQ_FIRST(&patches);
  489. for(cur_instr = STAILQ_FIRST(&seq_program);
  490.     cur_instr != NULL;
  491.     cur_instr = STAILQ_NEXT(cur_instr, links), instrcount++) {
  492. if (check_patch(&cur_patch, instrcount,
  493. &skip_addr, func_values) == 0) {
  494. /* Don't count this instruction as it is in a patch
  495.  * that was removed.
  496.  */
  497.                         continue;
  498. }
  499. while (line < cur_instr->srcline) {
  500. fgets(buf, sizeof(buf), ifile);
  501. fprintf(listfile, "tt%s", buf);
  502. line++;
  503. }
  504. fprintf(listfile, "%03x %02x%02x%02x%02x", instrptr,
  505. #if BYTE_ORDER == LITTLE_ENDIAN
  506. cur_instr->format.bytes[0],
  507. cur_instr->format.bytes[1],
  508. cur_instr->format.bytes[2],
  509. cur_instr->format.bytes[3]);
  510. #else
  511. cur_instr->format.bytes[3],
  512. cur_instr->format.bytes[2],
  513. cur_instr->format.bytes[1],
  514. cur_instr->format.bytes[0]);
  515. #endif
  516. fgets(buf, sizeof(buf), ifile);
  517. fprintf(listfile, "t%s", buf);
  518. line++;
  519. instrptr++;
  520. }
  521. /* Dump the remainder of the file */
  522. while(fgets(buf, sizeof(buf), ifile) != NULL)
  523. fprintf(listfile, "tt%s", buf);
  524. fclose(ifile);
  525. }
  526. static int
  527. check_patch(patch_t **start_patch, int start_instr,
  528.     int *skip_addr, int *func_vals)
  529. {
  530. patch_t *cur_patch;
  531. cur_patch = *start_patch;
  532. while (cur_patch != NULL && start_instr == cur_patch->begin) {
  533. if (func_vals[cur_patch->patch_func] == 0) {
  534. int skip;
  535. /* Start rejecting code */
  536. *skip_addr = start_instr + cur_patch->skip_instr;
  537. for (skip = cur_patch->skip_patch;
  538.      skip > 0 && cur_patch != NULL;
  539.      skip--)
  540. cur_patch = STAILQ_NEXT(cur_patch, links);
  541. } else {
  542. /* Accepted this patch.  Advance to the next
  543.  * one and wait for our intruction pointer to
  544.  * hit this point.
  545.  */
  546. cur_patch = STAILQ_NEXT(cur_patch, links);
  547. }
  548. }
  549. *start_patch = cur_patch;
  550. if (start_instr < *skip_addr)
  551. /* Still skipping */
  552. return (0);
  553. return (1);
  554. }
  555. /*
  556.  * Print out error information if appropriate, and clean up before
  557.  * terminating the program.
  558.  */
  559. void
  560. stop(const char *string, int err_code)
  561. {
  562. if (string != NULL) {
  563. fprintf(stderr, "%s: ", appname);
  564. if (yyfilename != NULL) {
  565. fprintf(stderr, "Stopped at file %s, line %d - ",
  566. yyfilename, yylineno);
  567. }
  568. fprintf(stderr, "%sn", string);
  569. }
  570. if (ofile != NULL) {
  571. fclose(ofile);
  572. if (err_code != 0) {
  573. fprintf(stderr, "%s: Removing %s due to errorn",
  574. appname, ofilename);
  575. unlink(ofilename);
  576. }
  577. }
  578. if (regfile != NULL) {
  579. fclose(regfile);
  580. if (err_code != 0) {
  581. fprintf(stderr, "%s: Removing %s due to errorn",
  582. appname, regfilename);
  583. unlink(regfilename);
  584. }
  585. }
  586. if (listfile != NULL) {
  587. fclose(listfile);
  588. if (err_code != 0) {
  589. fprintf(stderr, "%s: Removing %s due to errorn",
  590. appname, listfilename);
  591. unlink(listfilename);
  592. }
  593. }
  594. symlist_free(&patch_functions);
  595. symtable_close();
  596. exit(err_code);
  597. }
  598. struct instruction *
  599. seq_alloc()
  600. {
  601. struct instruction *new_instr;
  602. new_instr = (struct instruction *)malloc(sizeof(struct instruction));
  603. if (new_instr == NULL)
  604. stop("Unable to malloc instruction object", EX_SOFTWARE);
  605. memset(new_instr, 0, sizeof(*new_instr));
  606. STAILQ_INSERT_TAIL(&seq_program, new_instr, links);
  607. new_instr->srcline = yylineno;
  608. return new_instr;
  609. }
  610. critical_section_t *
  611. cs_alloc()
  612. {
  613. critical_section_t *new_cs;
  614. new_cs= (critical_section_t *)malloc(sizeof(critical_section_t));
  615. if (new_cs == NULL)
  616. stop("Unable to malloc critical_section object", EX_SOFTWARE);
  617. memset(new_cs, 0, sizeof(*new_cs));
  618. TAILQ_INSERT_TAIL(&cs_tailq, new_cs, links);
  619. return new_cs;
  620. }
  621. scope_t *
  622. scope_alloc()
  623. {
  624. scope_t *new_scope;
  625. new_scope = (scope_t *)malloc(sizeof(scope_t));
  626. if (new_scope == NULL)
  627. stop("Unable to malloc scope object", EX_SOFTWARE);
  628. memset(new_scope, 0, sizeof(*new_scope));
  629. TAILQ_INIT(&new_scope->inner_scope);
  630. if (SLIST_FIRST(&scope_stack) != NULL) {
  631. TAILQ_INSERT_TAIL(&SLIST_FIRST(&scope_stack)->inner_scope,
  632.   new_scope, scope_links);
  633. }
  634. /* This patch is now the current scope */
  635. SLIST_INSERT_HEAD(&scope_stack, new_scope, scope_stack_links);
  636. return new_scope;
  637. }
  638. void
  639. process_scope(scope_t *scope)
  640. {
  641. /*
  642.  * We are "leaving" this scope.  We should now have
  643.  * enough information to process the lists of scopes
  644.  * we encapsulate.
  645.  */
  646. scope_t *cur_scope;
  647. u_int skip_patch_count;
  648. u_int skip_instr_count;
  649. cur_scope = TAILQ_LAST(&scope->inner_scope, scope_tailq);
  650. skip_patch_count = 0;
  651. skip_instr_count = 0;
  652. while (cur_scope != NULL) {
  653. u_int patch0_patch_skip;
  654. patch0_patch_skip = 0;
  655. switch (cur_scope->type) {
  656. case SCOPE_IF:
  657. case SCOPE_ELSE_IF:
  658. if (skip_instr_count != 0) {
  659. /* Create a tail patch */
  660. patch0_patch_skip++;
  661. cur_scope->patches[1].skip_patch =
  662.     skip_patch_count + 1;
  663. cur_scope->patches[1].skip_instr =
  664.     skip_instr_count;
  665. }
  666. /* Count Head patch */
  667. patch0_patch_skip++;
  668. /* Count any patches contained in our inner scope */
  669. patch0_patch_skip += cur_scope->inner_scope_patches;
  670. cur_scope->patches[0].skip_patch = patch0_patch_skip;
  671. cur_scope->patches[0].skip_instr =
  672.     cur_scope->end_addr - cur_scope->begin_addr;
  673. skip_instr_count += cur_scope->patches[0].skip_instr;
  674. skip_patch_count += patch0_patch_skip;
  675. if (cur_scope->type == SCOPE_IF) {
  676. scope->inner_scope_patches += skip_patch_count;
  677. skip_patch_count = 0;
  678.         skip_instr_count = 0;
  679. }
  680. break;
  681. case SCOPE_ELSE:
  682. /* Count any patches contained in our innter scope */
  683. skip_patch_count += cur_scope->inner_scope_patches;
  684. skip_instr_count += cur_scope->end_addr
  685.   - cur_scope->begin_addr;
  686. break;
  687. case SCOPE_ROOT:
  688. stop("Unexpected scope type encountered", EX_SOFTWARE);
  689. /* NOTREACHED */
  690. }
  691. cur_scope = TAILQ_PREV(cur_scope, scope_tailq, scope_links);
  692. }
  693. }