892f5f84c4
Fix white space errors.
...
(cherry picked from commit 4055752959
2019-07-23 11:05:24 +01:00
cb4c98bd4e
Added support for parsing attributes on function calls
...
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
(cherry picked from commit b619b43ddd
2019-07-23 11:05:16 +01:00
49066f1601
Added support for parsing attributes on port connections
...
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
(cherry picked from commit e6fa2625a4
2019-07-23 11:05:01 +01:00
19444dd2fa
Restrict cast type to what's allowed by the IEEE standard.
...
(cherry picked from commit 7cd078e7ab
2018-12-15 12:49:34 +00:00
fc62c91496
Improved check for missing task/function port direction.
...
(cherry picked from commit 69d80839a5
2018-02-23 22:32:07 +00:00
6dce878638
Fix for br1027: incorrect inference of task/function port direction.
...
In traditional Verilog, each task_port_item must have an explicit port
direction.
In SystemVerilog, if the port direction is not specified, it should be
inherited from the preceding task_port_item for that task/function, and
only the first task_port_item should infer the direction to be 'input'.
(cherry picked from commit 6b1b402a79
2018-02-20 21:08:30 +00:00
95d3579509
Fix for GitHub issue #163 : assertion failure caused by syntax error in task.
...
(cherry picked from commit 3566ff4cd4
2017-09-28 19:26:27 +01:00
38013f7a34
Sorry message for procedural assertion statements.
2017-01-10 12:18:38 -08:00
b3cf533b3c
Pop current_block_stack after for_variable_declaration and foreach.
...
(cherry picked from commit f827e4f748
2016-11-25 21:33:33 +00:00
9449c46865
Use gn_system_verilog() where appropriate.
...
Replace explicit comparisons against generation_flag with calls to
the gn_system_verilog helper function, both for code clarity and
to fix a couple of bugs. Also simplify the implementation of the
function, as we already rely on the generation_flag enumeration
being an ordered list.
(cherry picked from commit 3c9b39846c
2016-09-17 19:23:48 +01:00
face462cc2
Partial fix for br1006 - allow part selects in path declarations.
...
This just enables the compiler to parse path declarations that
contain part selects. As for bit selects, the part select is
discarded, and if elaboration of specify blocks is enabled,
the path declaration will be applied to the entire vector. If
elaboration is enabled, a warning message will now be output
when a bit or part select is discarded.
(cherry picked from commit ad87704809
2016-07-10 20:25:39 +01:00
b46d8b8389
Fix for br974 - support SV types in non-ansi port declarations.
...
(cherry picked from commit 6ba2bee977
2016-04-19 20:47:33 +01:00
5bbb054173
Add check for explicit lifetime when initialising static variables.
...
If a static variable declared in a task, function, or block has an
initialisation expression, SystemVerilog requires the declaration to
have an explicit static lifetime. This is supposed to be a compile
error, but for now just output a warning.
Implementing this required adding support in the parser for explicit
lifetimes in variable declarations. For now, just output an error if
the user asks for a lifetime that isn't the default for that scope.
(cherry picked from commit 9538c81d34
2016-04-19 20:43:25 +01:00
7d2eeb0137
Added support for default subroutine lifetimes (SystemVerilog).
...
(cherry picked from commit 6e718c2e0c
2016-04-19 20:43:14 +01:00
3f75f6b155
Fully support variable initialization in tasks/functions/named blocks.
...
(cherry picked from commit 635adfc01e
2016-04-19 20:40:14 +01:00
04ae07f03c
Fix for GitHub issue #94 - enhance support for SystemVerilog size casting.
...
Allow the size expression to be any constant expression. Also ensure that
the expression width and type are correctly calculated and applied.
(cherry picked from commit dc1c3a4043
2016-03-25 22:41:50 +00:00
e98bcb61bb
Fix for br988 - support begin/end blocks nested inside generate blocks.
...
This is syntax permitted in 1364-2001 but removed in 1364-2005.
Also update the iverilog man page to document the anachronisms warning
class that warns about use of this feature when a later generation is
selected.
2015-08-07 22:46:09 +01:00
853f119d83
Fix for br989 - unsupported attributes are not fatal.
...
The compiler was emitting a "sorry" message and aborting compilation when
it encountered attributes on a wire declaration/assignment. Change this
to a warning, as most attributes are ignored anyway.
2015-08-05 18:22:25 +01:00
311ffb27f2
ivl: Enum output ports are implicit regs when based on 'logic' type.
2015-06-24 23:53:33 +02:00
bdd0657140
Reject default task/function arguments when parsing traditional Verilog.
2015-06-21 09:05:39 +01:00
b23faff27c
Just a few more spelling fixes
...
Includes some user-visible messages
2015-06-17 08:09:34 -07:00
80403d2ade
ivl: Disabled reg_flag for time type in SV.
2015-06-08 18:42:52 +02:00
cd3180d1c2
ivl: TIME_LITERAL added as a primary expression.
2015-06-08 18:42:52 +02:00
71b1546a7d
Fail gracefully when an unpacked struct is declared.
2015-05-17 21:59:05 +01:00
352175d921
Fix for br973 - add support for enum declarations with no dimensions.
2015-04-26 12:46:08 +01:00
5dc1396eea
Spelling fixes
2015-04-13 11:35:12 -07:00
21c60b38e1
Fix space issues in the code.
2015-01-15 17:47:39 -08:00
b6e16aea6b
ivl: Typedefs may use unpacked arrays.
2015-01-12 11:08:31 +01:00
3f847fd927
Fix a compile warning
2015-01-10 16:28:55 -08:00
bca84d9dbb
Added parser support for SV modport declarations.
2015-01-10 11:10:41 +00:00
b400532169
Added support for interface declaration and instantiation.
...
modport and extern tf declarations are not yet supported.
2014-12-19 23:10:14 +00:00
6aa8e49b09
Add sorry message for unsupported arrays of named events.
2014-12-13 17:46:56 +00:00
daa59a95ad
ivl: Parsing rules for type casting.
2014-11-27 17:36:23 +01:00
cd992b4d5a
Add file/line information for parray data type.
2014-11-24 18:37:40 -08:00
c25538d750
Pass the integer type for enumerations to the IVL target stage
2014-10-31 18:09:19 -07:00
bfafd175fa
Fix parse.y bad handling of file names in some situations.
...
The YYLLOC_DEFAULT() macro needs to get the .text value even
when the rules are empty.
2014-10-02 19:42:48 -07:00
d16a9dcfc6
Add support for calling a class function method using this/super
...
Also standardize the parser code that uses this/super.
2014-09-16 12:25:14 -07:00
acce9fc2a0
Report that external class methods/constructors are not supported
2014-09-11 16:35:24 -07:00
853512868b
Merge branch 'x-mil15'
2014-09-08 21:10:14 -07:00
9b1de4b038
Call IEEE 1800 SystemVerilog
2014-09-08 20:49:40 -07:00
ec2793c9b0
Warn that classes defined in the compilation unit scope are not supported
2014-09-08 16:59:18 -07:00
d1a35d5152
Handle nil queue as a was to delete a queue.
...
Treat this like assigning null to a dynamic array. This deletes the
queue and thus has the effect of clearing it.
2014-09-02 12:19:58 -07:00
f602ae84ab
Elaborate foreach loops as synthetic for loops.
...
Create an implicit scope to hold the index variable, and
generate a for loop to perform the functionality of the
foreach.
2014-08-21 16:44:46 -07:00
6d052d4ff7
Handle queue types and expressions at pform level.
2014-08-21 16:44:45 -07:00
2d2a720ea8
Do a better job with synthesis translate pragmas.
2014-08-09 08:04:25 -07:00
0cbd6d99af
SV: Add support for var decls in unnamed fork/join* blocks.
...
SystemVerilog allows variables to be declared in unnamed fork/join*
blocks. This patch adds support for this functionality.
2014-07-23 09:54:19 -07:00
8e7e3c7493
Remove space issue
2014-07-22 18:59:58 -07:00
588409389e
SV: Add support for var decls in unnamed begin/end blocks.
...
SystemVerilog allows variables to be declared in unnamed begin/end
blocks. This patch adds support for this functionality.
2014-07-22 18:58:23 -07:00
14f597acdd
Add support for synthesis translate meta-comments.
2014-07-15 18:03:40 -07:00
0611135758
Some more cppcheck cleanup/updates
2014-06-29 20:39:40 -07:00
Martin Whitaker
Maciej Kurc
Stephen Williams
Henry Wong
Maciej Suminski
Martin Whitaker
Larry Doolittle
Cary R