]> git.nickg.me.uk Git - nvc.git/log
nvc.git
2 years agoFloating point stuff bcode
Nick Gasson [Sat, 4 Dec 2021 15:20:00 +0000 (23:20 +0800)]
Floating point stuff

2 years agoAdd contexts
Nick Gasson [Sat, 4 Dec 2021 14:13:46 +0000 (22:13 +0800)]
Add contexts

2 years agoWIP
Nick Gasson [Sat, 4 Dec 2021 09:53:35 +0000 (17:53 +0800)]
WIP

2 years agoSome more WIP
Nick Gasson [Sat, 4 Dec 2021 04:46:24 +0000 (12:46 +0800)]
Some more WIP

2 years agoAdd link interface
Nick Gasson [Thu, 2 Dec 2021 12:26:11 +0000 (20:26 +0800)]
Add link interface

2 years agoCertain opcodes can take immediate operands
Nick Gasson [Wed, 1 Dec 2021 14:20:44 +0000 (22:20 +0800)]
Certain opcodes can take immediate operands

2 years agoArray operations
Nick Gasson [Wed, 1 Dec 2021 13:38:36 +0000 (21:38 +0800)]
Array operations

2 years agoAdd a few more ops
Nick Gasson [Wed, 1 Dec 2021 08:33:38 +0000 (16:33 +0800)]
Add a few more ops

2 years agoAdd load/store
Nick Gasson [Tue, 30 Nov 2021 09:55:05 +0000 (17:55 +0800)]
Add load/store

2 years agoBranch improvements
Nick Gasson [Mon, 29 Nov 2021 12:24:41 +0000 (20:24 +0800)]
Branch improvements

2 years agoMore bcode testing
Nick Gasson [Mon, 29 Nov 2021 11:41:24 +0000 (19:41 +0800)]
More bcode testing

2 years agoNew bcode interface
Nick Gasson [Mon, 29 Nov 2021 11:16:08 +0000 (19:16 +0800)]
New bcode interface

2 years agoInterleaved bcode disassembly
Nick Gasson [Sun, 28 Nov 2021 14:14:39 +0000 (22:14 +0800)]
Interleaved bcode disassembly

2 years agoAdd RT_REPORT
Nick Gasson [Sat, 27 Nov 2021 13:48:21 +0000 (21:48 +0800)]
Add RT_REPORT

2 years agoLowering cmp/assert
Nick Gasson [Sat, 27 Nov 2021 12:59:20 +0000 (20:59 +0800)]
Lowering cmp/assert

2 years agoBcode interpreter
Nick Gasson [Sat, 27 Nov 2021 10:18:58 +0000 (18:18 +0800)]
Bcode interpreter

2 years agoMany bcode improvements
Nick Gasson [Tue, 23 Nov 2021 15:14:27 +0000 (23:14 +0800)]
Many bcode improvements

2 years agoStart of bcode experiment
Nick Gasson [Wed, 17 Nov 2021 04:27:05 +0000 (12:27 +0800)]
Start of bcode experiment

2 years agoUse object arena to keep track of dependencies
Nick Gasson [Fri, 3 Dec 2021 06:39:23 +0000 (14:39 +0800)]
Use object arena to keep track of dependencies

2 years agoRemove VCODE_OP_IMAGE and image maps
Nick Gasson [Sun, 28 Nov 2021 12:48:08 +0000 (20:48 +0800)]
Remove VCODE_OP_IMAGE and image maps

2 years agoUse image helper function for TO_STRING
Nick Gasson [Sun, 28 Nov 2021 12:27:53 +0000 (20:27 +0800)]
Use image helper function for TO_STRING

2 years agoRemove dedicated vcode opcode for 'VALUE
Nick Gasson [Sun, 28 Nov 2021 09:12:38 +0000 (17:12 +0800)]
Remove dedicated vcode opcode for 'VALUE

2 years agoLower 'VALUE attribute directly in vcode
Nick Gasson [Sun, 28 Nov 2021 08:50:42 +0000 (16:50 +0800)]
Lower 'VALUE attribute directly in vcode

2 years agoLower physical/enum 'IMAGE directly in vcode
Nick Gasson [Sun, 28 Nov 2021 03:37:50 +0000 (11:37 +0800)]
Lower physical/enum 'IMAGE directly in vcode

2 years agoUse vcode variables to store procedure arguments
Nick Gasson [Sat, 27 Nov 2021 13:43:06 +0000 (21:43 +0800)]
Use vcode variables to store procedure arguments

