]> git.nickg.me.uk Git - nvc.git/log
nvc.git
6 weeks agoFix some corner cases enabling/disabling VHPI callbacks
Nick Gasson [Thu, 28 Mar 2024 15:00:29 +0000 (15:00 +0000)]
Fix some corner cases enabling/disabling VHPI callbacks

6 weeks agoEnsure RT_NEXT_TIME_STEP event triggers on the first cycle
Nick Gasson [Thu, 28 Mar 2024 14:10:11 +0000 (14:10 +0000)]
Ensure RT_NEXT_TIME_STEP event triggers on the first cycle

6 weeks agoReplace vhpiHandleT with a reference counted handle
Nick Gasson [Thu, 28 Mar 2024 11:59:08 +0000 (11:59 +0000)]
Replace vhpiHandleT with a reference counted handle

6 weeks agoImplement vhpiDesignUnit association for instances
Nick Gasson [Wed, 27 Mar 2024 12:36:34 +0000 (12:36 +0000)]
Implement vhpiDesignUnit association for instances

6 weeks agoRemove sem_int_lit helper function
Nick Gasson [Wed, 27 Mar 2024 10:09:51 +0000 (10:09 +0000)]
Remove sem_int_lit helper function

6 weeks agoFix crash in vhpi_iterator with --vhpi-trace
Nick Gasson [Wed, 27 Mar 2024 10:03:47 +0000 (10:03 +0000)]
Fix crash in vhpi_iterator with --vhpi-trace

6 weeks agoSuppress error for hidden declarations with --relaxed. Fixes #870
Nick Gasson [Tue, 26 Mar 2024 23:05:59 +0000 (23:05 +0000)]
Suppress error for hidden declarations with --relaxed. Fixes #870

6 weeks agoImprove checking for incomplete type declarations
Nick Gasson [Tue, 26 Mar 2024 22:06:39 +0000 (22:06 +0000)]
Improve checking for incomplete type declarations

6 weeks agoFix undefined behaviour dumping >32 bit integers to FST. Issue #869
Nick Gasson [Mon, 25 Mar 2024 20:54:53 +0000 (20:54 +0000)]
Fix undefined behaviour dumping >32 bit integers to FST. Issue #869

6 weeks agoRun all cocotb regression tests in GitHub Actions
Nick Gasson [Mon, 25 Mar 2024 20:43:02 +0000 (20:43 +0000)]
Run all cocotb regression tests in GitHub Actions

6 weeks agoFix crashes with vhpiDepositPropagate
Nick Gasson [Mon, 25 Mar 2024 20:04:49 +0000 (20:04 +0000)]
Fix crashes with vhpiDepositPropagate

6 weeks agoBump default standard version to 2008
Nick Gasson [Sat, 23 Mar 2024 13:39:04 +0000 (13:39 +0000)]
Bump default standard version to 2008

6 weeks agoAlso trace address sanitizer fake stack in mspace_gc
Nick Gasson [Sat, 23 Mar 2024 12:34:47 +0000 (12:34 +0000)]
Also trace address sanitizer fake stack in mspace_gc

6 weeks agoFix some boundary cases in mask_iter
Nick Gasson [Sat, 23 Mar 2024 09:48:14 +0000 (09:48 +0000)]
Fix some boundary cases in mask_iter

6 weeks agoAdd some additional allocation benchmarks
Nick Gasson [Sat, 23 Mar 2024 12:16:56 +0000 (12:16 +0000)]
Add some additional allocation benchmarks

7 weeks agoFix load address for symbols pointing to PE sections
Nick Gasson [Thu, 21 Mar 2024 21:31:50 +0000 (21:31 +0000)]
Fix load address for symbols pointing to PE sections

This reverts commit a16b40026cb4c62704b75fbfd59cc8ffc3ef5ad5.

7 weeks agoVHPI discovery in for-generate broken since 7dd41. Fixes #868
Nick Gasson [Wed, 20 Mar 2024 21:46:53 +0000 (21:46 +0000)]
VHPI discovery in for-generate broken since 7dd41. Fixes #868

7 weeks agoMake sure entity is rewritten before architecture. Issue #867
Nick Gasson [Wed, 20 Mar 2024 21:14:30 +0000 (21:14 +0000)]
Make sure entity is rewritten before architecture. Issue #867

7 weeks agoTemporarily disable JIT mode testing on Windows
Nick Gasson [Wed, 20 Mar 2024 21:48:15 +0000 (21:48 +0000)]
Temporarily disable JIT mode testing on Windows

