Skip to content

SystemVerilog: move expression grammar rules to Sec A.8.3 #630

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 12, 2024
Merged

SystemVerilog: move expression grammar rules to Sec A.8.3 #630

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
182 changes: 91 additions & 91 deletions src/verilog/parser.y
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3451,6 +3451,97 @@ constant_range:
{ init($$, ID_verilog_non_indexed_part_select); mto($$, $1); mto($$, $3); }
;

const_expression: expression;

mintypmax_expression:
expression
| expression TOK_COLON expression TOK_COLON expression
{ init($$, "mintypmax"); mto($$, $1); mto($$, $3); mto($$, $5); }
;

expression_opt:
/* Optional */
{ make_nil($$); }
| expression
;

expression_brace:
expression
{ init($$); mto($$, $1); }
| expression_brace ',' expression
{ $$=$1; mto($$, $3); }
;

expression:
primary
| unary_operator attribute_instance_brace primary
{ $$=$1; mto($$, $3); }
| inc_or_dec_expression
| expression "->" expression
{ init($$, ID_implies); mto($$, $1); mto($$, $3); }
| expression "<->" expression
{ init($$, ID_iff); mto($$, $1); mto($$, $3); }
| expression TOK_PLUS expression
{ init($$, ID_plus); mto($$, $1); mto($$, $3); }
| expression TOK_MINUS expression
{ init($$, ID_minus); mto($$, $1); mto($$, $3); }
| TOK_PLUS expression %prec UNARY_PLUS
{ init($$, ID_unary_plus); mto($$, $2); }
| TOK_MINUS expression %prec UNARY_MINUS
{ init($$, ID_unary_minus); mto($$, $2); }
| expression TOK_ASTERIC expression
{ init($$, ID_mult); mto($$, $1); mto($$, $3); }
| expression TOK_SLASH expression
{ init($$, ID_div); mto($$, $1); mto($$, $3); }
| expression TOK_PERCENT expression
{ init($$, ID_mod); mto($$, $1); mto($$, $3); }
| expression TOK_EQUALEQUAL expression
{ init($$, ID_verilog_logical_equality); mto($$, $1); mto($$, $3); }
| expression TOK_EXCLAMEQUAL expression
{ init($$, ID_verilog_logical_inequality); mto($$, $1); mto($$, $3); }
| expression TOK_EQUALEQUALEQUAL expression
{ init($$, ID_verilog_case_equality); mto($$, $1); mto($$, $3); }
| expression TOK_EXCLAMEQUALEQUAL expression
{ init($$, ID_verilog_case_inequality); mto($$, $1); mto($$, $3); }
| expression TOK_AMPERAMPER expression
{ init($$, ID_and); mto($$, $1); mto($$, $3); }
| expression TOK_ASTERICASTERIC expression
{ init($$, ID_power); mto($$, $1); mto($$, $3); }
| expression TOK_VERTBARVERTBAR expression
{ init($$, ID_or); mto($$, $1); mto($$, $3); }
| expression TOK_LESS expression
{ init($$, ID_lt); mto($$, $1); mto($$, $3); }
| expression TOK_LESSEQUAL expression
{ init($$, ID_le); mto($$, $1); mto($$, $3); }
| expression TOK_GREATER expression
{ init($$, ID_gt); mto($$, $1); mto($$, $3); }
| expression TOK_GREATEREQUAL expression
{ init($$, ID_ge); mto($$, $1); mto($$, $3); }
| expression TOK_AMPER expression
{ init($$, ID_bitand); mto($$, $1); mto($$, $3); }
| expression TOK_VERTBAR expression
{ init($$, ID_bitor); mto($$, $1); mto($$, $3); }
| expression TOK_CARET expression
{ init($$, ID_bitxor); mto($$, $1); mto($$, $3); }
| expression TOK_TILDECARET expression
{ init($$, ID_bitxnor); mto($$, $1); mto($$, $3); }
| expression TOK_LESSLESS expression
{ init($$, ID_shl); mto($$, $1); mto($$, $3); }
| expression TOK_LESSLESSLESS expression
{ init($$, ID_shl); mto($$, $1); mto($$, $3); }
| expression TOK_GREATERGREATER expression
{ init($$, ID_lshr); mto($$, $1); mto($$, $3); }
| expression TOK_GREATERGREATERGREATER expression
// This is an arithmetic right shift for signed expressions,
// and a logical right shift otherwise -- the type checker
// will determine.
{ init($$, ID_shr); mto($$, $1); mto($$, $3); }
| expression TOK_QUESTION expression TOK_COLON expression
{ init($$, ID_if); mto($$, $1); mto($$, $3); mto($$, $5); }
| TOK_QSTRING
{ init($$, ID_constant); stack_expr($$).type()=typet(ID_string); addswap($$, ID_value, $1); }
;

