Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow localparams in constant functions | Zachary Snow | 2020-08-20 | 1 | -0/+12 |
| | |||||
* | Merge pull request #2122 from PeterCrozier/struct_array2 | clairexen | 2020-08-19 | 1 | -28/+62 |
|\ | | | | | Support 2D bit arrays in structures. Optimise array indexing. | ||||
| * | Support 2D packed bit arrays in struct/union. | Peter Crozier | 2020-06-09 | 1 | -35/+1 |
| | | |||||
| * | Support 2D bit arrays in structures. Optimise array indexing. | Peter Crozier | 2020-06-08 | 1 | -28/+96 |
| | | |||||
* | | Merge pull request #2339 from zachjs/display-format-0s | clairexen | 2020-08-18 | 1 | -1/+1 |
|\ \ | | | | | | | Allow %0s $display format specifier | ||||
| * | | Allow %0s $display format specifier | Zachary Snow | 2020-08-09 | 1 | -1/+1 |
| | | | |||||
* | | | Merge pull request #2338 from zachjs/const-branch-finish | clairexen | 2020-08-18 | 1 | -4/+4 |
|\ \ \ | | | | | | | | | Propagate const_fold through generate blocks and branches | ||||
| * | | | Propagate const_fold through generate blocks and branches | Zachary Snow | 2020-08-09 | 1 | -4/+4 |
| |/ / | |||||
* | | | Merge pull request #2317 from zachjs/expand-genblock | clairexen | 2020-08-18 | 1 | -41/+82 |
|\ \ \ | | | | | | | | | Fix generate scoping issues | ||||
| * | | | Fix generate scoping issues | Zachary Snow | 2020-07-31 | 1 | -41/+82 |
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | - expand_genblock defers prefixing of items within named sub-blocks - Allow partially-qualified references to local scopes - Handle shadowing within generate blocks - Resolve generate scope references within tasks and functions - Apply generate scoping to genvars - Resolves #2214, resolves #1456 | ||||
* | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into ↵ | Claire Wolf | 2020-08-18 | 1 | -26/+29 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | zachjs-const-func-block-var Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | | Allow blocks with declarations within constant functions | Zachary Snow | 2020-07-25 | 1 | -18/+21 |
| | | | | |||||
* | | | | Merge pull request #2281 from zachjs/const-real | clairexen | 2020-08-18 | 1 | -3/+11 |
|\ \ \ \ | |_|/ / |/| | | | Allow reals as constant function parameters | ||||
| * | | | Allow reals as constant function parameters | Zachary Snow | 2020-07-19 | 1 | -3/+11 |
| |/ / | |||||
* | | | Merge pull request #2301 from zachjs/for-loop-errors | clairexen | 2020-07-28 | 1 | -17/+19 |
|\ \ \ | | | | | | | | | Clearer for loop error messages | ||||
| * | | | Clearer for loop error messages | Zachary Snow | 2020-07-25 | 1 | -17/+19 |
| |/ / | |||||
* / / | Avoid generating wires for function args which are constant | Zachary Snow | 2020-07-24 | 1 | -0/+28 |
|/ / | |||||
* | | Add AST_EDGE support to AstNode::detect_latch(), fixes #2241 | Claire Wolf | 2020-07-10 | 1 | -0/+2 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | Merge pull request #2179 from splhack/static-cast | clairexen | 2020-07-01 | 1 | -0/+8 |
|\ \ | | | | | | | Support SystemVerilog Static Cast | ||||
| * | | static cast: simplify | Kazuki Sakamoto | 2020-06-19 | 1 | -0/+7 |
| | | | |||||
| * | | static cast: support changing size and signedness | Kazuki Sakamoto | 2020-06-19 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Support SystemVerilog Static Cast - size - signedness - (type is not supposted yet) Fix #535 | ||||
* | | | Allow constant function calls in for loops and generate if and case | Zachary Snow | 2020-06-29 | 1 | -1/+5 |
| | | | |||||
* | | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #2112 from YosysHQ/claire/fix2040 | clairexen | 2020-06-09 | 1 | -0/+57 |
|\ \ | |/ |/| | Add latch detection for use_case_method in part-select write | ||||
| * | Add latch detection for use_case_method in part-select write, fixes #2040 | Claire Wolf | 2020-06-04 | 1 | -0/+57 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | Support packed arrays in struct/union. | Peter Crozier | 2020-06-07 | 1 | -12/+131 |
|/ | |||||
* | Merge branch 'master' into struct | Peter Crozier | 2020-06-03 | 1 | -3/+22 |
|\ | |||||
| * | Merge pull request #2029 from whitequark/fix-simplify-memory-sv_logic | clairexen | 2020-05-29 | 1 | -2/+2 |
| |\ | | | | | | | ast/simplify: don't bitblast async ROMs declared as `logic` | ||||
| | * | ast/simplify: don't bitblast async ROMs declared as `logic`. | whitequark | 2020-05-05 | 1 | -2/+2 |
| | | | | | | | | | | | | Fixes #2020. | ||||
| * | | Add force_downto and force_upto wire attributes. | Marcelina Kościelnicka | 2020-05-19 | 1 | -0/+19 |
| | | | | | | | | | | | | Fixes #2058. | ||||
| * | | Merge pull request #2027 from YosysHQ/eddie/verilog_neg_upto | Claire Wolf | 2020-05-14 | 1 | -1/+1 |
| |\ \ | | | | | | | | | ast: swap range regardless of range_left >= 0 | ||||
| | * | | ast: swap range regardless of range_left >= 0 | Eddie Hung | 2020-05-04 | 1 | -1/+1 |
| | |/ | |||||
* | | | Generalise structs and add support for packed unions. | Peter Crozier | 2020-05-12 | 1 | -40/+106 |
| | | | |||||
* | | | Implement SV structs. | Peter Crozier | 2020-05-08 | 1 | -101/+233 |
|/ / | |||||
* | | Merge pull request #2022 from Xiretza/fallthroughs | whitequark | 2020-05-08 | 1 | -1/+1 |
|\ \ | | | | | | | Avoid switch fall-through warnings | ||||
| * | | Add YS_FALLTHROUGH macro to mark case fall-through | Xiretza | 2020-05-07 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | C++17 introduced [[fallthrough]], GCC and clang had their own vendored attributes before that. MSVC doesn't seem to have such a warning at all. | ||||
* | | | Merge pull request #2005 from YosysHQ/claire/fix1990 | Claire Wolf | 2020-05-07 | 1 | -10/+52 |
|\ \ \ | |/ / |/| | | Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset | ||||
| * | | Add AST_SELFSZ and improve handling of bit slices | Claire Wolf | 2020-05-02 | 1 | -4/+10 |
| | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed ↵ | Claire Wolf | 2020-05-02 | 1 | -7/+43 |
| |/ | | | | | | | | | | | offset, fixes #1990 Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | Merge pull request #2025 from YosysHQ/eddie/frontend_cleanup | Eddie Hung | 2020-05-05 | 1 | -12/+12 |
|\ \ | | | | | | | frontend: cleanup to use more ID::*, more dict<> instead of map<> | ||||
| * | | frontend: cleanup to use more ID::*, more dict<> instead of map<> | Eddie Hung | 2020-05-04 | 1 | -12/+12 |
| |/ | |||||
* / | verilog: set src attribute for primitives | Eddie Hung | 2020-05-04 | 1 | -1/+3 |
|/ | |||||
* | Merge pull request #1851 from YosysHQ/claire/bitselwrite | Claire Wolf | 2020-04-21 | 1 | -12/+70 |
|\ | | | | | Improved rewrite code for writing to bit slice | ||||
| * | Make mask-and-shift the default for bitselwrite | Claire Wolf | 2020-04-16 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | Add LookaheadRewriter for proper bitselwrite support | Claire Wolf | 2020-04-16 | 1 | -1/+7 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | Improved rewrite code for writing to bit slice (disabled for now) | Claire Wolf | 2020-04-15 | 1 | -12/+64 |
| | | | | | | | | | | | | | | | | | | This adds the new rewrite rule. But it's still missing a check that makes sure the new rewrite rule is actually a valid substitute in the always block being processed. Therefore the new rewrite rule is just disabled for now. Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | Extend support for format strings in Verilog front-end | Claire Wolf | 2020-04-18 | 1 | -8/+38 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | ast: Fix handling of identifiers in the global scope | David Shah | 2020-04-16 | 1 | -2/+5 |
|/ | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | Merge pull request #1918 from whitequark/simplify-improve_enum | whitequark | 2020-04-15 | 1 | -5/+3 |
|\ | | | | | ast/simplify: improve enum handling | ||||
| * | ast/simplify: improve enum handling. | whitequark | 2020-04-15 | 1 | -5/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, enum values were serialized as attributes of form \enum_<width>_<value> where <value> was a decimal signed integer. This has multiple drawbacks: * Enums with large values would be hard to process for downstream tooling that cannot parse arbitrary precision decimals. (In fact Yosys also did not correctly process enums with large values, and would overflow `int`.) * Enum value attributes were not confined to their own namespace, making it harder for downstream tooling to enumerate all such attributes, as opposed to looking up any specific value. * Enum values could not include x or z, which are explicitly permitted in the SystemVerilog standard. After this commit, enum values are serialized as attributes of form \enum_value_<value> where <value> is a bit sequence of the appropriate width. |