From: David Given Date: Sat, 24 Sep 2016 22:21:46 +0000 (+0200) Subject: We now record the code fragments to be emitted by each rule. X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=7c028bdd45b85dd302cd260a01eeced6eb967296;p=ack.git We now record the code fragments to be emitted by each rule. --- diff --git a/mach/proto/mcg/pass_instructionselection.c b/mach/proto/mcg/pass_instructionselection.c index 8d1fa4718..e54b6ea75 100644 --- a/mach/proto/mcg/pass_instructionselection.c +++ b/mach/proto/mcg/pass_instructionselection.c @@ -48,7 +48,7 @@ static void queue_instructions(struct ir* ir, int goal) for (i=0; nts[i]; i++) queue_instructions(children[i], nts[i]); - printf("selected insn %d: %s\n", ruleno, burm_string[ruleno]); + tracef('I', "I: $%d selected insn %d: %s\n", ir->id, ruleno, burm_string[ruleno]); } static void select_instructions(struct basicblock* bb) diff --git a/mach/proto/mcg/table b/mach/proto/mcg/table index f9f468f53..b32d43210 100644 --- a/mach/proto/mcg/table +++ b/mach/proto/mcg/table @@ -53,18 +53,18 @@ PATTERNS reg = in:LOCAL4 outs out:GPR - emit "add %out, fp, #%in.ivalue" + emit "add %out, fp, #%in" cost 4; address = in:LOCAL4 - fragment "[fp, #%in.ivalue]"; + fragment "[fp, #%in]"; /* Memory addressing modes */ address = ADD4(addr:reg, offset:CONST) ins addr:GPR - fragment "[%addr, #%offset.ivalue]"; + fragment "[%addr, #%offset]"; address = addr:reg ins addr:GPR @@ -74,12 +74,12 @@ PATTERNS /* Branches */ JUMP(addr:BLOCK4) - emit "b %addr.bvalue" + emit "b %addr" cost 4; CJUMPEQ(value:tristate, PAIR(true:BLOCK4, false:BLOCK4)) - emit "beq %trueblock.bvalue" - emit "bne %falseblock.bvalue" + emit "beq %true" + emit "bne %false" cost 8; @@ -136,15 +136,15 @@ PATTERNS reg = value:LABEL4 outs out:GPR - emit "adr %out, %value.lvalue" + emit "adr %out, %value" cost 4; reg = value:BLOCK4 outs out:GPR - emit "adr %out, %value.bvalue" + emit "adr %out, %value" cost 4; reg = value:CONST4 outs out:GPR - emit "ldr %out, #value.lvalue" + emit "ldr %out, #value" cost 4; diff --git a/util/mcgg/gram.y b/util/mcgg/gram.y index 82f8de7e1..369c65ef3 100644 --- a/util/mcgg/gram.y +++ b/util/mcgg/gram.y @@ -1,12 +1,14 @@ %{ #include #include +#include #include #include "iburg.h" #define YYDEBUG 1 -static char rcsid[] = "$Id$"; +extern int yylex(void); + static int nextern = 1; %} @@ -33,15 +35,16 @@ static int nextern = 1; %token INT %token ID %token CFRAGMENT -%token STRING +%token QFRAGMENT -%type cost %type pattern -%type stringlist -%type when +%type emit +%type cfragments +%type qfragments %type rhs %type labelledid %% + spec : PATTERNS patterns ; @@ -50,17 +53,15 @@ patterns : /* nothing */ | patterns pattern ';' | patterns ';' - | patterns error ';' { yyerrok; } ; pattern : ID '=' rhs { nonterm($1); $$ = rule($1, $3, nextern++); } | rhs { $$ = rule("stmt", $1, nextern++); } - | pattern WHEN stringlist { $$ = $1; $$->when = $3; } + | pattern WHEN cfragments { $$ = $1; $$->when = $3; } | pattern INS ins { $$ = $1; } | pattern OUTS outs { $$ = $1; } - | pattern EMIT STRING { $$ = $1; } - | pattern FRAGMENT STRING { $$ = $1; } + | emit { $$ = $1; } | pattern COST INT { $$ = $1; $$->cost = $3; } ; @@ -75,14 +76,9 @@ labelledid | ID ':' ID { $$[0] = $1; $$[1] = $3; } ; -when - : /* nothing */ { $$ = NULL; } - | WHEN stringlist { $$ = $2; } - ; - -stringlist +cfragments : /* nothing */ { $$ = NULL; } - | CFRAGMENT stringlist { $$ = pushstring($1, $2); } + | CFRAGMENT cfragments { $$ = pushstring($1, $2); } ; ins @@ -100,7 +96,18 @@ outs ; out - : ID ':' ID + : ID + | ID ':' ID + ; + +emit + : pattern EMIT qfragments { $$ = $1; $$->code = $3; $$->is_fragment = false; } + | pattern FRAGMENT qfragments { $$ = $1; $$->code = $3; $$->is_fragment = true; } + ; + +qfragments + : QFRAGMENT { $$ = pushstring($1, NULL); } + | QFRAGMENT qfragments { $$ = pushstring($1, $2); } ; %% diff --git a/util/mcgg/iburg.c b/util/mcgg/iburg.c index c26cfeef7..cbbfab50a 100644 --- a/util/mcgg/iburg.c +++ b/util/mcgg/iburg.c @@ -3,6 +3,7 @@ #include #include #include +#include #include #include #include @@ -45,6 +46,8 @@ static void emitstruct(Nonterm nts, int ntnumber); static void emitterms(Term terms); static void emittest(Tree t, char* v, char* suffix); +extern int yy_flex_debug; + int main(int argc, char* argv[]) { int c, i; @@ -57,10 +60,11 @@ int main(int argc, char* argv[]) infp = stdin; outfp = stdout; + yy_flex_debug = 0; for (;;) { - int opt = getopt(argc, argv, "p:i:o:y"); + int opt = getopt(argc, argv, "p:i:o:yf"); if (opt == -1) break; @@ -95,6 +99,12 @@ int main(int argc, char* argv[]) break; } + case 'f': + { + yy_flex_debug = 1; + break; + } + default: yyerror("usage: %s [-p prefix] < input > output\n", argv[0]); exit(1); diff --git a/util/mcgg/iburg.h b/util/mcgg/iburg.h index 0ad0fdeea..361cdba33 100644 --- a/util/mcgg/iburg.h +++ b/util/mcgg/iburg.h @@ -67,6 +67,8 @@ struct rule Rule decode; /* next rule with same lhs */ Rule kids; /* next rule with same burm_kids pattern */ Stringlist when; /* C predicate string */ + Stringlist code; /* compiler output code strings */ + bool is_fragment; /* does this rule generate an instruction fragment? */ }; extern Rule rule(char* id, Tree pattern, int ern); extern int maxcost; /* maximum cost */ diff --git a/util/mcgg/scan.l b/util/mcgg/scan.l index 0e0a92cd4..941830c73 100644 --- a/util/mcgg/scan.l +++ b/util/mcgg/scan.l @@ -1,4 +1,5 @@ %{ +#include #include "iburg.h" #include "y.tab.h" @@ -9,18 +10,14 @@ static int braces = 0; %option nodefault %option noyywrap %option yylineno +%option debug %x CSTRING +%x QSTRING %x ECHO %% -"%{" { printlineno(); BEGIN(ECHO); } - -"%}" BEGIN(INITIAL); -[%\n] fputc(yytext[0], outfp); -[^%\n]* fputs(yytext, outfp); - "{" { yylval.string = ""; //stringf("#line %d\n", yylineno); braces = 1; @@ -50,6 +47,19 @@ static int braces = 0; return CFRAGMENT; } +"\"" BEGIN(QSTRING); +"\"" BEGIN(INITIAL); + +%[a-zA-Z_]+ { + yylval.string = strdup(yytext); + return QFRAGMENT; + } + +[^\r\n%"]+ { + yylval.string = strdup(yytext); + return QFRAGMENT; + } + "%%" return PPERCENT; "%term" return TERMINAL; "%start" return START; @@ -62,7 +72,6 @@ static int braces = 0; "fragment" return FRAGMENT; "cost" return COST; -\"[^"\n]*\" { yylval.string = strdup(yytext); return STRING; } [A-Za-z_][A-Za-z0-9_]* { yylval.string = strdup(yytext); return ID; } [0-9]+ { yylval.n = atoi(yytext); return INT; } [ \t\r\n]* ;