Optimize functions inlined from packages in Dfg (#7091)

This commit is contained in:
Geza Lore 2026-02-18 19:11:33 +00:00 committed by GitHub
parent cf1de0b9a8
commit 2cd8dc6cf7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 24 additions and 0 deletions

View File

@ -274,6 +274,8 @@ private:
UASSERT_OBJ(
!(v3Global.assertScoped() && m_inScope && nodep->varp() && !nodep->varScopep()), nodep,
"VarRef missing VarScope pointer");
UASSERT_OBJ(!v3Global.assertScoped() || !nodep->classOrPackagep(), nodep,
"VarRef classOrPackagep must be nullptr after V3Scope");
if (m_cfuncp) {
// Check if variable is an in-scope local, otherwise mark as suspect
if (const AstVar* const varp = nodep->varp()) {

View File

@ -73,6 +73,7 @@ class ScopeVisitor final : public VNVisitor {
"Can't locate class or package scope");
scopep = it2->second;
}
nodep->classOrPackagep(nullptr); // No longer needed after V3Scope
// Search up the scope hierarchy for the variable
AstVarScope* varscp = nullptr;
AstScope* searchScopep = scopep;

View File

@ -6,6 +6,12 @@
`define signal(name, expr) wire [$bits(expr)-1:0] ``name = expr
package pkg;
function automatic logic [7:0] sub(input logic [7:0] a, input logic [7:0] b);
return a - b;
endfunction
endpackage
module t (
`include "portlist.vh" // Boilerplate generated by t_dfg_break_cycles.py
rand_a, rand_b, srand_a, srand_b
@ -524,4 +530,19 @@ module t (
end
`signal(USES_LOOP_VAR, uses_loop_var);
function automatic logic [7:0] add(input logic [7:0] a, input logic [7:0] b);
return a + b;
endfunction
logic [7:0] func_1;
always_comb begin
func_1 = add(rand_a[7:0], rand_b[7:0]);
end
`signal(FUNC_1, func_1);
logic [7:0] func_2;
always_comb begin
func_2 = pkg::sub(rand_a[7:0], rand_b[7:0]);
end
`signal(FUNC_2, func_2);
endmodule