7 weeks agoRemove deprecated rt_tlab_alloc
Nick Gasson [Mon, 18 Mar 2024 16:41:36 +0000 (16:41 +0000)]
Remove deprecated rt_tlab_alloc

7 weeks agoAlso pass -mno-omit-leaf-frame-pointer with --enable-frame-pointer
Nick Gasson [Sun, 17 Mar 2024 10:10:59 +0000 (10:10 +0000)]
Also pass -mno-omit-leaf-frame-pointer with --enable-frame-pointer

8 weeks agoFix assertion failure in jit_do_mem2reg running OSVVM tests
Nick Gasson [Thu, 14 Mar 2024 22:09:57 +0000 (22:09 +0000)]
Fix assertion failure in jit_do_mem2reg running OSVVM tests

8 weeks agoSkip over record element constraints when building VHPI model
Nick Gasson [Thu, 14 Mar 2024 19:56:57 +0000 (19:56 +0000)]
Skip over record element constraints when building VHPI model

Issue #866

8 weeks agoDump arrays-of-records when --dump-arrays is passed. Issue 856
Nick Gasson [Wed, 13 Mar 2024 20:02:03 +0000 (20:02 +0000)]
Dump arrays-of-records when --dump-arrays is passed. Issue 856

8 weeks agoSimplify implementation of unit_registry_flush
Nick Gasson [Wed, 13 Mar 2024 19:37:53 +0000 (19:37 +0000)]
Simplify implementation of unit_registry_flush

8 weeks agoCode generation crash with nested package instances. Fixes #858
Nick Gasson [Tue, 12 Mar 2024 22:08:06 +0000 (22:08 +0000)]
Code generation crash with nested package instances. Fixes #858

2 months agoImprove locking benchmark
Nick Gasson [Fri, 8 Mar 2024 16:59:35 +0000 (16:59 +0000)]
Improve locking benchmark

2 months agoFix crash when collapsing unconstrained port. Fixes #859
Nick Gasson [Fri, 8 Mar 2024 15:23:23 +0000 (15:23 +0000)]
Fix crash when collapsing unconstrained port. Fixes #859

2 months agoFix crash after error in external name. Fixes #860
Nick Gasson [Fri, 8 Mar 2024 14:29:59 +0000 (14:29 +0000)]
Fix crash after error in external name. Fixes #860

2 months agoAllow any integer type for dimension attribute in --relaxed mode
Nick Gasson [Fri, 8 Mar 2024 14:11:00 +0000 (14:11 +0000)]
Allow any integer type for dimension attribute in --relaxed mode

Issue #862

2 months agoAttribute dimension not checked for unconstrained array types
Nick Gasson [Fri, 8 Mar 2024 14:05:21 +0000 (14:05 +0000)]
Attribute dimension not checked for unconstrained array types

Fixes #863

2 months agoLost update to FILE_OPEN STATUS output. Fixes #864
Nick Gasson [Thu, 7 Mar 2024 21:28:41 +0000 (21:28 +0000)]
Lost update to FILE_OPEN STATUS output. Fixes #864

2 months agoUse Windows API directly instead of winpthreads wrapper. Fixes #861
Nick Gasson [Thu, 7 Mar 2024 19:57:59 +0000 (19:57 +0000)]
Use Windows API directly instead of winpthreads wrapper. Fixes #861

2 months agoFix typo introduced by b52c576. Issue #857
Nick Gasson [Wed, 6 Mar 2024 21:17:04 +0000 (21:17 +0000)]
Fix typo introduced by b52c576. Issue #857

2 months agoDisable Windows testing temporarily. Issue #861
Nick Gasson [Wed, 6 Mar 2024 21:22:09 +0000 (21:22 +0000)]
Disable Windows testing temporarily. Issue #861

2 months agoFix several issues with array view handling. Issue #856
Nick Gasson [Tue, 5 Mar 2024 22:05:18 +0000 (22:05 +0000)]
Fix several issues with array view handling. Issue #856

2 months agoRewrite external names earlier during elaboration. Fixes #855
Nick Gasson [Tue, 5 Mar 2024 21:09:21 +0000 (21:09 +0000)]
Rewrite external names earlier during elaboration. Fixes #855

2 months agoStore only the instance name in T_HIER
Nick Gasson [Sun, 3 Mar 2024 21:41:38 +0000 (21:41 +0000)]
Store only the instance name in T_HIER

