1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
// DESCRIPTION: Verilator: Check == and != operations performed on queues
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2023 by Ilya Barkov.
// SPDX-License-Identifier: CC0-1.0
`define stop $stop
`define check_comp(lhs, rhs, op, exp) if ((exp) != ((lhs) op (rhs))) begin $write("%%Error: %s:%0d: op comparison shall return 'b%x\n", `__FILE__, `__LINE__, (exp)); `stop; end
// Two checks because == and != may not be derived from each other
`define check_eq(lhs, rhs) `check_comp(lhs, rhs, ==, 1'b1) `check_comp(lhs, rhs, !=, 1'b0)
`define check_ne(lhs, rhs) `check_comp(lhs, rhs, ==, 1'b0) `check_comp(lhs, rhs, !=, 1'b1)
class Cls;
int i;
endclass
module t;
initial begin
begin // integers
int q1[$];
bit signed [31:0] q2[$];
q1.push_back(1);
q2.push_back(1);
q1.push_back(-2);
q2.push_back(-2);
`check_eq(q1, q2)
q2.push_back(3);
`check_ne(q1, q2)
end
begin // strings
string q1[$];
string q2[$];
q1.push_back("one");
q2.push_back("one");
q1.push_back("two");
q2.push_back("two");
`check_eq(q1, q2)
q2.push_back("three");
`check_ne(q1, q2)
end
begin // classes
Cls a = new;
Cls b = new;
Cls q1[$];
Cls q2[$];
q1.push_back(a);
q2.push_back(b);
`check_ne(q1, q2)
q1.push_back(b);
q2.push_front(a);
`check_eq(q1, q2)
end
$write("*-* All Finished *-*\n");
$finish;
end
endmodule
|
