aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2088 from rswarbrick/count-atwhitequark2020-05-281-2/+8
|\ | | | | Minor optimisation in Module::wire() and Module::cell()
| * Minor optimisation in Module::wire() and Module::cell()Rupert Swarbrick2020-05-261-2/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The existing code does a search to figure out whether id is in the dict (with the call to count()), and then looks it up again to get the result (with the call to at()). This version calls find() instead, avoiding the double lookup. Code size increases slightly (6kb). I think this is because the contents of find() are getting inlined, and then inlined into lots of the callsites for cell() and wire(). Looking at the compiled code before this patch, you just get a (non-inlined) call to count() followed by a call to at(). After the patch, the contents of find() have been inlined (so you see do_hash, then do_lookup). The result for each function is about 30 bytes / 40% bigger, which presumably also enlarges call-sites that inline it.
* | Merge pull request #2087 from rswarbrick/lex-warnwhitequark2020-05-281-1/+3
|\ \ | | | | | | Silence spurious warning in Verilog lexer when compiling with GCC
| * | Silence spurious warning in Verilog lexer when compiling with GCCRupert Swarbrick2020-05-261-1/+3
| |/ | | | | | | | | | | | | The chosen value shouldn't have any effect. I considered something clearly wrong like -1, but there's no checking inside the generated lexer, and I suspect this will cause even weirder bugs if triggered than just setting it to INITIAL.
* | Merge pull request #2086 from rswarbrick/sigbitwhitequark2020-05-281-2/+1
|\ \ | | | | | | Use default copy constructor for RTLIL::SigBit
| * | Use default copy constructor for RTLIL::SigBitRupert Swarbrick2020-05-261-2/+1
| |/ | | | | | | | | | | | | | | | | | | | | There was a handwritten copy constructor, which I'm not sure was actually legal C++ (it unconditionally read from the 'data' member of a union, which wouldn't have been written if wire was true). It was also a bit less efficient than the constructor you get from the compiler by default (which is allowed to just copy the memory). This gives a marginal (~0.25%) decrease in code size when compiled with GCC 9.3.
* | Merge pull request #2084 from rswarbrick/c_strwhitequark2020-05-281-2/+2
|\ \ | | | | | | Use c_str(), not str() for IdString/std::string == and != operators
| * | Use c_str(), not str() for IdString/std::string == and != operatorsRupert Swarbrick2020-05-261-2/+2
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | These operators work by fetching the string from the global string table and then comparing with the std::string that was passed in as rhs. Using str() means that we create a std::string (strlen; malloc; memcpy), compare for equality (another memcmp if they have the same length) and then finally free the string. Using c_str() means that we pass the const char* straight to std::string's equality operator. This ends up as a call to std::string::compare (the const char* flavour), which is essentially strcmp.
* | Merge pull request #2090 from whitequark/cxxrtl-fixeswhitequark2020-05-261-7/+13
|\ \ | |/ |/| Minor fixes for CXXRTL
| * cxxrtl: make logging a little bit nicer.whitequark2020-05-261-2/+10
| |
| * cxxrtl: add missing parts of commit 281c9685.whitequark2020-05-261-5/+3
| |
* | Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidyEddie Hung2020-05-253-13/+15
|\ \ | |/ |/| xilinx: tidy up cells_sim.v a little
| * tests: xilinx macc test to have initval, shorten BMC depth for runtimeEddie Hung2020-05-252-8/+8
| |
| * xilinx: tidy up cells_sim.v a littleEddie Hung2020-05-251-5/+7
| |
* | Merge pull request #2044 from YosysHQ/eddie/fix2037Eddie Hung2020-05-252-20/+85
|\ \ | |/ |/| verilog: allow attributes on behavioural statements (including null statement)
| * verilog: move attr from simple_behav_stmt to its children to attachEddie Hung2020-05-251-13/+17
| |
| * test: add attribute-before-stmt test from @nakengelhardtEddie Hung2020-05-251-0/+15
| |
| * verilog: do not warn for attributes on null statementsEddie Hung2020-05-252-6/+4
| |
| * tests: add an generate-else test tooEddie Hung2020-05-251-0/+34
| |
| * verilog: handle empty generate statement by removing gen_stmt_or_null...Eddie Hung2020-05-251-7/+8
| | | | | | | | | | ... rule which causes a s/r conflict. Now we get an empty genblock, which should be okay.
| * verilog: fix #2037 by permitting (and freeing) attributes on null stmtEddie Hung2020-05-251-1/+5
| |
| * tests: add #2037 testcaseEddie Hung2020-05-251-0/+9
|/
* Merge pull request #2015 from boqwxp/qbfsat-bisectionclairexen2020-05-251-98/+207
|\ | | | | qbfsat: Add an iterative bisection optimization method and make it the default.
| * qbfsat: Remove cruft inadvertently left untouched in commit ↵Alberto Gonzalez2020-05-231-11/+0
| | | | | | | | 86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6.
| * qbfsat: Add bisection mode and make it the default.Alberto Gonzalez2020-05-231-87/+207
| | | | | | | | Also adds `-nooptimize` and reorganizes `qbfsat.cc` a bit.
* | Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanupEddie Hung2020-05-242-7/+14
|\ \ | | | | | | xaiger: do not derive cells
| * | xaiger: add testcaseEddie Hung2020-05-241-0/+13
| | |
| * | xaiger: do not derive cellsEddie Hung2020-05-241-7/+1
| | |
* | | Merge pull request #2074 from YosysHQ/eddie/ecp5_cleanupEddie Hung2020-05-233-14/+0
|\ \ \ | |/ / |/| | ecp5: cleanup unused +/ecp5/abc9_model.v
| * | ecp5: cleanup unused +/ecp5/abc9_model.vEddie Hung2020-05-233-14/+0
|/ /
* | Merge pull request #2072 from whitequark/cxxrtl-dont-purgewhitequark2020-05-221-8/+2
|\ \ | | | | | | cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level
| * | cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level.whitequark2020-05-221-8/+2
| | | | | | | | | | | | | | | | | | This isn't actually necessary anymore after scheduling was improved, and `clean -purge` disrupts the mapping between wires in the input RTLIL netlist and the output CXXRTL code.
* | | abc9_ops: update commentEddie Hung2020-05-211-1/+1
| | |
* | | Merge pull request #2057 from YosysHQ/eddie/fix_task_attrEddie Hung2020-05-212-11/+37
|\ \ \ | | | | | | | | verilog: support attributes before (not after) task identifier (but 13 s/r conflicts)
| * | | Update frontends/verilog/verilog_parser.yEddie Hung2020-05-211-1/+1
| | | | | | | | | | | | Co-authored-by: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
| * | | verilog: attributes before task enable (but 13 s/r conflicts)Eddie Hung2020-05-141-10/+8
| | | |
| * | | tests: attributes before task enableEddie Hung2020-05-141-0/+28
| | | |
* | | | Merge pull request #2059 from boqwxp/logger-vector-to-dictMiodrag Milanović2020-05-213-51/+21
|\ \ \ \ | |_|/ / |/| | | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, warning, log}` to better express the intent that each element is unique.
| * | | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, ↵Alberto Gonzalez2020-05-153-51/+21
| | | | | | | | | | | | | | | | warning, log}` to better express the intent that each element is unique.
* | | | Merge pull request #2046 from PeterCrozier/trapN. Engelhardt2020-05-201-3/+3
|\ \ \ \ | | | | | | | | | | Extend YS_DEBUGTRAP to MacOS.
| * | | | Consolidate Linux and Mac version of YS_DEBUGTRAP_IF_DEBUGGING.Peter Crozier2020-05-131-5/+2
| | | | |
| * | | | Extend YS_DEBUGTRAP to MacOS.Peter Crozier2020-05-131-1/+4
| | |/ / | |/| |
* | | | Merge pull request #2054 from boqwxp/fix-smtbmcN. Engelhardt2020-05-201-3/+3
|\ \ \ \ | | | | | | | | | | smtbmc: Fix return status handling.
| * | | | smtbmc: Fix typo in error message.Alberto Gonzalez2020-05-191-1/+1
| | | | | | | | | | | | | | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * | | | smtbmc: Fix return status handling.Alberto Gonzalez2020-05-141-2/+2
| | | | |
* | | | | Add force_downto and force_upto wire attributes.Marcelina Kościelnicka2020-05-1943-27/+258
| | | | | | | | | | | | | | | | | | | | Fixes #2058.
* | | | | Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dffEddie Hung2020-05-1834-1853/+1656
|\ \ \ \ \ | | | | | | | | | | | | abc9: support seq synthesis when module has (* abc9_flop *) and bypass non-combinatorial (* abc9_box *)
| * | | | | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_Eddie Hung2020-05-145-23/+11
| | | | | | | | | | | | | | | | | | | | | | | | instead of moving them to $__ prefix
| * | | | | abc9_ops: -prep_hier to create unmap module that removes Q's (* init *)Eddie Hung2020-05-141-4/+6
| | | | | |
| * | | | | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-144-25/+13
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-23 04:17:26 +0000