indexed_range:
expression TOK_PLUSCOLON constant_expression
{ init($$, ID_verilog_indexed_part_select_plus); mto($$, $1); mto($$, $3); }
Expand Down Expand Up @@ -3552,97 +3643,6 @@ variable_concatenation_lvalue_brace:
{ $$=$1; mto($$, $3); }
;

const_expression: expression;

mintypmax_expression:
expression
| expression TOK_COLON expression TOK_COLON expression
{ init($$, "mintypmax"); mto($$, $1); mto($$, $3); mto($$, $5); }
;

expression_opt:
/* Optional */
{ make_nil($$); }
| expression
;

expression_brace:
expression
{ init($$); mto($$, $1); }
| expression_brace ',' expression
{ $$=$1; mto($$, $3); }
;

expression:
primary
| unary_operator attribute_instance_brace primary
{ $$=$1; mto($$, $3); }
| inc_or_dec_expression
| expression "->" expression
{ init($$, ID_implies); mto($$, $1); mto($$, $3); }
| expression "<->" expression
{ init($$, ID_iff); mto($$, $1); mto($$, $3); }
| expression TOK_PLUS expression
{ init($$, ID_plus); mto($$, $1); mto($$, $3); }
| expression TOK_MINUS expression
{ init($$, ID_minus); mto($$, $1); mto($$, $3); }
| TOK_PLUS expression %prec UNARY_PLUS
{ init($$, ID_unary_plus); mto($$, $2); }
| TOK_MINUS expression %prec UNARY_MINUS
{ init($$, ID_unary_minus); mto($$, $2); }
| expression TOK_ASTERIC expression
{ init($$, ID_mult); mto($$, $1); mto($$, $3); }
| expression TOK_SLASH expression
{ init($$, ID_div); mto($$, $1); mto($$, $3); }
| expression TOK_PERCENT expression
{ init($$, ID_mod); mto($$, $1); mto($$, $3); }
| expression TOK_EQUALEQUAL expression
{ init($$, ID_verilog_logical_equality); mto($$, $1); mto($$, $3); }
| expression TOK_EXCLAMEQUAL expression
{ init($$, ID_verilog_logical_inequality); mto($$, $1); mto($$, $3); }
| expression TOK_EQUALEQUALEQUAL expression
{ init($$, ID_verilog_case_equality); mto($$, $1); mto($$, $3); }
| expression TOK_EXCLAMEQUALEQUAL expression
{ init($$, ID_verilog_case_inequality); mto($$, $1); mto($$, $3); }
| expression TOK_AMPERAMPER expression
{ init($$, ID_and); mto($$, $1); mto($$, $3); }
| expression TOK_ASTERICASTERIC expression
{ init($$, ID_power); mto($$, $1); mto($$, $3); }
| expression TOK_VERTBARVERTBAR expression
{ init($$, ID_or); mto($$, $1); mto($$, $3); }
| expression TOK_LESS expression
{ init($$, ID_lt); mto($$, $1); mto($$, $3); }
| expression TOK_LESSEQUAL expression
{ init($$, ID_le); mto($$, $1); mto($$, $3); }
| expression TOK_GREATER expression
{ init($$, ID_gt); mto($$, $1); mto($$, $3); }
| expression TOK_GREATEREQUAL expression
{ init($$, ID_ge); mto($$, $1); mto($$, $3); }
| expression TOK_AMPER expression
{ init($$, ID_bitand); mto($$, $1); mto($$, $3); }
| expression TOK_VERTBAR expression
{ init($$, ID_bitor); mto($$, $1); mto($$, $3); }
| expression TOK_CARET expression
{ init($$, ID_bitxor); mto($$, $1); mto($$, $3); }
| expression TOK_TILDECARET expression
{ init($$, ID_bitxnor); mto($$, $1); mto($$, $3); }
| expression TOK_LESSLESS expression
{ init($$, ID_shl); mto($$, $1); mto($$, $3); }
| expression TOK_LESSLESSLESS expression
{ init($$, ID_shl); mto($$, $1); mto($$, $3); }
| expression TOK_GREATERGREATER expression
{ init($$, ID_lshr); mto($$, $1); mto($$, $3); }
| expression TOK_GREATERGREATERGREATER expression
// This is an arithmetic right shift for signed expressions,
// and a logical right shift otherwise -- the type checker
// will determine.
{ init($$, ID_shr); mto($$, $1); mto($$, $3); }
| expression TOK_QUESTION expression TOK_COLON expression
{ init($$, ID_if); mto($$, $1); mto($$, $3); mto($$, $5); }
| TOK_QSTRING
{ init($$, ID_constant); stack_expr($$).type()=typet(ID_string); addswap($$, ID_value, $1); }
;

// System Verilog standard 1800-2017
// A.8.6 Operators

Expand Down