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