luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add error throwing on unsupported types 

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
This commit is contained in:
Ryszard Rozak 2026-02-12 13:39:02 +01:00
parent 559a1363f5
commit 5ac1197ba8
3 changed files with 43 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
src/V3Force.cpp
View File

@ -256,20 +256,46 @@ private:
m_valVscps;
// `valVscp` force components of a forced RHS
static size_t checkIfDTypeSupportedRecurse(AstNodeDType* const dtypep,
const AstVar* const varp) {
// Checks if force stmt is supported on all subtypes
// and returns number of unpacked elements
AstNodeDType* const dtp = dtypep->skipRefp();
if (AstUnpackArrayDType* const udtp = VN_CAST(dtp, UnpackArrayDType)) {
const size_t elemsInSubDType = checkIfDTypeSupportedRecurse(udtp->subDTypep(), varp);
return udtp->elementsConst() * elemsInSubDType;
} else if (AstNodeUOrStructDType* const sdtp = VN_CAST(dtp, NodeUOrStructDType)) {
size_t elemCount = 0;
for (AstMemberDType* mdtp = sdtp->membersp(); mdtp;
mdtp = VN_AS(mdtp->nextp(), MemberDType)) {
elemCount += checkIfDTypeSupportedRecurse(mdtp->subDTypep(), varp);
}
return elemCount;
} else if (AstBasicDType* const bdtp = VN_CAST(dtp, BasicDType)) {
if (bdtp->isString() || bdtp->isEvent() || bdtp->keyword() == VBasicDTypeKwd::CHANDLE
|| bdtp->keyword() == VBasicDTypeKwd::TIME) {
varp->v3warn(E_UNSUPPORTED, "Forcing variable of unsupported type: "
<< varp->dtypep()->prettyTypeName());
}
return 1;
} else if (!dtp->isIntegralOrPacked()) {
varp->v3warn(E_UNSUPPORTED, "Forcing variable of unsupported type: "
<< varp->dtypep()->prettyTypeName());
return 1;
} else {
// All packed types are supported
return 1;
}
}
static AstNodeDType* getEnVarpDTypep(AstVar* const varp) {
AstNodeDType* const origDTypep = varp->dtypep()->skipRefp();
const size_t unpackElemNum = checkIfDTypeSupportedRecurse(origDTypep, varp);
if (unpackElemNum > ELEMENTS_MAX) {
varp->v3warn(E_UNSUPPORTED, "Unsupported: Force of variable with "
">= "
<< ELEMENTS_MAX << " unpacked elements");
}
if (VN_IS(origDTypep, UnpackArrayDType)) {
size_t elemNum = 1;
AstNodeDType* dtp = origDTypep;
while (AstUnpackArrayDType* const uDtp = VN_CAST(dtp, UnpackArrayDType)) {
dtp = uDtp->subDTypep()->skipRefp();
elemNum *= uDtp->elementsConst();
}
if (elemNum > ELEMENTS_MAX) {
varp->v3warn(E_UNSUPPORTED, "Unsupported: Force of unpacked array variable with "
">= "
<< ELEMENTS_MAX << " elements");
}
return origDTypep;
} else if (VN_IS(origDTypep, BasicDType)) {
return isRangedDType(varp) ? origDTypep : varp->findBitDType();

4
test_regress/t/t_force_unpacked_unsup.out
View File

@ -1,8 +1,8 @@
%Error-UNSUPPORTED: t/t_force_unpacked_unsup.v:22:7: Unsupported: Force of unpacked array variable with >= 1000 elements
%Error-UNSUPPORTED: t/t_force_unpacked_unsup.v:22:7: Unsupported: Force of variable with >= 1000 unpacked elements
22 | bit big_array[40][40][40];
| ^~~~~~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_force_unpacked_unsup.v:21:12: Unsupported: Force of unpacked array variable with >= 1000 elements
%Error-UNSUPPORTED: t/t_force_unpacked_unsup.v:21:12: Unsupported: Force of variable with >= 1000 unpacked elements
21 | struct_t s_array[3000];
| ^~~~~~~
%Error: Exiting due to

4
test_regress/t/t_forceable_string_bad.out
View File

@ -2,4 +2,8 @@
8 | string str /*verilator forceable*/;
| ^~~
... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance.
%Error-UNSUPPORTED: t/t_forceable_string_bad.v:8:10: Forcing variable of unsupported type: BASICDTYPE 'string'
8 | string str /*verilator forceable*/;
| ^~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Exiting due to