123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520 |
- /*
- * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
- * See the copyright notice in the ACK home directory, in the file "Copyright".
- */
- /* $Id$ */
- /* MAIN PROGRAM */
- #include <string.h>
- #include "lint.h"
- #include <system.h>
- #include "print.h"
- #include "debug.h"
- #include "nopp.h"
- #include "label.h"
- #include "trgt_sizes.h"
- #include "use_tmp.h"
- #include "inputtype.h"
- #include "input.h"
- #include "level.h"
- #include "idf.h"
- #include "arith.h"
- #include "type.h"
- #include "proto.h"
- #include "declar.h"
- #include "tokenname.h"
- #include "Lpars.h"
- #include "LLlex.h"
- #include <alloc.h>
- #include "specials.h"
- #include "nocross.h"
- #include "sizes.h"
- #include "align.h"
- #include "macro.h"
- #include "assert.h"
- #include "code_c.h"
- #include "cstoper.h"
- #include "init.h"
- #include "options.h"
- #include "main.h"
- #include "error.h"
- #include "stack.h"
- #include "stack_loc.h"
- #include "idf_loc.h"
- #include "program.h"
- #include "tokenname.h"
- #include <symbol2str.h>
- extern struct tokenname tkidf[];
- extern char options[128];
- #ifndef NOPP
- int inc_pos = 1; /* place where next -I goes */
- int inc_total = 0;
- int inc_max;
- char **inctable;
- extern int do_dependencies;
- extern char *dep_file;
- static File *dep_fd = STDOUT;
- extern char *getwdir();
- #endif /* NOPP */
- struct sp_id special_ids[] = {
- {"__setjmp", SP_SETJMP}, /* non-local goto's are registered */
- {0, 0}
- };
- #ifndef NOCROSS
- arith
- short_size = SZ_SHORT,
- word_size = SZ_WORD,
- dword_size = (2 * SZ_WORD),
- int_size = SZ_INT,
- long_size = SZ_LONG,
- float_size = SZ_FLOAT,
- double_size = SZ_DOUBLE,
- lngdbl_size = SZ_LNGDBL,
- pointer_size = SZ_POINTER;
- int
- short_align = AL_SHORT,
- word_align = AL_WORD,
- int_align = AL_INT,
- long_align = AL_LONG,
- float_align = AL_FLOAT,
- double_align = AL_DOUBLE,
- lngdbl_align = AL_LNGDBL,
- pointer_align = AL_POINTER,
- struct_align = AL_STRUCT,
- union_align = AL_UNION;
- #endif /* NOCROSS */
- #ifndef NOPP
- arith ifval; /* ifval will contain the result of the #if expression */
- #endif /* NOPP */
- char *prog_name;
- int main(int argc, char *argv[])
- {
- /* parse and interpret the command line options */
- prog_name = argv[0];
- #ifndef NOPP
- inctable = (char **) Malloc(10 * sizeof(char *));
- inctable[0] = "";
- inctable[1] = 0;
- inctable[2] = 0;
- inc_total = 3;
- inc_max = 10;
- init_pp(); /* initialise the preprocessor macros */
- #endif /* NOPP */
- /* Note: source file "-" indicates that the source is supplied
- as standard input. This is only allowed if INP_READ_IN_ONE is
- not defined!
- */
- #ifdef INP_READ_IN_ONE
- while (argc > 1 && *argv[1] == '-')
- #else /* INP_READ_IN_ONE */
- while (argc > 1 && *argv[1] == '-' && argv[1][1] != '\0')
- #endif /* INP_READ_IN_ONE */
- {
- char *par = &argv[1][1];
- do_option(par);
- argc--, argv++;
- }
- #ifdef LINT
- lint_init();
- #endif /* LINT */
- compile(argc - 1, &argv[1]);
- #ifdef DEBUG
- if (options['h']) hash_stat();
- if (options['m']) Info();
- #endif /* DEBUG */
- #ifndef NOPP
- if (do_dependencies) {
- extern char *source;
- list_dependencies(source);
- }
- #endif
- sys_stop(err_occurred ? S_EXIT : S_END);
- /*NOTREACHED*/
- }
- #ifndef NOPP
- struct dependency *file_head;
- void list_dependencies(char *source)
- {
- struct dependency *p = file_head;
- if (source) {
- char *s = strrchr(source, '.');
- if (s && *(s+1)) {
- s++;
- *s++ = 'o';
- *s = '\0';
- /* the source may be in another directory than the
- * object generated, so don't include the pathname
- * leading to it.
- */
- if ( (s = strrchr(source, '/')) ) {
- source = s + 1;
- }
- }
- else source = 0;
- }
- if (dep_file && !sys_open(dep_file, OP_WRITE, &dep_fd)) {
- fatal("could not open %s", dep_file);
- }
- while (p) {
- dependency(p->dep_idf->id_text, source);
- p = p->next;
- }
- }
- void add_dependency(char *s)
- {
- struct idf *p = str2idf(s, 1);
- if (! p->id_resmac) {
- struct dependency *q = new_dependency();
- p->id_resmac = K_FILE;
- q->dep_idf = p;
- q->next = file_head;
- file_head = q;
- }
- }
- void dependency(char *s, char *source)
- {
- if (options['i'] && !strncmp(s, "/usr/include/", 13)) {
- return;
- }
- if (options['m'] && source) {
- fprint(dep_fd, "%s: %s\n", source, s);
- }
- else fprint(dep_fd, "%s\n", s);
- }
- #endif /* NOPP */
- char *source = 0;
- #ifdef GEN_NM_LIST
- char *nmlist = 0;
- #endif /* GEN_NM_LIST */
- void compile(int argc, char *argv[])
- {
- char *result;
- #ifndef LINT
- char *destination = 0;
- #endif /* LINT */
- #ifdef DEBUG
- #ifndef NOPP
- int pp_only = options['E'] || options['P'] || options['C'];
- #endif /* NOPP */
- #endif
- switch (argc) {
- case 1:
- #ifndef LINT
- #ifdef DEBUG
- #ifndef NOPP
- if (!pp_only)
- #endif /* NOPP */
- #endif
- fatal("%s: destination file not specified", prog_name);
- #endif /* LINT */
- break;
- #ifndef LINT
- case 2:
- destination = argv[1];
- break;
- #ifdef GEN_NM_LIST
- case 3:
- nmlist = argv[2];
- destination = argv[1];
- break;
- #endif /* GEN_NM_LIST */
- #endif /* LINT */
- default:
- #ifndef LINT
- #ifdef GEN_NM_LIST
- fatal("use: %s source destination [namelist]", prog_name);
- #else /* GEN_NM_LIST */
- fatal("use: %s source destination", prog_name);
- #endif /* GEN_NM_LIST */
- #else /* LINT */
- fatal("use: %s source", prog_name);
- #endif /* LINT */
- break;
- }
- if (strcmp(argv[0], "-"))
- FileName = source = argv[0];
- else {
- source = 0;
- FileName = Salloc("standard input", (unsigned) 16);
- }
- if (!InsertFile(source, (char **) 0, &result)) /* read the source file */
- fatal("%s: no source file %s\n", prog_name, FileName);
- File_Inserted = 1;
- init();
- LineNumber = 0;
- nestlow = -1;
- #ifndef LINT
- init_code(destination
- && strcmp(destination, "-") != 0
- ? destination
- : 0);
- #endif /* LINT */
- #ifndef NOPP
- WorkingDir = getwdir(source);
- PushLex(); /* initialize lex machine */
- #else /* NOPP */
- GetToken(&ahead);
- #endif /* NOPP */
- #ifdef DEBUG
- #ifndef NOPP
- if (pp_only) /* run the preprocessor as if it is stand-alone */
- preprocess();
- else
- #endif /* NOPP */
- #endif /* DEBUG */
- {
- /* compile the source text */
- C_program();
- #ifdef PREPEND_SCOPES
- prepend_scopes();
- #endif /* PREPEND_SCOPES */
- #ifndef LINT
- end_code();
- #endif /* LINT */
- #ifdef DEBUG
- if (options['u']) {
- unstack_level(); /* unstack L_GLOBAL */
- }
- if (options['f'] || options['t'])
- dumpidftab("end of main", options['f'] ? 7 : 0);
- #endif /* DEBUG */
- }
- #ifndef NOPP
- PopLex();
- #endif /* NOPP */
- }
- void init()
- {
- init_cst(); /* initialize variables of "cstoper.c" */
- reserve(tkidf); /* mark the C reserved words as such */
- init_specials(special_ids); /* mark special ids as such */
- schar_type = standard_type(CHAR, 0, 1, (arith)1);
- uchar_type = standard_type(CHAR, UNSIGNED, 1, (arith)1);
- short_type = standard_type(SHORT, 0, short_align, short_size);
- ushort_type = standard_type(SHORT, UNSIGNED, short_align, short_size);
- /* Treat type `word' as `int', having its own size and
- alignment requirements.
- This type is transparent to the user.
- */
- word_type = standard_type(INT, 0, word_align, word_size);
- uword_type = standard_type(INT, UNSIGNED, word_align, word_size);
- int_type = standard_type(INT, 0, int_align, int_size);
- uint_type = standard_type(INT, UNSIGNED, int_align, int_size);
- long_type = standard_type(LONG, 0, long_align, long_size);
- ulong_type = standard_type(LONG, UNSIGNED, long_align, long_size);
- float_type = standard_type(FLOAT, 0, float_align, float_size);
- double_type = standard_type(DOUBLE, 0, double_align, double_size);
- lngdbl_type = standard_type(LNGDBL, 0, lngdbl_align, lngdbl_size);
- void_type = standard_type(VOID, 0, 1, (arith)-1);
- error_type = standard_type(ERRONEOUS, 0, 1, (arith)1);
- error_type->tp_up = error_type;
- /* Pointer Arithmetic type: all arithmetics concerning
- pointers is supposed to be performed in the
- pointer arithmetic type which is equal to either
- int_type or long_type, depending on the pointer_size
- */
- if ((int)pointer_size == (int)int_size)
- pa_type = int_type;
- else
- if ((int)pointer_size == (int)long_size)
- pa_type = long_type;
- else
- fatal("pointer size incompatible with any integral size");
- if ((int)int_size != (int)word_size)
- fatal("int_size and word_size are not equal");
- if ((int)short_size > (int)int_size || (int)int_size > (int)long_size)
- fatal("sizes of short/int/long decreasing");
- if ((int)float_size > (int)double_size || (int)double_size > (int)lngdbl_size)
- fatal("sizes of float/double/long double decreasing");
- /* Build a type for function returning int (3.3.2.2) */
- funint_type = construct_type(FUNCTION, int_type, 0, (arith)0, NO_PROTO);
- string_type = construct_type(POINTER, schar_type, 0, (arith)0, NO_PROTO);
- /* Define the standard type identifiers. */
- add_def(str2idf("char", 0), TYPEDEF, schar_type, L_UNIVERSAL);
- add_def(str2idf("int", 0), TYPEDEF, int_type, L_UNIVERSAL);
- add_def(str2idf("float", 0), TYPEDEF, float_type, L_UNIVERSAL);
- add_def(str2idf("double", 0), TYPEDEF, double_type, L_UNIVERSAL);
- add_def(str2idf("void", 0), TYPEDEF, void_type, L_UNIVERSAL);
- stack_level();
- }
- void init_specials(struct sp_id *si)
- {
- while (si->si_identifier) {
- struct idf *idf = str2idf(si->si_identifier, 0);
- if (idf->id_special)
- fatal("maximum identifier length insufficient");
- idf->id_special = si->si_flag;
- si++;
- }
- }
- #ifdef DEBUG
- #ifndef NOPP
- void preprocess()
- {
- /* preprocess() is the "stand-alone" preprocessor which
- consecutively calls the lexical analyzer LLlex() to get
- the tokens and prints them in a suitable way.
- */
- static unsigned int lastlineno = 0;
- static char *lastfilenm = "";
- while (LLlex() != EOI) {
- if (lastlineno != dot.tk_line) {
- if (strcmp(lastfilenm, dot.tk_file) == 0) {
- if (dot.tk_line - lastlineno <= 1) {
- lastlineno++;
- print("\n");
- }
- else {
- lastlineno = dot.tk_line;
- if (!options['P'])
- print("\n#line %ld \"%s\"\n",
- lastlineno,
- lastfilenm
- );
- }
- }
- else {
- lastfilenm = dot.tk_file;
- lastlineno = dot.tk_line;
- if (!options['P'])
- print("\n#line %ld \"%s\"\n",
- lastlineno, lastfilenm);
- }
- }
- else
- if (strcmp(lastfilenm, dot.tk_file) != 0) {
- lastfilenm = dot.tk_file;
- if (!options['P'])
- print("\n#line %ld \"%s\"\n",
- lastlineno, lastfilenm);
- }
- switch (DOT) {
- case IDENTIFIER:
- case TYPE_IDENTIFIER:
- print("%s ", dot.tk_idf->id_text);
- break;
- case STRING:
- {
- char sbuf[1024]; /* a transient buffer */
- char *bts2str();
- print("\"%s\" ", bts2str(dot.tk_bts, dot.tk_len -
- 1, sbuf));
- break;
- }
- case INTEGER:
- print("%ld ", dot.tk_ival);
- break;
- case FLOATING:
- print("%s ", dot.tk_fval);
- break;
- case EOI:
- case EOF:
- return;
- default: /* very expensive... */
- print("%s ", symbol2str(DOT));
- }
- }
- }
- #endif /* NOPP */
- void Info()
- {
- extern int cnt_string_cst, cnt_formal,
- cnt_decl_unary, cnt_def, cnt_expr, cnt_field,
- cnt_e_stack, cnt_localvar, cnt_proto, cnt_repl,
- cnt_args, cnt_macro, cnt_stack_level,
- cnt_stack_entry, cnt_stmt_block, cnt_sdef, cnt_tag,
- cnt_switch_hdr, cnt_case_entry, cnt_type, cnt_brace,
- cnt_lint_stack_entry, cnt_state, cnt_auto_def,
- cnt_expr_state, cnt_argument;
- print("\
- %6d string_cst\n%6d formal\n\
- %6d decl_unary\n%6d def\n%6d expr\n%6d field\n\
- %6d e_stack\n%6d localvar\n%6d proto\n%6d repl\n\
- %6d args\n%6d macro\n%6d stack_level\n\
- %6d stack_entry\n%6d stmt_block\n%6d sdef\n%6d tag\n\
- %6d switch_hdr\n%6d case_entry\n%6d type\n%6d brace\n\
- %6d lint_stack_entry\n%6d state\n%6d auto_def\n\
- %6d expr_state\n%6d argument\n",
- cnt_string_cst, cnt_formal,
- cnt_decl_unary, cnt_def, cnt_expr, cnt_field,
- cnt_e_stack, cnt_localvar, cnt_proto, cnt_repl,
- cnt_args, cnt_macro, cnt_stack_level,
- cnt_stack_entry, cnt_stmt_block, cnt_sdef, cnt_tag,
- cnt_switch_hdr, cnt_case_entry, cnt_type, cnt_brace,
- cnt_lint_stack_entry, cnt_state, cnt_auto_def,
- cnt_expr_state, cnt_argument);
- }
- #endif /* DEBUG */
- void No_Mem() /* called by alloc package */
- {
- fatal("out of memory");
- }
- void C_failed() /* called by EM_code module */
- {
- fatal("write failed");
- }
|