whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
ec has quit [Remote host closed the connection]
ec has joined #yosys
V has joined #yosys
V has quit [Ping timeout: 245 seconds]
V has joined #yosys
lexano has quit [Ping timeout: 256 seconds]
V has quit [Ping timeout: 272 seconds]
V has joined #yosys
emeb_mac has quit [Quit: Leaving.]
Raito_Bezarius has joined #yosys
Raito_Bezarius has quit [Read error: Connection reset by peer]
Raito_Bezarius has joined #yosys
emeb_mac has joined #yosys
killjoy has quit [Ping timeout: 240 seconds]
lexano has joined #yosys
somlo_ has joined #yosys
somlo has quit [Ping timeout: 240 seconds]
<cr1901> Anyone have examples on using the bugpoint command?
<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
<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
<jix> cr1901: I can reproduce that behavior here, but if I run hierarchy before bugpoint it starts working
<cr1901> Yea I'm bisecting now... back in September, the command worked as written
<cr1901> Oh wait... uhhh, haven't tried running hier before bugpoint yet
<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...)
<cr1901> Okay beautiful, now it's working (bugpoint that is)
<cr1901> jix: And yes, I remembered to put write_rtlil :P
<cr1901> Guess I'll just let this run for a while
<cr1901> Bisected to 8e470add4d, "enable abc9 by default"
<cr1901> And bugpoint is done, I'll file an issue
<cr1901> https://github.com/YosysHQ/yosys/issues/4349 Okay, I've done my part for now :D
<lofty> cr1901: that's...probably not the actual root cause, but sure, I'll take a look when I'm somewhat less swamped
<lofty> cr1901: okay, uh, you note that ABC9 is mapping your design into *zero* LUTs, right?
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
<cr1901> lofty: No, I didn't notice that, but even if that's true it shouldn't crash
<lofty> another thing I noticed, which I found interesting: `synth_ice40 -dff` works
<cr1901> It should make it to the end so stat tells me "yea, I optimized away your design kthxbai"
<cr1901> is it b2b1000.v that optimizes to 0 or the bugpoint case?
<cr1901> because b2b1000.v works in simulation.
<cr1901> Just checked: No, b2b1000.v does not optimize to 0
<cr1901> And yes, -dff does work, so I guess I'm using that as a workaround for now