2 years agoRemove param upref vcode op
Nick Gasson [Sat, 27 Nov 2021 13:22:14 +0000 (21:22 +0800)]
Remove param upref vcode op

2 years agoHandle "others" binding in configuration
Nick Gasson [Sun, 21 Nov 2021 14:54:49 +0000 (22:54 +0800)]
Handle "others" binding in configuration

2 years agoFix crash with open binding
Nick Gasson [Sun, 21 Nov 2021 14:43:46 +0000 (22:43 +0800)]
Fix crash with open binding

2 years agoClean up protected objects in subprograms
Nick Gasson [Sun, 21 Nov 2021 13:26:25 +0000 (21:26 +0800)]
Clean up protected objects in subprograms

2 years agoImprove checking of function result type
Nick Gasson [Sun, 21 Nov 2021 12:58:34 +0000 (20:58 +0800)]
Improve checking of function result type

2 years agoRemove legacy tree attributes
Nick Gasson [Sun, 21 Nov 2021 12:41:20 +0000 (20:41 +0800)]
Remove legacy tree attributes

2 years agoRemove use of protected field attribute
Nick Gasson [Sun, 21 Nov 2021 12:34:27 +0000 (20:34 +0800)]
Remove use of protected field attribute

2 years agoUse const rep in more situations
Nick Gasson [Sun, 21 Nov 2021 08:46:26 +0000 (16:46 +0800)]
Use const rep in more situations

2 years agoOptimise constant array with repeated element
Nick Gasson [Sun, 21 Nov 2021 07:26:28 +0000 (15:26 +0800)]
Optimise constant array with repeated element

2 years agoAvoid copying constant data in some cases
Nick Gasson [Sun, 21 Nov 2021 05:14:20 +0000 (13:14 +0800)]
Avoid copying constant data in some cases

2 years agoNew approach to lowering protected types
Nick Gasson [Sun, 21 Nov 2021 02:52:14 +0000 (10:52 +0800)]
New approach to lowering protected types

2 years agoRemove use of impure I/O attribute
Nick Gasson [Sat, 20 Nov 2021 13:35:33 +0000 (21:35 +0800)]
Remove use of impure I/O attribute

2 years agoRemove use of wait level attribute
Nick Gasson [Sat, 20 Nov 2021 13:25:55 +0000 (21:25 +0800)]
Remove use of wait level attribute

2 years agoRemove use of nest depth attribute
Nick Gasson [Sat, 20 Nov 2021 12:58:25 +0000 (20:58 +0800)]
Remove use of nest depth attribute

2 years agoRemove nested fcall/pcall vcode ops
Nick Gasson [Sat, 20 Nov 2021 12:56:45 +0000 (20:56 +0800)]
Remove nested fcall/pcall vcode ops

2 years agoRemove "is_report" attribute for report statements
Nick Gasson [Sat, 20 Nov 2021 12:34:00 +0000 (20:34 +0800)]
Remove "is_report" attribute for report statements

2 years agoStop using attributes for elab copy flag
Nick Gasson [Sat, 20 Nov 2021 12:30:40 +0000 (20:30 +0800)]
Stop using attributes for elab copy flag

2 years agoSupport generic bindings in specifications
Nick Gasson [Tue, 16 Nov 2021 14:27:56 +0000 (22:27 +0800)]
Support generic bindings in specifications

2 years agoColour different arenas when dumping addresses
Nick Gasson [Sat, 20 Nov 2021 07:40:03 +0000 (15:40 +0800)]
Colour different arenas when dumping addresses

2 years agoRewrite work alias when simplifying use clause
Nick Gasson [Sat, 20 Nov 2021 03:13:05 +0000 (11:13 +0800)]
Rewrite work alias when simplifying use clause

2 years agoFix issue with signal width defined by package constant
Nick Gasson [Tue, 16 Nov 2021 12:50:45 +0000 (20:50 +0800)]
Fix issue with signal width defined by package constant

2 years agoFix handling of iofiles in run_vests.rb
Nick Gasson [Tue, 16 Nov 2021 12:50:45 +0000 (20:50 +0800)]
Fix handling of iofiles in run_vests.rb

2 years agoAdd another file I/O test
Nick Gasson [Tue, 16 Nov 2021 12:50:45 +0000 (20:50 +0800)]
Add another file I/O test

