]> Nick Gasson's Git Repositories - nvc.git/log
nvc.git
4 months agoRemove remaining uses of search_decls
Nick Gasson [Sun, 7 Jul 2024 07:45:27 +0000 (08:45 +0100)]
Remove remaining uses of search_decls

4 months agoRemove uses of search_decls from parser
Nick Gasson [Fri, 5 Jul 2024 21:07:21 +0000 (22:07 +0100)]
Remove uses of search_decls from parser

4 months agoRemove use of search_decls in VHPI
Nick Gasson [Fri, 5 Jul 2024 18:44:45 +0000 (19:44 +0100)]
Remove use of search_decls in VHPI

4 months agoCrash after missing file in coverage report. Fixes #909
Nick Gasson [Thu, 4 Jul 2024 19:31:27 +0000 (20:31 +0100)]
Crash after missing file in coverage report. Fixes #909

4 months agoFix crash with 'val on target of signal assignment. Issue #908
Nick Gasson [Thu, 4 Jul 2024 18:41:32 +0000 (19:41 +0100)]
Fix crash with 'val on target of signal assignment. Issue #908

4 months agoImplicit 'transaction should toggle when signal is active
Nick Gasson [Thu, 4 Jul 2024 18:29:27 +0000 (19:29 +0100)]
Implicit 'transaction should toggle when signal is active

4 months agoRefactor driving value calculation
Nick Gasson [Wed, 3 Jul 2024 19:03:37 +0000 (20:03 +0100)]
Refactor driving value calculation

4 months agoUnify handling of deposit and force/release
Nick Gasson [Wed, 3 Jul 2024 18:38:02 +0000 (19:38 +0100)]
Unify handling of deposit and force/release

4 months agoSkip toggle coverage for unconstrained signal. Fixes #906
Nick Gasson [Sun, 30 Jun 2024 17:22:26 +0000 (18:22 +0100)]
Skip toggle coverage for unconstrained signal. Fixes #906

4 months agoImprove error message when external name type does not match
Nick Gasson [Sun, 30 Jun 2024 15:09:10 +0000 (16:09 +0100)]
Improve error message when external name type does not match

Issue #907

4 months agoSeparate tree kind for report statements
Nick Gasson [Sun, 30 Jun 2024 14:59:07 +0000 (15:59 +0100)]
Separate tree kind for report statements

4 months agoRemove calls to search_decls from unit tests
Nick Gasson [Sun, 30 Jun 2024 11:15:35 +0000 (12:15 +0100)]
Remove calls to search_decls from unit tests

4 months agoAvoid call to search_decls in try_solve_attr_ref
Nick Gasson [Sun, 30 Jun 2024 10:43:48 +0000 (11:43 +0100)]
Avoid call to search_decls in try_solve_attr_ref

4 months agoUse a delta encoding for reading/writing locations
Nick Gasson [Sun, 30 Jun 2024 10:34:08 +0000 (11:34 +0100)]
Use a delta encoding for reading/writing locations

4 months agoRename loc_file_ref_t to file_ref_t
Nick Gasson [Sun, 30 Jun 2024 09:52:02 +0000 (10:52 +0100)]
Rename loc_file_ref_t to file_ref_t

4 months agoAdd NVC_CONCURRENT_JOBS environment variable
Nick Gasson [Sun, 30 Jun 2024 08:35:24 +0000 (09:35 +0100)]
Add NVC_CONCURRENT_JOBS environment variable

4 months agoPrefetch the next task in deferq_run
Nick Gasson [Sun, 30 Jun 2024 08:34:47 +0000 (09:34 +0100)]
Prefetch the next task in deferq_run

4 months agoCrash when dumping waveform with PSL enabled. Fixes #904
Nick Gasson [Sat, 29 Jun 2024 21:04:01 +0000 (22:04 +0100)]
Crash when dumping waveform with PSL enabled. Fixes #904

4 months agoSeparate local allocation buffers from main heap
Nick Gasson [Sat, 29 Jun 2024 20:43:36 +0000 (21:43 +0100)]
Separate local allocation buffers from main heap

4 months agoLimit amount of zeroing/deduplication of JIT constant pool
Nick Gasson [Sat, 29 Jun 2024 14:52:03 +0000 (15:52 +0100)]
Limit amount of zeroing/deduplication of JIT constant pool

