]> git.nickg.me.uk Git - nvc.git/log
nvc.git
7 years agoRelease stable version 1.2.1 v1.2-branch github/v1.2-branch sr.ht/v1.2-branch r1.2.1
Nick Gasson [Fri, 5 May 2017 15:22:43 +0000 (16:22 +0100)]
Release stable version 1.2.1

7 years agoFix crash building IEEE library from non-clean tree #321
Nick Gasson [Fri, 5 May 2017 15:21:02 +0000 (16:21 +0100)]
Fix crash building IEEE library from non-clean tree #321

7 years agoUpdate required LLVM version in README.md
Nick Gasson [Thu, 4 May 2017 18:03:46 +0000 (19:03 +0100)]
Update required LLVM version in README.md

7 years agoUpdate stable version number in README.md
Nick Gasson [Thu, 4 May 2017 18:03:18 +0000 (19:03 +0100)]
Update stable version number in README.md

7 years agoRelease stable version 1.2 r1.2.0
Nick Gasson [Thu, 4 May 2017 18:00:39 +0000 (19:00 +0100)]
Release stable version 1.2

7 years agoFix constant folding for integer exponentiation. Fixes #321
Nick Gasson [Thu, 4 May 2017 10:51:05 +0000 (11:51 +0100)]
Fix constant folding for integer exponentiation. Fixes #321

7 years agoRemove support for LLVM versions older than 3.4
Nick Gasson [Thu, 4 May 2017 10:26:53 +0000 (11:26 +0100)]
Remove support for LLVM versions older than 3.4

7 years agoFix indentation in ax_llvm_c.m4
Nick Gasson [Thu, 4 May 2017 10:20:58 +0000 (11:20 +0100)]
Fix indentation in ax_llvm_c.m4

No functional change

7 years agoFix bug looking up library name for a function with complex type. Fixes #320
Nick Gasson [Thu, 4 May 2017 10:16:51 +0000 (11:16 +0100)]
Fix bug looking up library name for a function with complex type. Fixes #320

7 years agoAllow folding of functions returning records. Fixes #315
Nick Gasson [Wed, 3 May 2017 19:59:16 +0000 (20:59 +0100)]
Allow folding of functions returning records. Fixes #315

7 years agoAdd test case for issue #315
Nick Gasson [Sat, 1 Apr 2017 15:18:28 +0000 (16:18 +0100)]
Add test case for issue #315

7 years agoFix crash when actual for parameter with signal class is not a name. Fixes #316
Nick Gasson [Wed, 3 May 2017 09:02:48 +0000 (10:02 +0100)]
Fix crash when actual for parameter with signal class is not a name. Fixes #316