2 years agoFix binding of "all" block configuration
Nick Gasson [Sun, 14 Nov 2021 13:25:55 +0000 (21:25 +0800)]
Fix binding of "all" block configuration

2 years agoFix eopt error when vcode not loaded
Nick Gasson [Sun, 14 Nov 2021 07:06:43 +0000 (15:06 +0800)]
Fix eopt error when vcode not loaded

2 years agoSupport nested block configuration
Nick Gasson [Sun, 14 Nov 2021 06:59:45 +0000 (14:59 +0800)]
Support nested block configuration

2 years agoAdd another configuration test
Nick Gasson [Sun, 14 Nov 2021 06:46:49 +0000 (14:46 +0800)]
Add another configuration test

2 years agoElaboration of configurations. Issue #372
Nick Gasson [Sun, 14 Nov 2021 06:44:25 +0000 (14:44 +0800)]
Elaboration of configurations. Issue #372

2 years agoMove FFI code for conversion functions to a separate module
Nick Gasson [Sun, 14 Nov 2021 04:25:39 +0000 (12:25 +0800)]
Move FFI code for conversion functions to a separate module

2 years agoHandle case where component port order does not match entity
Nick Gasson [Sun, 14 Nov 2021 03:30:15 +0000 (11:30 +0800)]
Handle case where component port order does not match entity

2 years agoUpdate README.md
Nick Gasson [Sat, 13 Nov 2021 14:58:44 +0000 (22:58 +0800)]
Update README.md

2 years agoFix address sanitizer error
Nick Gasson [Sat, 13 Nov 2021 14:50:06 +0000 (22:50 +0800)]
Fix address sanitizer error

2 years agoMove conversion function closure out of rt_source_t
Nick Gasson [Sat, 13 Nov 2021 14:21:02 +0000 (22:21 +0800)]
Move conversion function closure out of rt_source_t

2 years agoFix 'EVENT and 'ACTIVE with inout ports
Nick Gasson [Sat, 13 Nov 2021 13:45:18 +0000 (21:45 +0800)]
Fix 'EVENT and 'ACTIVE with inout ports

2 years agoFix behaviour of inout ports
Nick Gasson [Sat, 13 Nov 2021 06:00:42 +0000 (14:00 +0800)]
Fix behaviour of inout ports

2 years agoAvoid repeated driver updates
Nick Gasson [Wed, 10 Nov 2021 14:36:15 +0000 (22:36 +0800)]
Avoid repeated driver updates

2 years agoFix misleading trace message
Nick Gasson [Wed, 10 Nov 2021 14:13:24 +0000 (22:13 +0800)]
Fix misleading trace message

2 years agoMicro optimisation to _sched_waveform
Nick Gasson [Wed, 10 Nov 2021 13:03:55 +0000 (21:03 +0800)]
Micro optimisation to _sched_waveform

2 years agoNo need to call rt_update_inputs from rt_update_driver
Nick Gasson [Wed, 10 Nov 2021 13:03:55 +0000 (21:03 +0800)]
No need to call rt_update_inputs from rt_update_driver

2 years agoAvoid searching for source in rt_update_driver
Nick Gasson [Sun, 7 Nov 2021 14:33:30 +0000 (22:33 +0800)]
Avoid searching for source in rt_update_driver

2 years agoSkip input update for rank zero
Nick Gasson [Sun, 7 Nov 2021 14:19:20 +0000 (22:19 +0800)]
Skip input update for rank zero

2 years agoEager nexus update
Nick Gasson [Sun, 7 Nov 2021 13:38:53 +0000 (21:38 +0800)]
Eager nexus update

2 years agoUse heap for nexuses with rank greater than zero
Nick Gasson [Sun, 7 Nov 2021 13:33:53 +0000 (21:33 +0800)]
Use heap for nexuses with rank greater than zero

2 years agoInline heap_size
Nick Gasson [Sun, 7 Nov 2021 13:27:12 +0000 (21:27 +0800)]
Inline heap_size

2 years agoCollapse ports in more cases
Nick Gasson [Sun, 7 Nov 2021 13:17:48 +0000 (21:17 +0800)]
Collapse ports in more cases

2 years agoOptimise 'ACTIVE and 'EVENT calculation
Nick Gasson [Sun, 7 Nov 2021 12:50:47 +0000 (20:50 +0800)]
Optimise 'ACTIVE and 'EVENT calculation

2 years agoFix eopt unit tests
Nick Gasson [Sun, 7 Nov 2021 10:01:27 +0000 (18:01 +0800)]
Fix eopt unit tests

