ref: c44aabebe17d7bc8e6173e2b3d1a6e7b4f5edaf5
dir: /utils/c2l/cc.y/
%{
#include "cc.h"
%}
%union {
Node* node;
Sym* sym;
Type* type;
struct
{
Type* t;
char c;
} tycl;
struct
{
Type* t1;
Type* t2;
} tyty;
struct
{
char* s;
long l;
} sval;
long lval;
double dval;
vlong vval;
}
%type <sym> ltag
%type <lval> gctname cname gname tname
%type <lval> gctnlist zgnlist tnlist
%type <type> tlist etlist sbody complex
%type <tycl> types etypes
%type <node> zarglist arglist zcexpr
%type <node> name block stmnt cexpr expr xuexpr pexpr
%type <node> zelist elist adecl slist uexpr string lstring sstring slstring
%type <node> xdecor xdecor2 labels label ulstmnt
%type <node> adlist edecor tag qual qlist
%type <node> abdecor abdecor1 abdecor2 abdecor3
%type <node> zexpr lexpr init ilist
%left ';'
%left ','
%right '=' LPE LME LMLE LDVE LMDE LRSHE LLSHE LANDE LXORE LORE
%right '?' ':'
%left LOROR
%left LANDAND
%left '|'
%left '^'
%left '&'
%left LEQ LNE
%left '<' '>' LLE LGE
%left LLSH LRSH
%left '+' '-'
%left '*' '/' '%'
%right LMM LPP LMG '.' '[' '('
%token <sym> LNAME LCTYPE LSTYPE
%token <dval> LFCONST LDCONST
%token <vval> LCHARACTER LCONST LLCONST LUCONST LULCONST LVLCONST LUVLCONST
%token <sval> LSTRING LLSTRING
%token LAUTO LBREAK LCASE LCHAR LCONTINUE LDEFAULT LDO
%token LDOUBLE LELSE LEXTERN LFLOAT LFOR LGOTO
%token LIF LINT LLONG LREGISTER LRETURN LSHORT LSIZEOF LUSED
%token LSTATIC LSTRUCT LSWITCH LTYPEDEF LUNION LUNSIGNED LWHILE
%token LVOID LENUM LSIGNED LCONSTNT LVOLATILE LSET LSIGNOF LVLONG
%%
prog:
| prog xdecl
/*
* external declarator
*/
xdecl:
zctlist ';'
{
dodecl(xdecl, lastclass, lasttype, Z, 1);
}
| zctlist xdlist ';'
| zctlist xdecor
{
lastdcl = T;
dodecl(xdecl, lastclass, lasttype, $2, 0);
if(lastdcl == T || lastdcl->etype != TFUNC) {
diag($2, "not a function");
lastdcl = types[TFUNC];
}
thisfn = lastdcl;
markdcl();
firstdcl = dclstack;
argmark($2, 0);
}
pdecl
{
argmark($2, 1);
}
block
{
$6->blk = 0;
codgen($6, $2, lineno);
revertdcl();
}
xdlist:
xdecor
{
dodecl(xdecl, lastclass, lasttype, $1, 1);
}
| xdecor
{
$1 = dodecl(xdecl, lastclass, lasttype, $1, 0);
}
'=' init
{
$4 = doinit($1->sym, $1->type, 0L, $4);
$4 = new(ODAS, $1, $4);
$4->type = $1->type;
$4->lineno = $1->lineno;
vtgen($4);
}
| xdlist ',' xdlist
xdecor:
xdecor2
| '*' zgnlist xdecor
{
$$ = new(OIND, $3, Z);
$$->garb = simpleg($2);
}
xdecor2:
tag
| '(' xdecor ')'
{
$$ = $2;
}
| xdecor2 '(' zarglist ')'
{
$$ = new(OFUNC, $1, $3);
/* outfun($$); */
}
| xdecor2 '[' zexpr ']'
{
$$ = new(OARRAY, $1, $3);
}
/*
* automatic declarator
*/
adecl:
{
$$ = Z;
}
| adecl ctlist ';'
{
$$ = dodecl(adecl, lastclass, lasttype, Z, 1);
if($1 != Z)
if($$ != Z)
$$ = new(OLIST, $1, $$);
else
$$ = $1;
}
| adecl ctlist adlist ';'
{
$$ = $1;
if($3 != Z) {
$$ = $3;
if($1 != Z)
$$ = new(OLIST, $1, $3);
}
}
adlist:
xdecor
{
$$ = dodecl(adecl, lastclass, lasttype, $1, 1);
if($$->sym->class == CSTATIC)
$$ = Z;
}
| xdecor
{
$1 = dodecl(adecl, lastclass, lasttype, $1, 0);
}
'=' init
{
/* long w; */
/* w = $1->sym->type->width; */
$$ = doinit($1->sym, $1->type, 0L, $4);
/* $$ = contig($1->sym, $$, w); */
$$ = new(ODAS, $1, $$);
$$->type = $1->type;
$$->lineno = $1->lineno;
vtgen($$);
if($1->sym->class == CSTATIC)
$$ = Z;
}
| adlist ',' adlist
{
$$ = $1;
if($3 != Z) {
$$ = $3;
if($1 != Z)
$$ = new(OLIST, $1, $3);
}
}
/*
* parameter declarator
*/
pdecl:
| pdecl ctlist pdlist ';'
pdlist:
xdecor
{
dodecl(pdecl, lastclass, lasttype, $1, 1);
}
| pdlist ',' pdlist
/*
* structure element declarator
*/
edecl:
etlist
{
lasttype = $1;
}
zedlist ';'
| edecl etlist
{
lasttype = $2;
}
zedlist ';'
zedlist: /* extension */
{
lastfield = 0;
edecl(CXXX, lasttype, S);
}
| edlist
edlist:
edecor
{
dodecl(edecl, CXXX, lasttype, $1, 1);
}
| edlist ',' edlist
edecor:
xdecor
{
lastbit = 0;
firstbit = 1;
}
| tag ':' lexpr
{
$$ = new(OBIT, $1, $3);
}
| ':' lexpr
{
$$ = new(OBIT, Z, $2);
}
/*
* abstract declarator
*/
abdecor:
{
$$ = (Z);
}
| abdecor1
abdecor1:
'*' zgnlist
{
$$ = new(OIND, (Z), Z);
$$->garb = simpleg($2);
}
| '*' zgnlist abdecor1
{
$$ = new(OIND, $3, Z);
$$->garb = simpleg($2);
}
| abdecor2
abdecor2:
abdecor3
| abdecor2 '(' zarglist ')'
{
$$ = new(OFUNC, $1, $3);
}
| abdecor2 '[' zexpr ']'
{
$$ = new(OARRAY, $1, $3);
}
abdecor3:
'(' ')'
{
$$ = new(OFUNC, (Z), Z);
}
| '[' zexpr ']'
{
$$ = new(OARRAY, (Z), $2);
}
| '(' abdecor1 ')'
{
$$ = $2;
}
init:
expr
| '{' ilist '}'
{
$$ = new(OINIT, invert($2), Z);
}
qual:
'[' lexpr ']'
{
$$ = new(OARRAY, $2, Z);
}
| '.' ltag
{
$$ = new(OELEM, Z, Z);
$$->sym = $2;
}
| qual '='
qlist:
init ','
| qlist init ','
{
$$ = new(OLIST, $1, $2);
}
| qual
| qlist qual
{
$$ = new(OLIST, $1, $2);
}
ilist:
qlist
| init
| qlist init
{
$$ = new(OLIST, $1, $2);
}
zarglist:
{
$$ = Z;
}
| arglist
{
$$ = invert($1);
}
arglist:
name
| tlist abdecor
{
$$ = new(OPROTO, $2, Z);
$$->type = $1;
}
| tlist xdecor
{
$$ = new(OPROTO, $2, Z);
$$->type = $1;
}
| '.' '.' '.'
{
$$ = new(ODOTDOT, Z, Z);
}
| arglist ',' arglist
{
$$ = new(OLIST, $1, $3);
}
block:
'{' adecl slist '}'
{
$$ = invert($3);
if($2 != Z)
$$ = new(OLIST, $2, $$);
if($$ == Z)
$$ = new(ONUL, Z, Z);
$$->blk = 1;
}
slist:
{
$$ = Z;
}
| slist stmnt
{
if($1 == Z)
$$ = $2;
else
$$ = new(OLIST, $1, $2);
}
labels:
label
| labels label
{
$$ = new(OLIST, $1, $2);
}
label:
LCASE expr ':'
{
$$ = new(OCASE, $2, Z);
$$->lineno = $2->lineno;
}
| LDEFAULT ':'
{
$$ = new(OCASE, Z, Z);
}
| LNAME ':'
{
$$ = new(OLABEL, dcllabel($1, 1), Z);
$1->lineno = lineno;
}
stmnt:
error ';'
{
$$ = Z;
}
| ulstmnt
| labels ulstmnt
{
$$ = new(OLIST, $1, $2);
}
ulstmnt:
zcexpr ';'
{
if($$ == Z)
$$ = new(ONUL, Z, Z);
$$->kind = KEXP;
}
| {
markdcl();
}
block
{
revertdcl();
$$ = $2;
}
| LIF '(' cexpr ')' stmnt
{
$$ = new(OIF, $3, new(OLIST, $5, Z));
$$->lineno = $3->lineno;
$5->blk = 0;
}
| LIF '(' cexpr ')' stmnt LELSE stmnt
{
$$ = new(OIF, $3, new(OLIST, $5, $7));
$$->lineno = $3->lineno;
$5->blk = $7->blk = 0;
}
| LFOR '(' zcexpr ';' zcexpr ';' zcexpr ')' stmnt
{
$$ = new(OFOR, new(OLIST, $5, new(OLIST, $3, $7)), $9);
if($3 != Z)
$$->lineno = $3->lineno;
else if($5 != Z)
$$->lineno = $5->lineno;
else if($7 != Z)
$$->lineno = $7->lineno;
else
$$->lineno = line($9);
$9->blk = 0;
}
| LWHILE '(' cexpr ')' stmnt
{
$$ = new(OWHILE, $3, $5);
$$->lineno = $3->lineno;
$5->blk = 0;
}
| LDO stmnt LWHILE '(' cexpr ')' ';'
{
$$ = new(ODWHILE, $5, $2);
$$->lineno = line($2);
$2->blk = 0;
}
| LRETURN zcexpr ';'
{
$$ = new(ORETURN, $2, Z);
$$->type = thisfn->link;
if($2 != Z)
$$->lineno = $2->lineno;
}
| LSWITCH '(' cexpr ')' stmnt
{
$$ = new(OSWITCH, $3, $5);
$$->lineno = $3->lineno;
$5->blk = 0;
}
| LBREAK ';'
{
$$ = new(OBREAK, Z, Z);
}
| LCONTINUE ';'
{
$$ = new(OCONTINUE, Z, Z);
}
| LGOTO LNAME ';'
{
$$ = new(OGOTO, dcllabel($2, 0), Z);
$2->lineno = lineno;
}
| LUSED '(' zelist ')' ';'
{
$$ = new(OUSED, $3, Z);
$$->lineno = line($3);
}
| LSET '(' zelist ')' ';'
{
$$ = new(OSET, $3, Z);
$$->lineno = line($3);
}
zcexpr:
{
$$ = Z;
}
| cexpr
zexpr:
{
$$ = Z;
}
| lexpr
lexpr:
expr
{
$$ = new(OCAST, $1, Z);
$$->type = types[TLONG];
}
cexpr:
expr
| cexpr ',' cexpr
{
$$ = new(OCOMMA, $1, $3);
}
expr:
xuexpr
| expr '*' expr
{
$$ = new(OMUL, $1, $3);
}
| expr '/' expr
{
$$ = new(ODIV, $1, $3);
}
| expr '%' expr
{
$$ = new(OMOD, $1, $3);
}
| expr '+' expr
{
$$ = new(OADD, $1, $3);
}
| expr '-' expr
{
$$ = new(OSUB, $1, $3);
}
| expr LRSH expr
{
$$ = new(OASHR, $1, $3);
}
| expr LLSH expr
{
$$ = new(OASHL, $1, $3);
}
| expr '<' expr
{
$$ = new(OLT, $1, $3);
}
| expr '>' expr
{
$$ = new(OGT, $1, $3);
}
| expr LLE expr
{
$$ = new(OLE, $1, $3);
}
| expr LGE expr
{
$$ = new(OGE, $1, $3);
}
| expr LEQ expr
{
$$ = new(OEQ, $1, $3);
}
| expr LNE expr
{
$$ = new(ONE, $1, $3);
}
| expr '&' expr
{
$$ = new(OAND, $1, $3);
}
| expr '^' expr
{
$$ = new(OXOR, $1, $3);
}
| expr '|' expr
{
$$ = new(OOR, $1, $3);
}
| expr LANDAND expr
{
$$ = new(OANDAND, $1, $3);
}
| expr LOROR expr
{
$$ = new(OOROR, $1, $3);
}
| expr '?' cexpr ':' expr
{
$$ = new(OCOND, $1, new(OLIST, $3, $5));
}
| expr '=' expr
{
$$ = new(OAS, $1, $3);
}
| expr LPE expr
{
$$ = new(OASADD, $1, $3);
}
| expr LME expr
{
$$ = new(OASSUB, $1, $3);
}
| expr LMLE expr
{
$$ = new(OASMUL, $1, $3);
}
| expr LDVE expr
{
$$ = new(OASDIV, $1, $3);
}
| expr LMDE expr
{
$$ = new(OASMOD, $1, $3);
}
| expr LLSHE expr
{
$$ = new(OASASHL, $1, $3);
}
| expr LRSHE expr
{
$$ = new(OASASHR, $1, $3);
}
| expr LANDE expr
{
$$ = new(OASAND, $1, $3);
}
| expr LXORE expr
{
$$ = new(OASXOR, $1, $3);
}
| expr LORE expr
{
$$ = new(OASOR, $1, $3);
}
xuexpr:
uexpr
| '(' tlist abdecor ')' xuexpr
{
$$ = new(OCAST, $5, Z);
dodecl(NODECL, CXXX, $2, $3, 1);
$$->type = lastdcl;
}
| '(' tlist abdecor ')' '{' ilist '}' /* extension */
{
$$ = new(OSTRUCT, $6, Z);
dodecl(NODECL, CXXX, $2, $3, 1);
$$->type = lastdcl;
}
uexpr:
pexpr
| '*' xuexpr
{
$$ = new(OIND, $2, Z);
}
| '&' xuexpr
{
$$ = new(OADDR, $2, Z);
}
| '+' xuexpr
{
$$ = new(OPOS, $2, Z);
}
| '-' xuexpr
{
$$ = new(ONEG, $2, Z);
}
| '!' xuexpr
{
$$ = new(ONOT, $2, Z);
}
| '~' xuexpr
{
$$ = new(OCOM, $2, Z);
}
| LPP xuexpr
{
$$ = new(OPREINC, $2, Z);
}
| LMM xuexpr
{
$$ = new(OPREDEC, $2, Z);
}
| LSIZEOF uexpr
{
$$ = new(OSIZE, $2, Z);
}
| LSIGNOF uexpr
{
$$ = new(OSIGN, $2, Z);
}
pexpr:
'(' cexpr ')'
{
$$ = $2;
}
| LSIZEOF '(' tlist abdecor ')'
{
$$ = new(OSIZE, Z, Z);
dodecl(NODECL, CXXX, $3, $4, 1);
$$->type = lastdcl;
}
| LSIGNOF '(' tlist abdecor ')'
{
$$ = new(OSIGN, Z, Z);
dodecl(NODECL, CXXX, $3, $4, 1);
$$->type = lastdcl;
}
| pexpr '(' zelist ')'
{
$$ = new(OFUNC, $1, Z);
if($1->op == ONAME)
if($1->type == T)
dodecl(xdecl, CXXX, types[TINT], $$, 1);
$$->right = invert($3);
$$->kind = KEXP;
}
| pexpr '[' cexpr ']'
{
$$ = new(OARRIND, $1, $3);
}
| pexpr LMG ltag
{
$$ = new(ODOTIND, $1, Z);
$$->sym = $3;
}
| pexpr '.' ltag
{
$$ = new(ODOT, $1, Z);
$$->sym = $3;
}
| pexpr LPP
{
$$ = new(OPOSTINC, $1, Z);
}
| pexpr LMM
{
$$ = new(OPOSTDEC, $1, Z);
}
| name
| LCHARACTER
{
$$ = new(OCONST, Z, Z);
$$->type = types[TINT];
$$->vconst = $1;
$$->kind = KCHR;
}
| LCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TINT];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| LLCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TLONG];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| LUCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TUINT];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| LULCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TULONG];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| LDCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TDOUBLE];
$$->fconst = $1;
$$->cstring = strdup(symb);
$$->kind = lastnumbase;
}
| LFCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TFLOAT];
$$->fconst = $1;
$$->cstring = strdup(symb);
$$->kind = lastnumbase;
}
| LVLCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TVLONG];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| LUVLCONST
{
$$ = new(OCONST, Z, Z);
$$->type = types[TUVLONG];
$$->vconst = $1;
$$->kind = lastnumbase;
}
| string
| lstring
sstring:
LSTRING
{
$$ = new(OSTRING, Z, Z);
$$->type = typ(TARRAY, types[TCHAR]);
$$->type->width = $1.l + 1;
$$->cstring = $1.s;
$$->sym = symstring;
}
string:
sstring
{
$$ = $1;
}
| string sstring
{
char *s;
int n1, n2;
n1 = $1->type->width - 1;
n2 = $2->type->width - 1;
s = alloc(n1+n2+MAXALIGN);
memcpy(s, $1->cstring, n1);
memcpy(s+n1, $2->cstring, n2);
s[n1+n2] = 0;
$1->left = new(OCAT, ncopy($1), $2);
$$ = $1;
$$->type->width += n2;
$$->cstring = s;
}
slstring:
LLSTRING
{
$$ = new(OLSTRING, Z, Z);
$$->type = typ(TARRAY, types[TUSHORT]);
$$->type->width = $1.l + sizeof(TRune);
$$->rstring = (TRune*)$1.s;
$$->sym = symstring;
}
lstring:
slstring
{
$$ = $1;
}
| lstring slstring
{
char *s;
int n1, n2;
n1 = $1->type->width - sizeof(TRune);
n2 = $2->type->width - sizeof(TRune);
s = alloc(n1+n2+MAXALIGN);
memcpy(s, $1->rstring, n1);
memcpy(s+n1, $2->rstring, n2);
*(TRune*)(s+n1+n2) = 0;
$1->left = new(OCAT, ncopy($1), $2);
$$ = $1;
$$->type->width += n2;
$$->rstring = (TRune*)s;
}
zelist:
{
$$ = Z;
}
| elist
elist:
expr
| elist ',' elist
{
$$ = new(OLIST, $1, $3);
}
sbody:
'{'
{
$<tyty>$.t1 = strf;
$<tyty>$.t2 = strl;
strf = T;
strl = T;
lastbit = 0;
firstbit = 1;
}
edecl '}'
{
$$ = strf;
strf = $<tyty>2.t1;
strl = $<tyty>2.t2;
}
zctlist:
{
lastclass = CXXX;
lasttype = types[TINT];
}
| ctlist
etypes:
complex
{
$$.t = $1;
$$.c = CXXX;
}
| tnlist
{
$$.t = simplet($1);
$$.c = simplec($1);
}
types:
complex
{
$$.t = $1;
$$.c = CXXX;
}
| complex gctnlist
{
$$.t = $1;
$$.c = simplec($2);
if($2 & ~BCLASS & ~BGARB)
diag(Z, "illegal combination of types 1: %Q/%T", $2, $1);
}
| gctnlist
{
$$.t = simplet($1);
$$.c = simplec($1);
$$.t = garbt($$.t, $1);
}
| gctnlist complex
{
$$.t = $2;
$$.c = simplec($1);
$$.t = garbt($$.t, $1);
if($1 & ~BCLASS & ~BGARB)
diag(Z, "illegal combination of types 2: %Q/%T", $1, $2);
}
| gctnlist complex gctnlist
{
$$.t = $2;
$$.c = simplec($1|$3);
$$.t = garbt($$.t, $1|$3);
if(($1|$3) & ~BCLASS & ~BGARB || $3 & BCLASS)
diag(Z, "illegal combination of types 3: %Q/%T/%Q", $1, $2, $3);
}
etlist:
zgnlist etypes
{
$$ = $2.t;
if($2.c != CXXX)
diag(Z, "illegal combination of class 4: %s", cnames[$2.c]);
$$ = garbt($$, $1);
}
tlist:
types
{
$$ = $1.t;
if($1.c != CXXX)
diag(Z, "illegal combination of class 4: %s", cnames[$1.c]);
}
ctlist:
types
{
lasttype = $1.t;
lastclass = $1.c;
}
complex:
LSTRUCT ltag
{
dotag($2, TSTRUCT, 0);
$$ = $2->suetag;
$2->lineno = lineno;
}
| LSTRUCT ltag
{
dotag($2, TSTRUCT, autobn);
saveline = $2->lineno = lineno;
}
sbody
{
$$ = $2->suetag;
if($$->link != T)
diag(Z, "redeclare tag: %s", $2->name);
$$->link = $4;
$$->lineno = saveline;
suallign($$);
}
| LSTRUCT
{
saveline = lineno;
}
sbody
{
char buf[128];
taggen++;
sprint(symb, "%s_adt_%d", outmod(buf, -1), taggen);
$$ = dotag(lookup(), TSTRUCT, autobn);
$$->link = $3;
$$->lineno = saveline;
lookup()->lineno = saveline;
suallign($$);
}
| LUNION ltag
{
dotag($2, TUNION, 0);
$$ = $2->suetag;
$2->lineno = lineno;
}
| LUNION ltag
{
dotag($2, TUNION, autobn);
saveline = $2->lineno = lineno;
}
sbody
{
$$ = $2->suetag;
if($$->link != T)
diag(Z, "redeclare tag: %s", $2->name);
$$->link = $4;
$$->lineno = saveline;
suallign($$);
}
| LUNION
{
saveline = lineno;
}
sbody
{
char buf[128];
taggen++;
sprint(symb, "%s_adt_%d", outmod(buf, -1), taggen);
$$ = dotag(lookup(), TUNION, autobn);
$$->link = $3;
$$->lineno = saveline;
lookup()->lineno = saveline;
suallign($$);
}
| LENUM ltag
{
dotag($2, TENUM, 0);
$$ = $2->suetag;
if($$->link == T)
$$->link = types[TINT];
$$ = $$->link;
$2->lineno = lineno;
}
| LENUM ltag
{
dotag($2, TENUM, autobn);
$2->lineno = lineno;
}
'{'
{
en.tenum = T;
en.cenum = T;
}
enum '}'
{
$$ = $2->suetag;
if($$->link != T)
diag(Z, "redeclare tag: %s", $2->name);
if(en.tenum == T) {
diag(Z, "enum type ambiguous: %s", $2->name);
en.tenum = types[TINT];
}
$$->link = en.tenum;
$$ = en.tenum;
etgen(nil);
}
| LENUM '{'
{
en.tenum = T;
en.cenum = T;
}
enum '}'
{
$$ = en.tenum;
etgen(nil);
}
| LCTYPE
{
$$ = tcopy($1->type);
}
| LSTYPE
{
$$ = tcopy($1->type);
}
tnlist:
tname
| tnlist tname
{
$$ = typebitor($1, $2);
}
gctnlist:
gctname
| gctnlist gctname
{
$$ = typebitor($1, $2);
}
zgnlist:
{
$$ = 0;
}
| zgnlist gname
{
$$ = typebitor($1, $2);
}
gctname:
tname
| gname
| cname
enum:
LNAME
{
doenum($1, Z);
$1->lineno = lineno;
}
| LNAME '=' expr
{
doenum($1, $3);
$1->lineno = lineno;
}
| enum ','
| enum ',' enum
tname: /* type words */
LCHAR { $$ = BCHAR; }
| LSHORT { $$ = BSHORT; }
| LINT { $$ = BINT; }
| LLONG { $$ = BLONG; }
| LSIGNED { $$ = BSIGNED; }
| LUNSIGNED { $$ = BUNSIGNED; }
| LFLOAT { $$ = BFLOAT; }
| LDOUBLE { $$ = BDOUBLE; }
| LVOID { $$ = BVOID; }
| LVLONG { $$ = BVLONG|BLONG; }
cname: /* class words */
LAUTO { $$ = BAUTO; }
| LSTATIC { $$ = BSTATIC; }
| LEXTERN { $$ = BEXTERN; }
| LTYPEDEF { $$ = BTYPEDEF; }
| LREGISTER { $$ = BREGISTER; }
gname:
LCONSTNT { $$ = BCONSTNT; }
| LVOLATILE { $$ = BVOLATILE; }
name:
LNAME
{
$$ = new(ONAME, Z, Z);
if($1->class == CLOCAL)
$1 = mkstatic($1);
$$->sym = $1;
$$->type = $1->type;
}
tag:
ltag
{
$$ = new(ONAME, Z, Z);
$$->sym = $1;
$$->type = $1->type;
}
ltag:
LNAME
| LCTYPE
| LSTYPE
%%