7 years agouse github instead of gna! for vital libs download (#319)
Alain Péteut [Sat, 15 Apr 2017 23:50:36 +0000 (01:50 +0200)]
use github instead of gna! for vital libs download (#319)

7 years agoMark the TCL shell as deprecated. Issue #271
Nick Gasson [Sat, 25 Mar 2017 14:03:47 +0000 (14:03 +0000)]
Mark the TCL shell as deprecated. Issue #271

7 years agoRemove redundant simplification code
Nick Gasson [Sat, 25 Mar 2017 13:48:57 +0000 (13:48 +0000)]
Remove redundant simplification code

7 years agoFix regression of ieee5 test case
Nick Gasson [Sat, 25 Mar 2017 13:48:06 +0000 (13:48 +0000)]
Fix regression of ieee5 test case

7 years agoForeign procedures never wait
Nick Gasson [Sat, 25 Mar 2017 11:36:12 +0000 (11:36 +0000)]
Foreign procedures never wait

7 years agoFix and simplify eval_possible function
Nick Gasson [Sat, 25 Mar 2017 11:21:14 +0000 (11:21 +0000)]
Fix and simplify eval_possible function

7 years agoLower architecture function bodies only where necessary
Nick Gasson [Sat, 25 Mar 2017 11:11:02 +0000 (11:11 +0000)]
Lower architecture function bodies only where necessary

7 years agoOnly call lower_unit on packages and package bodies during analysis
Nick Gasson [Sun, 19 Mar 2017 15:39:07 +0000 (15:39 +0000)]
Only call lower_unit on packages and package bodies during analysis

7 years agoStop lowering architectures early as this causes problems
Nick Gasson [Sun, 19 Mar 2017 14:06:15 +0000 (14:06 +0000)]
Stop lowering architectures early as this causes problems

7 years agoFix also in case where function has default arguments
Nick Gasson [Thu, 16 Mar 2017 22:19:55 +0000 (22:19 +0000)]
Fix also in case where function has default arguments

7 years agoFix attribute reference where prefix is zero argument function
Nick Gasson [Thu, 16 Mar 2017 22:01:43 +0000 (22:01 +0000)]
Fix attribute reference where prefix is zero argument function

7 years agoUpdate for new LLVM attribute API. Fixes #313
Nick Gasson [Tue, 7 Mar 2017 19:16:54 +0000 (19:16 +0000)]
Update for new LLVM attribute API. Fixes #313

7 years agoIgnore configuration units when lowering
Nick Gasson [Sat, 4 Feb 2017 11:20:23 +0000 (11:20 +0000)]
Ignore configuration units when lowering

7 years agoIgnore specifications when lowering
Nick Gasson [Sat, 4 Feb 2017 11:19:20 +0000 (11:19 +0000)]
Ignore specifications when lowering

7 years agoFix setting of guarded flag on concurrent assignments
Nick Gasson [Sat, 4 Feb 2017 11:15:05 +0000 (11:15 +0000)]
Fix setting of guarded flag on concurrent assignments

7 years agoMake package qualified enumeration and physical literals visible. Fixes #311
Nick Gasson [Sat, 4 Feb 2017 11:03:32 +0000 (11:03 +0000)]
Make package qualified enumeration and physical literals visible. Fixes #311

7 years agoApply textio patch from @ikwzm. Fixes #308
Nick Gasson [Fri, 20 Jan 2017 10:43:30 +0000 (10:43 +0000)]
Apply textio patch from @ikwzm. Fixes #308

7 years agoFix data corruption copying overlapping regions. Fixes #309
Nick Gasson [Sun, 15 Jan 2017 18:03:25 +0000 (18:03 +0000)]
Fix data corruption copying overlapping regions. Fixes #309

7 years agoFix error constant folding absolute value. Fixes #307
Nick Gasson [Sun, 8 Jan 2017 21:51:45 +0000 (21:51 +0000)]
Fix error constant folding absolute value. Fixes #307

7 years agoUse LLVMLinkModules2 where available. Fixes issue #310
Nick Gasson [Sun, 8 Jan 2017 21:40:49 +0000 (21:40 +0000)]
Use LLVMLinkModules2 where available. Fixes issue #310

7 years agoAdd test case for issue #307
Nick Gasson [Thu, 29 Dec 2016 21:22:38 +0000 (21:22 +0000)]
Add test case for issue #307

7 years agoCompile the "fold" and "simplify" passes into a signal pass
Nick Gasson [Mon, 2 Jan 2017 21:13:05 +0000 (21:13 +0000)]
Compile the "fold" and "simplify" passes into a signal pass

Squashed commit of the following:

commit 95a1bfaa420f4273891af57e286641a287f9261c
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Jan 2 21:11:32 2017 +0000

    Fix regression of issue 183

commit 15229bcecf95234d8d5a5ac305cee26a48ec93ea
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Jan 2 19:28:31 2017 +0000

    Cleanup

commit 014d26fee68c40c9309377ad3d235c08d42acccd
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Dec 29 18:13:42 2016 +0000

    Remove unnecessary temporary variable

commit 60246a224c8b859d03d792142aa66f62f1402767
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Dec 29 18:08:44 2016 +0000

    Remove more debug prints

commit 624b870f41208c8d71d25ec9174a93b6d099fb22
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Dec 29 18:07:34 2016 +0000

    Remove debug prints

commit 1aa54d97359a86a617ccaf5d576f334e4df86fa2
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 27 14:42:46 2016 +0000

    WIP merging fold and simplify phases

7 years agoSimplify Global makefile rule
Nick Gasson [Thu, 29 Dec 2016 21:45:46 +0000 (21:45 +0000)]
Simplify Global makefile rule

7 years agoAdd make file rules for GNU Global tags
Nick Gasson [Thu, 29 Dec 2016 21:42:35 +0000 (21:42 +0000)]
Add make file rules for GNU Global tags

7 years agoFix build with LLVM version prior to 3.5
Nick Gasson [Thu, 29 Dec 2016 18:00:05 +0000 (18:00 +0000)]
Fix build with LLVM version prior to 3.5

7 years agoRemove some useless configure checks
Nick Gasson [Thu, 29 Dec 2016 17:53:38 +0000 (17:53 +0000)]
Remove some useless configure checks

7 years agoMark some global constants as unnamed_addr
Nick Gasson [Thu, 29 Dec 2016 17:46:26 +0000 (17:46 +0000)]
Mark some global constants as unnamed_addr

7 years agoFactor out some common calls to GEP in cgen
Nick Gasson [Thu, 29 Dec 2016 17:38:57 +0000 (17:38 +0000)]
Factor out some common calls to GEP in cgen

7 years agoRemove object indexes and the *_read_recover functions
Nick Gasson [Thu, 29 Dec 2016 17:25:22 +0000 (17:25 +0000)]
Remove object indexes and the *_read_recover functions

7 years agoCompletely remove vcode bookmarks
Nick Gasson [Thu, 29 Dec 2016 16:56:12 +0000 (16:56 +0000)]
Completely remove vcode bookmarks

7 years agoStop using type indexes to generate unique record names
Nick Gasson [Thu, 29 Dec 2016 16:36:43 +0000 (16:36 +0000)]
Stop using type indexes to generate unique record names

7 years agoStop using bookmarks for bounds checking operations
Nick Gasson [Thu, 29 Dec 2016 16:09:40 +0000 (16:09 +0000)]
Stop using bookmarks for bounds checking operations

7 years agoSet initial operator no longer uses bookmark
Nick Gasson [Wed, 28 Dec 2016 18:54:46 +0000 (18:54 +0000)]
Set initial operator no longer uses bookmark

7 years agoDivision and null check operators no longer use bookmarks
Nick Gasson [Mon, 26 Dec 2016 21:49:00 +0000 (21:49 +0000)]
Division and null check operators no longer use bookmarks

7 years agoAsserts and reports no longer use vcode bookmark
Nick Gasson [Mon, 26 Dec 2016 21:41:02 +0000 (21:41 +0000)]
Asserts and reports no longer use vcode bookmark

7 years agoRewrite value attribute implementation to use image maps
Nick Gasson [Mon, 26 Dec 2016 21:33:37 +0000 (21:33 +0000)]
Rewrite value attribute implementation to use image maps

7 years agoUse an ident to represent file names in locations
Nick Gasson [Mon, 26 Dec 2016 18:32:38 +0000 (18:32 +0000)]
Use an ident to represent file names in locations

Remove unused structures

Some fixes for using ident_t in locations

7 years agoAdd vcode debug info operation to store location
Nick Gasson [Mon, 26 Dec 2016 18:27:10 +0000 (18:27 +0000)]
Add vcode debug info operation to store location

7 years agoImplement image maps in vcode evaluation
Nick Gasson [Mon, 26 Dec 2016 13:10:06 +0000 (13:10 +0000)]
Implement image maps in vcode evaluation

7 years agoStart code generation for image map operation
Nick Gasson [Tue, 20 Dec 2016 21:19:29 +0000 (21:19 +0000)]
Start code generation for image map operation

WIP improve code generation for image maps

Complete runtime and code generation for image maps

7 years agoNew vcode image maps for implementing 'IMAGE and 'VALUE
Nick Gasson [Sun, 27 Nov 2016 21:25:02 +0000 (21:25 +0000)]
New vcode image maps for implementing 'IMAGE and 'VALUE

New image map vcode operator is cleaner

7 years agoAllow record aggregates to be constant folded. Fixes #305
Nick Gasson [Tue, 27 Dec 2016 16:35:45 +0000 (16:35 +0000)]
Allow record aggregates to be constant folded. Fixes #305

7 years agoFix crash referencing record port. Fixes #304
Nick Gasson [Sat, 24 Dec 2016 21:18:20 +0000 (21:18 +0000)]
Fix crash referencing record port. Fixes #304

7 years agoFix crash referencing port in procedure. Fixes #303
Nick Gasson [Tue, 20 Dec 2016 21:38:48 +0000 (21:38 +0000)]
Fix crash referencing port in procedure. Fixes #303

7 years agoAdd configure check for __attribute__((returns_nonnull))
Nick Gasson [Sun, 27 Nov 2016 21:33:18 +0000 (21:33 +0000)]
Add configure check for __attribute__((returns_nonnull))

7 years agoUse returns_nonnull annotation on some utility functions
Nick Gasson [Sun, 27 Nov 2016 09:11:04 +0000 (09:11 +0000)]
Use returns_nonnull annotation on some utility functions

7 years agoWrapper function xstrdup checks for memory exhaustion
Nick Gasson [Sun, 27 Nov 2016 09:08:14 +0000 (09:08 +0000)]
Wrapper function xstrdup checks for memory exhaustion

7 years agoFix crash when lower architecture bodies
Nick Gasson [Mon, 21 Nov 2016 11:38:56 +0000 (11:38 +0000)]
Fix crash when lower architecture bodies

7 years agoFix crash passing signal alias to procedure
Nick Gasson [Mon, 21 Nov 2016 11:33:10 +0000 (11:33 +0000)]
Fix crash passing signal alias to procedure

7 years agoFix crash compiling Altera libraries
Nick Gasson [Wed, 9 Nov 2016 21:46:04 +0000 (21:46 +0000)]
Fix crash compiling Altera libraries

7 years agoAdd Travis integration
Nick Gasson [Sun, 6 Nov 2016 14:31:47 +0000 (14:31 +0000)]
Add Travis integration

Based on patch from @peteut

Squashed commit of the following:

commit ee62c49c90d58a7c9b5cc6b410e945c3cb0caabf
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 6 14:29:10 2016 +0000

    Add badge and VHPI

commit a7999314a9c2f46b73db88b39b095cae71b051c0
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 6 14:25:43 2016 +0000

    Fix some warnings in run_regr.c

commit fb7a5df2e48689edbcc138a3380e5cf11273b4b2
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 6 14:20:02 2016 +0000

    Add configure check for pow() function

commit 748fa2fa7feb2e47a664f6f62e58ab89fa2a364f
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 6 14:11:14 2016 +0000

    Use LLVM 3.4

commit bd7939413ed6825092a3289457264b263b7a4c8e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Nov 6 14:07:05 2016 +0000

    Add Travis config file

7 years agoUpdate readme and history file
Nick Gasson [Sat, 5 Nov 2016 19:48:17 +0000 (19:48 +0000)]
Update readme and history file

7 years agoRewrite the complile time evaluator to use vcode
Nick Gasson [Sat, 5 Nov 2016 19:46:17 +0000 (19:46 +0000)]
Rewrite the complile time evaluator to use vcode

Squashed commit of the following:

commit ca411a3ce23d8cde0f760d4041e64c3ebd204810
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 18:47:27 2016 +0000

    Fix crash emitting undefined value

commit bf49e3062bc92a1da7943050dc0126d98ed07a17
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 18:09:15 2016 +0000

    Fix evaluation use-after-free

commit 56190598b4d06fa844ffd082fb1543b1c0336986
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 13:30:18 2016 +0000

    Fix mistake in last commit

commit a0a419f45f9db1608ca1943aaf3867ec717ac711
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 13:24:37 2016 +0000

    Fix confusing name mangling with record references

commit 6d729bcd07b0f0ef1df9634ac30ea48a9f33b33f
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 10:09:50 2016 +0000

    Add vcode reference counting and fix memory leaks

commit 04804d5994e5e3fedb079bbc97cc399d94919402
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Nov 5 09:13:10 2016 +0000

    Stop storing vcode units in trees

commit 205a8f1eebd7e7091eb14c7b7cab473f1685ad95
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Fri Oct 28 18:05:39 2016 +0100

    Start of attempt to get rid of tree_code

commit 5be3ec3ef6d70bbc121e8195e2ce883af413994e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Fri Oct 28 14:37:02 2016 +0100

    Fix invalid value kind returned from eval_op_image

commit 8206e89977c4e1b9877d30de04df8a43614c43cc
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Fri Oct 28 14:24:33 2016 +0100

    Vcode evaluation for bit shift operator

commit 23bbaaeea9dfe522e7088bc3b2ad0d59c171ceb5
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 20:54:35 2016 +0100

    Fix Valgrind error

commit 97e89e8c212905b9f968c3b66b7a803fe7c48ba8
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 20:28:53 2016 +0100

    Evaluation for vcode memset operation

commit 1a61e019a415b1b66eb73856943237ffb20e956d
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 19:45:26 2016 +0100

    Handle constant folding better in lower_sched_event

commit 6bfeccca92375477290c304e87196a7bd2b22794
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 19:38:01 2016 +0100

    Fix global naming collision

commit 6279afb9bb752b1120a441e560058641ceb0d31e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 19:12:38 2016 +0100

    Instance and path names are only available at elaboration time

commit aebf71ce0c759a27195a874bcdb06522d8161e20
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 19:09:52 2016 +0100

    Fix a few more bugs relating to "undefined" vcode operator

commit 31522356e7c652ec1da50b6155c95bff66e6d5da
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 18:54:05 2016 +0100

    Fix regression of protected3

commit 0bacb98b869d5fb7cc8771c8b505c69418608b20
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 27 17:05:20 2016 +0100

    Remove redundant elab_funcs function

commit 92e0c1a5db3ee74981eda89700fe2dd6ad6fe510
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 25 16:47:42 2016 +0100

    Vcode evaluation for record references and constant records

commit 1e6f8ef3cbf771f02d3e5e2a45c570963e60894c
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Oct 24 19:13:20 2016 +0100

    Store a type with vcode_bookmark_t

commit 2a7b18e488ce9aa45326d9ef42f405ae0a7ce8c7
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Oct 24 15:24:35 2016 +0100

    Evaluating vcode procedure calls

commit 7f3617736c4a62804c718c2b6d980088102085e6
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Oct 24 12:51:26 2016 +0100

    Rewrite ieee4 to avoid constant folding

commit bc552f5b8c6228036a3a1e61483275cd90eb698b
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Mon Oct 24 11:40:01 2016 +0100

    Add final simplification pass after elaboration

commit d8493fee1bc118d40a7ae25d35952c5eb722d2dd
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 22:33:45 2016 +0100

    No fatal error if evaluation causes division by zero

commit d19dfccfec7593c4f02fab7c994c6a618300f39a
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 21:36:59 2016 +0100

    Avoid generating redundant code for always-true assertion

commit 3276cc289b6ad0894e5a36e51fde1e98fe7a18a0
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 21:27:04 2016 +0100

    Finish reading/writing vcode units

commit c77a614354cf70cf4bbbb5c5bdd728bf1fcef0f7
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 18:34:44 2016 +0100

    Complete vcode writing to disk

commit 8ff29ed06f9e57d9f9c3b85b4e13f0c6d93379c9
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 16:49:49 2016 +0100

    Do not save automatically after lowering

commit c826c31d19626174e0671b2bc3d469c35d5ba183
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 16:44:34 2016 +0100

    Start adding code to save vcode units

commit e7a97c0901315510e9aa64408f84c08c6df65f69
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 11:30:34 2016 +0100

    Use macros to identify which vcode ops have which fields

commit 68c670a995fd1ad869f92ca96ecedba5a564e963
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 10:58:57 2016 +0100

    Make EVAL_VERBOSE a little more useful

commit c8e636039af6ec7402c9a7419d389ce963fb3b54
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 23 10:57:38 2016 +0100

    Fix use-after-free in emit_index

commit 1740f9c7f6010d02d7bd62bcdc35bcdb13e98fd7
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Oct 22 16:46:03 2016 +0100

    Evaluation for vcode op exp

commit 68648d486641e0984f0927fe7c49f9d18cf0bc74
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sat Oct 22 14:49:12 2016 +0100

    Fix bug that caused real to be optimised away

commit 9d6d75a8062f3d74ea3b7c33813fe90e53c7b710
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 19 19:39:33 2016 +0100

    Vcode evaluation for uarray left/right

commit a887ff99881652b3bedcc72be12d0d811a89c626
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 19 19:33:41 2016 +0100

    No-op implementation for heap save/restore

commit c8d1d6d898f942564d26b2599d1f15c0882c01b5
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 19 18:21:30 2016 +0100

    Vcode evaluation for 'IMAGE attribute

commit 9af7b3529fc0b3e6d1297c701fc714bb86ea865e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 19 09:29:01 2016 +0100

    Bounds elision for real variables

commit 5b321d2e633e1b055b7edffa5d5317f82a5ba32e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 18 18:23:04 2016 +0100

    Implement abs in vcode evaluator

commit ba17bc0fa0bf1b2444ec51bfab0c54b43954aded
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 18 17:43:22 2016 +0100

    Bounds checking at evaluation time

commit 214b84da5ae2d1dc8ea6211772ed904f53619530
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 18 11:35:07 2016 +0100

    Vcode evaluation for alloca and index check operations

commit 9597ee6adfee92770b006947123c8c514f5ee598
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 18 10:51:43 2016 +0100

    Vcode elaboration for report and assert

commit 55048e269a1bfe8b0251473a01f0ac07daeb5e6a
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Tue Oct 18 10:16:33 2016 +0100

    Vcode bookmarks now store the tree directly

commit e88a69f6ef9fc0ac8518ed21c6a1ad20ecb1c08e
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 16 19:36:12 2016 +0100

    Improve lowering of if statements where the condition is constant

commit f05d644ee73c07f5d8933a18138f19412f281a07
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Sun Oct 16 19:05:36 2016 +0100

    Fix evaluation of integer to integer cast

commit f7a6cc267ad71195738ed7a8efb29565a22804ff
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 13 11:55:54 2016 +0100

    Evaluation of some operations on pointers and arrays

commit 79d1976f0d112f6b0030aa35f465ef9bd26d7cc7
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 13 10:22:32 2016 +0100

    Fix generation of useless heap save operations

commit 2869ad50d6dc54b91dfd28b71fc4f346fc20fe8a
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Thu Oct 13 10:13:33 2016 +0100

    Fix vcode evaluation of mod and rem operators

commit 780fc439888c7169cd70ebb85cf9d1650031e1da
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 20:50:51 2016 +0100

    Make fold_tree_fn also fold trivial constants

commit eedee901a4a8ea31ed8ea13f25484dbb2f905266
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 20:39:50 2016 +0100

    Evaluation for vcode dynamic bounds op

commit 9265c1b9504336cdfb0a79094ef6c318e40ee731
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 20:34:34 2016 +0100

    Remove duplicate call to lower_unit

commit f54574e4828b5f85b6e57d00aa95a2b28ee29e60
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 20:30:37 2016 +0100

    Split out constant folding from simplification pass

commit 89a5c5053162ea060816d5fb08eee26b5f19ccdd
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 20:21:54 2016 +0100

    Fix naming collisions

commit 0a9922a74c957c68678f0c589bf89619d8e35d5a
Author: Nick Gasson <nick@nickg.me.uk>
Date:   Wed Oct 12 14:58:56 2016 +0100

    Rewrite the complile time evaluator to use vcode

    Squashed commit of the following:

    commit d6106c2eb41b98b51560b2725e783c876b2e3577
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Wed Oct 12 14:47:58 2016 +0100

        Always lower before elaboration

    commit 87c6d715dda9b78759fd85882e55f54564663fae
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Wed Oct 12 13:50:54 2016 +0100

        New type vcode_bookmark_t to abstract tree index in vcode

    commit d0665b79b7407c379ff5333616055c5b36bcf1c9
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Tue Oct 11 14:37:20 2016 +0100

        New approach to early lowering

    commit c8aa4b2894e78bc41ea73835e3cac1a753664ccb
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Oct 9 21:21:47 2016 +0100

        Add an undefined operation to simplify error handling when lowering

    commit 27c9cec0d591b191a861578bb738bc83d848916a
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Oct 9 17:35:21 2016 +0100

        Fix crash in eval_possible

    commit d6525fae819d611bc1130aeceb0fe056788e1f88
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Oct 9 17:07:25 2016 +0100

        Fix error when local function has not been lowered

    commit 50aebfe8c788997123fb3b53024ad5d3a169639b
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Oct 6 17:52:23 2016 +0100

        The llvm.expect.i1 intrinsic breaks optimisation sometimes

    commit b74eea9c628694d6873b8435bdaa5bd81754c85c
    Merge: 24049a4 900193c
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Oct 9 14:23:42 2016 +0100

        Merge branch 'master' into vcode-simp

    commit 24049a406b6d0792fa5cb06cf16c8199d52a05e9
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Oct 6 10:49:43 2016 +0100

        Vcode evaluation for sub operator

    commit fd85f6c0fb2536a4babe9712a88f61c8d4089642
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Oct 6 10:32:08 2016 +0100

        Fix rewriting non-scalar function calls to null

    commit 96aeef6acdf168d0dd0ca0d48a1bb0222d738514
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Oct 6 10:09:44 2016 +0100

        Couple of test fixes

    commit d06578c0a754ad04793d898e1a9e0dc0628ebe7f
    Merge: f630db0 defb3f3
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Oct 6 09:53:15 2016 +0100

        Merge branch 'master' into vcode-interp

    commit f630db0564f073025b9d6aa5821e5aa2d4d1ac5f
    Merge: bb247f9 116f1bf
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Jun 11 12:25:29 2016 +0100

        Merge branch 'master' into vcode-interp

    commit 116f1bfd6b6b146567734cf85758a873f1591620
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Jun 11 12:24:56 2016 +0100

        Improvements to VHPI tracing

    commit 31857d6f382c49d355a07734fc072809426a3b3b
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Jun 11 10:14:44 2016 +0100

        Add --list command to print all units in a library

    commit c64438e2c2751e5de171f604ae2e113cabfee6bd
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Jun 11 09:26:02 2016 +0100

        Update HISTORY.md

    commit bb247f9ffd221169730c5dd785cfa8395cfa5b5c
    Merge: a37defa 54dd15f
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat May 14 16:31:53 2016 +0100

        Merge branch 'master' into vcode-interp

    commit a37defa41d5caedb0908fc54cde86346846e753d
    Merge: 1f40ff0 c84b298
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun May 1 17:59:03 2016 +0100

        Merge branch 'master' into vcode-interp

    commit 1f40ff0fd5402dca3e5b1a39c9a5cdc116589aad
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Apr 24 15:42:11 2016 +0100

        Keep track of heap memory allocated during evaluation

    commit a61890de59a762e46c9eeafae81c9e5cae88bd8d
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Apr 24 15:32:07 2016 +0100

        Fix evaluation of uarray wrapping

    commit e5164ecb2323baa6a96ec3021537abf75b5c2ca3
    Merge: f1d80e9 e486477
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Wed Feb 17 20:46:45 2016 +0000

        Merge branch 'master' into vcode-interp

    commit f1d80e94881199f5f0c5366c26b11867fc837a75
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Jan 31 10:56:00 2016 +0000

        Improve error reporting with builtins

    commit 8de29b4b3d18d8f7aa6fc08231fb0cf680817d42
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Dec 31 21:45:04 2015 +0000

        Add missing comparison operators

    commit ddf0db65cf4e044743439630864b2afb279063a5
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Tue Dec 29 11:22:16 2015 +0000

        Vcode interpreter improvements

    commit fe600f471910f888331076b13470a8161041a933
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Dec 24 15:52:53 2015 +0000

        Fix build after merge

    commit 649e18a80fce2b1b2060739208026634966bf79d
    Merge: 04663f1 f6cf322
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Thu Dec 24 15:49:35 2015 +0000

        Merge branch 'master' into vcode-interp

    commit 04663f1c7cfd85f734c43f76a9f7a67dae025c53
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Sep 27 18:11:57 2015 +0100

        Add vcode evaluation for memcmp

    commit 4ee32841ac09da5fcc7f3025feff9582b207c1bc
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Fri Sep 25 21:30:19 2015 +0100

        Extend vcode evaluator to more operations

    commit 28c08a1fbefee68eadaef1adc5839c359820cbfd
    Merge: 82e03ac c39dd33
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Sep 12 12:23:08 2015 +0100

        Merge branch 'master' into vcode-interp

    commit 82e03acc7f6b3baa959a248ba2e079e229f8806f
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Sep 12 10:20:25 2015 +0100

        Initial version of vcode interpreter

    commit 42c769c7fbccfbbd49c76fd5237d2a6e85b76792
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sat Sep 12 09:41:34 2015 +0100

        Various thunking fixes

    commit ddf0096362947d9bebd8efa046c1a4c41bd7167e
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Tue May 12 22:50:35 2015 +0100

        Start adding vcode operations for thunking

        Conflicts:
         src/lower.c

    commit 742772241f62e8296b36566b88cc2eebbafdbda7
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Aug 9 09:06:35 2015 +0100

        Use a hash table to store vcode object mappings

    commit af2f01dbaca3091edf498a52bd59177b367f5143
    Author: Nick Gasson <nick@nickg.me.uk>
    Date:   Sun Aug 9 11:54:52 2015 +0100

        Dumping for NEXT statments

7 years agoThe llvm.expect.i1 intrinsic breaks optimisation sometimes
Nick Gasson [Thu, 6 Oct 2016 16:52:23 +0000 (17:52 +0100)]
The llvm.expect.i1 intrinsic breaks optimisation sometimes

7 years agoRelease stable version 1.1 r1.1.0
Nick Gasson [Sat, 5 Nov 2016 19:39:57 +0000 (19:39 +0000)]
Release stable version 1.1

7 years agoFix parsing of ASCII special characters
Nick Gasson [Sat, 5 Nov 2016 19:31:27 +0000 (19:31 +0000)]
Fix parsing of ASCII special characters

7 years agoAttempt to fix run_regr problems on OS X
Nick Gasson [Fri, 28 Oct 2016 17:12:43 +0000 (18:12 +0100)]
Attempt to fix run_regr problems on OS X

7 years agoUpdate instructions for OS X install
Nick Gasson [Tue, 25 Oct 2016 13:43:06 +0000 (14:43 +0100)]
Update instructions for OS X install

7 years agoAdd Gitter badge (#302)
The Gitter Badger [Mon, 24 Oct 2016 21:55:22 +0000 (16:55 -0500)]
Add Gitter badge (#302)

7 years agoAdding support for quotation-mark in string literals and bit string literals (#301)
mercstash [Mon, 24 Oct 2016 21:04:13 +0000 (23:04 +0200)]
Adding support for quotation-mark in string literals and bit string literals (#301)

* Better handling of Based Literals with exclusive '#' and ':' as defined in LRM 13.10

* Adding support for string literals and bit string literals

* Fix indentation to 3

* Fixing indentation

* Reducing line diff in lexer

* Removing tab and final fix for indentation

7 years agoSplit "resume" operation into nested and non-nested variants
Nick Gasson [Sun, 23 Oct 2016 16:30:27 +0000 (17:30 +0100)]
Split "resume" operation into nested and non-nested variants

7 years agoBetter handling of Based Literals with exclusive '#' and ':' as defined in LRM 13...
mercstash [Mon, 24 Oct 2016 10:16:55 +0000 (12:16 +0200)]
Better handling of Based Literals with exclusive '#' and ':' as defined in LRM 13.10 (#300)

7 years agoHandling empty Bit String and no underscore in first character (#299)
mercstash [Tue, 18 Oct 2016 19:51:12 +0000 (21:51 +0200)]
Handling empty Bit String and no underscore in first character (#299)

7 years agoAbstract literals (#298)
mercstash [Mon, 17 Oct 2016 19:48:15 +0000 (21:48 +0200)]
Abstract literals (#298)

* Changes in abstract literals. Still need to handle the real in based literals.

* Real based literals

7 years agoUse HTTPS URL for IEEE sources. Issue #295
Nick Gasson [Wed, 12 Oct 2016 13:49:07 +0000 (14:49 +0100)]
Use HTTPS URL for IEEE sources. Issue #295

7 years agoadd shasums to fetch-ieee.sh (#295) (#296)
Robert Günzler [Wed, 12 Oct 2016 13:22:58 +0000 (15:22 +0200)]
add shasums to fetch-ieee.sh (#295) (#296)

* add shasums to fetch-ieee.sh https://github.com/nickg/nvc/issues/295

* put download and shasum check into seperate function

* Remove prompt

* Remove prompt for real

7 years agoDuplicate history entry
Nick Gasson [Thu, 6 Oct 2016 11:30:53 +0000 (12:30 +0100)]
Duplicate history entry

7 years agoUpdate HISTORY.md
Nick Gasson [Thu, 6 Oct 2016 11:30:04 +0000 (12:30 +0100)]
Update HISTORY.md

7 years agoRemove redundant optimisation passes
Nick Gasson [Thu, 6 Oct 2016 10:40:04 +0000 (11:40 +0100)]
Remove redundant optimisation passes

7 years agoCouple of test fixes
Nick Gasson [Thu, 6 Oct 2016 09:09:44 +0000 (10:09 +0100)]
Couple of test fixes

7 years agofix vhdl-2008 support
Alain Péteut [Fri, 26 Aug 2016 09:23:18 +0000 (11:23 +0200)]
fix vhdl-2008 support

Issue #294

7 years agoImproved stack traces on Linux with libdw
Nick Gasson [Sun, 2 Oct 2016 20:32:20 +0000 (21:32 +0100)]
Improved stack traces on Linux with libdw

7 years agoReplace some more ad-hoc attributes with flags
Nick Gasson [Sat, 30 Jul 2016 16:32:55 +0000 (17:32 +0100)]
Replace some more ad-hoc attributes with flags

7 years agoReplace elide_bounds attribute with a tree flag
Nick Gasson [Fri, 29 Jul 2016 19:51:14 +0000 (20:51 +0100)]
Replace elide_bounds attribute with a tree flag

7 years agoUse flags rather than attributes to store unconstrained-ness. Issue #293
Nick Gasson [Fri, 29 Jul 2016 19:39:30 +0000 (20:39 +0100)]
Use flags rather than attributes to store unconstrained-ness. Issue #293

7 years agoAdd new flags tree field to replace ad-hoc attributes
Nick Gasson [Fri, 29 Jul 2016 19:32:49 +0000 (20:32 +0100)]
Add new flags tree field to replace ad-hoc attributes

7 years agoFix bug wrong variable (#292)
robin [Tue, 26 Jul 2016 11:20:30 +0000 (16:50 +0530)]
Fix bug wrong variable (#292)

7 years agoUpdate for building Xilinx CoreLib #154
Nick Gasson [Sun, 24 Jul 2016 09:37:35 +0000 (10:37 +0100)]
Update for building Xilinx CoreLib #154

7 years agoFix using capital letters in based literal
Nick Gasson [Sun, 24 Jul 2016 09:30:46 +0000 (10:30 +0100)]
Fix using capital letters in based literal

7 years agoLowering for concatenation in case statement choice. Issue #106 #105
Nick Gasson [Thu, 21 Jul 2016 21:10:27 +0000 (22:10 +0100)]
Lowering for concatenation in case statement choice. Issue #106 #105

7 years agoLowering for array slices in case choices. Issue #106
Nick Gasson [Sun, 17 Jul 2016 13:24:59 +0000 (14:24 +0100)]
Lowering for array slices in case choices. Issue #106

7 years agoOption --relax=locally-static now applies in more contexts. Issue #106
Nick Gasson [Sun, 17 Jul 2016 07:08:58 +0000 (08:08 +0100)]
Option --relax=locally-static now applies in more contexts. Issue #106

7 years agoRewrite the run_regr program in C
Nick Gasson [Sun, 17 Jul 2016 06:29:24 +0000 (07:29 +0100)]
Rewrite the run_regr program in C

Avoids `make check` dependency on Ruby

7 years agoRename --relax=generic-static to --relax=locally-static. Issue #106
Nick Gasson [Sat, 16 Jul 2016 07:10:41 +0000 (08:10 +0100)]
Rename --relax=generic-static to --relax=locally-static. Issue #106

7 years agoImprovements to VHPI tracing
Nick Gasson [Sat, 11 Jun 2016 11:24:56 +0000 (12:24 +0100)]
Improvements to VHPI tracing

7 years agoAdd --list command to print all units in a library
Nick Gasson [Sat, 11 Jun 2016 09:14:44 +0000 (10:14 +0100)]
Add --list command to print all units in a library

7 years agoUpdate HISTORY.md
Nick Gasson [Sat, 11 Jun 2016 08:26:02 +0000 (09:26 +0100)]
Update HISTORY.md

7 years agofix typo in test-list (#291)
Mike [Sun, 12 Jun 2016 07:15:03 +0000 (03:15 -0400)]
fix typo in test-list (#291)