2 months agoUpdate to latest version of ax_pthread.m4
Nick Gasson [Wed, 6 Mar 2024 20:15:27 +0000 (20:15 +0000)]
Update to latest version of ax_pthread.m4

2 months agoRemove duplicated code for top-level elaboration
Nick Gasson [Sun, 3 Mar 2024 18:27:14 +0000 (18:27 +0000)]
Remove duplicated code for top-level elaboration

2 months agoRemove special cases for top-level generics/ports
Nick Gasson [Sun, 3 Mar 2024 18:11:07 +0000 (18:11 +0000)]
Remove special cases for top-level generics/ports

2 months agoAlways look up 'instance_name and 'path_name dynamically
Nick Gasson [Sun, 3 Mar 2024 17:50:13 +0000 (17:50 +0000)]
Always look up 'instance_name and 'path_name dynamically

2 months agoFix crash when view element indication references whole record
Nick Gasson [Sat, 2 Mar 2024 11:59:47 +0000 (11:59 +0000)]
Fix crash when view element indication references whole record

Fixes #854

2 months agoDeferred subprogram instantiation for packages. Fixes #654
Nick Gasson [Sat, 2 Mar 2024 11:24:01 +0000 (11:24 +0000)]
Deferred subprogram instantiation for packages. Fixes #654

2 months agoRefactor resolving of subprogram names
Nick Gasson [Fri, 1 Mar 2024 22:05:48 +0000 (22:05 +0000)]
Refactor resolving of subprogram names

2 months agoVerilog bit selects
Nick Gasson [Thu, 29 Feb 2024 19:24:23 +0000 (19:24 +0000)]
Verilog bit selects

2 months agoMissing static bounds checks for some index constraints
Nick Gasson [Wed, 28 Feb 2024 19:12:50 +0000 (19:12 +0000)]
Missing static bounds checks for some index constraints

2 months agoIncorrect record field length in FST dump. Fixes #852
Nick Gasson [Wed, 28 Feb 2024 13:40:19 +0000 (13:40 +0000)]
Incorrect record field length in FST dump. Fixes #852

2 months agoImplement Verilog case equality
Nick Gasson [Tue, 27 Feb 2024 21:43:52 +0000 (21:43 +0000)]
Implement Verilog case equality

2 months agoLook up signal bounds dynamically in FST dumper. Issue #851
Nick Gasson [Tue, 27 Feb 2024 18:07:41 +0000 (18:07 +0000)]
Look up signal bounds dynamically in FST dumper. Issue #851

2 months agoSimplify handling of element constraints in FST dumper
Nick Gasson [Tue, 27 Feb 2024 18:07:41 +0000 (18:07 +0000)]
Simplify handling of element constraints in FST dumper

2 months agoRun apt-get update before installing dependencies in GHA workflow
Nick Gasson [Tue, 27 Feb 2024 18:19:12 +0000 (18:19 +0000)]
Run apt-get update before installing dependencies in GHA workflow

2 months agoVerilog number parsing and printing improvements
Nick Gasson [Mon, 26 Feb 2024 20:41:22 +0000 (20:41 +0000)]
Verilog number parsing and printing improvements

2 months agoAdd some basic support for Verilog module instantiation
Nick Gasson [Sun, 25 Feb 2024 19:12:36 +0000 (19:12 +0000)]
Add some basic support for Verilog module instantiation

2 months agoRefactor parsing of Verilog port declarations
Nick Gasson [Sun, 25 Feb 2024 16:18:56 +0000 (16:18 +0000)]
Refactor parsing of Verilog port declarations

2 months agoAdd support for Verilog supply net type. Issue #808
Nick Gasson [Sat, 24 Feb 2024 11:04:25 +0000 (11:04 +0000)]
Add support for Verilog supply net type. Issue #808

2 months agoIntroduce a cache for translated Verilog modules
Nick Gasson [Sat, 24 Feb 2024 10:42:23 +0000 (10:42 +0000)]
Introduce a cache for translated Verilog modules

2 months agoAdd Canola project to regression tests
Nick Gasson [Sat, 24 Feb 2024 10:40:17 +0000 (10:40 +0000)]
Add Canola project to regression tests

2 months agoAvoid calling memcpy when updating single-element signals
Nick Gasson [Fri, 23 Feb 2024 15:48:00 +0000 (15:48 +0000)]
Avoid calling memcpy when updating single-element signals

