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

Fix VlWide equality comparion in unpacked structs (#7618)

This commit is contained in:
Geza Lore 2026-05-20 00:57:33 +01:00 committed by GitHub
parent cb3b9c7c43
commit afad8db672
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
include/verilated_types.h
View File

@ -425,12 +425,13 @@ struct VlWide final {
// Default copy assignment operators are used.
operator WDataOutP() VL_PURE { return &m_storage[0]; } // This also allows []
operator WDataInP() const VL_PURE { return &m_storage[0]; } // This also allows []
bool operator!=(const VlWide<N_Words>& that) const VL_PURE {
bool operator==(const VlWide<N_Words>& that) const VL_PURE {
for (size_t i = 0; i < N_Words; ++i) {
if (m_storage[i] != that.m_storage[i]) return true;
if (m_storage[i] != that.m_storage[i]) return false;
}
return false;
return true;
}
bool operator!=(const VlWide<N_Words>& that) const VL_PURE { return !(*this == that); }
// METHODS
const EData& at(size_t index) const { return m_storage[index]; }

5
test_regress/t/t_unpacked_struct_eq.v
View File

@ -14,6 +14,7 @@ module t;
bit [7:0] arr[2][3];
arr_str_t str[5];
} sub;
bit [511:0] wide;
} struct_t;
struct_t s1;
struct_t s2;
@ -23,6 +24,8 @@ module t;
assign {s2.sub.m0, s2.sub.m1} = {1'b0, 4'h5};
assign s1.txt = "text";
assign s2.txt = "text";
assign s1.wide = {16{32'hfeed0ca7}};
assign s2.wide = {16{32'hfeed0ca7}};
assign {s1.sub.arr[0][0], s2.sub.arr[0][0]} = {8'h01, 8'h01};
assign {s1.sub.arr[0][1], s2.sub.arr[0][1]} = {8'h02, 8'h02};
@ -33,6 +36,7 @@ module t;
assign {s3.sub.m0, s3.sub.m1} = {1'b0, 4'h5};
assign s3.txt = "text";
assign s3.wide = {16{32'hfeed0ca7}};
assign s3.sub.arr[0][0] = 8'h01;
assign s3.sub.arr[0][1] = 8'h02;
@ -44,6 +48,7 @@ module t;
initial begin
#1;
if (s3 == s1) $stop;
if (s1 != s2) $stop;
if (s1 == s2 && s3 != s1) begin
$write("*-* All Finished *-*\n");
$finish;