| *** tpb has joined #yosys | 00:00 | |
| *** kristianpaul has quit IRC | 00:01 | |
| *** kristianpaul has joined #yosys | 00:06 | |
| *** Degi has quit IRC | 00:18 | |
| *** Degi has joined #yosys | 00:19 | |
| *** az0re has joined #yosys | 00:24 | |
| *** kristianpaul has quit IRC | 00:43 | |
| *** kristianpaul has joined #yosys | 00:55 | |
| *** X-Scale has quit IRC | 01:43 | |
| *** X-Scale` has joined #yosys | 01:46 | |
| *** X-Scale` is now known as X-Scale | 01:47 | |
| *** emeb has quit IRC | 02:00 | |
| *** emeb_mac has quit IRC | 02:00 | |
| *** emeb_mac has joined #yosys | 02:01 | |
| *** emeb has joined #yosys | 02:03 | |
| *** _whitelogger has quit IRC | 02:24 | |
| *** _whitelogger has joined #yosys | 02:26 | |
| *** citypw has joined #yosys | 02:27 | |
| *** emeb has quit IRC | 02:48 | |
| *** kmehall has joined #yosys | 02:52 | |
| *** _whitelogger has quit IRC | 03:09 | |
| *** _whitelogger has joined #yosys | 03:11 | |
| *** _whitelogger has quit IRC | 04:09 | |
| *** _whitelogger has joined #yosys | 04:11 | |
| *** kristianpaul has quit IRC | 04:30 | |
| *** ric96 has joined #yosys | 04:34 | |
| ric96 | daveshah: does prjxray support loading data into bram rom the same way as icestorm using readmemb? | 04:36 |
|---|---|---|
| *** kristianpaul has joined #yosys | 05:05 | |
| *** kristianpaul has quit IRC | 05:23 | |
| *** kristianpaul has joined #yosys | 05:27 | |
| *** kristianpaul has quit IRC | 05:42 | |
| *** strongsaxophone has joined #yosys | 06:11 | |
| *** kraiskil has joined #yosys | 06:37 | |
| *** emeb_mac has quit IRC | 06:46 | |
| *** kristianpaul has joined #yosys | 06:56 | |
| *** Asu has joined #yosys | 07:34 | |
| *** kraiskil has quit IRC | 08:00 | |
| *** _whitelogger has quit IRC | 08:18 | |
| *** _whitelogger has joined #yosys | 08:20 | |
| *** kraiskil has joined #yosys | 08:31 | |
| *** xtro has quit IRC | 08:32 | |
| *** markus-k has joined #yosys | 09:37 | |
| *** kristianpaul has quit IRC | 11:05 | |
| *** kristianpaul has joined #yosys | 11:10 | |
| *** _whitelogger has quit IRC | 11:24 | |
| *** unkraut has quit IRC | 11:24 | |
| *** unkraut has joined #yosys | 11:26 | |
| *** _whitelogger has joined #yosys | 11:26 | |
| somlo | I'm trying to build a rocket-based litex soc for ecp5 with yosys/trellis/nextpnr, and I'm having problems with abc9: https://pastebin.com/vRPXwWbd | 14:13 |
| tpb | Title: 8.47.18.6. Executing AIGER frontend./usr/include/c++/10/bits/stl_vector.h:1045 - Pastebin.com (at pastebin.com) | 14:13 |
| daveshah | Huh, that looks pretty horrible to debug | 14:14 |
| daveshah | as it is a problem in the AIGER frontend, it could either be a frontend bug, or at least partially an issue in what ABC is producing | 14:14 |
| somlo | using upstream abc 448f263 with https://github.com/berkeley-abc/abc/pull/89 (which used to cause abc itself to crash during the abc9 run) | 14:14 |
| tpb | Title: Skip the body of Gia_LutForEachFanin if iFan is negative. by jamesjer · Pull Request #89 · berkeley-abc/abc · GitHub (at github.com) | 14:14 |
| daveshah | can you get a full backtrace? | 14:15 |
| somlo | daveshah: is there an easy way to do that (I'm running everything through layers of litex build scripts) | 14:16 |
| daveshah | On arch, I would run coredumpctl gdb | 14:16 |
| somlo | daveshah: had to add myself to the | 14:24 |
| somlo | adm group to be able to do that; I'm re-running the build and will try again | 14:25 |
| daveshah | can't it open the old core dump from the previous failure? | 14:28 |
| somlo | I probably ran a bunch of other stuff in other ssh windows on the same machine since then, so at this point I want to make sure I get the right one :) | 14:30 |
| daveshah | ah | 14:30 |
| somlo | daveshah: hehe, now it worked, but I apparently haven't installeed the yosys debuginfo package (fedora strips those out and makes them into an optional add-on) | 14:51 |
| somlo | so I'll rinse and repeat, and report back once I have something more useful :) | 14:51 |
| *** strongsaxophone has quit IRC | 15:12 | |
| *** emeb has joined #yosys | 15:43 | |
| *** citypw has quit IRC | 17:09 | |
| somlo | daveshah: http://mirror.ini.cmu.edu/gls-yosys-bt.txt | 17:30 |
| somlo | took a while to get the tooling all set up, but here it is... | 17:31 |
| daveshah | Unfortunately, I can't see an obvious reason why the xaiger code would fail like that | 17:47 |
| daveshah | I think it would be best to create a GH issue | 17:47 |
| *** xtro has joined #yosys | 17:48 | |
| somlo | daveshah: thanks, will do -- should be straightforward now that I have the actual backtrace to go with it :) | 19:12 |
| somlo | well, straightforward modulo collecting all the verilog files and zipping them up to provide the required MCVE reproducer :) But ultimately doable... | 19:18 |
| daveshah | I would recommend adding the abc files from /tmp/yosys-abc-something, too | 19:25 |
| somlo | thanks, good point, will do. Of course the situation isn't helped by the fact that I'm running a patched abc (https://github.com/berkeley-abc/abc/issues/84) to get around another bug I've run into (also during abc9) a few weeks ago | 19:30 |
| tpb | Title: double free or corruption error during yosys abc9 techmap pass · Issue #84 · berkeley-abc/abc · GitHub (at github.com) | 19:30 |
| somlo | that bug btw is most likely present in the "vendored" abc used by yosys as well | 19:31 |
| *** kraiskil has quit IRC | 20:12 | |
| *** kristianpaul has quit IRC | 20:27 | |
| somlo | daveshah: https://github.com/YosysHQ/yosys/issues/2343 (and thanks again for the assistance collecting all the material) | 20:31 |
| tpb | Title: xaiger failure during abc9 pass · Issue #2343 · YosysHQ/yosys · GitHub (at github.com) | 20:31 |
| *** emeb_mac has joined #yosys | 20:39 | |
| *** emeb_mac has quit IRC | 21:24 | |
| *** emeb_mac has joined #yosys | 21:25 | |
| *** Asu has quit IRC | 22:11 | |
| *** indy has quit IRC | 22:57 | |
| *** emeb_mac has quit IRC | 23:00 | |
| *** emeb_mac has joined #yosys | 23:01 | |
| *** emeb has quit IRC | 23:01 | |
| *** emeb has joined #yosys | 23:04 | |
| *** lf has quit IRC | 23:07 | |
| *** lf_ has joined #yosys | 23:08 | |
| *** indy has joined #yosys | 23:08 | |
| *** emeb has quit IRC | 23:16 | |
| *** emeb has joined #yosys | 23:16 | |
| *** kristianpaul has joined #yosys | 23:33 | |
| *** xtro has quit IRC | 23:34 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!