Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Tests, tests, tests

Browse Source
This commit is contained in:
Todd Strader 2020-03-27 14:51:38 -04:00
parent d08d07e89b
commit 67c18ada59
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test_regress/t/t_type_comparison.v
View File

@ -79,6 +79,8 @@ module t();
typedef byte MEM_BYTES [256]; typedef byte MEM_BYTES [256];
typedef bit signed [7:0] MY_MEM_BYTES [256]; // MY_MEM_BYTES matches typedef bit signed [7:0] MY_MEM_BYTES [256]; // MY_MEM_BYTES matches
// MEM_BYTES // MEM_BYTES
typedef byte [255:0] MEM_BYTES_PACKED;
typedef bit signed [7:0] [255:0] MY_MEM_BYTES_PACKED;
typedef logic [1:0] [3:0] NIBBLES; typedef logic [1:0] [3:0] NIBBLES;
typedef logic [7:0] MY_BYTE; // MY_BYTE and NIBBLES are not matching types typedef logic [7:0] MY_BYTE; // MY_BYTE and NIBBLES are not matching types
typedef logic MD_ARY [][2:0]; typedef logic MD_ARY [][2:0];
@ -109,6 +111,11 @@ module t();
if (type(BYTE) != type(byte)) $stop(); if (type(BYTE) != type(byte)) $stop();
if (type(ETYB) == type(byte)) $stop(); if (type(ETYB) == type(byte)) $stop();
if (type(BYTE) == type(UNSIGNED_BYTE)) $stop(); if (type(BYTE) == type(UNSIGNED_BYTE)) $stop();
if (type(MEM_BYTES) != type(MY_MEM_BYTES)) $stop();
// if (type(MEM_BYTES_PACKED) != type(MY_MEM_BYTES_PACKED)) $stop();
// if (type(NIBBLES) == type(MY_BYTE)) $stop();
// if (type(MD_ARY) == type(MD_ARY_TOO)) $stop();
// if (type(MY_CHAR) != type(byte)) $stop();
// TODO -- the rest // TODO -- the rest
// TODO -- case equal/not equal, ===, !=== // TODO -- case equal/not equal, ===, !===
end end