This repository has been archived by the owner on Dec 29, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 49
/
regress-v10.list
325 lines (302 loc) · 9.75 KB
/
regress-v10.list
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
# This test list is used to override other test lists when using
# Icarus Verilog v10.
#
# Copyright (c) 1999-2015 Guy Hutchison ([email protected])
#
# This source code is free software; you can redistribute it
# and/or modify it in source code form under the terms of the GNU
# General Public License as published by the Free Software
# Foundation; either version 2 of the License, or (at your option)
# any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
#
# Format of the file
#
# testname testtype directory
#
# The <testname> is the verilog file name minus an extension.
#
# The <testtype> can be one of the following:
#
# normal: Normal results expected, i.e it should compile and execute
# producing at least a single line with PASSED.
#
# CO: Compile Only - Compile the file to the default output type.
#
# CN: Compile Null - Compile with the null target. Similar to CO.
#
# CE: Compile with Errors - We EXPECT errors - we're checking
# illegal syntax
#
# RE: Runtime with Errors - We EXPECT errors - we're checking
# illegal syntax
#
# EF: Expected Fail - We EXPECT this test to fail - only use
# with older versions of Icarus.
#
# TE: Translation Error - We EXPECT the translated code to fail -
# only supported in the vlog95 checker.
#
# NI: Not implemented. Only use for version specific tests.
#
# <directory> is where the <testname>.v file is located.
#
# An optional fourth and fifth argument can be supplied.
#
# The fourth argument may be one of the following.
#
# modulename - Defines the top level module
# gold=filename - Compare a gold file against the
# generated log file.
# unordered=filename - Compare a gold file against the
# generated log file, allowing for lines
# to appear in any order
# diff=filename1:filename2:skip_ln - Compare the two files for equality.
# Skip the first <skip_ln> lines or none.
#
# If a <modulename> is given you can supply a fifth argument for the
# gold or diff commands.
#
# Different error messages.
br975 CE,-g2009 ivltests gold=br975-v10.gold
pr1704726a CE ivltests gold=pr1704726a-v10.gold
pr1704726c CE ivltests gold=pr1704726c-v10.gold
pr1704726d CE ivltests gold=pr1704726d-v10.gold
# The fix to give a sensible error message has not been backported.
br_gh265 CE,-g2009 ivltests
# The enhanced error message has not been backported.
pr1698820 normal ivltests gold=pr1698820-v10.gold
# Different warning messages.
fdisplay_fail_fd normal ivltests gold=fdisplay_fail_fd-v10.gold
fdisplay_fail_mcd normal ivltests gold=fdisplay_fail_mcd-v10.gold
# The fix for type elaboration in the correct scope hasn't been backported.
br_gh289a NI
br_gh289b EF,-g2009 ivltests
br_gh289c EF,-g2009 ivltests
# The fix for class access to enclosing scopes hasn't been backported.
br1003a normal,-g2009 ivltests gold=br1003a-v10.gold
br_ml20191221 CE,-g2009 ivltests
# The fix for void functions hasn't been backported.
br_gh281 NI
br_gh281b NI
function10 NI
function11 NI
function12 NI
# The fix for nested structs on the LHS of an assignment hasn't been backported.
gh161a NI
# The VVP runtime doesn't support return statements in automatic functions.
# It's possible this could be fixed, but for now mark this as not implemented.
# We can't mark it as EF, because it causes a runtime assertion failure.
func_init_var2 NI
# The fix for the assertion failure on an illegal SV cast causes enum_test1 to fail.
# It's possible this could be fixed, but for now mark this as not implemented.
# We can't mark it as CE, because it causes a compiler assertion failure.
br_ml20180227 NI
# The timescale parsing rework hasn't been backported to v10.
# sv_timeunit_prec3b and sv_timeunit_prec4b fail at the compilation stage,
# so are marked as NI to distinguish them from expected errors.
resetall normal,-Wtimescale ivltests gold=resetall-v10.gold
br1003b normal,-g2009 ivltests gold=br1003b-v10.gold
br1003c normal,-g2009 ivltests gold=br1003c-v10.gold
sv_timeunit_prec3b NI
sv_timeunit_prec4b NI
sv_timeunit_prec_fail1 CE,-g2005-sv,\
./ivltests/sv_timeunit_prec_fail1a.v,\
./ivltests/sv_timeunit_prec_fail1b.v,\
./ivltests/sv_timeunit_prec_fail1c.v,\
./ivltests/sv_timeunit_prec_fail1d.v,\
./ivltests/sv_timeunit_prec_fail1e.v, ivltests gold=sv_timeunit_prec_fail1-v10.gold
sv_timeunit_prec_fail2 CE,-g2009,\
./ivltests/sv_timeunit_prec_fail2a.v,\
./ivltests/sv_timeunit_prec_fail2b.v,\
./ivltests/sv_timeunit_prec_fail2c.v, ivltests gold=sv_timeunit_prec_fail2-v10.gold
# nor has the support for separate compilation units.
sv_unit1c NI
sv_unit2b NI
sv_unit3b NI
sv_unit4b NI
# The macro redefinition warnings haven't been backported to v10
macro_redefinition NI
macro_replacement NI
# The fix for casting strings to vectors uses new VVP instructions,
# so can't be backported.
br_ml20180309a NI
br_ml20180309b NI
# The fix for uninitialised 2-state function return values uses new
# VVP syntax, so can't be backported.
br_gh337 NI
# The fix for string values in event expressions hasn't been backported.
br_gh365 NI
string_events NI
# The enhanced support for `` and `" hasn't been backported.
br_gh366 EF ivltests gold=br_gh366.gold
sv_macro3 EF ivltests gold=sv_macro3.gold
# The fix for join_any inside a task hasn't been backported.
br_gh368 NI
# V10 does not support analog functionality
analog1 NI
analog2 NI
# V10 does not support this VHDL functionality
ivlh_textio NI
test_when_else NI
vhdl_concurrent_assert NI
vhdl_delay_assign NI
vhdl_elab_range NI
vhdl_eval_cond NI
vhdl_file_open NI
vhdl_image_attr NI
vhdl_lfcr NI
vhdl_loop NI
vhdl_multidim_array NI
vhdl_now NI
vhdl_pow_rem NI
vhdl_process_scope NI
vhdl_range NI
vhdl_resize NI
vhdl_shift NI
vhdl_string NI
vhdl_string_lim NI
vhdl_subtypes NI
vhdl_textio_write NI
vhdl_textio_read NI
vhdl_unary_minus NI
vhdl_wait NI
vhdl_while NI
# V10 does not support this SystemVerilog functionality
always_comb NI
always_comb_fail NI
always_comb_fail3 NI
always_comb_fail4 NI
always_comb_no_sens NI
always_comb_rfunc NI
always_comb_trig NI
always_comb_warn NI
always_ff NI
always_ff_fail NI
always_ff_fail2 NI
always_ff_fail3 NI
always_ff_fail4 NI
always_ff_no_sens NI
always_ff_warn NI
always_ff_warn_sens NI
always_latch NI
always_latch_fail NI
always_latch_fail3 NI
always_latch_fail4 NI
always_latch_no_sens NI
always_latch_trig NI
always_latch_warn NI
br1004 NI
br_gh226 CE,-g2009 ivltests
br_gh177a NI
br_gh177b NI
br_gh277b NI
case_priority NI
case_unique NI
genvar_inc_dec NI
gh161b NI
l_equiv NI
l_equiv_ca NI
l_equiv_const NI
sf_countbits NI
sf_countbits_fail NI
sf_countones NI
sf_countones_fail NI
sf_isunknown NI
sf_isunknown_fail NI
sf_onehot NI
sf_onehot_fail NI
sf_onehot0 NI
sf_onehot0_fail NI
sformatf NI
sv_darray_decl_assign NI
sv_deferred_assert1 NI
sv_deferred_assert2 NI
sv_deferred_assume1 NI
sv_deferred_assume2 NI
sv_immediate_assert NI
sv_immediate_assume NI
sv_new_array_error NI
sv_param_port_list NI
sv_queue_real NI
sv_queue_real_bounded NI
sv_queue_real_fail NI
sv_queue_string NI
sv_queue_string_bounded NI
sv_queue_string_fail NI
sv_queue_vec NI
sv_queue_vec_bounded NI
sv_queue_vec_fail NI
sv_wildcard_import1 NI
sv_wildcard_import2 NI
sv_wildcard_import3 NI
sv_wildcard_import4 NI
sv_wildcard_import5 NI
sv_wildcard_import6 NI
sv_wildcard_import7 NI
vvp_recv_vec4_pv CE,-g2009 ivltests
wild_cmp_const NI
wild_cmp_err NI
wild_cmp_err2 NI
wild_cmp_net NI
wild_cmp_var NI
# and has non-standard support for this
sv_cast_darray NI
sv_cast_darray-v10 normal,-g2009 ivltests
# V10 doesn't support rtran switches
rtran NI
rtranif0 NI
rtranif1 NI
# V10 doesn't support this by default
br1000 normal,-gshared-loop-index ivltests
# V10 does not support these SDF elements
br_ml20190814 EF,-gspecify ivltests
# V10 has incomplete synthesis support
br993a CE,-S ivltests
br993b CE,-S ivltests
br_gh115 CE,-S ivltests
basiclatch normal ivltests
blocksynth2 normal ivltests
blocksynth3 normal ivltests
case1 normal ivltests
case2 normal ivltests
case4 normal ivltests
case5 normal ivltests
case5-syn-fail normal ivltests
case6 normal ivltests
casesynth1 normal ivltests
casesynth2 normal ivltests
casesynth3 normal ivltests
casesynth7 NI
casex_synth normal ivltests
condit1 normal ivltests
conditsynth1 normal ivltests
conditsynth2 normal ivltests
conditsynth3 normal ivltests
dffsynth normal ivltests
dffsynth3 normal ivltests
dffsynth4 normal ivltests
dffsynth9 normal ivltests
dffsynth10 normal ivltests
dffsynth11 normal ivltests
inside_synth normal ivltests
inside_synth3 normal ivltests
memsynth1 normal ivltests
memsynth2 normal ivltests
memsynth3 normal ivltests
memsynth5 normal ivltests
memsynth6 normal ivltests
memsynth7 normal ivltests
memsynth9 normal ivltests
mix_reset normal ivltests
multireg normal ivltests
sqrt32synth normal ivltests
ssetclr3 normal ivltests