2 months agoSchedule initial process execution in reset_process
Nick Gasson [Fri, 23 Feb 2024 14:27:06 +0000 (14:27 +0000)]
Schedule initial process execution in reset_process

2 months agoAllow use of triggers for more process types
Nick Gasson [Fri, 23 Feb 2024 14:12:13 +0000 (14:12 +0000)]
Allow use of triggers for more process types

2 months agoUse triggers for sensitised VHDL processes
Nick Gasson [Fri, 23 Feb 2024 11:11:07 +0000 (11:11 +0000)]
Use triggers for sensitised VHDL processes

2 months agoVerilog pullup and pulldown gate instances
Nick Gasson [Thu, 22 Feb 2024 16:36:45 +0000 (16:36 +0000)]
Verilog pullup and pulldown gate instances

2 months agoUse foreign functions for predefined FILE_CLOSE and ENDFILE
Nick Gasson [Thu, 22 Feb 2024 20:35:45 +0000 (20:35 +0000)]
Use foreign functions for predefined FILE_CLOSE and ENDFILE

2 months agoAllow jit_do_cprop to copy arbitrary values
Nick Gasson [Thu, 22 Feb 2024 20:35:45 +0000 (20:35 +0000)]
Allow jit_do_cprop to copy arbitrary values

2 months agoAdd register allocator for x86 JIT backend
Nick Gasson [Tue, 20 Feb 2024 14:53:07 +0000 (14:53 +0000)]
Add register allocator for x86 JIT backend

2 months agoSimplify JIT frame layout
Nick Gasson [Tue, 20 Feb 2024 20:40:08 +0000 (20:40 +0000)]
Simplify JIT frame layout

2 months agoAdd memory-to-register promotion pass for JIT IR
Nick Gasson [Mon, 19 Feb 2024 22:29:32 +0000 (22:29 +0000)]
Add memory-to-register promotion pass for JIT IR

2 months agoUse --without-system-cc to disable AOT compilation
Nick Gasson [Sun, 18 Feb 2024 18:06:00 +0000 (18:06 +0000)]
Use --without-system-cc to disable AOT compilation

2 months agoAdjust read only library check for Windows
Nick Gasson [Sun, 18 Feb 2024 16:41:11 +0000 (16:41 +0000)]
Adjust read only library check for Windows

2 months agoAdd MSI installer for Windows
Nick Gasson [Sun, 18 Feb 2024 16:41:02 +0000 (16:41 +0000)]
Add MSI installer for Windows

2 months agoOption --exit-severity now also controls exit status. Fixes #850
Nick Gasson [Sun, 18 Feb 2024 11:27:22 +0000 (11:27 +0000)]
Option --exit-severity now also controls exit status. Fixes #850

2 months agoMove assert counter logic into rt/assert.c
Nick Gasson [Sun, 18 Feb 2024 11:07:40 +0000 (11:07 +0000)]
Move assert counter logic into rt/assert.c

2 months agoFix crash in port conversion for array-of-array
Nick Gasson [Sat, 17 Feb 2024 18:02:29 +0000 (18:02 +0000)]
Fix crash in port conversion for array-of-array

2 months agoAvoid linear search in cgen_add_dependency
Nick Gasson [Sat, 17 Feb 2024 17:15:55 +0000 (17:15 +0000)]
Avoid linear search in cgen_add_dependency

2 months agoRemove lib_index_kind function
Nick Gasson [Sat, 17 Feb 2024 17:15:38 +0000 (17:15 +0000)]
Remove lib_index_kind function

2 months agoAvoid excessive zeroing in object_marked_p
Nick Gasson [Sat, 17 Feb 2024 11:29:59 +0000 (11:29 +0000)]
Avoid excessive zeroing in object_marked_p

2 months agoFix code generation error with TO_UNSIGNED in case choice
Nick Gasson [Sat, 17 Feb 2024 10:28:46 +0000 (10:28 +0000)]
Fix code generation error with TO_UNSIGNED in case choice

2 months agoFix error when generic value depends on another generic
Nick Gasson [Sat, 17 Feb 2024 09:45:16 +0000 (09:45 +0000)]
Fix error when generic value depends on another generic

Issue #844

2 months agoCompile Vivado libraries for 1993 and 2008 by default
Nick Gasson [Sat, 17 Feb 2024 08:34:49 +0000 (08:34 +0000)]
Compile Vivado libraries for 1993 and 2008 by default

