aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_expr.adb
Commit message (Collapse)AuthorAgeFilesLines
* vhdl: add Determined_Aggregate_Flag field. For #2166Tristan Gingold2022-08-101-0/+3
|
* vhdl: check read for attribute parameter and aggregates. Fix #2148Tristan Gingold2022-07-281-3/+19
|
* vhdl-sem_expr: check expression index range for aggregate. Fix #2066Tristan Gingold2022-06-191-0/+25
|
* vhdl-sem_expr: do not attribute element or subtype attributes as expr.Tristan Gingold2022-06-161-0/+2
| | | | For #2097
* vhdl: consider fully static record aggregates. Fix #2051Tristan Gingold2022-05-071-2/+9
|
* vhdl-sem_expr: minor renamingTristan Gingold2022-04-271-3/+6
|
* vhdl-sem_expr: add a commentTristan Gingold2022-04-271-0/+21
|
* vhdl: handle static expressions with ieee operationsTristan Gingold2022-04-261-1/+29
|
* vhdl: check association restrictions for operators. Fix #1999Tristan Gingold2022-03-111-11/+18
|
* vhdl-sem_expr.adb: avoid a crash after forced analysisTristan Gingold2021-12-131-1/+2
|
* vhdl-sem_expr: improve code generation for multi-dim aggregatesTristan Gingold2021-11-151-3/+3
|
* vhdl: Iir_Kind_Foreign_Module is now a library unitTristan Gingold2021-11-091-1/+25
| | | | | (instead of a design unit). Also, add Iir_Kind_Foreign_Vector_Type_Definition
* vhdl: also warns on unused enumeration literalTristan Gingold2021-11-011-5/+10
|
* Fixed some typos (#1868)Patrick Lehmann2021-09-161-2/+2
|
* vhdl-sem_expr.adb: adjust aggregate element type extraction. For #737Tristan Gingold2021-09-141-2/+7
|
* vhdl-sem_expr.adb: check matching subtype of array aggregate elements.Tristan Gingold2021-08-061-31/+67
| | | | | When the subtype of the aggregate is not known by the context. Fix #1723
* vhdl: adjust ownership of agrgegate element subtypes. Fix #1419Tristan Gingold2021-08-051-2/+3
| | | | | Disable transfer of array aggregate element subtype ownership, but create the info of aggregate element subtype.
* vhdl-sem_expr: add commentsTristan Gingold2021-08-041-0/+6
|
* vhdl-sem_expr: check subtype constraint of record aggregate elements.Tristan Gingold2021-08-041-1/+2
| | | | For #1419
* vhdl-sem_expr.adb: build element subtype for aggregate when possible.Tristan Gingold2021-08-031-10/+161
| | | | | | | | In case of array aggregate whose element subtype is not bounded, extract it from the aggregate elements. Fix #1055 Fix #1455
* vhdl-sem_expr: analyze choices before expressions in array aggregate.Tristan Gingold2021-07-281-22/+39
| | | | | Avoid considering expression to be possibly of the type of the aggregate if the choice is an expression.
* vhdl-sem_expr.adb: detect incorrect static aggregate length mismatch. For #1697Tristan Gingold2021-03-301-1/+9
|
* vhdl-sem_expr.adb: improve fix for #1664Tristan Gingold2021-02-271-4/+1
|
* vhdl-sem_expr: detect incorrect condition for vhdl08. Fix #1664Tristan Gingold2021-02-271-0/+3
|
* vhdl-sem_expr: avoid duplicate error messages for overflow in rangeTristan Gingold2021-02-111-4/+1
|
* vhdl-sem_psl: factorize code for onehot/onehot0 and stable/fell/rose.Tristan Gingold2021-02-091-12/+6
|
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-091-1/+9
| | | | | | | | | | | | | | | * vhdl: parse PSL onehot/onehot0 builtin calls. For #662 * update pyGHDL bindings * Synthesis of PSL built-in onehot/onehot0 function. * testsuite/synth: add tests of PSL built-in functions onehot()/onehot0() for #662 * doc: add info about PSL built-in functions onehot()/onehot0() for #662 * synth: refactor synthesis of onehot/onehot0 functions Co-authored-by: eine <eine@users.noreply.github.com>
* vhdl-sem_expr: remove assertion and change comment. Fix #1631Tristan Gingold2021-02-061-3/+4
|
* update license headersumarcor2021-01-141-11/+9
|
* src/vhd: remove use of chapter sign in comment to have on ASCII charactersTristan Gingold2021-01-091-2/+2
| | | | (except for vhdl-scanner)
* vhdl-sem_expr: evaluate operands only if the operator result is not static.Tristan Gingold2020-09-281-5/+13
|
* vhdl: evaluate operands of operators, check bounds. For #1475Tristan Gingold2020-09-261-11/+13
|
* translate: improve support of unbounded records and arrays.Tristan Gingold2020-07-251-2/+4
|
* vhdl: replace base_type with parent_type in nodesTristan Gingold2020-07-221-2/+1
| | | | | Only for subtype definition and remove base_type in type definitions. Allows to better track the addition of contraints.
* vhdl: improve support of subtype attribute.Tristan Gingold2020-07-181-13/+11
| | | | | A subtype definition does not mean anymore that the subtype is constrained. It is now defined by the subtype indication of the name.
* vhdl: add wildcard_psl_boolean. For #1387Tristan Gingold2020-07-021-55/+92
|
* vhdl-sem_expr: fix overload handling for conditional operationTristan Gingold2020-07-021-12/+44
|
* vhdl-sem_expr: abstract sem_operator_compatibilityTristan Gingold2020-07-021-47/+72
|
* vhdl-sem_expr: improve error messageTristan Gingold2020-07-011-1/+1
|
* vhdl: add missing check_read. Fix #1381Tristan Gingold2020-06-251-0/+3
|
* vhdl: --std93c is now an alias for --std=93 -frelaxedTristan Gingold2020-06-131-1/+1
| | | | This simplifies the definition of --std=93c
* vhdl-sem_expr: use -frelaxed for parentheses aggregates. For #1364Tristan Gingold2020-06-121-14/+39
|
* vhdl: handle aggregates in choices. Fix #1360Tristan Gingold2020-06-091-0/+7
|
* Add PSL built-in prev() function to allowed expressionstmeissner2020-06-071-0/+1
|
* Synthesis of PSL built-in fell() function.tmeissner2020-06-071-1/+5
|
* Synthesis of PSL built-in rose() function.tmeissner2020-06-061-1/+5
|
* Synthesis of PSL stable() function.tmeissner2020-06-061-1/+5
|
* Synthesis of PSL prev function.Tristan Gingold2020-06-021-9/+77
|
* vhdl-sem_expr: improve support of vhdl-08 aggregates. Fix #1282Tristan Gingold2020-05-051-24/+37
| | | | An element of an aggregate may have an unconstrained length.
* vhdl-sem_expr: fix handling of overload lists in merge_wildcard_type. Fix #1274Tristan Gingold2020-05-021-6/+11
|