| *** tpb has joined #yosys | 00:00 | |
| *** rohitksingh has joined #yosys | 00:05 | |
| *** rohitksingh has quit IRC | 01:00 | |
| *** rohitksingh has joined #yosys | 01:21 | |
| *** PyroPeter has quit IRC | 02:11 | |
| *** PyroPeter has joined #yosys | 02:24 | |
| *** citypw has joined #yosys | 02:49 | |
| *** cr1901_modern has quit IRC | 03:06 | |
| *** proteusdude has quit IRC | 03:12 | |
| *** proteusguy has joined #yosys | 03:48 | |
| *** rohitksingh has quit IRC | 04:11 | |
| *** dys has quit IRC | 04:45 | |
| whitequark | ZirconiumX: please do file MCVEs for all those crashes | 05:17 |
|---|---|---|
| whitequark | i might not take a look at them immediately but i certainly will | 05:18 |
| *** Jybz has joined #yosys | 05:30 | |
| *** Jybz has quit IRC | 05:35 | |
| *** emeb_mac has quit IRC | 06:24 | |
| *** adjtm has quit IRC | 07:14 | |
| *** FabM has joined #yosys | 07:16 | |
| *** adjtm has joined #yosys | 07:53 | |
| ZirconiumX | whitequark: sure, but narrowing them down is proving tricky. | 08:26 |
| ZirconiumX | Also since bugpoint seems to only get it down to about 2,000 lines of RTLIL, it's perhaps lacking the "minimal" part of that | 08:27 |
| *** attie has quit IRC | 08:55 | |
| *** GoldRin has joined #yosys | 08:59 | |
| *** attie has joined #yosys | 09:23 | |
| *** pie_ has quit IRC | 09:26 | |
| emily | better to file a non-minimal example than to not file at all, imo | 10:02 |
| emily | someone else can always try and reduce it further | 10:02 |
| emily | with c-reduce or whatever | 10:02 |
| *** pie_ has joined #yosys | 10:29 | |
| *** cr1901_modern has joined #yosys | 11:06 | |
| *** adjtm has quit IRC | 11:44 | |
| *** pie_ has quit IRC | 11:47 | |
| *** adjtm has joined #yosys | 12:35 | |
| *** emeb has joined #yosys | 13:45 | |
| *** pie_ has joined #yosys | 14:21 | |
| *** FabM has quit IRC | 15:01 | |
| *** rohitksingh has joined #yosys | 16:10 | |
| *** citypw has quit IRC | 16:22 | |
| *** adjtm has quit IRC | 16:34 | |
| *** rohitksingh has quit IRC | 16:35 | |
| *** rohitksingh has joined #yosys | 16:41 | |
| *** adjtm has joined #yosys | 17:03 | |
| *** gnufan_home has joined #yosys | 17:08 | |
| *** gnufan_home has quit IRC | 17:18 | |
| *** rohitksingh has quit IRC | 17:22 | |
| whitequark | 2000 lines of RTLIL isn't that muc | 17:26 |
| whitequark | *much | 17:26 |
| whitequark | i could also use it to improve bugpoint... | 17:26 |
| ZirconiumX | Hurray, I have a repro case | 17:32 |
| ZirconiumX | ...Another one | 17:32 |
| *** rohitksingh has joined #yosys | 17:45 | |
| ZirconiumX | Christ, this is the mother of all pathological bugs | 17:46 |
| * ZirconiumX wipes sweat off brow | 17:51 | |
| ZirconiumX | https://github.com/YosysHQ/yosys/issues/1405 | 17:51 |
| ZirconiumX | whitequark: ^ | 17:51 |
| *** rohitksingh has quit IRC | 17:54 | |
| daveshah | Wait until you've tried to work out PnR bugs that affect 10% of picorv32 seeds | 18:02 |
| daveshah | (was an issue with set reset inversion in the end) | 18:02 |
| ZirconiumX | For example, if you don't `opt -full`, it works fine | 18:03 |
| ZirconiumX | If you don't pass `-lut` to `synth`, it works fine | 18:03 |
| ZirconiumX | If you don't pass `-relax` to `flowmap` it works fine | 18:03 |
| ZirconiumX | And then there are the other bugs I hit while trying to find this one | 18:04 |
| *** Jybz has joined #yosys | 18:16 | |
| *** rohitksingh has joined #yosys | 18:22 | |
| whitequark | hm | 18:26 |
| whitequark | why are you using synth -lut with flowmap? | 18:26 |
| whitequark | they're mutually exclusive | 18:26 |
| whitequark | or do you mean synth -run :coarse -lut? | 18:26 |
| whitequark | er | 18:26 |
| whitequark | synth -run coarse -lut | 18:27 |
| ZirconiumX | `synth -run :fine` is equivalent to `synth -run coarse` I think | 18:28 |
| whitequark | yes | 18:29 |
| *** attie has quit IRC | 18:29 | |
| Ultrasauce | [succ] | 18:31 |
| *** attie has joined #yosys | 18:37 | |
| *** attie has quit IRC | 18:48 | |
| *** rohitksingh has quit IRC | 18:51 | |
| *** attie has joined #yosys | 18:56 | |
| *** rohitksingh has joined #yosys | 19:04 | |
| *** alexhw has quit IRC | 19:35 | |
| *** alexhw has joined #yosys | 19:36 | |
| *** alexhw has quit IRC | 19:38 | |
| *** Jybz has quit IRC | 20:00 | |
| *** rohitksingh has quit IRC | 21:07 | |
| *** rohitksingh has joined #yosys | 21:14 | |
| *** alexhw has joined #yosys | 22:04 | |
| *** gnufan_home has joined #yosys | 22:12 | |
| *** rohitksingh has quit IRC | 22:30 | |
| *** gnufan_home has quit IRC | 23:01 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!