b87669039e
Commentary
2023-03-10 22:25:47 -05:00
60a6ed2a20
Support assert property statement-else-statement
2023-03-10 22:13:17 -05:00
81e8388c3f
Parse 'expect', still unsupported.
2023-03-10 21:48:56 -05:00
4532680e5f
Internals: Cleanup assert/assume. No functional change.
2023-03-10 21:17:54 -05:00
fc17ab280a
Add --public-depth to force public to a certain instance depth ( #3952 )
2023-03-09 21:48:05 -05:00
621cd0f008
Internals: Framework for renaming warnings ( #4010 partial)
2023-03-08 21:32:37 -05:00
13c9877099
Add --public-params flag ( #3990 )
2023-03-08 19:38:26 -05:00
ff889fde18
Add debug comment when trace disabled ( #4004 ).
2023-03-06 18:22:46 -05:00
f68c16a5e6
Fix symbol entries when inheriting classes ( #3995 ) ( #3996 )
2023-03-06 07:43:58 -05:00
cc45f64280
Add __PVT__ prefix to selects nodes ( #4001 )
2023-03-06 13:18:48 +01:00
725ec088ea
Parse 'sequence' declarations, property case/if, still unsupported.
2023-03-06 05:12:09 -05:00
87c3de5aab
Parse 'matches', still unsupported.
2023-03-05 23:58:54 -05:00
6d7c04a3de
Parse cycle delays and boolean abbrev, still unsupported.
2023-03-05 23:22:41 -05:00
d0f5ce0cc4
Parse intersect/throughout/within, still unsupported.
2023-03-05 19:57:09 -05:00
cb89ef9885
Parse more property expression syntax, as still unsupported
2023-03-05 19:42:21 -05:00
90360d40fd
Change property expression handling towards eventual more general expressions.
2023-03-05 18:52:55 -05:00
15dcd326f8
Internals: Parse weak/strong but do not lex
2023-03-05 18:30:43 -05:00
ae1eb56695
Internals: Parser commentary
2023-03-05 17:59:17 -05:00
a47fd07585
Internals: Standard grammar for property_expression |-> |=>.
2023-03-05 16:59:24 -05:00
19bc257002
Internals: UNSUPPORTED commentary
2023-03-05 16:45:07 -05:00
329a933efd
Internals: Parse nettype as unsupported
2023-03-04 10:50:28 -05:00
e21198cb2d
Add warning on missing class reference #()
2023-03-03 21:06:52 -05:00
ab502c5196
Fix coverage of class methods ( #3998 ).
2023-03-03 19:26:15 -05:00
12728bc478
Fix UNDRIVEN warning seg fault ( #3989 )
2023-03-03 18:54:38 -05:00
3fc684359a
Fix prettyName in structure dumps, partial ( #4001 )
2023-03-03 18:49:26 -05:00
dd917d50eb
Internals: Parse interconnect then say unsupported
2023-03-02 20:02:14 -05:00
8a5804fc3a
Tests: Add tagged union test
2023-03-02 08:11:11 -05:00
3df29085c8
Fix end label fileline reporting.
2023-03-02 07:50:16 -05:00
976af0068b
Support parsing min:typ:max parameters
2023-03-01 23:11:48 -05:00
463ea57b0a
Add error (vs previous warning) on enum value overflow.
2023-03-01 22:36:42 -05:00
326a60d307
Add error on mixing .name and by-port instantiations.
2023-03-01 21:19:21 -05:00
2c60c5f816
Support recursive methods ( #3987 )
2023-03-01 21:07:37 -05:00
faf3804b9a
Fix LITENDIAN warning is backwards ( #3966 ) ( #3967 ).
2023-03-01 11:46:44 -05:00
08a433260c
Apply 'make format'
2023-03-01 05:44:35 +00:00
7fc278f6db
Fix import of extends typedefs
2023-03-01 00:30:45 -05:00
b1a95f642f
Support cast to numbers from strings.
2023-02-28 23:34:33 -05:00
06661ab676
Disallow ++/-- over expressions with potential side effects ( #3976 ).
2023-02-28 15:21:58 -05:00
a0997d0b98
Fix internal error with UNSUPPORTED of procedural clocked assertions
2023-02-28 00:35:58 -05:00
a3ff375ce7
Fix timing delays to not truncate below 64 bits ( #3973 ) ( #3982 )
2023-02-27 21:42:22 -05:00
c03affa544
Fix enum.next(0) and enum.prev(0).
2023-02-26 15:24:24 -05:00
4703fc39be
Add error to avoid @* fatal
2023-02-26 13:13:02 -05:00
9bf0e54937
Internals: add const
2023-02-26 12:21:17 -05:00
b039f246df
Lint check posedge of nonintegral
2023-02-26 12:08:10 -05:00
003a8cfe75
Add lint warning on always_comb multidriven ( #3888 ) ( #3939 )
2023-02-23 05:36:28 -05:00
7559af5879
Fix missing error on negative replicate ( #3963 ).
2023-02-22 19:11:02 -05:00
47a7e75841
Fix subsequent parameter declarations ( #3969 )
2023-02-22 11:26:25 +01:00
adf1de45de
With -Wpedantic change ASSIGNIN to a warning
2023-02-21 16:45:35 -05:00
45f955f175
Fix self references to parameterized classes ( #3962 )
2023-02-17 11:17:35 -05:00
063f9a7a4c
Fix dicts declared with ref type ( #3960 )
2023-02-16 12:49:45 -05:00
c82a098f2e
Internals: Parse class extends ::
2023-02-14 21:23:55 -05:00
393b7714c4
Convert some mis-syntax errors to UNSUPPORTED
2023-02-14 20:48:52 -05:00
43d8de4f80
Support property var decls.
2023-02-14 20:44:14 -05:00
026bbc306b
Removed deprecated --cdc option.
2023-02-13 22:49:51 -05:00
f8b0e359b9
Support class parameters without initial values.
2023-02-13 22:06:52 -05:00
94ef1b76d0
Fix error text on packed struct init.
2023-02-13 20:58:49 -05:00
50929e5d43
Fix packed array structure replication.
2023-02-13 07:49:08 -05:00
5064ec2806
Support type case and type equality comparisons.
2023-02-12 20:09:10 -05:00
4f19eeaffa
Fix type(typedef) operation core dump
2023-02-12 19:57:52 -05:00
10d0088f73
Fix generate case with empty body statements.
2023-02-12 18:14:18 -05:00
15d0ec317d
Fix lint for non-integral types in packed structs.
2023-02-12 16:32:36 -05:00
d9c4d9316f
Parse checkers as UNSUPPORTED.
2023-02-11 14:31:28 -05:00
e9441cff50
Parse external constraints as UNSUPPORTED.
2023-02-11 13:29:52 -05:00
daa545774e
Parse randsequence as UNSUPPORTED.
2023-02-11 13:03:10 -05:00
4d29487e75
Fix -Wpedantic on std::process.
2023-02-11 10:55:06 -05:00
5aa4f46101
Internals: Add some std::. No functional change intended.
2023-02-10 20:32:39 -05:00
d34aa10faf
Fix class field linking when a super classes is a param ( #3949 )
2023-02-10 07:44:14 -05:00
93d50c4499
Internals: Add mutex to V3Error ( #3680 )
2023-02-09 22:15:37 -05:00
4eb280601e
handle constant format field widths ( #3946 )
2023-02-09 10:09:00 -05:00
b778784333
Add --annotate-points option, change multipoint on line reporting ( #3876 ).
2023-02-08 20:22:54 -05:00
9121a81a74
Fix constant enum methods ( #3621 )
2023-02-08 18:50:27 -05:00
d3cbb1e53f
Fix constant string function assignment ( #3945 )
2023-02-08 18:48:07 -05:00
072d76fe8e
Use VAR_BASE as attr type if a select's base is a ref ( #3943 )
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2023-02-07 15:10:19 +01:00
3436d1780f
Fix namespace fallback resolution ( #3863 ) ( #3942 )
2023-02-07 07:13:55 -05:00
1607225063
Fix VPI upper interface scopes not found ( #3937 ).
2023-02-05 16:16:39 -05:00
2c64b83c19
Internals: Fix constructor syntax
2023-02-05 14:29:49 -05:00
936bb7b1ed
Add error on size with unsized number
2023-02-05 14:06:03 -05:00
88e5017564
Internals: Directly assign dtype instead of using dtype's dtype
2023-02-05 13:50:29 -05:00
508f6f7e5a
Fix core dump with initial variable delays
2023-02-05 13:17:35 -05:00
70eceae3d8
Fix core dump on bad dotted reference.
2023-02-05 12:45:14 -05:00
eb5aad94f1
Support to packed array
2023-02-05 10:18:03 -05:00
2d89c458f6
Fix force/release of real.
2023-02-04 20:37:36 -05:00
d33ded22f9
Internals: Remove unused variable
2023-02-04 19:50:04 -05:00
edc32ca82d
Apply 'make format'
2023-02-04 13:20:41 +00:00
dc9c81256d
Fix MsWin missing directory exception, and ::std ( #3928 ) ( #3933 ) ( #3935 )
2023-02-04 08:19:49 -05:00
6908e471e7
Revert: e3558d9e: Support vpiDefName ( #3906 ) ( #3931 )
2023-02-03 21:26:21 -05:00
e3558d9e1b
Support vpiDefName ( #3906 ) ( #3931 )
2023-02-03 19:14:41 -05:00
11043aeb9b
Work around mswin crash with --std ( #3933 )
2023-02-03 19:01:20 -05:00
c7ed73e249
Fix MSVC++ compile warning
2023-02-03 18:47:37 -05:00
31130c4b4a
Fix std:: to be parsed first ( #3864 ) ( #3928 )
2023-02-03 09:04:16 -05:00
00f0027c80
Apply 'make format'
2023-02-03 13:48:46 +00:00
c8be50d40b
Add /*verilator public[flat|flat_rd|flat_rw| ]*/ metacomments ( #3894 )
2023-02-03 08:47:55 -05:00
f6d4f1ad02
Fix very long VPI signal names ( #3929 ).
2023-02-02 19:10:23 -05:00
d3c14cc1ac
Split WIDTH warning into WIDTHEXPAND and WIDTHTRUNC ( #3900 )
2023-02-02 18:25:25 -05:00
33468fa0e7
Fix class extend parameter dot case ( #3926 )
2023-02-02 17:59:47 -05:00
0e955d503e
Handle references of static members of type aliases of a parametrized class ( #3922 )
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2023-02-02 08:36:11 +01:00
18e317fb78
Fix inconsistent naming of generate scope arrays ( #3840 )
2023-02-01 17:30:02 -05:00
ef9f443532
Fix single-element replication to dynarray/unpacked/queue ( #3548 ).
2023-01-31 22:43:41 -05:00
7f3e178b68
Fix paramaterized class function linkage ( #3917 )
...
* Visit function arguments even if the function is unlinkable
* Don't use m_unlinedScopep in AstLambdaArgRef handling
2023-01-30 22:20:56 -05:00
9f9c84aa64
Internals: Avoid using <tab> in the middle of lines ( #3913 )
2023-01-29 22:39:22 -05:00
164aa96953
Fix GCC warning (fixes recent #3510 )
2023-01-29 17:34:48 -05:00
6a7dfb7696
Fix pattern assignment to unpacked structs ( #3510 ).
2023-01-29 16:50:10 -05:00
4208db7811
Support multiple-output buf/not gate primitives
2023-01-28 23:20:48 -05:00
a19dddf05e
Fix real parameters of infinity and NaN.
2023-01-28 22:11:09 -05:00
7855a78a0f
Support %p of union with real
2023-01-28 21:41:50 -05:00
248bd173d3
Support interface classes and class implements.
2023-01-28 18:06:37 -05:00
8d2be855f5
Internals: Parsing and tests for class interfaces
2023-01-28 16:30:47 -05:00
ba8700f99d
Support $changed_gclk, $fell_gclk, $rose_gclk, $stable_gclk
2023-01-28 14:05:26 -05:00
f20997a2f0
Support global clocking and $global_clock.
2023-01-28 12:31:52 -05:00
bea225e191
Fix duplicate name check on extern symbols
2023-01-28 11:55:44 -05:00
93517b8378
Support unpacked unions.
2023-01-27 22:41:12 -05:00
a39c7f7dac
Internals: Add V3ThreadPool class ( #3898 )
...
The thread pool is self tested, but not otherwise used by the code yet.
2023-01-27 10:43:50 -05:00
d118a739dc
Fix cinlude check ( #3907 )
2023-01-26 06:35:59 -05:00
91c44d7830
Support class extending its parameter ( #3904 )
2023-01-25 20:33:18 -05:00
4a8cfe367d
Support function calls without parenthesis ( #3903 ) ( #3902 )
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2023-01-24 15:36:30 +01:00
b56e7f6910
Support static function variables ( #3830 )
2023-01-23 08:35:10 -05:00
be26e8da1b
Support struct I/O in --lib-create ( #3378 ) ( #3892 )
2023-01-22 22:24:36 -05:00
6ea725f479
Add --verilate-jobs option ( #3889 )
...
Currently this option isn't used, but in the future it will be used to specify parallelization of Verilation step.
2023-01-22 21:52:52 -05:00
3069860fdf
Allow mismatched widths in operands of shifts in DFG
...
Fixes #3872 .
Testing this is a bit tricky, as the front-end fixes up the operand
widths in shifts to match, and we need V3Const to introduce a mismatched
one by reducing `4'd2 ** x` (with x being 2 2-bit wide signal) to `4'd1
<< x`, but t_dfg_peephole runs with V3Const disabled exactly because it
makes it hard to write tests. Rather than fixing this one case in
V3Const (which we should do systematically at some point), I fixed DFG
to accept these just in case V3Const generates more of them. The
assertions were there only because of paranoia (as I thought these were
not possible inputs), the code otherwise works.
2023-01-22 10:55:03 +00:00
bc7048e8d1
Convert verilator_includer to python3
2023-01-21 14:40:22 -05:00
30d6edd2e5
Cleanup missing copyrights and those on simply copied files. No functional change.
2023-01-20 20:42:30 -05:00
5ef373500f
Fix module parameter name collision ( #3854 ) ( #3855 )
2023-01-20 18:38:59 -05:00
be53eec5ca
Support property calls without parenthesis ( #3879 ) ( #3893 )
2023-01-20 07:25:37 -05:00
41e5f6b7d5
Apply 'make format'
2023-01-19 23:22:37 +00:00
c1c0aa61f9
Fix signed/unsigned parameter types ( #3866 )
2023-01-19 18:00:32 -05:00
e94023367f
Fix elaboration of member selected classes ( #3890 ).
2023-01-19 17:44:27 -05:00
035bf13e4a
Fix foreach unnamedblk duplicate error ( #3885 ).
2023-01-18 21:48:06 -05:00
901d1d8087
Fix unpacked array expansion ( #3861 )
2023-01-18 14:35:48 -05:00
6cd26edb64
Apply 'make format'
2023-01-18 16:48:16 +00:00
956fd89b87
Support import/export lists in modport ( #3886 )
2023-01-18 11:46:51 -05:00
ff2f711d0c
Fix chain call of abstract class constructor ( #3868 ) ( #3883 )
2023-01-17 13:02:39 -05:00
a1160a85a3
Support p format for UnpackArray ( #3877 )
2023-01-16 12:41:02 -04:00
83f6b11235
Fix astgen in CMakeLists.txt ( #3867 )
2023-01-13 09:33:50 -05:00
5fce23e90d
Fix empty case items crash ( #3851 ).
2023-01-10 07:18:12 -05:00
1d2293b783
Fix some indents of warnMore
2023-01-05 17:59:51 -05:00
4784daa7dc
Add IMPLICITSTATIC warning when a ftask/function is implicitly static ( #3839 )
2023-01-05 17:42:05 -05:00
2ab70ba452
Internals: Cleanup .txt file whitespace ( #3842 )
2023-01-05 05:00:54 -05:00
816cff009a
Fix #3824 of wrong bit op tree optimization ( #3825 )
...
* Tests: Add a test to reproduce #3824
* Fix #3824 of wrong bitOpTree optimization. Consider constant 1 in an Or-tree made by shift-out.
2023-01-04 23:10:55 +09:00
e004ea7ae2
Revert ( #3835 ) ( #3836 )
2023-01-03 08:25:30 -05:00
6159a7dd8d
Fix VPI generate scope array naming ( #3835 ) ( #3836 )
2023-01-03 07:38:55 -05:00
be65030d61
Fix cmake upper-case and missing include directory ( #3838 )
2023-01-02 06:25:50 -05:00
a168d593eb
Fix some front-end memory leaks
2023-01-01 15:31:29 +00:00
6ab47f799b
Actually delete the netlist when VL_LEAK_CHECKS
2023-01-01 15:31:29 +00:00
fd52f7f479
Fix memory leak in V3Sched.
...
Fixes #3834 .
2023-01-01 15:31:29 +00:00
b24d7c83d3
Copyright year update
2023-01-01 10:18:39 -05:00
bf4a844f2b
Fix self references when param class instantiated ( #3833 )
2022-12-30 06:05:01 -05:00
9255707dd4
Fix detecting multiple pattern defaults
2022-12-29 20:16:30 -05:00
24198ef0ed
Internal line coverage fix
2022-12-29 14:18:45 -05:00
fde380868a
Fix misc memory leaks
2022-12-29 13:59:24 -05:00
be42dc906c
Fix GDB watchedit
2022-12-29 13:58:19 -05:00
bad4110b03
For --stat, add total elapsed time
2022-12-29 11:48:19 -05:00
f6b101d98b
Apply 'make format'
2022-12-26 09:31:25 +00:00
80a144797d
Commentary: Fix more spelling ( #3828 )
2022-12-26 10:30:41 +01:00
45abcb6107
Internals: Some V3LinkInc cleanups. No functional change.
2022-12-23 16:17:08 -05:00
d5a18c99fe
fungetc has lvalue character argument.
2022-12-23 13:00:34 -05:00
c0499da28b
Spelling fixes
2022-12-23 11:32:38 -05:00
3ccb2e0f2d
Fix initiation of function variables ( #3815 ).
2022-12-23 10:51:52 -05:00
afd7c2ae25
Internals: Use visitor to refactor Ctors, prep for ( #3815 )
2022-12-23 10:12:11 -05:00
bb44d4e4f2
Support clocking blocks ( #3674 )
2022-12-23 07:34:49 -05:00
d64971ba35
Fix some MSVC warnings.
2022-12-22 12:19:09 -05:00
65daf99bf4
Support Windows-native builds using cmake ( #3814 )
2022-12-20 19:42:27 -05:00
299261714b
Fix crash in DFT due to width use after free ( #3817 ) ( #3820 )
2022-12-20 19:36:04 -05:00
c2b09e35f8
Support unpacked structs ( #3802 )
2022-12-20 19:22:42 -05:00
51de2c9194
Remove reader task code which was non-functional ( #3360 )
2022-12-17 16:48:08 -05:00
a554dd7c8d
Optimize expansion of extend operators - fix earlier commit.
2022-12-15 22:49:49 -05:00
7d93952a0d
Fix make intermediate ( #3748 )
2022-12-15 19:53:51 -05:00
1ddb2dd5e7
Fix make intermediate ( #3748 )
2022-12-15 19:26:54 -05:00
2770ddf071
Optimize expansion of extend operators.
2022-12-15 07:38:53 -05:00
fcd1306ef3
Apply 'make format'
2022-12-14 12:08:19 +00:00
9d2f1c607a
Fix MSVCC issues ( #3813 )
2022-12-14 07:07:25 -05:00
d192372c7e
Apply 'make format'
2022-12-12 23:46:23 +00:00
7b073fec7d
Fix MSVC++ portability issues ( #3812 )
2022-12-12 18:45:32 -05:00
972a11537c
Internals: Fix lint-py warnings
2022-12-11 21:58:02 -05:00
609bfa46e8
Fix ENUMVALUE on parameter, again ( #3777 ).
2022-12-11 21:10:12 -05:00
0a3c90e517
Fix forked processes compiled as slow/cold ( #3766 )
2022-12-11 14:44:18 -05:00
afc66f6a85
Fix make jobserver with submakes ( #3758 ).
2022-12-11 14:19:40 -05:00
86b07423a9
Fix ENUMVALUE on parameter ( #3777 ).
2022-12-11 13:28:24 -05:00
3f4d4dec77
Fix ENUMVALUE on typedef ( #3777 )
2022-12-11 11:50:22 -05:00
86e3c02339
Internal: Remove stale make rule ( #3811 ).
2022-12-11 09:48:25 -05:00
a0e7930036
docs: Fix spelling
2022-12-09 22:39:41 -05:00
4b6e15d0eb
Fix non-blocking assignments in forks ( #3781 ) ( #3800 )
2022-12-06 07:16:07 -05:00
87bb32fde1
Fix forks without any delayed statements ( #3792 ) ( #3801 )
2022-12-06 07:14:29 -05:00
ea1b141d13
Support probablity distribution functions.
2022-12-04 17:30:51 -05:00
84c7368621
Rename std.sv and add to install.
2022-12-03 11:31:26 -05:00
f27cf4c804
Commentary: Fix spelling in C++ comments ( #3797 ) ( #3798 )
2022-12-02 18:46:38 -05:00
87135d0b2d
Internals: Fix missing const. No functional change.
2022-12-01 18:47:09 -05:00
e465a30eee
Fix lint_off EOFNEWLINE in .vlt files ( #3796 ).
2022-12-01 18:27:36 -05:00
889a1211f1
Fix 3786 (Internal error in bit op tree optimization) ( #3793 )
...
* Tests: Add a test to reproduce 3786
* Fix #3786 (Internal error in bit op tree optimization).
2022-12-01 22:00:24 +09:00
31d8b4cb8e
Internals: Rename AstNodeSystem*D etc. No functional change intended.
2022-11-30 22:08:57 -05:00
d87ef8394a
Fix CASEINCOMPLETE when covers all enum values ( #3745 ) ( #3782 ).
...
Co-authored-by: "G-A. Kamendje" <gkamendje@gmail.com>
2022-11-30 19:42:21 -05:00
4f4c26383c
Support unpacked byte assignment from strings.
2022-11-30 19:17:28 -05:00
42e4e18ec8
Support multiple $dumpvar identifiers
2022-11-30 18:13:57 -05:00
355c4f76d0
Add error when super.new is not first statement ( #3789 )
2022-11-30 07:41:57 -05:00
073dc03adc
Support super.new calls ( #3789 )
2022-11-30 06:42:48 -05:00
8ff607f679
Deprecate verilated_fst_sc.cpp and verilated_vcd_sc.cpp ( #3507 )
2022-11-29 22:17:50 -05:00
b51bb4d0e7
Internal: Add node objects to UASSERT ( #3786 )
2022-11-29 18:34:44 -05:00
f0a7abcef8
Internals: Use named accessors instead of op1p etc. No functional change intended.
2022-11-29 18:17:50 -05:00
ff9596bb23
Fix missing user objects in --lib-create mode ( #3780 ) ( #3784 )
2022-11-29 09:02:39 -05:00
e569ff2752
Add error when use --exe with --lib-create. ( #3785 )
2022-11-29 06:37:38 -05:00
68e1b473e2
Support `std::semaphore` and typed `std::mailbox` ( #3708 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2022-11-28 16:53:55 +01:00
f4be3d5d2b
Fix empty string literals converting to string types ( #3774 ).
2022-11-27 13:28:57 -05:00
054b792021
Fix ENUMVALUE error to show value location ( #3783 )
2022-11-27 08:44:30 -05:00
2c7f1ef40f
Internals: Cleanup debug dumps so can grep-out leading-dashed lines
2022-11-27 08:31:22 -05:00
5f583b0680
Fix clang warning from previous commits.
2022-11-27 06:27:51 -05:00
fa4270b551
bisonpre: Commentary
2022-11-27 06:18:58 -05:00
d8071819fc
Fix unquoted name in dtype errors.
2022-11-27 05:59:40 -05:00
833780fac1
Internal: cppcheck fixes. No functional change intended.
2022-11-27 05:52:40 -05:00
4b3731d318
Remove env from main() to be C++11 compatible
2022-11-23 18:50:31 -05:00
68f8617f79
Support member selects in with clauses ( #3775 )
2022-11-23 13:15:10 -05:00
06fdf7be58
Add support of Events for VCD/FST traces ( #3759 )
2022-11-23 04:07:14 -05:00
e97e6c2213
Fix V3Tristate warning ( #3773 )
2022-11-22 17:46:58 -05:00
508e937164
Fix tautological predicate in V3DfgPeephole
...
Fixes #3771
2022-11-22 15:05:34 +00:00
57975c82b7
Support 'with' in unique, unique_index, min, max in queues ( #3772 )
2022-11-22 09:10:25 -05:00
66d85b3381
Internals: Fix cppcheck warnings. No functional change intended.
2022-11-21 21:40:49 -05:00
73d6de4471
Internals: Fix constructor style.
2022-11-21 20:41:32 -05:00
0af02563ca
Internals: Fix verilog.y style
2022-11-21 20:22:13 -05:00
b82ce5743b
Internals: Fix verilog.y style
2022-11-21 08:30:40 -05:00
d3c1f4353e
Fix float parameters without parens
2022-11-21 06:48:13 -05:00
62bdd3ab49
Fix timing control in while-break loops ( #3733 ) ( #3769 )
2022-11-21 06:27:55 -05:00
2eed4452ad
Internals: Fix constructor style.
2022-11-20 20:13:55 -05:00
f44cd9cd48
Internals: Fix constructor style.
2022-11-20 17:40:38 -05:00
25f970eac2
Internals: Fix constructor style.
2022-11-20 15:06:49 -05:00
3abb65d732
Strengthen AstNode types to AstNodeExpr
...
Declare every AstNode children and variables as AstNodeExpr where we
statically know this is the appropriate sub-type.
2022-11-20 19:31:28 +00:00
352d0b4582
Internals: Fix constructor style.
2022-11-20 13:11:01 -05:00
a60e273c29
Apply 'make format'
2022-11-20 15:26:23 +00:00
47253450a4
Fix to escape VERILATOR_ROOT file paths ( #3764 ) ( #3765 )
2022-11-20 10:25:41 -05:00
aacb38b776
Support assignment expressions.
2022-11-19 15:23:37 -05:00
21d80cdfa1
Internals: Fix constructor style.
2022-11-19 14:45:38 -05:00
d0e7177d8e
Disable stack size limit ( #3706 ) ( #3751 )
2022-11-19 14:44:54 -05:00
3a27e3d67b
Fix false ENUMVALUE errors in unstable branch ( #3761 )
2022-11-19 14:07:39 -05:00
09dff9c3a7
Fix false ENUMVALUE errors in unstable branch ( #3761 )
2022-11-19 13:30:23 -05:00
f266b02bc7
Internals: Improve dtype small dump.
2022-11-19 13:23:28 -05:00
de9c92fd14
Internals: Add missing const. No functional change.
2022-11-19 10:48:46 -05:00
0322e9da7e
Fix randcase inside function.
2022-11-18 21:30:34 -05:00
b2d92b7c25
Allow ENCAPSULATED and ENUMVALUE to be disabled
2022-11-18 21:30:34 -05:00
ef72b73a59
Support foreach loops on strings ( #3760 )
2022-11-18 07:07:56 -05:00
749aab0a56
Support triple-quote blocks.
2022-11-17 20:38:01 -05:00
cd8528e83b
Apply 'make format'
2022-11-18 00:14:05 +00:00
e8a1e4745c
Support $stacktrace
2022-11-17 19:12:54 -05:00
d41efb189d
Fix pre/postincrement operations ( #3744 ) ( #3756 )
2022-11-17 13:26:45 -05:00
3c77c7bb92
Support and
2022-11-16 21:10:54 -05:00
3ddfa214e3
Fix $unit as base package for other packages ( #3755 )
2022-11-16 18:58:57 -05:00
a58cd66358
Fix printtimescale
2022-11-16 18:17:24 -05:00
e6da59eecd
Internals: Mark some VL_PURE functions. No functional change.
2022-11-15 09:18:47 -05:00
c6ecd60993
Support pre_randomize and post_randomize.
2022-11-13 11:59:40 -05:00
ee26dddfa1
Internals: Fix constructor style.
2022-11-13 11:23:57 -05:00
d1658b9e82
Apply 'make format'
2022-11-13 14:27:37 +00:00
818347f99b
Internals: Fix some unnecessary member paddings. No functional change intended.
2022-11-13 09:26:46 -05:00
201419c646
Fix MSVC compiler errors ( #3742 ) ( #3746 )
2022-11-13 08:35:06 -05:00
d25834e57b
Add ENUMVALUE warning when value misused for enum ( #726 ).
2022-11-12 20:11:05 -05:00
4f50073feb
Internals: Fix constructor style.
2022-11-12 19:51:03 -05:00
eaf09ba0e7
Dfg: resolve multi-driven signal ranges
...
In order to avoid unexpected breakage on multi-driven variables, we
resolve in DFG construction by using only the first driver encountered.
Also issues the MULTIDRIVEN error for these signals.
2022-11-12 20:34:51 +00:00
8291d8bcc1
Apply 'make format'
2022-11-12 17:10:41 +00:00
0a045a7bf6
Change ENDLABEL from warning into an error.
2022-11-12 12:09:48 -05:00
dbcaad99c5
Dfg: Fix crash on additional driver from non-DFG logic
...
Ensure variables written by non-DFG code are kept
Fixes #3740
2022-11-12 11:55:49 +00:00
6736e92cdb
Internals: Fix some ugly line breaks. No functional change.
2022-11-11 22:33:17 -05:00
a427860825
Support randcase.
2022-11-11 21:53:05 -05:00
41d2ebe288
Fix CONTEXT compile error on mingw64 ( #3741 ).
2022-11-11 21:43:10 -05:00
227e61f891
Fix comparing ranged slices of unpacked arrays.
2022-11-11 18:01:30 -05:00
b2e61425d6
Fix const initial assignments.
2022-11-11 17:45:34 -05:00
9d7c4d9af3
Fix wait 0.
2022-11-11 17:18:59 -05:00
0c75d4eaca
Internals: Fix constructor style.
2022-11-10 22:58:27 -05:00
528a73a492
Fix instability after disable iff error.
2022-11-10 22:09:24 -05:00
fbf2e59c85
Fix loss of V3Simulate on expression statements.
2022-11-10 20:49:11 -05:00
16586d1d37
Fix tracing parameters overridden with -G ( #3723 ).
2022-11-10 20:30:10 -05:00
441b5da5ce
Fix 'with' clause handling in functions ( #3739 )
2022-11-10 18:08:15 -05:00
e64295e92b
Fix missing UNUSED warnings with --coverage ( #3736 ).
2022-11-09 21:45:14 -05:00
cbf9cc8e5f
Fix return in constructors ( #3734 )
2022-11-09 06:32:22 -05:00
a29d9469da
Fix jump handling in do while loops ( #3731 )
2022-11-08 20:01:08 -05:00
2a3eabff73
Various Dfg performance improvements
2022-11-06 15:54:51 +00:00
454efbe3fc
Dfg: Use a worklist driven algorithm for unused vertex removal
...
This improves verilation speed slightly.
2022-11-06 14:13:42 +00:00
fb9ec03c3f
DfgPeephole: Use a work list driven algorithm for speed
...
Replace the 'run to fixed point' algorithm with a work list driven
approach. Instead of marking the graph as changed, we explicitly add
vertices to the work list, to be visited, when a vertex is changed. This
improves both memory locality (as the work list is processed in last in
first out order), and removed unnecessary visitations when only a few
nodes changes.
2022-11-05 20:31:09 +00:00
21926eeb6b
Tests: Improve some coverage
2022-11-05 11:40:34 -04:00
6ae6b16223
V3Const: Fix folding of LogAnd with non-bool operands
...
Folding an AstLogAnd with a non-zero constant operand used to coerce the
type of the other operand, yielding an ill-typed node that DFG was then
unhappy about. Add a RedOr instead if the width of the replacement
operand is greater than zero.
Fixes #3726
2022-11-05 13:36:21 +00:00
d6126c4b32
Remove --no-threads; require --threads 1 for single threaded ( #3703 ).
2022-11-05 08:47:34 -04:00
8d61cea366
Fix return type of $countbits functions to int ( #3725 )
2022-11-04 08:58:17 -04:00
65e08f4dbf
Make all expressions derive from AstNodeExpr ( #3721 ).
...
Apart from the representational changes below, this patch renames
AstNodeMath to AstNodeExpr, and AstCMath to AstCExpr.
Now every expression (i.e.: those AstNodes that represent a [possibly
void] value, with value being interpreted in a very general sense) has
AstNodeExpr as a super class. This necessitates the introduction of an
AstStmtExpr, which represents an expression in statement position, e.g :
'foo();' would be represented as AstStmtExpr(AstCCall(foo)). In exchange
we can get rid of isStatement() in AstNodeStmt, which now really always
represent a statement
Peak memory consumption and verilation speed are not measurably changed.
Partial step towards #3420
2022-11-03 16:02:16 +00:00
cf4c00e3b4
Internals: if assertion should be VL_UNLIKELY
2022-11-02 20:11:25 -04:00
bac98df46b
Support named properties ( #3667 )
2022-11-01 18:53:47 -04:00
0675510eb9
DFG: Fix attempted evaluation of constants wider than 32 bits
...
Fixes #3718
2022-10-28 17:14:19 +01:00
99791ac8b3
Reduce verbosity of DFG debug
2022-10-28 16:35:53 +01:00
54c4351c39
V3Const: Do not introduce redundant AstExtend
...
Fixes #3716
2022-10-28 14:54:00 +01:00
e504e9aced
Optimize clocked processes to comb when referencing const variables
...
In V3Active, we try hard to turn `always @(a or b or c)` into an
`always_comb` if the only variables read in the block are also in the
sensitivity list. In addition, also allow this optimization when reading
variables that are not in the sensitivity list, but are known to be
constant/never changing after initialization. In particular lookup
tables introduced by V3Table are covered by this. This can have a
significant impact on designs that use the `always @(a or b or c)` style
for combinational logic.
2022-10-28 14:37:30 +01:00
ef2776034e
Adjust instruction count estimates for AstCMethodHard
...
The cost of an AstCMethodHard right now is generally unknown. However,
VlTriggerVec::at is used a lot in conditions, so we make an effort
to estimate this correctly via 2 changes:
- In general when an AstVarRef appears as the target of an
AstCMethodHard, we cost it as a simple address computation (an add)
- Check for VlTriggerVec::at explicitly when costing AstCMethodHard,
which is essentially a load.
This can have a significant effect when there are a lot of unique
triggers in the design.
2022-10-28 14:37:30 +01:00
5c658f8cd5
Fix width mismatch on inside operator ( #3714 ).
2022-10-28 06:38:49 -04:00
65290afe0a
Fix VString::endsWith when suffix is longer than input string.
2022-10-27 18:38:44 +01:00
3487701b04
Tests: Cover some previously uncovered warnings
2022-10-22 16:03:42 -04:00
8e1901da10
Tests: Cover some previously uncovered warnings
2022-10-22 13:45:48 -04:00
ecfa385f13
Test/cleanup endtable without table
2022-10-22 12:30:44 -04:00
495d52d30f
Test and fix extra end_keywords
2022-10-22 12:17:56 -04:00
fcf0d03cd4
Dynamic triggers for non-static contexts ( #3599 )
...
In non-static contexts like class objects or stack frames, the use of
global trigger evaluation is not feasible. The concept of dynamic
triggers allows for trigger evaluation in such cases. These triggers are
simply local variables, and coroutines are themselves responsible for
evaluating them. They await the global dynamic trigger scheduler object,
which is responsible for resuming them during the trigger evaluation
step in the 'act' eval region. Once the trigger is set, they await the
dynamic trigger scheduler once again, and then get resumed during the
resumption step in the 'act' eval region.
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2022-10-22 14:05:39 +00:00
a57a3579c0
Fix false LATCH warning on 'unique if' ( #3088 ).
2022-10-21 19:10:06 -04:00
203993b018
Internals: Fix constructor style.
2022-10-21 19:03:40 -04:00
347e9b4ec8
Fix cell assigning integer array parameters ( #3299 ).
2022-10-21 18:26:39 -04:00
785c51dd0b
Fix emitting timing debug info with `--protect-ids` ( #3689 ) ( #3701 )
2022-10-21 16:56:44 -04:00
2e4f5c863f
Fix VPI inline module naming mismatch ( #3690 ) ( #3694 )
2022-10-21 13:04:42 -04:00
196f3292d5
Improve V3Ast function usage ergonomics ( #3650 )
...
Signed-off-by: HungMingWu <u9089000@gmail.com>
2022-10-21 14:12:12 +01:00
627a144b83
Support access to constructs inside type parameters ( #3702 )
...
This changeset brings support for accesses like:
class Cls#(type TYPE1);
TYPE1::some_method();
endclass
It is done by delaying dot resolution on type parameters until they get
resolved by V3Param, and doing a more thorough reference skip.
2022-10-21 09:00:40 -04:00
5688d1a935
Internals: Add `V3UniqueNames` consistency assertion ( #3692 )
2022-10-21 07:05:38 -04:00
8b0d71994d
DFG: don't try to call DfgVertex::width() on arrays
...
In DFG DfgVertex::width() is only defined for vertices representing
packed values, which DfgVertex::hash() used to violate. The only
non-packed values at the moment are DfgVarArray, which is a
DfgVertexVar, which are handled specially anyway, so this is easy to
fix.
Fixes #3682
2022-10-21 10:57:13 +01:00
79682e6072
Support empty generate_regions ( #3695 ). [mpb27]
2022-10-20 22:04:50 -04:00
Wilson Snyder
Andrew Nolte
Krzysztof Boroński
Ryszard Rozak
Felix Neumärker
Cameron Kirk
github action
Felix Neumärker
Adam Bagley
Kamil Rakoczy
Todd Strader
Aleksander Kiryk
Kritik Bhimani
Joseph Nwabueze
Larry Doolittle
Ilya Barkov
Varun Koyyalagunta
Geza Lore
James Shi
Joey Liu
Gökçe Aydos
Yutetsu TAKATSUKASA
Krzysztof Bieganski
Jevin Sweval
Yinan Xu
Yves Mathieu
Jiacheng Qian
Mariusz Glebocki
William D. Jones
Jiuyang Liu
HungMingWu
Arkadiusz Kozdra