github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-29 12:06:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Support cast to string

Browse Source
This commit is contained in:
Wilson Snyder 2020-05-10 15:42:16 -04:00
parent d4a631446b
commit b97e1aa9fe
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/verilog.y
View File

@ -1585,9 +1585,9 @@ casting_type<dtypep>: // IEEE: casting_type
//
// // IEEE: signing
//See where casting_type used
//^^ ySIGNED { $$ = new AstSigned($1,$3); }
//^^ yUNSIGNED { $$ = new AstUnsigned($1,$3); }
//UNSUP ySTRING { $$ = $1; }
//^^ ySIGNED { in parent rule }
//^^ yUNSIGNED { in parent rule }
//^^ ySTRING { in parent rule }
//UNSUP yCONST__ETC/*then `*/ { $$ = $1; }
;
@ -3889,8 +3889,9 @@ expr<nodep>: // IEEE: part of expression/constant_expression/primary
// // IEEE: cast/constant_cast
| casting_type yP_TICK '(' expr ')' { $$ = new AstCast($1->fileline(), $4, $1); }
// // expanded from casting_type
| ySIGNED yP_TICK '(' expr ')' { $$ = new AstSigned($1,$4); }
| yUNSIGNED yP_TICK '(' expr ')' { $$ = new AstUnsigned($1,$4); }
| ySIGNED yP_TICK '(' expr ')' { $$ = new AstSigned($1, $4); }
| yUNSIGNED yP_TICK '(' expr ')' { $$ = new AstUnsigned($1, $4); }
| ySTRING yP_TICK '(' expr ')' { $$ = new AstCvtPackString($1, $4); }
// // Spec only allows primary with addition of a type reference
// // We'll be more general, and later assert LHS was a type.
| ~l~expr yP_TICK '(' expr ')' { $$ = new AstCastParse($2,$4,$1); }

1
test_regress/t/t_string.v
View File

@ -31,6 +31,7 @@ module t (/*AUTOARG*/
initial begin
$sformat(vstr, "s=%s", s);
`checks(vstr, "s=a");
`checks(string'(vstr), "s=a");
`checks(s, "a");
`checks({s,s,s}, "aaa");
`checks({4{s}}, "aaaa");