2 months agoTweak format of diagnostic stack traces
Nick Gasson [Thu, 15 Feb 2024 19:52:59 +0000 (19:52 +0000)]
Tweak format of diagnostic stack traces

2 months agoSpeed up pack_writer_get_string by avoiding memmem
Nick Gasson [Wed, 14 Feb 2024 21:53:02 +0000 (21:53 +0000)]
Speed up pack_writer_get_string by avoiding memmem

2 months agoFix uninitialised variable warning in lower_aggregate_bounds
Nick Gasson [Wed, 14 Feb 2024 19:35:08 +0000 (19:35 +0000)]
Fix uninitialised variable warning in lower_aggregate_bounds

2 months agoZStd decompression context is not thread safe
Nick Gasson [Wed, 14 Feb 2024 19:32:27 +0000 (19:32 +0000)]
ZStd decompression context is not thread safe

2 months agoExtend local value numbering to argument slots
Nick Gasson [Tue, 13 Feb 2024 22:15:59 +0000 (22:15 +0000)]
Extend local value numbering to argument slots

2 months agoOnly set target bit on JIT IRs that have branches to them
Nick Gasson [Tue, 13 Feb 2024 21:05:01 +0000 (21:05 +0000)]
Only set target bit on JIT IRs that have branches to them

2 months agoAdjust report and assert message format. Fixes #849
Nick Gasson [Tue, 13 Feb 2024 21:01:05 +0000 (21:01 +0000)]
Adjust report and assert message format. Fixes #849

2 months agoBump OSVVM and UVVM to latest released versions
Nick Gasson [Tue, 13 Feb 2024 18:11:32 +0000 (18:11 +0000)]
Bump OSVVM and UVVM to latest released versions

2 months agoFix crash with external name and component declarations
Nick Gasson [Mon, 12 Feb 2024 22:37:30 +0000 (22:37 +0000)]
Fix crash with external name and component declarations

2 months agoDowngrade purity checks to warning with --relaxed. Issue #848
Nick Gasson [Mon, 12 Feb 2024 21:29:34 +0000 (21:29 +0000)]
Downgrade purity checks to warning with --relaxed. Issue #848

2 months agoMissing error impure function called indirectly via procedure
Nick Gasson [Mon, 12 Feb 2024 21:29:02 +0000 (21:29 +0000)]
Missing error impure function called indirectly via procedure

Issue #848

2 months agoFix incorrect 'last_value result with multiple sources
Nick Gasson [Sat, 10 Feb 2024 12:35:09 +0000 (12:35 +0000)]
Fix incorrect 'last_value result with multiple sources

2 months agoUse a pseudo-source for scheduled deposits
Nick Gasson [Sat, 10 Feb 2024 10:27:00 +0000 (10:27 +0000)]
Use a pseudo-source for scheduled deposits

2 months agoUse a flag bit on rt_signal_t to hold register/bus state
Nick Gasson [Sat, 10 Feb 2024 09:50:06 +0000 (09:50 +0000)]
Use a flag bit on rt_signal_t to hold register/bus state

2 months agoCreate aliases for collapsed signals with globally static bounds
Nick Gasson [Thu, 8 Feb 2024 22:04:36 +0000 (22:04 +0000)]
Create aliases for collapsed signals with globally static bounds

2 months agoImprove error messages when mmap fails
Nick Gasson [Thu, 8 Feb 2024 19:57:00 +0000 (19:57 +0000)]
Improve error messages when mmap fails

3 months agoAllow use of type alias in slice name. Fixes #845
Nick Gasson [Mon, 5 Feb 2024 21:56:32 +0000 (21:56 +0000)]
Allow use of type alias in slice name. Fixes #845

3 months agoRewrite implementation of foreign functions
Nick Gasson [Sun, 4 Feb 2024 12:07:18 +0000 (12:07 +0000)]
Rewrite implementation of foreign functions

Refactoring before adding full VHPIDIRECT support

3 months agoAdd wrapper functions for predefined file operations
Nick Gasson [Sun, 4 Feb 2024 12:40:52 +0000 (12:40 +0000)]
Add wrapper functions for predefined file operations

3 months agoSync NEWS.md from 1.11 branch
Nick Gasson [Sun, 4 Feb 2024 10:20:14 +0000 (10:20 +0000)]
Sync NEWS.md from 1.11 branch