4 months agoSpeed up search for matching vcode constants
Nick Gasson [Sat, 29 Jun 2024 14:52:41 +0000 (15:52 +0100)]
Speed up search for matching vcode constants

4 months agoFix crash with return in if-statement when branch coverage enabled
Nick Gasson [Wed, 26 Jun 2024 17:43:37 +0000 (18:43 +0100)]
Fix crash with return in if-statement when branch coverage enabled

Fixes #903

4 months agoAdditional error checking for file read/write operations
Nick Gasson [Mon, 24 Jun 2024 18:50:53 +0000 (19:50 +0100)]
Additional error checking for file read/write operations

4 months agoSimplify runtime interface for file write
Nick Gasson [Wed, 19 Jun 2024 21:37:16 +0000 (22:37 +0100)]
Simplify runtime interface for file write

4 months agoAllow external names as subprogram signal actuals. Fixes #900
Nick Gasson [Mon, 24 Jun 2024 21:17:52 +0000 (22:17 +0100)]
Allow external names as subprogram signal actuals. Fixes #900

5 months agoCorrect rounding when converting physical literals to base unit
Nick Gasson [Wed, 19 Jun 2024 20:03:02 +0000 (21:03 +0100)]
Correct rounding when converting physical literals to base unit

Fixes #899

5 months agoParse Verilog specify blocks
Nick Gasson [Tue, 18 Jun 2024 21:12:03 +0000 (22:12 +0100)]
Parse Verilog specify blocks

5 months agoFix parsing of non-ANSI Verilog port declarations. Issue 811
Nick Gasson [Tue, 18 Jun 2024 18:51:27 +0000 (19:51 +0100)]
Fix parsing of non-ANSI Verilog port declarations. Issue 811

5 months agoFix test_jit failure on arm64 macOS
Nick Gasson [Tue, 18 Jun 2024 18:36:26 +0000 (19:36 +0100)]
Fix test_jit failure on arm64 macOS

5 months agoReduce number of recursive calls to object_copy_root_closure
Nick Gasson [Sun, 16 Jun 2024 10:24:19 +0000 (11:24 +0100)]
Reduce number of recursive calls to object_copy_root_closure

5 months agoAvoid assertion failure when scalar type has null range
Nick Gasson [Sun, 16 Jun 2024 09:39:18 +0000 (10:39 +0100)]
Avoid assertion failure when scalar type has null range

5 months agoImplement `ifdef, `ifndef, etc. in Verilog preprocessor
Nick Gasson [Fri, 14 Jun 2024 18:45:31 +0000 (19:45 +0100)]
Implement `ifdef, `ifndef, etc. in Verilog preprocessor

5 months agoUpdate fstapi.c to GtkWave 23838d736a
Nick Gasson [Thu, 13 Jun 2024 21:42:42 +0000 (22:42 +0100)]
Update fstapi.c to GtkWave 23838d736a

5 months agoExperiment with emitting FST enums instead of strings (disabled)
Nick Gasson [Thu, 13 Jun 2024 21:21:28 +0000 (22:21 +0100)]
Experiment with emitting FST enums instead of strings (disabled)

Issue #897

