1# Copyright (c) 2009 The Hewlett-Packard Development Company
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright
9# notice, this list of conditions and the following disclaimer in the
10# documentation and/or other materials provided with the distribution;
11# neither the name of the copyright holders nor the names of its
12# contributors may be used to endorse or promote products derived from
13# this software without specific prior written permission.
14#
15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26#
27# Authors: Nathan Binkert
28
29import os.path
30import re
31import sys
32
33from m5.util import code_formatter
34from m5.util.grammar import Grammar, ParseError
35
36import slicc.ast as ast
37import slicc.util as util
38from slicc.symbols import SymbolTable
39
40def read_slicc(sources):
41 if not isinstance(sources, (list,tuple)):
42 sources = [ sources ]
43
44 for source in sources:
45 for sm_file in file(source, "r"):
46 sm_file = sm_file.strip()
47 if not sm_file:
48 continue
49 if sm_file.startswith("#"):
50 continue
51 yield sm_file
52
53class SLICC(Grammar):
54 def __init__(self, protocol, **kwargs):
55 self.decl_list_vec = []
56 self.protocol = protocol
57 self.symtab = SymbolTable(self)
58
59 def codeFormatter(self, *args, **kwargs):
60 code = code_formatter(*args, **kwargs)
61 code['protocol'] = self.protocol
62 return code
63
64 def parse(self, filename):
65 try:
66 decl_list = self.parse_file(filename)
67 except ParseError, e:
68 sys.exit(str(e))
69 self.decl_list_vec.append(decl_list)
70
71 def _load(self, *filenames):
72 filenames = list(filenames)
73 while filenames:
74 f = filenames.pop(0)
75 if isinstance(f, (list, tuple)):
76 filenames[0:0] = list(f)
77 continue
78
79 yield f
80 if f.endswith(".slicc"):
81 dirname,basename = os.path.split(f)
82 filenames[0:0] = [ os.path.join(dirname, x) \
83 for x in read_slicc(f)]
84 else:
85 assert f.endswith(".sm")
86 self.parse(f)
87
88 def load(self, *filenames, **kwargs):
89 verbose = kwargs.pop("verbose", False)
90 if kwargs:
91 raise TypeError
92
93 gen = self._load(*filenames)
94 if verbose:
95 return gen
96 else:
97 # Run out the generator if we don't want the verbosity
98 for foo in gen:
99 pass
100
101 def findMachines(self):
102 for decl_list in self.decl_list_vec:
103 decl_list.findMachines()
104
105 def generate(self):
106 for decl_list in self.decl_list_vec:
107 decl_list.generate()
108
109 def writeCodeFiles(self, code_path):
110 util.makeDir(code_path)
111 self.symtab.writeCodeFiles(code_path)
112
113 def writeHTMLFiles(self, code_path):
114 util.makeDir(code_path)
115 self.symtab.writeHTMLFiles(code_path)
116
117 def files(self):
118 f = set([
119 'MachineType.cc',
120 'MachineType.hh',
121 'Types.hh' ])
122
123 for decl_list in self.decl_list_vec:
124 f |= decl_list.files()
125
126 return f
127
128 t_ignore = '\t '
129
130 # C or C++ comment (ignore)
131 def t_c_comment(self, t):
132 r'/\*(.|\n)*?\*/'
133 t.lexer.lineno += t.value.count('\n')
134
135 def t_cpp_comment(self, t):
136 r'//.*'
137
138 # Define a rule so we can track line numbers
139 def t_newline(self, t):
140 r'\n+'
141 t.lexer.lineno += len(t.value)
142
143 reserved = {
144 'global' : 'GLOBAL',
145 'machine' : 'MACHINE',
146 'in_port' : 'IN_PORT',
147 'out_port' : 'OUT_PORT',
148 'action' : 'ACTION',
149 'transition' : 'TRANS',
150 'structure' : 'STRUCT',
151 'external_type' : 'EXTERN_TYPE',
152 'enumeration' : 'ENUM',
153 'state_declaration' : 'STATE_DECL',
154 'peek' : 'PEEK',
155 'stall_and_wait' : 'STALL_AND_WAIT',
156 'enqueue' : 'ENQUEUE',
157 'copy_head' : 'COPY_HEAD',
158 'check_allocate' : 'CHECK_ALLOCATE',
159 'check_stop_slots' : 'CHECK_STOP_SLOTS',
160 'static_cast' : 'STATIC_CAST',
161 'if' : 'IF',
162 'is_valid' : 'IS_VALID',
163 'is_invalid' : 'IS_INVALID',
164 'else' : 'ELSE',
165 'return' : 'RETURN',
166 'THIS' : 'THIS',
167 'CHIP' : 'CHIP',
168 'void' : 'VOID',
169 'new' : 'NEW',
170 'OOD' : 'OOD',
171 }
172
173 literals = ':[]{}(),='
174
175 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
176 'LEFTSHIFT', 'RIGHTSHIFT',
177 'NOT', 'AND', 'OR',
178 'PLUS', 'DASH', 'STAR', 'SLASH',
179 'DOUBLE_COLON', 'SEMI',
180 'ASSIGN', 'DOT',
181 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ]
182 tokens += reserved.values()
183
184 t_EQ = r'=='
185 t_NE = r'!='
186 t_LT = r'<'
187 t_GT = r'>'
188 t_LE = r'<='
189 t_GE = r'>='
190 t_LEFTSHIFT = r'<<'
191 t_RIGHTSHIFT = r'>>'
192 t_NOT = r'!'
193 t_AND = r'&&'
194 t_OR = r'\|\|'
195 t_PLUS = r'\+'
196 t_DASH = r'-'
197 t_STAR = r'\*'
198 t_SLASH = r'/'
199 t_DOUBLE_COLON = r'::'
200 t_SEMI = r';'
201 t_ASSIGN = r':='
202 t_DOT = r'\.'
203
204 precedence = (
205 ('left', 'AND', 'OR'),
206 ('left', 'EQ', 'NE'),
207 ('left', 'LT', 'GT', 'LE', 'GE'),
208 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
209 ('left', 'PLUS', 'DASH'),
210 ('left', 'STAR', 'SLASH'),
211 ('right', 'NOT', 'UMINUS'),
212 )
213
214 def t_IDENT(self, t):
215 r'[a-zA-Z_][a-zA-Z_0-9]*'
216 if t.value == 'true':
217 t.type = 'LIT_BOOL'
218 t.value = True
219 return t
220
221 if t.value == 'false':
222 t.type = 'LIT_BOOL'
223 t.value = False
224 return t
225
226 # Check for reserved words
227 t.type = self.reserved.get(t.value, 'IDENT')
228 return t
229
230 def t_FLOATNUMBER(self, t):
231 '[0-9]+[.][0-9]+'
232 try:
233 t.value = float(t.value)
234 except ValueError:
235 raise ParseError("Illegal float", t)
236 return t
237
238 def t_NUMBER(self, t):
239 r'[0-9]+'
240 try:
241 t.value = int(t.value)
242 except ValueError:
243 raise ParseError("Illegal number", t)
244 return t
245
246 def t_STRING1(self, t):
247 r'\"[^"\n]*\"'
248 t.type = 'STRING'
249 t.value = t.value[1:-1]
250 return t
251
252 def t_STRING2(self, t):
253 r"\'[^'\n]*\'"
254 t.type = 'STRING'
255 t.value = t.value[1:-1]
256 return t
257
258 def p_file(self, p):
259 "file : decls"
260 p[0] = p[1]
261
262 def p_empty(self, p):
263 "empty :"
264
265 def p_decls(self, p):
266 "decls : declsx"
267 p[0] = ast.DeclListAST(self, p[1])
268
269 def p_declsx__list(self, p):
270 "declsx : decl declsx"
271 p[0] = [ p[1] ] + p[2]
272
273 def p_declsx__none(self, p):
274 "declsx : empty"
275 p[0] = []
276
277 def p_decl__machine(self, p):
278 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'"
279 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
280
281 def p_decl__action(self, p):
282 "decl : ACTION '(' ident pairs ')' statements"
283 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
284
285 def p_decl__in_port(self, p):
286 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
287 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
288
289 def p_decl__out_port(self, p):
290 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
291 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
292
293 def p_decl__trans0(self, p):
294 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents"
295 p[0] = ast.TransitionDeclAST(self, p[3], p[5], p[7], p[8], p[10])
296
297 def p_decl__trans1(self, p):
298 "decl : TRANS '(' idents ',' idents pairs ')' idents"
299 p[0] = ast.TransitionDeclAST(self, p[3], p[5], None, p[6], p[8])
300
301 def p_decl__extern0(self, p):
302 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
303 p[4]["external"] = "yes"
304 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
305
306 def p_decl__global(self, p):
307 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
308 p[4]["global"] = "yes"
309 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
310
311 def p_decl__struct(self, p):
312 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
313 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
314
315 def p_decl__enum(self, p):
316 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
317 p[4]["enumeration"] = "yes"
318 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
319
320 def p_decl__state_decl(self, p):
321 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
322 p[4]["enumeration"] = "yes"
323 p[4]["state_decl"] = "yes"
324 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
325
326 def p_decl__object(self, p):
327 "decl : type ident pairs SEMI"
328 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
329
330 def p_decl__func_decl(self, p):
331 """decl : void ident '(' params ')' pairs SEMI
332 | type ident '(' params ')' pairs SEMI"""
333 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
334
335 def p_decl__func_def(self, p):
336 """decl : void ident '(' params ')' pairs statements
337 | type ident '(' params ')' pairs statements"""
338 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
339
340 # Type fields
341 def p_type_members__list(self, p):
342 "type_members : type_member type_members"
343 p[0] = [ p[1] ] + p[2]
344
345 def p_type_members__empty(self, p):
346 "type_members : empty"
347 p[0] = []
348
349 def p_type_method__0(self, p):
350 "type_member : type_or_void ident '(' types ')' pairs SEMI"
351 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
352
353 def p_type_member__1(self, p):
354 "type_member : type_or_void ident pairs SEMI"
355 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
356
357 def p_type_member__2(self, p):
358 "type_member : type_or_void ident ASSIGN expr SEMI"
359 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
360 ast.PairListAST(self), p[4])
361
362 # Enum fields
363 def p_type_enums__list(self, p):
364 "type_enums : type_enum type_enums"
365 p[0] = [ p[1] ] + p[2]
366
367 def p_type_enums__empty(self, p):
368 "type_enums : empty"
369 p[0] = []
370
371 def p_type_enum(self, p):
372 "type_enum : ident pairs SEMI"
373 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
374
375 # States
376 def p_type_states__list(self, p):
377 "type_states : type_state type_states"
378 p[0] = [ p[1] ] + p[2]
379
380 def p_type_states__empty(self, p):
381 "type_states : empty"
382 p[0] = []
383
384 def p_type_state(self, p):
385 "type_state : ident ',' enumeration pairs SEMI"
386 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
387
388 # Type
389 def p_types__multiple(self, p):
390 "types : type ',' types"
391 p[0] = [ p[1] ] + p[3]
392
393 def p_types__one(self, p):
394 "types : type"
395 p[0] = [ p[1] ]
396
397 def p_types__empty(self, p):
398 "types : empty"
399 p[0] = []
400
401 def p_typestr__multi(self, p):
402 "typestr : typestr DOUBLE_COLON ident"
403 p[0] = '%s::%s' % (p[1], p[3])
404
405 def p_typestr__single(self, p):
406 "typestr : ident"
407 p[0] = p[1]
408
409 def p_type__one(self, p):
410 "type : typestr"
411 p[0] = ast.TypeAST(self, p[1])
412
413 def p_void(self, p):
414 "void : VOID"
415 p[0] = ast.TypeAST(self, p[1])
416
417 def p_type_or_void(self, p):
418 """type_or_void : type
419 | void"""
420 p[0] = p[1]
421
422 # Formal Param
423 def p_params__many(self, p):
424 "params : param ',' params"
425 p[0] = [ p[1] ] + p[3]
426
427 def p_params__one(self, p):
428 "params : param"
429 p[0] = [ p[1] ]
430
431 def p_params__none(self, p):
432 "params : empty"
433 p[0] = []
434
435 def p_param(self, p):
436 "param : type ident"
437 p[0] = ast.FormalParamAST(self, p[1], p[2])
438
439 def p_param__pointer(self, p):
440 "param : type STAR ident"
441 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
442
443 def p_param__pointer_default(self, p):
444 "param : type STAR ident '=' STRING"
445 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
446
447 def p_param__default_number(self, p):
448 "param : type ident '=' NUMBER"
449 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
450
451 def p_param__default_bool(self, p):
452 "param : type ident '=' LIT_BOOL"
453 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
454
455 def p_param__default_string(self, p):
456 "param : type ident '=' STRING"
457 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
458
459 # Idents and lists
460 def p_idents__braced(self, p):
461 "idents : '{' identx '}'"
462 p[0] = p[2]
463
464 def p_idents__bare(self, p):
465 "idents : ident"
466 p[0] = [ p[1] ]
467
468 def p_identx__multiple_1(self, p):
469 """identx : ident SEMI identx
470 | ident ',' identx"""
471 p[0] = [ p[1] ] + p[3]
472
473 def p_identx__multiple_2(self, p):
474 "identx : ident identx"
475 p[0] = [ p[1] ] + p[2]
476
477 def p_identx__single(self, p):
478 "identx : empty"
479 p[0] = [ ]
480
481 def p_ident(self, p):
482 "ident : IDENT"
483 p[0] = p[1]
484
485 # Pair and pair lists
486 def p_pairs__list(self, p):
487 "pairs : ',' pairsx"
488 p[0] = p[2]
489
490 def p_pairs__empty(self, p):
491 "pairs : empty"
492 p[0] = ast.PairListAST(self)
493
494 def p_pairsx__many(self, p):
495 "pairsx : pair ',' pairsx"
496 p[0] = p[3]
497 p[0].addPair(p[1])
498
499 def p_pairsx__one(self, p):
500 "pairsx : pair"
501 p[0] = ast.PairListAST(self)
502 p[0].addPair(p[1])
503
504 def p_pair__assign(self, p):
505 """pair : ident '=' STRING
506 | ident '=' ident
507 | ident '=' NUMBER"""
508 p[0] = ast.PairAST(self, p[1], p[3])
509
510 def p_pair__literal(self, p):
511 "pair : STRING"
512 p[0] = ast.PairAST(self, "short", p[1])
513
514 # Below are the rules for action descriptions
515 def p_statements__inner(self, p):
516 "statements : '{' statements_inner '}'"
517 p[0] = ast.StatementListAST(self, p[2])
518
519 def p_statements__none(self, p):
520 "statements : '{' '}'"
521 p[0] = ast.StatementListAST(self, [])
522
523 def p_statements_inner__many(self, p):
524 "statements_inner : statement statements_inner"
525 p[0] = [ p[1] ] + p[2]
526
527 def p_statements_inner__one(self, p):
528 "statements_inner : statement"
529 p[0] = [ p[1] ]
530
531 def p_exprs__multiple(self, p):
532 "exprs : expr ',' exprs"
533 p[0] = [ p[1] ] + p[3]
534
535 def p_exprs__one(self, p):
536 "exprs : expr"
537 p[0] = [ p[1] ]
538
539 def p_exprs__empty(self, p):
540 "exprs : empty"""
541 p[0] = []
542
543 def p_statement__expression(self, p):
544 "statement : expr SEMI"
545 p[0] = ast.ExprStatementAST(self, p[1])
546
547 def p_statement__assign(self, p):
548 "statement : expr ASSIGN expr SEMI"
549 p[0] = ast.AssignStatementAST(self, p[1], p[3])
550
551 def p_statement__enqueue(self, p):
552 "statement : ENQUEUE '(' var ',' type pairs ')' statements"
553 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8])
554
555 def p_statement__stall_and_wait(self, p):
556 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
557 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
558
559 def p_statement__peek(self, p):
560 "statement : PEEK '(' var ',' type pairs ')' statements"
561 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
562
563 def p_statement__copy_head(self, p):
564 "statement : COPY_HEAD '(' var ',' var pairs ')' SEMI"
565 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6])
566
567 def p_statement__check_allocate(self, p):
568 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
569 p[0] = ast.CheckAllocateStatementAST(self, p[3])
570
571 def p_statement__check_stop(self, p):
572 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
573 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
574
575 def p_statement__static_cast(self, p):
576 "aexpr : STATIC_CAST '(' type ',' expr ')'"
577 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
578
579 def p_statement__static_cast_ptr(self, p):
580 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
581 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
582
583 def p_statement__return(self, p):
584 "statement : RETURN expr SEMI"
585 p[0] = ast.ReturnStatementAST(self, p[2])
586
587 def p_statement__if(self, p):
588 "statement : if_statement"
589 p[0] = p[1]
590
591 def p_if_statement__if(self, p):
592 "if_statement : IF '(' expr ')' statements"
593 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
594
595 def p_if_statement__if_else(self, p):
596 "if_statement : IF '(' expr ')' statements ELSE statements"
597 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
598
599 def p_statement__if_else_if(self, p):
600 "if_statement : IF '(' expr ')' statements ELSE if_statement"
601 p[0] = ast.IfStatementAST(self, p[3], p[5],
602 ast.StatementListAST(self, p[7]))
603
604 def p_expr__var(self, p):
605 "aexpr : var"
606 p[0] = p[1]
607
608 def p_expr__localvar(self, p):
609 "aexpr : type ident"
610 p[0] = ast.LocalVariableAST(self, p[1], p[2])
611
612 def p_expr__literal(self, p):
613 "aexpr : literal"
614 p[0] = p[1]
615
616 def p_expr__enumeration(self, p):
617 "aexpr : enumeration"
618 p[0] = p[1]
619
620 def p_expr__func_call(self, p):
621 "aexpr : ident '(' exprs ')'"
622 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
623
624 def p_expr__new(self, p):
625 "aexpr : NEW type"
626 p[0] = ast.NewExprAST(self, p[2])
627
628 def p_expr__null(self, p):
629 "aexpr : OOD"
630 p[0] = ast.OodAST(self)
631
632 # globally access a local chip component and call a method
633 def p_expr__local_chip_method(self, p):
634 "aexpr : THIS DOT var '[' expr ']' DOT var DOT ident '(' exprs ')'"
635 p[0] = ast.LocalChipMethodAST(self, p[3], p[5], p[8], p[10], p[12])
636
637 # globally access a local chip component and access a data member
638 def p_expr__local_chip_member(self, p):
639 "aexpr : THIS DOT var '[' expr ']' DOT var DOT field"
640 p[0] = ast.LocalChipMemberAST(self, p[3], p[5], p[8], p[10])
641
642 # globally access a specified chip component and call a method
643 def p_expr__specified_chip_method(self, p):
644 "aexpr : CHIP '[' expr ']' DOT var '[' expr ']' DOT var DOT ident '(' exprs ')'"
645 p[0] = ast.SpecifiedChipMethodAST(self, p[3], p[6], p[8], p[11], p[13],
646 p[15])
647
648 # globally access a specified chip component and access a data member
649 def p_expr__specified_chip_member(self, p):
650 "aexpr : CHIP '[' expr ']' DOT var '[' expr ']' DOT var DOT field"
651 p[0] = ast.SpecifiedChipMemberAST(self, p[3], p[6], p[8], p[11], p[13])
652
653 def p_expr__member(self, p):
654 "aexpr : aexpr DOT ident"
655 p[0] = ast.MemberExprAST(self, p[1], p[3])
656
657 def p_expr__member_method_call(self, p):
658 "aexpr : aexpr DOT ident '(' exprs ')'"
659 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
660
661 def p_expr__member_method_call_lookup(self, p):
662 "aexpr : aexpr '[' exprs ']'"
663 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
664
665 def p_expr__class_method_call(self, p):
666 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
667 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
668
669 def p_expr__aexpr(self, p):
670 "expr : aexpr"
671 p[0] = p[1]
672
673 def p_expr__binary_op(self, p):
674 """expr : expr STAR expr
675 | expr SLASH expr
676 | expr PLUS expr
677 | expr DASH expr
678 | expr LT expr
679 | expr GT expr
680 | expr LE expr
681 | expr GE expr
682 | expr EQ expr
683 | expr NE expr
684 | expr AND expr
685 | expr OR expr
686 | expr RIGHTSHIFT expr
687 | expr LEFTSHIFT expr"""
688 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
689
690 # FIXME - unary not
691 def p_expr__unary_op(self, p):
692 """expr : NOT expr
693 | DASH expr %prec UMINUS"""
694 p[0] = PrefixOperatorExpr(p[1], p[2])
695
696 def p_expr__parens(self, p):
697 "aexpr : '(' expr ')'"
698 p[0] = p[2]
699
700 def p_expr__is_valid_ptr(self, p):
701 "aexpr : IS_VALID '(' var ')'"
702 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
703
704 def p_expr__is_invalid_ptr(self, p):
705 "aexpr : IS_INVALID '(' var ')'"
706 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
707
708 def p_literal__string(self, p):
709 "literal : STRING"
710 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
711
712 def p_literal__number(self, p):
713 "literal : NUMBER"
714 p[0] = ast.LiteralExprAST(self, p[1], "int")
715
716 def p_literal__float(self, p):
717 "literal : FLOATNUMBER"
718 p[0] = ast.LiteralExprAST(self, p[1], "int")
719
720 def p_literal__bool(self, p):
721 "literal : LIT_BOOL"
722 p[0] = ast.LiteralExprAST(self, p[1], "bool")
723
724 def p_enumeration(self, p):
725 "enumeration : ident ':' ident"
726 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
727
728 def p_var(self, p):
729 "var : ident"
730 p[0] = ast.VarExprAST(self, p[1])
731
732 def p_field(self, p):
733 "field : ident"
734 p[0] = p[1]
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright
9# notice, this list of conditions and the following disclaimer in the
10# documentation and/or other materials provided with the distribution;
11# neither the name of the copyright holders nor the names of its
12# contributors may be used to endorse or promote products derived from
13# this software without specific prior written permission.
14#
15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26#
27# Authors: Nathan Binkert
28
29import os.path
30import re
31import sys
32
33from m5.util import code_formatter
34from m5.util.grammar import Grammar, ParseError
35
36import slicc.ast as ast
37import slicc.util as util
38from slicc.symbols import SymbolTable
39
40def read_slicc(sources):
41 if not isinstance(sources, (list,tuple)):
42 sources = [ sources ]
43
44 for source in sources:
45 for sm_file in file(source, "r"):
46 sm_file = sm_file.strip()
47 if not sm_file:
48 continue
49 if sm_file.startswith("#"):
50 continue
51 yield sm_file
52
53class SLICC(Grammar):
54 def __init__(self, protocol, **kwargs):
55 self.decl_list_vec = []
56 self.protocol = protocol
57 self.symtab = SymbolTable(self)
58
59 def codeFormatter(self, *args, **kwargs):
60 code = code_formatter(*args, **kwargs)
61 code['protocol'] = self.protocol
62 return code
63
64 def parse(self, filename):
65 try:
66 decl_list = self.parse_file(filename)
67 except ParseError, e:
68 sys.exit(str(e))
69 self.decl_list_vec.append(decl_list)
70
71 def _load(self, *filenames):
72 filenames = list(filenames)
73 while filenames:
74 f = filenames.pop(0)
75 if isinstance(f, (list, tuple)):
76 filenames[0:0] = list(f)
77 continue
78
79 yield f
80 if f.endswith(".slicc"):
81 dirname,basename = os.path.split(f)
82 filenames[0:0] = [ os.path.join(dirname, x) \
83 for x in read_slicc(f)]
84 else:
85 assert f.endswith(".sm")
86 self.parse(f)
87
88 def load(self, *filenames, **kwargs):
89 verbose = kwargs.pop("verbose", False)
90 if kwargs:
91 raise TypeError
92
93 gen = self._load(*filenames)
94 if verbose:
95 return gen
96 else:
97 # Run out the generator if we don't want the verbosity
98 for foo in gen:
99 pass
100
101 def findMachines(self):
102 for decl_list in self.decl_list_vec:
103 decl_list.findMachines()
104
105 def generate(self):
106 for decl_list in self.decl_list_vec:
107 decl_list.generate()
108
109 def writeCodeFiles(self, code_path):
110 util.makeDir(code_path)
111 self.symtab.writeCodeFiles(code_path)
112
113 def writeHTMLFiles(self, code_path):
114 util.makeDir(code_path)
115 self.symtab.writeHTMLFiles(code_path)
116
117 def files(self):
118 f = set([
119 'MachineType.cc',
120 'MachineType.hh',
121 'Types.hh' ])
122
123 for decl_list in self.decl_list_vec:
124 f |= decl_list.files()
125
126 return f
127
128 t_ignore = '\t '
129
130 # C or C++ comment (ignore)
131 def t_c_comment(self, t):
132 r'/\*(.|\n)*?\*/'
133 t.lexer.lineno += t.value.count('\n')
134
135 def t_cpp_comment(self, t):
136 r'//.*'
137
138 # Define a rule so we can track line numbers
139 def t_newline(self, t):
140 r'\n+'
141 t.lexer.lineno += len(t.value)
142
143 reserved = {
144 'global' : 'GLOBAL',
145 'machine' : 'MACHINE',
146 'in_port' : 'IN_PORT',
147 'out_port' : 'OUT_PORT',
148 'action' : 'ACTION',
149 'transition' : 'TRANS',
150 'structure' : 'STRUCT',
151 'external_type' : 'EXTERN_TYPE',
152 'enumeration' : 'ENUM',
153 'state_declaration' : 'STATE_DECL',
154 'peek' : 'PEEK',
155 'stall_and_wait' : 'STALL_AND_WAIT',
156 'enqueue' : 'ENQUEUE',
157 'copy_head' : 'COPY_HEAD',
158 'check_allocate' : 'CHECK_ALLOCATE',
159 'check_stop_slots' : 'CHECK_STOP_SLOTS',
160 'static_cast' : 'STATIC_CAST',
161 'if' : 'IF',
162 'is_valid' : 'IS_VALID',
163 'is_invalid' : 'IS_INVALID',
164 'else' : 'ELSE',
165 'return' : 'RETURN',
166 'THIS' : 'THIS',
167 'CHIP' : 'CHIP',
168 'void' : 'VOID',
169 'new' : 'NEW',
170 'OOD' : 'OOD',
171 }
172
173 literals = ':[]{}(),='
174
175 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
176 'LEFTSHIFT', 'RIGHTSHIFT',
177 'NOT', 'AND', 'OR',
178 'PLUS', 'DASH', 'STAR', 'SLASH',
179 'DOUBLE_COLON', 'SEMI',
180 'ASSIGN', 'DOT',
181 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ]
182 tokens += reserved.values()
183
184 t_EQ = r'=='
185 t_NE = r'!='
186 t_LT = r'<'
187 t_GT = r'>'
188 t_LE = r'<='
189 t_GE = r'>='
190 t_LEFTSHIFT = r'<<'
191 t_RIGHTSHIFT = r'>>'
192 t_NOT = r'!'
193 t_AND = r'&&'
194 t_OR = r'\|\|'
195 t_PLUS = r'\+'
196 t_DASH = r'-'
197 t_STAR = r'\*'
198 t_SLASH = r'/'
199 t_DOUBLE_COLON = r'::'
200 t_SEMI = r';'
201 t_ASSIGN = r':='
202 t_DOT = r'\.'
203
204 precedence = (
205 ('left', 'AND', 'OR'),
206 ('left', 'EQ', 'NE'),
207 ('left', 'LT', 'GT', 'LE', 'GE'),
208 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
209 ('left', 'PLUS', 'DASH'),
210 ('left', 'STAR', 'SLASH'),
211 ('right', 'NOT', 'UMINUS'),
212 )
213
214 def t_IDENT(self, t):
215 r'[a-zA-Z_][a-zA-Z_0-9]*'
216 if t.value == 'true':
217 t.type = 'LIT_BOOL'
218 t.value = True
219 return t
220
221 if t.value == 'false':
222 t.type = 'LIT_BOOL'
223 t.value = False
224 return t
225
226 # Check for reserved words
227 t.type = self.reserved.get(t.value, 'IDENT')
228 return t
229
230 def t_FLOATNUMBER(self, t):
231 '[0-9]+[.][0-9]+'
232 try:
233 t.value = float(t.value)
234 except ValueError:
235 raise ParseError("Illegal float", t)
236 return t
237
238 def t_NUMBER(self, t):
239 r'[0-9]+'
240 try:
241 t.value = int(t.value)
242 except ValueError:
243 raise ParseError("Illegal number", t)
244 return t
245
246 def t_STRING1(self, t):
247 r'\"[^"\n]*\"'
248 t.type = 'STRING'
249 t.value = t.value[1:-1]
250 return t
251
252 def t_STRING2(self, t):
253 r"\'[^'\n]*\'"
254 t.type = 'STRING'
255 t.value = t.value[1:-1]
256 return t
257
258 def p_file(self, p):
259 "file : decls"
260 p[0] = p[1]
261
262 def p_empty(self, p):
263 "empty :"
264
265 def p_decls(self, p):
266 "decls : declsx"
267 p[0] = ast.DeclListAST(self, p[1])
268
269 def p_declsx__list(self, p):
270 "declsx : decl declsx"
271 p[0] = [ p[1] ] + p[2]
272
273 def p_declsx__none(self, p):
274 "declsx : empty"
275 p[0] = []
276
277 def p_decl__machine(self, p):
278 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'"
279 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9])
280
281 def p_decl__action(self, p):
282 "decl : ACTION '(' ident pairs ')' statements"
283 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6])
284
285 def p_decl__in_port(self, p):
286 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
287 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10])
288
289 def p_decl__out_port(self, p):
290 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
291 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8])
292
293 def p_decl__trans0(self, p):
294 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents"
295 p[0] = ast.TransitionDeclAST(self, p[3], p[5], p[7], p[8], p[10])
296
297 def p_decl__trans1(self, p):
298 "decl : TRANS '(' idents ',' idents pairs ')' idents"
299 p[0] = ast.TransitionDeclAST(self, p[3], p[5], None, p[6], p[8])
300
301 def p_decl__extern0(self, p):
302 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
303 p[4]["external"] = "yes"
304 p[0] = ast.TypeDeclAST(self, p[3], p[4], [])
305
306 def p_decl__global(self, p):
307 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
308 p[4]["global"] = "yes"
309 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
310
311 def p_decl__struct(self, p):
312 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
313 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7])
314
315 def p_decl__enum(self, p):
316 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
317 p[4]["enumeration"] = "yes"
318 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7])
319
320 def p_decl__state_decl(self, p):
321 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'"
322 p[4]["enumeration"] = "yes"
323 p[4]["state_decl"] = "yes"
324 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7])
325
326 def p_decl__object(self, p):
327 "decl : type ident pairs SEMI"
328 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3])
329
330 def p_decl__func_decl(self, p):
331 """decl : void ident '(' params ')' pairs SEMI
332 | type ident '(' params ')' pairs SEMI"""
333 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None)
334
335 def p_decl__func_def(self, p):
336 """decl : void ident '(' params ')' pairs statements
337 | type ident '(' params ')' pairs statements"""
338 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7])
339
340 # Type fields
341 def p_type_members__list(self, p):
342 "type_members : type_member type_members"
343 p[0] = [ p[1] ] + p[2]
344
345 def p_type_members__empty(self, p):
346 "type_members : empty"
347 p[0] = []
348
349 def p_type_method__0(self, p):
350 "type_member : type_or_void ident '(' types ')' pairs SEMI"
351 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6])
352
353 def p_type_member__1(self, p):
354 "type_member : type_or_void ident pairs SEMI"
355 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None)
356
357 def p_type_member__2(self, p):
358 "type_member : type_or_void ident ASSIGN expr SEMI"
359 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2],
360 ast.PairListAST(self), p[4])
361
362 # Enum fields
363 def p_type_enums__list(self, p):
364 "type_enums : type_enum type_enums"
365 p[0] = [ p[1] ] + p[2]
366
367 def p_type_enums__empty(self, p):
368 "type_enums : empty"
369 p[0] = []
370
371 def p_type_enum(self, p):
372 "type_enum : ident pairs SEMI"
373 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2])
374
375 # States
376 def p_type_states__list(self, p):
377 "type_states : type_state type_states"
378 p[0] = [ p[1] ] + p[2]
379
380 def p_type_states__empty(self, p):
381 "type_states : empty"
382 p[0] = []
383
384 def p_type_state(self, p):
385 "type_state : ident ',' enumeration pairs SEMI"
386 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4])
387
388 # Type
389 def p_types__multiple(self, p):
390 "types : type ',' types"
391 p[0] = [ p[1] ] + p[3]
392
393 def p_types__one(self, p):
394 "types : type"
395 p[0] = [ p[1] ]
396
397 def p_types__empty(self, p):
398 "types : empty"
399 p[0] = []
400
401 def p_typestr__multi(self, p):
402 "typestr : typestr DOUBLE_COLON ident"
403 p[0] = '%s::%s' % (p[1], p[3])
404
405 def p_typestr__single(self, p):
406 "typestr : ident"
407 p[0] = p[1]
408
409 def p_type__one(self, p):
410 "type : typestr"
411 p[0] = ast.TypeAST(self, p[1])
412
413 def p_void(self, p):
414 "void : VOID"
415 p[0] = ast.TypeAST(self, p[1])
416
417 def p_type_or_void(self, p):
418 """type_or_void : type
419 | void"""
420 p[0] = p[1]
421
422 # Formal Param
423 def p_params__many(self, p):
424 "params : param ',' params"
425 p[0] = [ p[1] ] + p[3]
426
427 def p_params__one(self, p):
428 "params : param"
429 p[0] = [ p[1] ]
430
431 def p_params__none(self, p):
432 "params : empty"
433 p[0] = []
434
435 def p_param(self, p):
436 "param : type ident"
437 p[0] = ast.FormalParamAST(self, p[1], p[2])
438
439 def p_param__pointer(self, p):
440 "param : type STAR ident"
441 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True)
442
443 def p_param__pointer_default(self, p):
444 "param : type STAR ident '=' STRING"
445 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True)
446
447 def p_param__default_number(self, p):
448 "param : type ident '=' NUMBER"
449 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
450
451 def p_param__default_bool(self, p):
452 "param : type ident '=' LIT_BOOL"
453 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
454
455 def p_param__default_string(self, p):
456 "param : type ident '=' STRING"
457 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4])
458
459 # Idents and lists
460 def p_idents__braced(self, p):
461 "idents : '{' identx '}'"
462 p[0] = p[2]
463
464 def p_idents__bare(self, p):
465 "idents : ident"
466 p[0] = [ p[1] ]
467
468 def p_identx__multiple_1(self, p):
469 """identx : ident SEMI identx
470 | ident ',' identx"""
471 p[0] = [ p[1] ] + p[3]
472
473 def p_identx__multiple_2(self, p):
474 "identx : ident identx"
475 p[0] = [ p[1] ] + p[2]
476
477 def p_identx__single(self, p):
478 "identx : empty"
479 p[0] = [ ]
480
481 def p_ident(self, p):
482 "ident : IDENT"
483 p[0] = p[1]
484
485 # Pair and pair lists
486 def p_pairs__list(self, p):
487 "pairs : ',' pairsx"
488 p[0] = p[2]
489
490 def p_pairs__empty(self, p):
491 "pairs : empty"
492 p[0] = ast.PairListAST(self)
493
494 def p_pairsx__many(self, p):
495 "pairsx : pair ',' pairsx"
496 p[0] = p[3]
497 p[0].addPair(p[1])
498
499 def p_pairsx__one(self, p):
500 "pairsx : pair"
501 p[0] = ast.PairListAST(self)
502 p[0].addPair(p[1])
503
504 def p_pair__assign(self, p):
505 """pair : ident '=' STRING
506 | ident '=' ident
507 | ident '=' NUMBER"""
508 p[0] = ast.PairAST(self, p[1], p[3])
509
510 def p_pair__literal(self, p):
511 "pair : STRING"
512 p[0] = ast.PairAST(self, "short", p[1])
513
514 # Below are the rules for action descriptions
515 def p_statements__inner(self, p):
516 "statements : '{' statements_inner '}'"
517 p[0] = ast.StatementListAST(self, p[2])
518
519 def p_statements__none(self, p):
520 "statements : '{' '}'"
521 p[0] = ast.StatementListAST(self, [])
522
523 def p_statements_inner__many(self, p):
524 "statements_inner : statement statements_inner"
525 p[0] = [ p[1] ] + p[2]
526
527 def p_statements_inner__one(self, p):
528 "statements_inner : statement"
529 p[0] = [ p[1] ]
530
531 def p_exprs__multiple(self, p):
532 "exprs : expr ',' exprs"
533 p[0] = [ p[1] ] + p[3]
534
535 def p_exprs__one(self, p):
536 "exprs : expr"
537 p[0] = [ p[1] ]
538
539 def p_exprs__empty(self, p):
540 "exprs : empty"""
541 p[0] = []
542
543 def p_statement__expression(self, p):
544 "statement : expr SEMI"
545 p[0] = ast.ExprStatementAST(self, p[1])
546
547 def p_statement__assign(self, p):
548 "statement : expr ASSIGN expr SEMI"
549 p[0] = ast.AssignStatementAST(self, p[1], p[3])
550
551 def p_statement__enqueue(self, p):
552 "statement : ENQUEUE '(' var ',' type pairs ')' statements"
553 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8])
554
555 def p_statement__stall_and_wait(self, p):
556 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI"
557 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5])
558
559 def p_statement__peek(self, p):
560 "statement : PEEK '(' var ',' type pairs ')' statements"
561 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek")
562
563 def p_statement__copy_head(self, p):
564 "statement : COPY_HEAD '(' var ',' var pairs ')' SEMI"
565 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6])
566
567 def p_statement__check_allocate(self, p):
568 "statement : CHECK_ALLOCATE '(' var ')' SEMI"
569 p[0] = ast.CheckAllocateStatementAST(self, p[3])
570
571 def p_statement__check_stop(self, p):
572 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI"
573 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
574
575 def p_statement__static_cast(self, p):
576 "aexpr : STATIC_CAST '(' type ',' expr ')'"
577 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
578
579 def p_statement__static_cast_ptr(self, p):
580 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
581 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
582
583 def p_statement__return(self, p):
584 "statement : RETURN expr SEMI"
585 p[0] = ast.ReturnStatementAST(self, p[2])
586
587 def p_statement__if(self, p):
588 "statement : if_statement"
589 p[0] = p[1]
590
591 def p_if_statement__if(self, p):
592 "if_statement : IF '(' expr ')' statements"
593 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
594
595 def p_if_statement__if_else(self, p):
596 "if_statement : IF '(' expr ')' statements ELSE statements"
597 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
598
599 def p_statement__if_else_if(self, p):
600 "if_statement : IF '(' expr ')' statements ELSE if_statement"
601 p[0] = ast.IfStatementAST(self, p[3], p[5],
602 ast.StatementListAST(self, p[7]))
603
604 def p_expr__var(self, p):
605 "aexpr : var"
606 p[0] = p[1]
607
608 def p_expr__localvar(self, p):
609 "aexpr : type ident"
610 p[0] = ast.LocalVariableAST(self, p[1], p[2])
611
612 def p_expr__literal(self, p):
613 "aexpr : literal"
614 p[0] = p[1]
615
616 def p_expr__enumeration(self, p):
617 "aexpr : enumeration"
618 p[0] = p[1]
619
620 def p_expr__func_call(self, p):
621 "aexpr : ident '(' exprs ')'"
622 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
623
624 def p_expr__new(self, p):
625 "aexpr : NEW type"
626 p[0] = ast.NewExprAST(self, p[2])
627
628 def p_expr__null(self, p):
629 "aexpr : OOD"
630 p[0] = ast.OodAST(self)
631
632 # globally access a local chip component and call a method
633 def p_expr__local_chip_method(self, p):
634 "aexpr : THIS DOT var '[' expr ']' DOT var DOT ident '(' exprs ')'"
635 p[0] = ast.LocalChipMethodAST(self, p[3], p[5], p[8], p[10], p[12])
636
637 # globally access a local chip component and access a data member
638 def p_expr__local_chip_member(self, p):
639 "aexpr : THIS DOT var '[' expr ']' DOT var DOT field"
640 p[0] = ast.LocalChipMemberAST(self, p[3], p[5], p[8], p[10])
641
642 # globally access a specified chip component and call a method
643 def p_expr__specified_chip_method(self, p):
644 "aexpr : CHIP '[' expr ']' DOT var '[' expr ']' DOT var DOT ident '(' exprs ')'"
645 p[0] = ast.SpecifiedChipMethodAST(self, p[3], p[6], p[8], p[11], p[13],
646 p[15])
647
648 # globally access a specified chip component and access a data member
649 def p_expr__specified_chip_member(self, p):
650 "aexpr : CHIP '[' expr ']' DOT var '[' expr ']' DOT var DOT field"
651 p[0] = ast.SpecifiedChipMemberAST(self, p[3], p[6], p[8], p[11], p[13])
652
653 def p_expr__member(self, p):
654 "aexpr : aexpr DOT ident"
655 p[0] = ast.MemberExprAST(self, p[1], p[3])
656
657 def p_expr__member_method_call(self, p):
658 "aexpr : aexpr DOT ident '(' exprs ')'"
659 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
660
661 def p_expr__member_method_call_lookup(self, p):
662 "aexpr : aexpr '[' exprs ']'"
663 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3])
664
665 def p_expr__class_method_call(self, p):
666 "aexpr : type DOUBLE_COLON ident '(' exprs ')'"
667 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
668
669 def p_expr__aexpr(self, p):
670 "expr : aexpr"
671 p[0] = p[1]
672
673 def p_expr__binary_op(self, p):
674 """expr : expr STAR expr
675 | expr SLASH expr
676 | expr PLUS expr
677 | expr DASH expr
678 | expr LT expr
679 | expr GT expr
680 | expr LE expr
681 | expr GE expr
682 | expr EQ expr
683 | expr NE expr
684 | expr AND expr
685 | expr OR expr
686 | expr RIGHTSHIFT expr
687 | expr LEFTSHIFT expr"""
688 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
689
690 # FIXME - unary not
691 def p_expr__unary_op(self, p):
692 """expr : NOT expr
693 | DASH expr %prec UMINUS"""
694 p[0] = PrefixOperatorExpr(p[1], p[2])
695
696 def p_expr__parens(self, p):
697 "aexpr : '(' expr ')'"
698 p[0] = p[2]
699
700 def p_expr__is_valid_ptr(self, p):
701 "aexpr : IS_VALID '(' var ')'"
702 p[0] = ast.IsValidPtrExprAST(self, p[3], True)
703
704 def p_expr__is_invalid_ptr(self, p):
705 "aexpr : IS_INVALID '(' var ')'"
706 p[0] = ast.IsValidPtrExprAST(self, p[3], False)
707
708 def p_literal__string(self, p):
709 "literal : STRING"
710 p[0] = ast.LiteralExprAST(self, p[1], "std::string")
711
712 def p_literal__number(self, p):
713 "literal : NUMBER"
714 p[0] = ast.LiteralExprAST(self, p[1], "int")
715
716 def p_literal__float(self, p):
717 "literal : FLOATNUMBER"
718 p[0] = ast.LiteralExprAST(self, p[1], "int")
719
720 def p_literal__bool(self, p):
721 "literal : LIT_BOOL"
722 p[0] = ast.LiteralExprAST(self, p[1], "bool")
723
724 def p_enumeration(self, p):
725 "enumeration : ident ':' ident"
726 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
727
728 def p_var(self, p):
729 "var : ident"
730 p[0] = ast.VarExprAST(self, p[1])
731
732 def p_field(self, p):
733 "field : ident"
734 p[0] = p[1]