1 # Copyright (c) 2009 The Hewlett-Packard Development Company
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.
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.
27 # Authors: Nathan Binkert
33 from m5
.util
.grammar
import Grammar
, TokenError
, ParseError
35 import slicc
.ast
as ast
36 import slicc
.util
as util
37 from slicc
.symbols
import SymbolTable
39 def read_slicc(sources
):
40 if not isinstance(sources
, (list,tuple)):
43 for source
in sources
:
44 for sm_file
in file(source
, "r"):
45 sm_file
= sm_file
.strip()
48 if sm_file
.startswith("#"):
53 def __init__(self
, **kwargs
):
54 super(SLICC
, self
).__init
__(**kwargs
)
55 self
.decl_list_vec
= []
56 self
.current_file
= None
57 self
.symtab
= SymbolTable()
59 def parse(self
, filename
):
60 self
.current_file
= filename
61 f
= file(filename
, 'r')
64 decl_list
= super(SLICC
, self
).parse(text
)
65 except (TokenError
, ParseError
), e
:
66 sys
.exit("%s: %s:%d" % (e
, filename
, e
.token
.lineno
))
67 self
.decl_list_vec
.append(decl_list
)
68 self
.current_file
= None
70 def _load(self
, *filenames
):
71 filenames
= list(filenames
)
74 if isinstance(f
, (list, tuple)):
75 filenames
[0:0] = list(f
)
79 if f
.endswith(".slicc"):
80 dirname
,basename
= os
.path
.split(f
)
81 filenames
[0:0] = [ os
.path
.join(dirname
, x
) \
82 for x
in read_slicc(f
)]
84 assert f
.endswith(".sm")
87 def load(self
, *filenames
, **kwargs
):
88 verbose
= kwargs
.pop("verbose", False)
92 gen
= self
._load
(*filenames
)
96 # Run out the generator if we don't want the verbosity
100 def findMachines(self
):
101 for decl_list
in self
.decl_list_vec
:
102 decl_list
.findMachines()
105 for decl_list
in self
.decl_list_vec
:
108 def writeCodeFiles(self
, code_path
):
109 util
.makeDir(code_path
)
110 self
.symtab
.writeCodeFiles(code_path
)
112 def writeHTMLFiles(self
, code_path
):
113 util
.makeDir(code_path
)
114 self
.symtab
.writeHTMLFiles(code_path
)
122 for decl_list
in self
.decl_list_vec
:
123 f |
= decl_list
.files()
129 # C or C++ comment (ignore)
130 def t_c_comment(self
, t
):
132 t
.lexer
.lineno
+= t
.value
.count('\n')
134 def t_cpp_comment(self
, t
):
137 # Define a rule so we can track line numbers
138 def t_newline(self
, t
):
140 t
.lexer
.lineno
+= len(t
.value
)
144 'machine' : 'MACHINE',
145 'in_port' : 'IN_PORT',
146 'out_port' : 'OUT_PORT',
148 'transition' : 'TRANS',
149 'structure' : 'STRUCT',
150 'external_type' : 'EXTERN_TYPE',
151 'enumeration' : 'ENUM',
153 'enqueue' : 'ENQUEUE',
154 'copy_head' : 'COPY_HEAD',
155 'check_allocate' : 'CHECK_ALLOCATE',
156 'check_stop_slots' : 'CHECK_STOP_SLOTS',
157 'static_cast' : 'STATIC_CAST',
167 literals
= ':[]{}(),='
169 tokens
= [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE',
170 'LEFTSHIFT', 'RIGHTSHIFT',
172 'PLUS', 'DASH', 'STAR', 'SLASH',
173 'DOUBLE_COLON', 'SEMI',
175 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ]
176 tokens
+= reserved
.values()
193 t_DOUBLE_COLON
= r
'::'
199 ('left', 'AND', 'OR'),
200 ('left', 'EQ', 'NE'),
201 ('left', 'LT', 'GT', 'LE', 'GE'),
202 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'),
203 ('left', 'PLUS', 'DASH'),
204 ('left', 'STAR', 'SLASH'),
205 ('right', 'NOT', 'UMINUS'),
208 def t_IDENT(self
, t
):
209 r
'[a-zA-Z_][a-zA-Z_0-9]*'
210 if t
.value
== 'true':
215 if t
.value
== 'false':
220 # Check for reserved words
221 t
.type = self
.reserved
.get(t
.value
, 'IDENT')
224 def t_FLOATNUMBER(self
, t
):
227 t
.value
= float(t
.value
)
229 raise TokenError("Illegal float", t
)
232 def t_NUMBER(self
, t
):
235 t
.value
= int(t
.value
)
237 raise TokenError("Illegal number", t
)
240 def t_STRING1(self
, t
):
243 t
.value
= t
.value
[1:-1]
246 def t_STRING2(self
, t
):
249 t
.value
= t
.value
[1:-1]
256 def p_empty(self
, p
):
259 def p_decls(self
, p
):
261 p
[0] = ast
.DeclListAST(self
, p
[1])
263 def p_declsx__list(self
, p
):
264 "declsx : decl declsx"
265 p
[0] = [ p
[1] ] + p
[2]
267 def p_declsx__none(self
, p
):
271 def p_decl__machine(self
, p
):
272 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'"
273 p
[0] = ast
.MachineAST(self
, p
[3], p
[4], p
[7], p
[9])
275 def p_decl__action(self
, p
):
276 "decl : ACTION '(' ident pairs ')' statements"
277 p
[0] = ast
.ActionDeclAST(self
, p
[3], p
[4], p
[6])
279 def p_decl__in_port(self
, p
):
280 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements"
281 p
[0] = ast
.InPortDeclAST(self
, p
[3], p
[5], p
[7], p
[8], p
[10])
283 def p_decl__out_port(self
, p
):
284 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI"
285 p
[0] = ast
.OutPortDeclAST(self
, p
[3], p
[5], p
[7], p
[8])
287 def p_decl__trans0(self
, p
):
288 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents"
289 p
[0] = ast
.TransitionDeclAST(self
, p
[3], p
[5], p
[7], p
[8], p
[10])
291 def p_decl__trans1(self
, p
):
292 "decl : TRANS '(' idents ',' idents pairs ')' idents"
293 p
[0] = ast
.TransitionDeclAST(self
, p
[3], p
[5], None, p
[6], p
[8])
295 def p_decl__extern0(self
, p
):
296 "decl : EXTERN_TYPE '(' type pairs ')' SEMI"
297 p
[4]["external"] = "yes"
298 p
[0] = ast
.TypeDeclAST(self
, p
[3], p
[4], [])
300 def p_decl__extern1(self
, p
):
301 "decl : EXTERN_TYPE '(' type pairs ')' '{' type_methods '}'"
302 p
[4]["external"] = "yes"
303 p
[0] = ast
.TypeDeclAST(self
, p
[3], p
[4], p
[7])
305 def p_decl__global(self
, p
):
306 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'"
307 p
[4]["global"] = "yes"
308 p
[0] = ast
.TypeDeclAST(self
, p
[3], p
[4], p
[7])
310 def p_decl__struct(self
, p
):
311 "decl : STRUCT '(' type pairs ')' '{' type_members '}'"
312 p
[0] = ast
.TypeDeclAST(self
, p
[3], p
[4], p
[7])
314 def p_decl__enum(self
, p
):
315 "decl : ENUM '(' type pairs ')' '{' type_enums '}'"
316 p
[4]["enumeration"] = "yes"
317 p
[0] = ast
.EnumDeclAST(self
, p
[3], p
[4], p
[7])
319 def p_decl__object(self
, p
):
320 "decl : type ident pairs SEMI"
321 p
[0] = ast
.ObjDeclAST(self
, p
[1], p
[2], p
[3])
323 def p_decl__func_decl(self
, p
):
324 """decl : void ident '(' params ')' pairs SEMI
325 | type ident '(' params ')' pairs SEMI"""
326 p
[0] = ast
.FuncDeclAST(self
, p
[1], p
[2], p
[4], p
[6], None)
328 def p_decl__func_def(self
, p
):
329 """decl : void ident '(' params ')' pairs statements
330 | type ident '(' params ')' pairs statements"""
331 p
[0] = ast
.FuncDeclAST(self
, p
[1], p
[2], p
[4], p
[6], p
[7])
334 def p_type_members__list(self
, p
):
335 "type_members : type_member type_members"
336 p
[0] = [ p
[1] ] + p
[2]
338 def p_type_members__empty(self
, p
):
339 "type_members : empty"
342 def p_type_member__1(self
, p
):
343 "type_member : type ident pairs SEMI"
344 p
[0] = ast
.TypeFieldMemberAST(self
, p
[1], p
[2], p
[3], None)
346 def p_type_member__2(self
, p
):
347 "type_member : type ident ASSIGN expr SEMI"
348 p
[0] = ast
.TypeFieldMemberAST(self
, p
[1], p
[2],
349 ast
.PairListAST(self
), p
[4])
352 def p_type_methods__list(self
, p
):
353 "type_methods : type_method type_methods"
354 p
[0] = [ p
[1] ] + p
[2]
356 def p_type_methods(self
, p
):
357 "type_methods : empty"
360 def p_type_method(self
, p
):
361 "type_method : type_or_void ident '(' types ')' pairs SEMI"
362 p
[0] = ast
.TypeFieldMethodAST(self
, p
[1], p
[2], p
[4], p
[6])
365 def p_type_enums__list(self
, p
):
366 "type_enums : type_enum type_enums"
367 p
[0] = [ p
[1] ] + p
[2]
369 def p_type_enums__empty(self
, p
):
373 def p_type_enum(self
, p
):
374 "type_enum : ident pairs SEMI"
375 p
[0] = ast
.TypeFieldEnumAST(self
, p
[1], p
[2])
378 def p_types__multiple(self
, p
):
379 "types : type ',' types"
380 p
[0] = [ p
[1] ] + p
[3]
382 def p_types__one(self
, p
):
386 def p_types__empty(self
, p
):
392 p
[0] = ast
.TypeAST(self
, p
[1])
396 p
[0] = ast
.TypeAST(self
, p
[1])
398 def p_type_or_void(self
, p
):
399 """type_or_void : type
404 def p_params__many(self
, p
):
405 "params : param ',' params"
406 p
[0] = [ p
[1] ] + p
[3]
408 def p_params__one(self
, p
):
412 def p_params__none(self
, p
):
416 def p_param(self
, p
):
418 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[2])
420 def p_param__pointer(self
, p
):
421 "param : type STAR ident"
422 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[3], None, True)
424 def p_param__pointer_default(self
, p
):
425 "param : type STAR ident '=' STRING"
426 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[3], p
[5], True)
428 def p_param__default_number(self
, p
):
429 "param : type ident '=' NUMBER"
430 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[2], p
[4])
432 def p_param__default_bool(self
, p
):
433 "param : type ident '=' LIT_BOOL"
434 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[2], p
[4])
436 def p_param__default_string(self
, p
):
437 "param : type ident '=' STRING"
438 p
[0] = ast
.FormalParamAST(self
, p
[1], p
[2], p
[4])
441 def p_idents__braced(self
, p
):
442 "idents : '{' identx '}'"
445 def p_idents__bare(self
, p
):
449 def p_identx__multiple_1(self
, p
):
450 """identx : ident SEMI identx
451 | ident ',' identx"""
452 p
[0] = [ p
[1] ] + p
[3]
454 def p_identx__multiple_2(self
, p
):
455 "identx : ident identx"
456 p
[0] = [ p
[1] ] + p
[2]
458 def p_identx__single(self
, p
):
462 def p_ident(self
, p
):
466 # Pair and pair lists
467 def p_pairs__list(self
, p
):
471 def p_pairs__empty(self
, p
):
473 p
[0] = ast
.PairListAST(self
)
475 def p_pairsx__many(self
, p
):
476 "pairsx : pair ',' pairsx"
480 def p_pairsx__one(self
, p
):
482 p
[0] = ast
.PairListAST(self
)
485 def p_pair__assign(self
, p
):
486 """pair : ident '=' STRING
488 p
[0] = ast
.PairAST(self
, p
[1], p
[3])
490 def p_pair__literal(self
, p
):
492 p
[0] = ast
.PairAST(self
, "short", p
[1])
494 # Below are the rules for action descriptions
495 def p_statements__inner(self
, p
):
496 "statements : '{' statements_inner '}'"
497 p
[0] = ast
.StatementListAST(self
, p
[2])
499 def p_statements__none(self
, p
):
500 "statements : '{' '}'"
501 p
[0] = ast
.StatementListAST(self
, [])
503 def p_statements_inner__many(self
, p
):
504 "statements_inner : statement statements_inner"
505 p
[0] = [ p
[1] ] + p
[2]
507 def p_statements_inner__one(self
, p
):
508 "statements_inner : statement"
511 def p_exprs__multiple(self
, p
):
512 "exprs : expr ',' exprs"
513 p
[0] = [ p
[1] ] + p
[3]
515 def p_exprs__one(self
, p
):
519 def p_exprs__empty(self
, p
):
523 def p_statement__expression(self, p):
524 "statement
: expr SEMI
"
525 p[0] = ast.ExprStatementAST(self, p[1])
527 def p_statement__assign(self, p):
528 "statement
: expr ASSIGN expr SEMI
"
529 p[0] = ast.AssignStatementAST(self, p[1], p[3])
531 def p_statement__enqueue(self, p):
532 "statement
: ENQUEUE
'(' var
',' type pairs
')' statements
"
533 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8])
535 def p_statement__peek(self, p):
536 "statement
: PEEK
'(' var
',' type pairs
')' statements
"
537 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek
")
539 def p_statement__copy_head(self, p):
540 "statement
: COPY_HEAD
'(' var
',' var pairs
')' SEMI
"
541 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6])
543 def p_statement__check_allocate(self, p):
544 "statement
: CHECK_ALLOCATE
'(' var
')' SEMI
"
545 p[0] = ast.CheckAllocateStatementAST(self, p[3])
547 def p_statement__check_stop(self, p):
548 "statement
: CHECK_STOP_SLOTS
'(' var
',' STRING
',' STRING
')' SEMI
"
549 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7])
551 def p_statement__static_cast(self, p):
552 "aexpr
: STATIC_CAST
'(' type ',' expr
')'"
553 p[0] = ast.StaticCastAST(self, p[3], p[5])
555 def p_statement__return(self, p):
556 "statement
: RETURN expr SEMI
"
557 p[0] = ast.ReturnStatementAST(self, p[2])
559 def p_statement__if(self, p):
560 "statement
: if_statement
"
563 def p_if_statement__if(self, p):
564 "if_statement
: IF
'(' expr
')' statements
"
565 p[0] = ast.IfStatementAST(self, p[3], p[5], None)
567 def p_if_statement__if_else(self, p):
568 "if_statement
: IF
'(' expr
')' statements ELSE statements
"
569 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7])
571 def p_statement__if_else_if(self, p):
572 "if_statement
: IF
'(' expr
')' statements ELSE if_statement
"
573 p[0] = ast.IfStatementAST(self, p[3], p[5],
574 ast.StatementListAST(self, p[7]))
576 def p_expr__var(self, p):
580 def p_expr__literal(self, p):
584 def p_expr__enumeration(self, p):
585 "aexpr
: enumeration
"
588 def p_expr__func_call(self, p):
589 "aexpr
: ident
'(' exprs
')'"
590 p[0] = ast.FuncCallExprAST(self, p[1], p[3])
592 def p_expr__new(self, p):
594 p[0] = ast.NewExprAST(self, p[2])
596 # globally access a local chip component and call a method
597 def p_expr__local_chip_method(self, p):
598 "aexpr
: THIS DOT var
'[' expr
']' DOT var DOT ident
'(' exprs
')'"
599 p[0] = ast.LocalChipMethodAST(self, p[3], p[5], p[8], p[10], p[12])
601 # globally access a local chip component and access a data member
602 def p_expr__local_chip_member(self, p):
603 "aexpr
: THIS DOT var
'[' expr
']' DOT var DOT field
"
604 p[0] = ast.LocalChipMemberAST(self, p[3], p[5], p[8], p[10])
606 # globally access a specified chip component and call a method
607 def p_expr__specified_chip_method(self, p):
608 "aexpr
: CHIP
'[' expr
']' DOT var
'[' expr
']' DOT var DOT ident
'(' exprs
')'"
609 p[0] = ast.SpecifiedChipMethodAST(self, p[3], p[6], p[8], p[11], p[13],
612 # globally access a specified chip component and access a data member
613 def p_expr__specified_chip_member(self, p):
614 "aexpr
: CHIP
'[' expr
']' DOT var
'[' expr
']' DOT var DOT field
"
615 p[0] = ast.SpecifiedChipMemberAST(self, p[3], p[6], p[8], p[11], p[13])
617 def p_expr__member(self, p):
618 "aexpr
: aexpr DOT ident
"
619 p[0] = ast.MemberExprAST(self, p[1], p[3])
621 def p_expr__member_method_call(self, p):
622 "aexpr
: aexpr DOT ident
'(' exprs
')'"
623 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5])
625 def p_expr__member_method_call_lookup(self, p):
626 "aexpr
: aexpr
'[' exprs
']'"
627 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup
", p[3])
629 def p_expr__class_method_call(self, p):
630 "aexpr
: type DOUBLE_COLON ident
'(' exprs
')'"
631 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5])
633 def p_expr__aexpr(self, p):
637 def p_expr__binary_op(self, p):
638 """expr : expr STAR expr
650 | expr RIGHTSHIFT expr
651 | expr LEFTSHIFT expr"""
652 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3])
655 def p_expr__unary_op(self, p):
657 | DASH expr %prec UMINUS"""
658 p[0] = PrefixOperatorExpr(p[1], p[2])
660 def p_expr__parens(self, p):
661 "aexpr
: '(' expr
')'"
664 def p_literal__string(self, p):
666 p[0] = ast.LiteralExprAST(self, p[1], "string
")
668 def p_literal__number(self, p):
670 p[0] = ast.LiteralExprAST(self, p[1], "int")
672 def p_literal__float(self, p):
673 "literal
: FLOATNUMBER
"
674 p[0] = ast.LiteralExprAST(self, p[1], "int")
676 def p_literal__bool(self, p):
678 p[0] = ast.LiteralExprAST(self, p[1], "bool")
680 def p_enumeration(self, p):
681 "enumeration
: ident
':' ident
"
682 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3])
686 p[0] = ast.VarExprAST(self, p[1])
688 def p_field(self, p):