X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCC.lex;h=d88529d2740cb8bf624f6d00824c22927051ae23;hb=324c546ec931717cb4a2aa705ae1c943b4b89604;hp=a400a6f0ca928ae6391203ce377e48d1965b5cf2;hpb=315208ed05c5115661982da0deff5558c74042be;p=fw%2Fsdcc diff --git a/src/SDCC.lex b/src/SDCC.lex index a400a6f0..d88529d2 100644 --- a/src/SDCC.lex +++ b/src/SDCC.lex @@ -22,6 +22,8 @@ what you give them. Help stamp out software-hoarding! -------------------------------------------------------------------------*/ +%option noyywrap + D [0-9] L [a-zA-Z_] H [a-fA-F0-9] @@ -35,21 +37,40 @@ IS (u|U|l|L)* #include #include "common.h" #include "newalloc.h" - +#include "dbuf.h" + char *stringLiteral(); char *currFname; extern int lineno, column; extern char *filename ; -int yylineno = 1 ; +int mylineno = 1 ; void count() ; int process_pragma(char *); #undef yywrap +#ifndef YYPROTO + +#ifdef YY_USE_PROTOS +#define YY_PROTO(proto) proto +#else +#define YY_PROTO(proto) () +#endif + +#endif + int yywrap YY_PROTO((void)) { return(1); } + +static void yyunput (int, char *); + +static void my_unput(char c) +{ + yyunput(c, (yytext_ptr)); +} + #define TKEYWORD(token) return (isTargetKeyword(yytext) ? token :\ check_type(yytext)) char *asmbuff=NULL; @@ -62,26 +83,8 @@ extern int processPragma (char *); extern int printListing (int ); struct optimize save_optimize ; struct options save_options ; - - enum { - P_SAVE = 1, - P_RESTORE , - P_NOINDUCTION, - P_NOINVARIANT, - P_INDUCTION , - P_STACKAUTO , - P_NOJTBOUND , - P_NOOVERLAY , - P_NOGCSE , - P_CALLEE_SAVES, - P_EXCLUDE , - P_NOIV , - P_LOOPREV , - P_OVERLAY_ /* I had a strange conflict with P_OVERLAY while */ - /* cross-compiling for MINGW32 with gcc 3.2 */ - }; - %} + %x asm %% "_asm" { @@ -93,8 +96,7 @@ struct options save_options ; "_endasm" { count(); *asmp = '\0'; - yylval.yyinline = malloc (strlen(asmbuff)+1); - strcpy(yylval.yyinline,asmbuff); + yylval.yyinline = strdup (asmbuff); BEGIN(INITIAL); return (INLINEASM); } @@ -243,7 +245,7 @@ struct options save_options ; if (ch!='\n') { // that could have been removed by the preprocessor anyway werror (W_STRAY_BACKSLASH, column); - unput(ch); + my_unput(ch); } } . { count() ; } @@ -276,7 +278,7 @@ int checkCurrFile ( char *s) /* set the current line number to */ /* line number if printFlag is on */ if (!*s) { - lineno = yylineno = lNum ; + lineno = mylineno = lNum ; return 0; } @@ -288,16 +290,15 @@ int checkCurrFile ( char *s) /* in c1mode fullSrcFileName is NULL */ if ( fullSrcFileName && strncmp(s,fullSrcFileName,strlen(fullSrcFileName)) == 0) { - lineno = yylineno = lNum; + lineno = mylineno = lNum; currFname = fullSrcFileName ; } else { char *sb = s; /* mark the end of the filename */ while (*s != '"') s++; *s = '\0'; - currFname = malloc (strlen(sb)+1); - strcpy(currFname,sb); - lineno = yylineno = lNum; + currFname = strdup (sb); + lineno = mylineno = lNum; } filename = currFname ; return 0; @@ -312,7 +313,7 @@ void count() for (i = 0; yytext[i] != '\0'; i++) { if (yytext[i] == '\n') { column = 0; - lineno = ++yylineno ; + lineno = ++mylineno ; } else if (yytext[i] == '\t') @@ -327,239 +328,282 @@ int check_type() { /* check if it is in the typedef table */ if (findSym(TypedefTab,NULL,yytext)) { - strcpy(yylval.yychar,yytext); + strncpyz(yylval.yychar,yytext, SDCC_NAME_MAX); return (TYPE_NAME) ; } else { - strcpy (yylval.yychar,yytext); + strncpyz (yylval.yychar,yytext, SDCC_NAME_MAX); return(IDENTIFIER); } } -char strLitBuff[2048]; // TODO: this is asking for the next bug :) - /* * Change by JTV 2001-05-19 to not concantenate strings * to support ANSI hex and octal escape sequences in string liteals */ -char *stringLiteral () { +char *stringLiteral() +{ +#define STR_BUF_CHUNCK_LEN 1024 int ch; - char *str = strLitBuff; - - *str++ = '\"'; + static struct dbuf_s dbuf; + char buf[2]; + + if (dbuf.alloc == 0) + dbuf_init(&dbuf, STR_BUF_CHUNCK_LEN); + else + dbuf_set_size(&dbuf, 0); + + + dbuf_append(&dbuf, "\"", 1); /* put into the buffer till we hit the first \" */ - - while (1) { - ch = input(); - - if (!ch) - break; /* end of input */ - - /* if it is a \ then escape char's are allowed */ - if (ch == '\\') { - ch=input(); - if (ch=='\n') { - /* \ is a continuator */ - lineno=++yylineno; - column=0; - continue; + + while ((ch = input()) != 0) { + switch (ch) { + case '\\': + /* if it is a \ then escape char's are allowed */ + ch = input(); + if (ch == '\n') { + /* \ is a continuator */ + lineno = ++mylineno; + column = 0; } - *str++ = '\\'; /* backslash in place */ - *str++ = ch; /* get the escape char, no further check */ - continue; /* carry on */ - } - - /* if new line we have a new line break, which is illegal */ - if (ch == '\n') { - werror (W_NEWLINE_IN_STRING); - *str++ = '\n'; - lineno=++yylineno; - column=0; - continue; - } - - /* if this is a quote then we have work to do */ - /* find the next non whitespace character */ - /* if that is a double quote then carry on */ - if (ch == '\"') { - *str++ = ch ; /* Pass end of this string or substring to evaluator */ + else { + buf[0] = '\\'; + buf[1] = ch; + dbuf_append(&dbuf, buf, 2); /* get the escape char, no further check */ + } + break; /* carry on */ + + case '\n': + /* if new line we have a new line break, which is illegal */ + werror(W_NEWLINE_IN_STRING); + dbuf_append(&dbuf, "\n", 1); + lineno = ++mylineno; + column = 0; + break; + + case '"': + /* if this is a quote then we have work to do */ + /* find the next non whitespace character */ + /* if that is a double quote then carry on */ + dbuf_append(&dbuf, "\"", 1); /* Pass end of this string or substring to evaluator */ while ((ch = input()) && (isspace(ch) || ch=='\\')) { - switch (ch) { - case '\\': - if ((ch=input())!='\n') { - werror (W_STRAY_BACKSLASH, column); - unput(ch); - } else { - lineno=++yylineno; - column=0; - } - break; - case '\n': - yylineno++; - break; - } + switch (ch) { + case '\\': + if ((ch = input()) != '\n') { + werror(W_STRAY_BACKSLASH, column); + my_unput(ch); + } + else { + lineno = ++mylineno; + column = 0; + } + break; + + case '\n': + mylineno++; + break; + } } if (!ch) - break; + goto out; if (ch != '\"') { - unput(ch) ; - break ; + my_unput(ch) ; + goto out; } - } - *str++ = ch; /* Put next substring introducer into output string */ - } - *str = '\0'; - - return strLitBuff; -} + break; -void doPragma (int op, char *cp) -{ - switch (op) { - case P_SAVE: - memcpy(&save_options,&options,sizeof(options)); - memcpy(&save_optimize,&optimize,sizeof(optimize)); - break; - case P_RESTORE: - memcpy(&options,&save_options,sizeof(options)); - memcpy(&optimize,&save_optimize,sizeof(optimize)); - break; - case P_NOINDUCTION: - optimize.loopInduction = 0 ; - break; - case P_NOINVARIANT: - optimize.loopInvariant = 0 ; - break; - case P_INDUCTION: - optimize.loopInduction = 1 ; - break; - case P_STACKAUTO: - options.stackAuto = 1; - break; - case P_NOJTBOUND: - optimize.noJTabBoundary = 1; - break; - case P_NOGCSE: - optimize.global_cse = 0; - break; - case P_NOOVERLAY: - options.noOverlay = 1; - break; - case P_CALLEE_SAVES: - { - int i=0; - /* append to the functions already listed - in callee-saves */ - for (; options.calleeSaves[i] ;i++); - parseWithComma(&options.calleeSaves[i], Safe_strdup(cp)); - } - break; - case P_EXCLUDE: - parseWithComma(options.excludeRegs, Safe_strdup(cp)); - break; - case P_NOIV: - options.noiv = 1; - break; - case P_LOOPREV: - optimize.noLoopReverse = 1; - break; - case P_OVERLAY_: - break; /* notyet */ + default: + buf[0] = ch; + dbuf_append(&dbuf, buf, 1); /* Put next substring introducer into output string */ } + } + +out: + return (char *)dbuf_c_str(&dbuf); } -int process_pragma(char *s) -{ - char *cp ; - /* find the pragma */ - while (strncmp(s,"#pragma",7)) - s++; - s += 7; - - /* look for the directive */ - while(isspace(*s)) s++; - cp = s; - /* look for the end of the directive */ - while ((! isspace(*s)) && - (*s != '\n')) - s++ ; +enum pragma_id { + P_SAVE = 1, + P_RESTORE , + P_NOINDUCTION, + P_NOINVARIANT, + P_INDUCTION , + P_STACKAUTO , + P_NOJTBOUND , + P_NOOVERLAY , + P_LESSPEDANTIC, + P_NOGCSE , + P_CALLEE_SAVES, + P_EXCLUDE , + P_NOIV , + P_LOOPREV , + P_OVERLAY_ /* I had a strange conflict with P_OVERLAY while */ + /* cross-compiling for MINGW32 with gcc 3.2 */ +}; - /* First give the port a chance */ - if (port->process_pragma && !port->process_pragma(cp)) - return 0; - /* now compare and do what needs to be done */ - if (strncmp(cp,PRAGMA_SAVE,strlen(PRAGMA_SAVE)) == 0) { - doPragma(P_SAVE,cp+strlen(PRAGMA_SAVE)); - return 0; - } +/* SAVE/RESTORE stack */ +#define SAVE_RESTORE_SIZE 128 - if (strncmp(cp,PRAGMA_RESTORE,strlen(PRAGMA_RESTORE)) == 0) { - doPragma (P_RESTORE,cp+strlen(PRAGMA_RESTORE)); - return 0; - } +STACK_DCL(options_stack, struct options *, SAVE_RESTORE_SIZE) +STACK_DCL(optimize_stack, struct optimize *, SAVE_RESTORE_SIZE) - if (strncmp(cp,PRAGMA_NOINDUCTION,strlen(PRAGMA_NOINDUCTION)) == 0) { - doPragma (P_NOINDUCTION,cp+strlen(PRAGMA_NOINDUCTION)) ; - return 0; - } - if (strncmp(cp,PRAGMA_NOINVARIANT,strlen(PRAGMA_NOINVARIANT)) == 0) { - doPragma (P_NOINVARIANT,NULL) ; - return 0; +void doPragma (int op, char *cp) +{ + switch (op) { + case P_SAVE: + { + struct options *optionsp; + struct optimize *optimizep; + + optionsp = Safe_malloc(sizeof (struct options)); + *optionsp = options; + STACK_PUSH(options_stack, optionsp); + + optimizep = Safe_malloc(sizeof (struct optimize)); + *optimizep = optimize; + STACK_PUSH(optimize_stack, optimizep); } + break; - if (strncmp(cp,PRAGMA_INDUCTION,strlen(PRAGMA_INDUCTION)) == 0) { - doPragma (P_INDUCTION,NULL) ; - return 0; - } + case P_RESTORE: + { + struct options *optionsp; + struct optimize *optimizep; - if (strncmp(cp,PRAGMA_STACKAUTO,strlen(PRAGMA_STACKAUTO)) == 0) { - doPragma (P_STACKAUTO,NULL); - return 0; - } + optionsp = STACK_POP(options_stack); + options = *optionsp; + Safe_free(optionsp); - if (strncmp(cp,PRAGMA_NOJTBOUND,strlen(PRAGMA_NOJTBOUND)) == 0) { - doPragma (P_NOJTBOUND,NULL); - return 0; + optimizep = STACK_POP(optimize_stack); + optimize = *optimizep; + Safe_free(optimizep); } - - if (strncmp(cp,PRAGMA_NOGCSE,strlen(PRAGMA_NOGCSE)) == 0) { - doPragma (P_NOGCSE,NULL); - return 0; + break; + + case P_NOINDUCTION: + optimize.loopInduction = 0 ; + break; + + case P_NOINVARIANT: + optimize.loopInvariant = 0 ; + break; + + case P_INDUCTION: + optimize.loopInduction = 1 ; + break; + + case P_STACKAUTO: + options.stackAuto = 1; + break; + + case P_NOJTBOUND: + optimize.noJTabBoundary = 1; + break; + + case P_NOGCSE: + optimize.global_cse = 0; + break; + + case P_NOOVERLAY: + options.noOverlay = 1; + break; + + case P_LESSPEDANTIC: + options.lessPedantic = 1; + break; + + case P_CALLEE_SAVES: + { + int i=0; + /* append to the functions already listed + in callee-saves */ + for (; options.calleeSaves[i] ;i++); + parseWithComma(&options.calleeSaves[i], Safe_strdup(cp)); } + break; - if (strncmp(cp,PRAGMA_NOOVERLAY,strlen(PRAGMA_NOOVERLAY)) == 0) { - doPragma (P_NOOVERLAY,NULL); - return 0; - } - - if (strncmp(cp,PRAGMA_CALLEESAVES,strlen(PRAGMA_CALLEESAVES)) == 0) { - doPragma(P_CALLEE_SAVES,cp+strlen(PRAGMA_CALLEESAVES)); - return 0; - } + case P_EXCLUDE: + parseWithComma(options.excludeRegs, Safe_strdup(cp)); + break; + + case P_NOIV: + options.noiv = 1; + break; + + case P_LOOPREV: + optimize.noLoopReverse = 1; + break; + + case P_OVERLAY_: + break; /* notyet */ + } +} + +int process_pragma(char *s) +{ +#define NELEM(x) (sizeof (x) / sizeof (x)[0]) +#define PRAGMA "#pragma" + + static struct pragma_s { + const char *name; + enum pragma_id id; + } pragma_tbl[] = { + { "SAVE", P_SAVE }, + { "RESTORE", P_RESTORE }, + { "NOINDUCTION", P_NOINDUCTION }, + { "NOINVARIANT", P_NOINVARIANT }, + { "NOLOOPREVERSE", P_LOOPREV }, + { "INDUCTION", P_INDUCTION }, + { "STACKAUTO", P_STACKAUTO }, + { "NOJTBOUND", P_NOJTBOUND }, + { "NOGCSE", P_NOGCSE }, + { "NOOVERLAY", P_NOOVERLAY }, + { "CALLEE-SAVES", P_CALLEE_SAVES }, + { "EXCLUDE", P_EXCLUDE }, + { "NOIV", P_NOIV }, + { "OVERLAY", P_OVERLAY_ }, + { "LESS_PEDANTIC", P_LESSPEDANTIC }, + }; + char *cp ; + int i; + + /* find the pragma */ + while (strncmp(s, PRAGMA, (sizeof PRAGMA) - 1)) + s++; + s += (sizeof PRAGMA) - 1; - if (strncmp(cp,PRAGMA_EXCLUDE,strlen(PRAGMA_EXCLUDE)) == 0) { - doPragma(P_EXCLUDE,cp+strlen(PRAGMA_EXCLUDE)); - return 0; - } + /* look for the directive */ + while(isspace(*s)) + s++; - if (strncmp(cp,PRAGMA_NOIV,strlen(PRAGMA_NOIV)) == 0) { - doPragma(P_NOIV,cp+strlen(PRAGMA_NOIV)); - return 0; - } + cp = s; + /* look for the end of the directive */ + while ((!isspace(*s)) && (*s != '\n')) + s++ ; - if (strncmp(cp,PRAGMA_NOLOOPREV,strlen(PRAGMA_NOLOOPREV)) == 0) { - doPragma(P_LOOPREV,NULL); - return 0; + /* First give the port a chance */ + if (port->process_pragma && !port->process_pragma(cp)) + return 0; + + for (i = 0; i < NELEM(pragma_tbl); i++) { + /* now compare and do what needs to be done */ + size_t len = strlen(pragma_tbl[i].name); + + if (strncmp(cp, pragma_tbl[i].name, len) == 0) { + doPragma(pragma_tbl[i].id, cp + len); + return 0; } + } - werror(W_UNKNOWN_PRAGMA,cp); - return 0; + werror(W_UNKNOWN_PRAGMA,cp); + return 0; } /* will return 1 if the string is a part @@ -584,9 +628,9 @@ int yyerror(char *s) { fflush(stdout); - if (yylineno && filename) { + if (mylineno && filename) { fprintf(stdout,"\n%s:%d: %s: token -> '%s' ; column %d\n", - filename,yylineno, + filename,mylineno, s,yytext,column); fatalError++; } else {