clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 240 seconds]
rohitksingh has joined #yosys
PyroPeter has quit [Ping timeout: 276 seconds]
PyroPeter has joined #yosys
citypw has joined #yosys
cr1901_modern has quit [Ping timeout: 268 seconds]
proteusdude has quit [Ping timeout: 265 seconds]
proteusguy has joined #yosys
rohitksingh has quit [Ping timeout: 245 seconds]
dys has quit [Ping timeout: 276 seconds]
<whitequark> ZirconiumX: please do file MCVEs for all those crashes
<whitequark> i might not take a look at them immediately but i certainly will
Jybz has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
emeb_mac has quit [Ping timeout: 268 seconds]
adjtm has quit [Ping timeout: 265 seconds]
FabM has joined #yosys
adjtm has joined #yosys
<ZirconiumX> whitequark: sure, but narrowing them down is proving tricky.
<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
attie has quit [Ping timeout: 268 seconds]
GoldRin has joined #yosys
attie has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
<emily> better to file a non-minimal example than to not file at all, imo
<emily> someone else can always try and reduce it further
<emily> with c-reduce or whatever
pie_ has joined #yosys
cr1901_modern has joined #yosys
adjtm has quit [Ping timeout: 240 seconds]
pie_ has quit [Ping timeout: 265 seconds]
adjtm has joined #yosys
emeb has joined #yosys
pie_ has joined #yosys
FabM has quit [Quit: Leaving]
rohitksingh has joined #yosys
citypw has quit [Ping timeout: 245 seconds]
adjtm has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 265 seconds]
rohitksingh has joined #yosys
adjtm has joined #yosys
gnufan_home has joined #yosys
gnufan_home has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 265 seconds]
<whitequark> 2000 lines of RTLIL isn't that muc
<whitequark> *much
<whitequark> i could also use it to improve bugpoint...
<ZirconiumX> Hurray, I have a repro case
<ZirconiumX> ...Another one
rohitksingh has joined #yosys
<ZirconiumX> Christ, this is the mother of all pathological bugs
* ZirconiumX wipes sweat off brow
<ZirconiumX> whitequark: ^
rohitksingh has quit [Ping timeout: 268 seconds]
<daveshah> Wait until you've tried to work out PnR bugs that affect 10% of picorv32 seeds
<daveshah> (was an issue with set reset inversion in the end)
<ZirconiumX> For example, if you don't `opt -full`, it works fine
<ZirconiumX> If you don't pass `-lut` to `synth`, it works fine
<ZirconiumX> If you don't pass `-relax` to `flowmap` it works fine
<ZirconiumX> And then there are the other bugs I hit while trying to find this one
Jybz has joined #yosys
rohitksingh has joined #yosys
<whitequark> hm
<whitequark> why are you using synth -lut with flowmap?
<whitequark> they're mutually exclusive
<whitequark> or do you mean synth -run :coarse -lut?
<whitequark> er
<whitequark> synth -run coarse -lut
<ZirconiumX> `synth -run :fine` is equivalent to `synth -run coarse` I think
<whitequark> yes
attie has quit [Ping timeout: 245 seconds]
<Ultrasauce> [succ]
attie has joined #yosys
attie has quit [Ping timeout: 268 seconds]
rohitksingh has quit [Ping timeout: 245 seconds]
attie has joined #yosys
rohitksingh has joined #yosys
alexhw has quit [Ping timeout: 245 seconds]
alexhw has joined #yosys
alexhw has quit [Remote host closed the connection]
Jybz has quit [Quit: Konversation terminated!]
rohitksingh has quit [Ping timeout: 240 seconds]
rohitksingh has joined #yosys
alexhw has joined #yosys
gnufan_home has joined #yosys
rohitksingh has quit [Ping timeout: 245 seconds]
gnufan_home has quit [Ping timeout: 240 seconds]