2 years agoPort collapsing optimisation
Nick Gasson [Sun, 7 Nov 2021 09:10:54 +0000 (17:10 +0800)]
Port collapsing optimisation

2 years agoIntroduce port abstraction in elaboration and runtime
Nick Gasson [Sat, 30 Oct 2021 15:08:00 +0000 (23:08 +0800)]
Introduce port abstraction in elaboration and runtime

2 years agoFix wrong debug info for subprograms in architecture body
Nick Gasson [Wed, 10 Nov 2021 13:33:48 +0000 (21:33 +0800)]
Fix wrong debug info for subprograms in architecture body

2 years agoFix wrong data in multidimensional array aggregate
Nick Gasson [Fri, 5 Nov 2021 14:30:41 +0000 (22:30 +0800)]
Fix wrong data in multidimensional array aggregate

2 years agoFix sem crash following syntax error
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Fix sem crash following syntax error

2 years agoFix bit_vector read with whitespace
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Fix bit_vector read with whitespace

2 years agoAdd an option to disable IEEE warnings
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Add an option to disable IEEE warnings

2 years agoImprove error with attributes in VHDL-93 package body
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Improve error with attributes in VHDL-93 package body

2 years agoFix format buffer overflow in fmt_nexus_r
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Fix format buffer overflow in fmt_nexus_r

2 years agoOptimise LSB calculation in eopt_post_process_nexus
Nick Gasson [Fri, 5 Nov 2021 13:18:06 +0000 (21:18 +0800)]
Optimise LSB calculation in eopt_post_process_nexus

2 years agoSimplify nexus update
Nick Gasson [Sat, 30 Oct 2021 13:48:33 +0000 (21:48 +0800)]
Simplify nexus update

2 years agoMore improvements to configuration parsing and checking
Nick Gasson [Sat, 30 Oct 2021 04:23:36 +0000 (12:23 +0800)]
More improvements to configuration parsing and checking

2 years agoAdd tree_primary as link between primary and secondary units
Nick Gasson [Sat, 30 Oct 2021 02:05:34 +0000 (10:05 +0800)]
Add tree_primary as link between primary and secondary units

2 years agoFix issues with resolved arrays
Nick Gasson [Sat, 30 Oct 2021 00:13:44 +0000 (08:13 +0800)]
Fix issues with resolved arrays

2 years agoDisable the separate signal stack
Nick Gasson [Sat, 30 Oct 2021 00:13:44 +0000 (08:13 +0800)]
Disable the separate signal stack

2 years agoMissing bounds checks for generics. Fixes #228
Nick Gasson [Sat, 30 Oct 2021 00:13:44 +0000 (08:13 +0800)]
Missing bounds checks for generics. Fixes #228

2 years agoImprovements to aggregate variable/signal assignment
Nick Gasson [Sat, 30 Oct 2021 00:13:44 +0000 (08:13 +0800)]
Improvements to aggregate variable/signal assignment

2 years agoStore eopt data with elaborated tree
Nick Gasson [Mon, 25 Oct 2021 15:12:19 +0000 (23:12 +0800)]
Store eopt data with elaborated tree

2 years agoMore friendly message is a dependent object cannot be found
Nick Gasson [Mon, 25 Oct 2021 14:27:52 +0000 (22:27 +0800)]
More friendly message is a dependent object cannot be found

2 years agoVarious OpenBSD fixes
Nick Gasson [Mon, 25 Oct 2021 13:25:32 +0000 (21:25 +0800)]
Various OpenBSD fixes

2 years agoFix various bugs with pointers to arrays
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Fix various bugs with pointers to arrays

2 years agoFix crash with alias of array
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Fix crash with alias of array

2 years agoFix textio read with uppercase time constants
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Fix textio read with uppercase time constants

2 years agoTrack bounds of function call result
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Track bounds of function call result

2 years agoFix out of memory with range choice in case statement
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Fix out of memory with range choice in case statement

2 years agoImprovements to VESTS test runner
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Improvements to VESTS test runner

2 years agoSpurious error with potentially visible homograph
Nick Gasson [Mon, 25 Oct 2021 13:00:29 +0000 (21:00 +0800)]
Spurious error with potentially visible homograph

2 years agoMissing simplification rules for some logical identities
Nick Gasson [Sun, 24 Oct 2021 13:27:01 +0000 (21:27 +0800)]
Missing simplification rules for some logical identities