diff options
| author | Dag Lem <dag@nimrod.no> | 2023-01-29 19:45:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-29 13:45:45 -0500 |
| commit | db13c6df2bd0c0e471d380a3a72a3af83f6341fc (patch) | |
| tree | 38ebbbf8bc945e1458c793b41d6d18ee3f6720ce /tests | |
| parent | 541fdffff243bccb410de13ae3ef91797060fcd4 (diff) | |
| download | yosys-db13c6df2bd0c0e471d380a3a72a3af83f6341fc.tar.gz yosys-db13c6df2bd0c0e471d380a3a72a3af83f6341fc.tar.bz2 yosys-db13c6df2bd0c0e471d380a3a72a3af83f6341fc.zip | |
Handle struct members of union type (#3641)
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/svtypes/union_simple.sv | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/svtypes/union_simple.sv b/tests/svtypes/union_simple.sv index 12e4b376f..a55df4d0a 100644 --- a/tests/svtypes/union_simple.sv +++ b/tests/svtypes/union_simple.sv @@ -48,14 +48,30 @@ module top; U_t u; } instruction_t; + typedef struct packed { + instruction_t ir; + logic [3:0] state; + } s_t; + instruction_t ir1; + s_t s1; + assign ir1 = 32'h0AA01EB7; // lui t4,0xAA01 + assign s1.ir = ir1; + assign s1.state = '1; + always_comb begin assert(ir1.u.opcode == 'h37); assert(ir1.r.opcode == 'h37); assert(ir1.u.rd == 'd29); assert(ir1.r.rd == 'd29); assert(ir1.u.imm == 'hAA01); + assert(s1.ir.u.opcode == 'h37); + assert(s1.ir.r.opcode == 'h37); + assert(s1.ir.u.rd == 'd29); + assert(s1.ir.r.rd == 'd29); + assert(s1.ir.u.imm == 'hAA01); + assert(s1.state == 4'b1111); end union packed { |