| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection) | 00:00 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 00:01 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys | 00:08 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (Ping timeout: 245 seconds) | 00:17 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys | 00:35 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 00:55 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has quit IRC (Ping timeout: 272 seconds) | 01:07 | |
| *** V <V!~v@ircpuzzles/2022/april/winner/V> has joined #yosys | 01:27 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 06:59 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys | 09:58 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Read error: Connection reset by peer) | 09:58 | |
| *** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys | 09:59 | |
| *** emeb_mac <[email protected]> has joined #yosys | 15:02 | |
| *** killjoy <killjoy!~nameless@user/killjoy> has quit IRC (Ping timeout: 240 seconds) | 15:36 | |
| *** lexano <[email protected]> has joined #yosys | 15:56 | |
| *** somlo_ <[email protected]> has joined #yosys | 19:34 | |
| *** somlo <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 19:34 | |
| cr1901 | Anyone have examples on using the bugpoint command? | 21:29 |
|---|---|---|
| cr1901 | Running "yosys -p 'bugpoint -command "synth_ice40"' b2tob1000.v", where b2tob1000.v is this file: http://gopher.wdj-consulting.com:70/paste/e48f875b-04ea-47dc-952d-52a18a4121ea.txt 1/2 | 21:30 |
| cr1901 | I get the following output: http://gopher.wdj-consulting.com:70/paste/cb64a70a-783d-46b9-88d0-6b0bb095aa30.txt | 21:30 |
| cr1901 | It _does_ crash when I run yosys -p synth_{ice40,ecp} b2tob1000.v, so I don't understand why it doesn't crash with bugpoint | 21:32 |
| jix | cr1901: I can reproduce that behavior here, but if I run hierarchy before bugpoint it starts working | 21:42 |
| cr1901 | Yea I'm bisecting now... back in September, the command worked as written | 21:42 |
| cr1901 | Oh wait... uhhh, haven't tried running hier before bugpoint yet | 21:43 |
| jix | also remember to put a write_rtlil after bugpoint if you don't run it in an interactive shell, otherwise it'll exit and discard the result of running bugpoint for potentially a quite long time (been there done that...) | 21:44 |
| cr1901 | Okay beautiful, now it's working (bugpoint that is) | 21:45 |
| cr1901 | jix: And yes, I remembered to put write_rtlil :P | 21:48 |
| cr1901 | Guess I'll just let this run for a while | 21:48 |
| cr1901 | Bisected to 8e470add4d, "enable abc9 by default" | 21:56 |
| cr1901 | And bugpoint is done, I'll file an issue | 21:57 |
| cr1901 | https://github.com/YosysHQ/yosys/issues/4349 Okay, I've done my part for now :D | 22:06 |
| lofty | cr1901: that's...probably not the actual root cause, but sure, I'll take a look when I'm somewhat less swamped | 22:18 |
| lofty | cr1901: okay, uh, you note that ABC9 is mapping your design into *zero* LUTs, right? | 22:20 |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:29 | |
| *** nonchip <[email protected]> has joined #yosys | 22:29 | |
| cr1901 | lofty: No, I didn't notice that, but even if that's true it shouldn't crash | 23:52 |
| lofty | another thing I noticed, which I found interesting: `synth_ice40 -dff` works | 23:52 |
| cr1901 | It should make it to the end so stat tells me "yea, I optimized away your design kthxbai" | 23:52 |
| cr1901 | is it b2b1000.v that optimizes to 0 or the bugpoint case? | 23:53 |
| cr1901 | because b2b1000.v works in simulation. | 23:53 |
| cr1901 | Just checked: No, b2b1000.v does not optimize to 0 | 23:57 |
| cr1901 | And yes, -dff does work, so I guess I'm using that as a workaround for now | 23:58 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!