Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Convert some mis-syntax errors to UNSUPPORTED

Browse Source
This commit is contained in:
Wilson Snyder 2023-02-14 20:48:52 -05:00
parent 43d8de4f80
commit 393b7714c4
1 changed files with 22 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
src/verilog.y
View File

@ -1826,8 +1826,8 @@ modportPortsDecl<nodep>:
modportSimplePortOrTFPort<strp>:// IEEE: modport_simple_port or modport_tf_port, depending what keyword was earlier
id { $$ = $1; }
//UNSUP '.' idAny '(' ')' { }
//UNSUP '.' idAny '(' expr ')' { }
| '.' idAny '(' ')' { $$ = $2; BBUNSUP($<fl>1, "Unsupported: Modport dotted port name"); }
| '.' idAny '(' expr ')' { $$ = $2; BBUNSUP($<fl>1, "Unsupported: Modport dotted port name"); }
;
//************************************************
// Variable Declarations
@ -2665,7 +2665,8 @@ module_or_generate_item_declaration<nodep>: // ==IEEE: module_or_generate_it
| clocking_declaration { $$ = $1; }
| yDEFAULT yCLOCKING idAny/*new-clocking_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($1, "Unsupported: default clocking identifier"); }
//UNSUP yDEFAULT yDISABLE yIFF expr/*expression_or_dist*/ ';' { }
| yDEFAULT yDISABLE yIFF expr/*expression_or_dist*/ ';'
{ $$ = nullptr; BBUNSUP($1, "Unsupported: default disable iff"); }
;
aliasEqList: // IEEE: part of net_alias
@ -2918,7 +2919,8 @@ delay_or_event_controlE<nodep>: // IEEE: delay_or_event_control plus empty
/* empty */ { $$ = nullptr; }
| delay_control { $$ = $1; }
| event_control { $$ = $1; }
//UNSUP | yREPEAT '(' expr ')' event_control { }
| yREPEAT '(' expr ')' event_control
{ $$ = $5; BBUNSUP($1, "Unsupported: repeat event control"); }
;
delay_controlE<delayp>:
@ -3026,11 +3028,6 @@ rangeList<nodeRangep>: // IEEE: {packed_dimension}
| rangeList anyrange { $$ = $1->addNext($2); }
;
//UNSUPbit_selectE<fl>: // IEEE: constant_bit_select (IEEE included empty)
//UNSUP /* empty */ { $$ = nullptr; }
//UNSUP | '[' constExpr ']' { $<fl>$ = $<fl>1; $$ = "[" + $2 + "]"; }
//UNSUP ;
// IEEE: select
// Merged into more general idArray
@ -5085,18 +5082,26 @@ stream_concatenation<nodeExprp>: // ==IEEE: stream_concatenation
stream_expression<nodeExprp>: // ==IEEE: stream_expression
// // IEEE: array_range_expression expanded below
expr { $$ = $1; }
//UNSUP expr yWITH__BRA '[' expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr ':' expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr yP_PLUSCOLON expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr yP_MINUSCOLON expr ']' { UNSUP }
| expr yWITH__BRA '[' expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr ':' expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr yP_PLUSCOLON expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr yP_MINUSCOLON expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
;
stream_expressionOrDataType<nodep>: // IEEE: from streaming_concatenation
exprOrDataType { $$ = $1; }
//UNSUP expr yWITH__BRA '[' expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr ':' expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr yP_PLUSCOLON expr ']' { UNSUP }
//UNSUP expr yWITH__BRA '[' expr yP_MINUSCOLON expr ']' { UNSUP }
| expr yWITH__BRA '[' expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr ':' expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr yP_PLUSCOLON expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
| expr yWITH__BRA '[' expr yP_MINUSCOLON expr ']'
{ $$ = $1; BBUNSUP($2, "Unsupported: with[] stream expression"); }
;
//************************************************