| *** tpb has joined #yosys | 00:00 | |
| *** anticw has joined #yosys | 00:47 | |
| *** kraiskil has quit IRC | 01:24 | |
| *** dxld has quit IRC | 01:32 | |
| *** _whitelogger has quit IRC | 01:32 | |
| *** _whitelogger has joined #yosys | 01:34 | |
| *** dxld has joined #yosys | 01:38 | |
| *** s_frit_ has joined #yosys | 02:01 | |
| *** s_frit has quit IRC | 02:02 | |
| *** citypw has joined #yosys | 02:42 | |
| *** s_frit has joined #yosys | 05:29 | |
| *** s_frit_ has quit IRC | 05:32 | |
| *** rohitksingh has quit IRC | 06:41 | |
| *** dys has quit IRC | 07:14 | |
| *** X-Scale` has joined #yosys | 07:26 | |
| *** X-Scale has quit IRC | 07:28 | |
| *** X-Scale` is now known as X-Scale | 07:28 | |
| *** jakobwenzel has joined #yosys | 07:31 | |
| *** fsasm has joined #yosys | 07:39 | |
| *** anticw has quit IRC | 07:57 | |
| *** m4ssi has joined #yosys | 08:05 | |
| *** attie has quit IRC | 08:08 | |
| *** dys has joined #yosys | 08:19 | |
| *** anticw has joined #yosys | 08:42 | |
| *** kraiskil has joined #yosys | 09:51 | |
| mwk | daveshah: any opposition to https://github.com/YosysHQ/yosys/pull/1673 from your side, or should I just merge it? | 11:11 |
|---|---|---|
| tpb | Title: Add opt_lut_ins pass. by mwkmwkmwk · Pull Request #1673 · YosysHQ/yosys · GitHub (at github.com) | 11:11 |
| daveshah | mwk: I haven't actually had a chance to test it yet. Does it ensure that mux structures for ECP5 are always still complete? | 11:12 |
| daveshah | nextpnr-ecp5 currently requires this | 11:13 |
| mwk | no, it can turn a LUT into a const | 11:14 |
| mwk | if it's not depending on *any* inputs | 11:14 |
| daveshah | Ah, that will break then | 11:14 |
| daveshah | I can look at fixing the nextpnr side but can't guarantee that will be today | 11:15 |
| mwk | hmm | 11:16 |
| daveshah | Although it doesn't actually break | 11:16 |
| mwk | I can just disable this part for ecp5 and emit an all-0 or all-1 LUT4 instead | 11:17 |
| daveshah | It seems to be doing that already? | 11:19 |
| daveshah | e.g. | 11:19 |
| daveshah | https://www.irccloud.com/pastebin/nxQzhSPS/ | 11:20 |
| tpb | Title: Snippet | IRCCloud (at www.irccloud.com) | 11:20 |
| mwk | oh | 11:20 |
| mwk | it actually does that by an accident | 11:21 |
| mwk | but yeah, it does work that way | 11:21 |
| daveshah | Fine for me to be merged then | 11:21 |
| mwk | (because the "pad to 4 if ecp5" code is before the "check if 0 inputs" code) | 11:21 |
| mwk | I'll make this behavior more explicit | 11:23 |
| daveshah | Thanks! | 11:23 |
| *** citypw has quit IRC | 11:35 | |
| *** citypw has joined #yosys | 11:52 | |
| *** citypw has quit IRC | 13:11 | |
| *** citypw has joined #yosys | 13:13 | |
| *** citypw has quit IRC | 13:20 | |
| *** citypw has joined #yosys | 13:36 | |
| *** X-Scale has quit IRC | 13:59 | |
| *** X-Scale` has joined #yosys | 13:59 | |
| *** X-Scale` is now known as X-Scale | 13:59 | |
| dkozel | Hi Folks. Just noticed that the sphinxcontrib-verilog-diagrams package is missing from pypi and cannot be installed (other than with git) via pip | 14:23 |
| *** citypw has quit IRC | 14:47 | |
| *** emeb has joined #yosys | 14:56 | |
| *** massi_ has joined #yosys | 15:26 | |
| *** fsasm has quit IRC | 15:27 | |
| *** m4ssi has quit IRC | 15:29 | |
| *** fsasm has joined #yosys | 16:33 | |
| *** massi_ has quit IRC | 16:54 | |
| *** rohitksingh has joined #yosys | 17:36 | |
| *** N2TOH has quit IRC | 18:42 | |
| *** m_w has joined #yosys | 18:42 | |
| *** dys has quit IRC | 18:50 | |
| *** kraiskil has quit IRC | 19:02 | |
| *** dys has joined #yosys | 19:35 | |
| *** fsasm has quit IRC | 19:36 | |
| *** N2TOH has joined #yosys | 19:48 | |
| *** rohitksingh has quit IRC | 19:54 | |
| *** rohitksingh has joined #yosys | 20:00 | |
| *** Jybz has joined #yosys | 20:00 | |
| *** rjo has quit IRC | 20:04 | |
| *** adjtm_ has joined #yosys | 20:16 | |
| *** adjtm has quit IRC | 20:18 | |
| *** rohitksingh has quit IRC | 20:18 | |
| *** strongsaxophone has quit IRC | 20:23 | |
| *** rjo has joined #yosys | 20:25 | |
| *** Jybz has quit IRC | 20:51 | |
| *** m_w has quit IRC | 21:00 | |
| *** rjo has quit IRC | 21:05 | |
| *** kraiskil has joined #yosys | 21:19 | |
| *** rjo has joined #yosys | 21:23 | |
| *** rohitksingh has joined #yosys | 22:29 | |
| *** az0re has quit IRC | 22:44 | |
| *** rohitksingh has quit IRC | 22:51 | |
| *** rohitksingh has joined #yosys | 23:00 | |
| *** rohitksingh has quit IRC | 23:16 | |
| *** kraiskil has quit IRC | 23:16 | |
| *** kraiskil has joined #yosys | 23:28 | |
| *** kraiskil has quit IRC | 23:53 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!