github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-22 14:24:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Support parameterized return types of methods (#4122)

Browse Source
This commit is contained in:
Ryszard Rozak 2023-04-14 14:52:43 +02:00 committed by GitHub
parent f95ce886f1
commit d1b80ffa29
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/V3Param.cpp
View File

@ -546,6 +546,9 @@ class ParamProcessor final {
}
void replaceRefsRecurse(AstNode* const nodep, const AstClass* const oldClassp,
AstClass* const newClassp) {
// Some of the nodes may be already marked as visited, because they were copied. They
// should be marked as unvisited, because parameterized references have to be handled.
nodep->user5(false);
if (AstClassRefDType* const classRefp = VN_CAST(nodep, ClassRefDType)) {
if (classRefp->classp() == oldClassp) classRefp->classp(newClassp);
} else if (AstClassOrPackageRef* const classRefp = VN_CAST(nodep, ClassOrPackageRef)) {

31
test_regress/t/t_class_param_type.v
View File

@ -27,6 +27,23 @@ endclass
typedef Cls cls_t;
typedef cls_t cls2_t;
class Singleton #(type T=int);
static function Singleton#(T) self;
Singleton#(T) c = new;
return c;
endfunction
function int get_size;
return $bits(T);
endfunction
endclass
class SingletonUnusedDefault #(type T=int);
static function SingletonUnusedDefault#(T) self;
SingletonUnusedDefault#(T) c = new;
return c;
endfunction
endclass
module t (/*AUTOARG*/);
initial begin
@ -37,11 +54,25 @@ module t (/*AUTOARG*/);
automatic Parcls#(cls_t) p2 = p1;
automatic Parcls#(cls2_t) p3 = p2;
automatic Singleton #(int) s_int1 = Singleton#(int)::self();
automatic Singleton #(int) s_int2 = Singleton#(int)::self();
automatic Singleton #(bit) s_bit1 = Singleton#(bit)::self();
automatic Singleton #(bit) s_bit2 = Singleton#(bit)::self();
automatic SingletonUnusedDefault #(bit) sud1 = SingletonUnusedDefault#(bit)::self();
automatic SingletonUnusedDefault #(bit) sud2 = SingletonUnusedDefault#(bit)::self();
if (pdt1 != pdt2) $stop;
if (pdt2 != pdt3) $stop;
if (p1 != p2) $stop;
if (p2 != p3) $stop;
if (s_int1 != s_int2) $stop;
if (s_bit1 != s_bit2) $stop;
if (sud1 != sud2) $stop;
if (s_int1.get_size() != 32) $stop;
if (s_bit1.get_size() != 1) $stop;
if (p1.get_p() != 20) $stop;
if (pdt1.get_p() != 20) $stop;
if (Parcls#(cls2_t)::get_p() != 20) $stop;