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

Add comments explaining negative exponent handling 

Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
This commit is contained in:
Kamil Danecki 2026-02-13 14:38:27 +01:00
parent 39df12cf4d
commit e457cf5234
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/V3Randomize.cpp
View File

@ -1370,6 +1370,8 @@ class ConstraintExprVisitor final : public VNVisitor {
powerp->user1(true);
}
} else if (exponent < 0) {
// Limit chain of divisions to max 2, because operations are on integers.
// Two divisions are needed to preserve the sign.
powerp = new AstDivS{fl, powerp, basep->cloneTreePure(false)};
powerp->user1(true);
if (exponent % 2 == 0) {
@ -1414,6 +1416,8 @@ class ConstraintExprVisitor final : public VNVisitor {
powerp->user1(true);
}
} else if (exponent < 0) {
// Only one division in needed because operations are on integers and base is unsigned.
// More divisions would still result in same results.
powerp = new AstDiv{fl, powerp, basep->cloneTreePure(false)};
powerp->user1(true);
}