5 months agoAdd vlog celldefine (#898)
Blebowski [Thu, 13 Jun 2024 20:48:01 +0000 (16:48 -0400)]
Add vlog celldefine (#898)

src/vlog: Flag verilog modules as CELL when parsed after `celldefine directive.

Co-authored-by: ondrej.ille <ondrej.ille@tropicsquare.com>
5 months agoBump OS versions used in GitHub Actions
Nick Gasson [Wed, 12 Jun 2024 18:15:48 +0000 (19:15 +0100)]
Bump OS versions used in GitHub Actions

5 months agoHandle more error cases for generic packages
Nick Gasson [Tue, 11 Jun 2024 21:24:34 +0000 (22:24 +0100)]
Handle more error cases for generic packages

5 months agoFix pointer signedness warning in __nvc_do_exit
Nick Gasson [Tue, 11 Jun 2024 21:25:06 +0000 (22:25 +0100)]
Fix pointer signedness warning in __nvc_do_exit

5 months agoSelectively disable missing body check in unit tests
Nick Gasson [Mon, 10 Jun 2024 21:34:29 +0000 (22:34 +0100)]
Selectively disable missing body check in unit tests

5 months agoOptimise large copies in code_blob_emit
Nick Gasson [Sun, 9 Jun 2024 20:57:29 +0000 (21:57 +0100)]
Optimise large copies in code_blob_emit

5 months agoOptimise ident_read
Nick Gasson [Sun, 9 Jun 2024 20:11:29 +0000 (21:11 +0100)]
Optimise ident_read

5 months agoRequire foreign subprograms to have bodies
Nick Gasson [Sun, 9 Jun 2024 19:43:13 +0000 (20:43 +0100)]
Require foreign subprograms to have bodies

5 months agoFOREIGN attribute is not null-terminated in jit_bind_foreign
Nick Gasson [Sun, 9 Jun 2024 17:55:38 +0000 (18:55 +0100)]
FOREIGN attribute is not null-terminated in jit_bind_foreign

5 months agoRefactor checking for missing subprogram bodies
Nick Gasson [Sun, 9 Jun 2024 17:50:01 +0000 (18:50 +0100)]
Refactor checking for missing subprogram bodies

5 months agoCheck for instance of protected type before body elaborated
Nick Gasson [Sun, 9 Jun 2024 15:44:28 +0000 (16:44 +0100)]
Check for instance of protected type before body elaborated

5 months agoWebsite tweaks
Nick Gasson [Sun, 9 Jun 2024 12:13:18 +0000 (13:13 +0100)]
Website tweaks

5 months agoCheck for use of deferred constant before full declaration
Nick Gasson [Sun, 9 Jun 2024 10:33:33 +0000 (11:33 +0100)]
Check for use of deferred constant before full declaration

5 months agoFix return of wrong value from unit_registry_get_parent
Nick Gasson [Sun, 2 Jun 2024 10:08:42 +0000 (11:08 +0100)]
Fix return of wrong value from unit_registry_get_parent

5 months agoAlways pass unit registry to eval_* functions
Nick Gasson [Sat, 1 Jun 2024 19:13:11 +0000 (20:13 +0100)]
Always pass unit registry to eval_* functions

5 months agoAllow linkage port to be connected to buffer
Nick Gasson [Sun, 9 Jun 2024 08:49:44 +0000 (09:49 +0100)]
Allow linkage port to be connected to buffer

5 months agoCheck for subprogram called before elaboration of body
Nick Gasson [Sun, 9 Jun 2024 08:04:01 +0000 (09:04 +0100)]
Check for subprogram called before elaboration of body

5 months agoAdd bodies to foreign subprograms in env-body.vhdl
Nick Gasson [Sun, 9 Jun 2024 08:49:23 +0000 (09:49 +0100)]
Add bodies to foreign subprograms in env-body.vhdl

5 months agoRefactor handling of nonobject aliases
Nick Gasson [Sun, 9 Jun 2024 07:48:13 +0000 (08:48 +0100)]
Refactor handling of nonobject aliases

5 months agoFix crash constant folding expression in generic package
Nick Gasson [Wed, 5 Jun 2024 20:21:13 +0000 (21:21 +0100)]
Fix crash constant folding expression in generic package

5 months agoFix crash when using record type in inertial actual
Nick Gasson [Wed, 5 Jun 2024 20:11:26 +0000 (21:11 +0100)]
Fix crash when using record type in inertial actual

5 months agoCheck number of arguments for overloaded operator
Nick Gasson [Sat, 1 Jun 2024 11:59:23 +0000 (12:59 +0100)]
Check number of arguments for overloaded operator

5 months agoCheck aggregate element bounds at analysis time
Nick Gasson [Sat, 1 Jun 2024 10:40:14 +0000 (11:40 +0100)]
Check aggregate element bounds at analysis time

5 months agoAdditional checking for buffer ports
Nick Gasson [Sat, 1 Jun 2024 10:33:14 +0000 (11:33 +0100)]
Additional checking for buffer ports

5 months agoStricter checking for underscores in literals
Nick Gasson [Sat, 1 Jun 2024 06:10:19 +0000 (07:10 +0100)]
Stricter checking for underscores in literals

5 months agoMissing static index constraint checks for array type declarations
Nick Gasson [Sat, 1 Jun 2024 05:35:09 +0000 (06:35 +0100)]
Missing static index constraint checks for array type declarations

5 months agoCheck staticness of scalar range constraint
Nick Gasson [Sat, 1 Jun 2024 05:03:38 +0000 (06:03 +0100)]
Check staticness of scalar range constraint

5 months agoDetect duplicated enumeration literals
Nick Gasson [Sat, 1 Jun 2024 04:39:24 +0000 (05:39 +0100)]
Detect duplicated enumeration literals

5 months agoCheck prefix of 'TRANSACTION is readable
Nick Gasson [Sat, 1 Jun 2024 04:22:13 +0000 (05:22 +0100)]
Check prefix of 'TRANSACTION is readable

5 months agoCheck that return statement in function has an expression
Nick Gasson [Sat, 1 Jun 2024 04:16:34 +0000 (05:16 +0100)]
Check that return statement in function has an expression

5 months agoImprove checking of guarded signal assignments
Nick Gasson [Fri, 31 May 2024 20:03:25 +0000 (21:03 +0100)]
Improve checking of guarded signal assignments

5 months agoImprove error message for identifiers with illegal underscores
Nick Gasson [Thu, 30 May 2024 19:38:05 +0000 (20:38 +0100)]
Improve error message for identifiers with illegal underscores

5 months agoAllow aliases of packages. Fixes #893
Nick Gasson [Thu, 30 May 2024 19:20:48 +0000 (20:20 +0100)]
Allow aliases of packages. Fixes #893

5 months agoFix basic_identifier parsing regarding underscores
Matthias Wächter [Thu, 30 May 2024 14:41:39 +0000 (16:41 +0200)]
Fix basic_identifier parsing regarding underscores

5 months agoAdd test for basic_identifier checking vs underscores
Matthias Wächter [Thu, 30 May 2024 14:41:09 +0000 (16:41 +0200)]
Add test for basic_identifier checking vs underscores

VHDL (at least 2008 LRM) defines that underscores
are allowed, but not as the last identifier character
and not in succession to each other. This test verifier
that this is not wrongly parsed. Red/Green tested
by adding the failing test case in the first step.

5 months agoImprove checking for scalar subtype declarations
Nick Gasson [Tue, 28 May 2024 19:41:10 +0000 (20:41 +0100)]
Improve checking for scalar subtype declarations

5 months agoDo not declare "=" and "/=" for file types
Nick Gasson [Tue, 28 May 2024 19:38:05 +0000 (20:38 +0100)]
Do not declare "=" and "/=" for file types

5 months agoCheck prefix of "all" selected name is readable
Nick Gasson [Sun, 26 May 2024 15:24:24 +0000 (16:24 +0100)]
Check prefix of "all" selected name is readable

5 months agoImprove checking for port connections
Nick Gasson [Sun, 26 May 2024 15:16:58 +0000 (16:16 +0100)]
Improve checking for port connections

5 months agoReport error if waiting inside sensitised process
Nick Gasson [Sun, 26 May 2024 13:48:15 +0000 (14:48 +0100)]
Report error if waiting inside sensitised process

5 months agoFix 'SUBTYPE attribute for scalars. Issue #894
Nick Gasson [Sun, 26 May 2024 13:09:56 +0000 (14:09 +0100)]
Fix 'SUBTYPE attribute for scalars. Issue #894

5 months agoUpdate run_vests.rb to also run non_compliant Billowitch tests
Nick Gasson [Sun, 26 May 2024 11:23:37 +0000 (12:23 +0100)]
Update run_vests.rb to also run non_compliant Billowitch tests

5 months agoFix code generation error with real range
Nick Gasson [Sun, 26 May 2024 11:08:13 +0000 (12:08 +0100)]
Fix code generation error with real range

5 months agoCheck for duplicates in target of assignment
Nick Gasson [Sun, 26 May 2024 09:33:48 +0000 (10:33 +0100)]
Check for duplicates in target of assignment

5 months agoFix crash with conversion function in subprogram formal
Nick Gasson [Sun, 26 May 2024 08:51:39 +0000 (09:51 +0100)]
Fix crash with conversion function in subprogram formal

5 months agoFix assertion failure when function name used in type mark
Nick Gasson [Sun, 26 May 2024 08:24:36 +0000 (09:24 +0100)]
Fix assertion failure when function name used in type mark

5 months agoFix crash when type conversion appears in target of assignment
Nick Gasson [Sun, 26 May 2024 08:18:55 +0000 (09:18 +0100)]
Fix crash when type conversion appears in target of assignment

5 months agoDo not simplify attribute names unless they are constant
Nick Gasson [Fri, 24 May 2024 11:54:23 +0000 (12:54 +0100)]
Do not simplify attribute names unless they are constant

5 months agoEmit a type variable for scalar types with non-constant bounds
Nick Gasson [Fri, 24 May 2024 11:43:04 +0000 (12:43 +0100)]
Emit a type variable for scalar types with non-constant bounds

Issue #894

5 months agoFix spurious error constant folding a type conversion
Nick Gasson [Fri, 24 May 2024 10:57:02 +0000 (11:57 +0100)]
Fix spurious error constant folding a type conversion

5 months agoMake vcode_can_elide_bounds a static function
Nick Gasson [Fri, 24 May 2024 09:17:23 +0000 (10:17 +0100)]
Make vcode_can_elide_bounds a static function

5 months agoMissing readability checks for some signal attributes
Nick Gasson [Thu, 23 May 2024 22:04:32 +0000 (23:04 +0100)]
Missing readability checks for some signal attributes

5 months agoFix crash after label used in qualified expression
Nick Gasson [Thu, 23 May 2024 21:53:11 +0000 (22:53 +0100)]
Fix crash after label used in qualified expression

5 months agoFix crash generating code for 1 mod 0
Nick Gasson [Thu, 23 May 2024 21:00:10 +0000 (22:00 +0100)]
Fix crash generating code for 1 mod 0

5 months agoFix crash after missing constraints in two dimensional array subtype
Nick Gasson [Thu, 23 May 2024 20:48:33 +0000 (21:48 +0100)]
Fix crash after missing constraints in two dimensional array subtype

6 months agoMissing check for generic mode
Nick Gasson [Wed, 22 May 2024 21:20:54 +0000 (22:20 +0100)]
Missing check for generic mode

6 months agoImprove error message for unterminated string literal
Nick Gasson [Wed, 22 May 2024 20:12:12 +0000 (21:12 +0100)]
Improve error message for unterminated string literal

6 months agoFix parsing of attribute specifications for "all". Fixes #889
Nick Gasson [Tue, 21 May 2024 20:51:04 +0000 (21:51 +0100)]
Fix parsing of attribute specifications for "all". Fixes #889

6 months agoUpdate NEWS.md with recent changes
Nick Gasson [Sun, 19 May 2024 21:20:14 +0000 (22:20 +0100)]
Update NEWS.md with recent changes

6 months agoRefactor lowering of 'instance_name and 'path_name for subprograms
Nick Gasson [Sun, 19 May 2024 21:02:36 +0000 (22:02 +0100)]
Refactor lowering of 'instance_name and 'path_name for subprograms

6 months agoFix rewriting attribute prefix in subprogram instantiation
Nick Gasson [Sun, 19 May 2024 20:09:23 +0000 (21:09 +0100)]
Fix rewriting attribute prefix in subprogram instantiation

6 months agoRemove unused unit_registry_put_all
Nick Gasson [Sun, 19 May 2024 18:56:09 +0000 (19:56 +0100)]
Remove unused unit_registry_put_all

6 months agoParsing for signature in attribute name. Fixes #892
Nick Gasson [Sun, 19 May 2024 16:53:07 +0000 (17:53 +0100)]
Parsing for signature in attribute name. Fixes #892

6 months agoAdd support for packages in VHPI. Issue #891
Nick Gasson [Sat, 18 May 2024 15:43:05 +0000 (16:43 +0100)]
Add support for packages in VHPI. Issue #891

6 months agoImprove checking for relative names in vhpi_handle_by_name
Nick Gasson [Sat, 18 May 2024 10:04:20 +0000 (11:04 +0100)]
Improve checking for relative names in vhpi_handle_by_name

6 months agoFix crash when case? alternative contains multiple choices
Nick Gasson [Fri, 17 May 2024 16:32:34 +0000 (17:32 +0100)]
Fix crash when case? alternative contains multiple choices

Issue #890