clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
m_w has joined #yosys
GenTooMan has quit [Read error: Connection reset by peer]
GenTooMan has joined #yosys
emeb has quit [Quit: Leaving.]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
develonepi3 has joined #yosys
m_w has quit [Ping timeout: 268 seconds]
citypw has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
anticw has quit [Ping timeout: 240 seconds]
rohitksingh has joined #yosys
citypw has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
anticw has joined #yosys
anticw has quit [Ping timeout: 268 seconds]
rohitksingh has joined #yosys
anticw has joined #yosys
anticw has quit [Ping timeout: 265 seconds]
anticw has joined #yosys
anticw_ has joined #yosys
dys has quit [Ping timeout: 265 seconds]
anticw has quit [Ping timeout: 265 seconds]
citypw has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 265 seconds]
Jybz has joined #yosys
citypw has joined #yosys
rohitksingh has joined #yosys
Jybz has quit [Quit: Konversation terminated!]
anticw_ has quit [Quit: Lost terminal]
N2TOH has quit [Read error: Connection reset by peer]
N2TOH has joined #yosys
N2TOH has quit [Remote host closed the connection]
N2TOH has joined #yosys
anticw has joined #yosys
N2TOH has quit [Ping timeout: 268 seconds]
N2TOH has joined #yosys
_whitelogger has joined #yosys
dys has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
m4ssi has joined #yosys
attie has joined #yosys
citypw has quit [Ping timeout: 265 seconds]
fsasm has joined #yosys
citypw has joined #yosys
citypw has quit [Ping timeout: 245 seconds]
citypw has joined #yosys
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 265 seconds]
kraiskil has joined #yosys
develonepi3 has quit [Remote host closed the connection]
rjo has quit [*.net *.split]
anticw has quit [*.net *.split]
attie has quit [*.net *.split]
dys has quit [*.net *.split]
Cerpin has quit [*.net *.split]
tpb has quit [*.net *.split]
GenTooMan has quit [*.net *.split]
svenn has quit [*.net *.split]
MoeIcenowy has quit [*.net *.split]
ovf has quit [*.net *.split]
srk has quit [*.net *.split]
simeonm has quit [*.net *.split]
cyrozap has quit [*.net *.split]
esden has quit [*.net *.split]
_florent_ has quit [*.net *.split]
marex-cloud has quit [*.net *.split]
bubble_buster has quit [*.net *.split]
ebb has quit [*.net *.split]
emily has quit [*.net *.split]
flokli has quit [*.net *.split]
ZipCPU has quit [*.net *.split]
kristianpaul has quit [*.net *.split]
m4ssi has quit [*.net *.split]
N2TOH has quit [*.net *.split]
stzsch has quit [*.net *.split]
sorear has quit [*.net *.split]
unkraut has quit [*.net *.split]
somlo has quit [*.net *.split]
seraxis has quit [*.net *.split]
mmicko has quit [*.net *.split]
Twix has quit [*.net *.split]
daveshah has quit [*.net *.split]
tecepe has quit [*.net *.split]
corecode has quit [*.net *.split]
tmiw has quit [*.net *.split]
litghost has quit [*.net *.split]
pointfree has quit [*.net *.split]
_florent_ has joined #yosys
bubble_buster has joined #yosys
kristianpaul has joined #yosys
emily has joined #yosys
esden has joined #yosys
marex-cloud has joined #yosys
ZipCPU has joined #yosys
flokli has joined #yosys
rjo has joined #yosys
tlwoerner has quit [*.net *.split]
smarter has quit [*.net *.split]
phantomcircuit has quit [*.net *.split]
grazfather has quit [*.net *.split]
Max-P has quit [*.net *.split]
blunaxela has quit [*.net *.split]
dys has joined #yosys
attie has joined #yosys
GenTooMan has joined #yosys
tpb has joined #yosys
svenn has joined #yosys
Cerpin has joined #yosys
MoeIcenowy has joined #yosys
anticw has joined #yosys
ebb has joined #yosys
simeonm has joined #yosys
srk has joined #yosys
cyrozap has joined #yosys
seraxis has joined #yosys
unkraut has joined #yosys
sorear has joined #yosys
m4ssi has joined #yosys
Twix has joined #yosys
somlo has joined #yosys
mmicko has joined #yosys
daveshah has joined #yosys
corecode has joined #yosys
N2TOH has joined #yosys
stzsch has joined #yosys
pointfree has joined #yosys
tecepe has joined #yosys
tmiw has joined #yosys
litghost has joined #yosys
Max-P has joined #yosys
show1 has quit [Ping timeout: 268 seconds]
marex-cloud has quit [Ping timeout: 242 seconds]
ric96 has quit [Ping timeout: 256 seconds]
futarisIRCcloud has quit [Ping timeout: 260 seconds]
sorear has quit [Ping timeout: 244 seconds]
ovf has joined #yosys
phantomcircuit has joined #yosys
sorear has joined #yosys
futarisIRCcloud has joined #yosys
ric96 has joined #yosys
citypw has quit [Ping timeout: 268 seconds]
show1 has joined #yosys
citypw has joined #yosys
kraiskil has quit [Ping timeout: 260 seconds]
proteusguy has joined #yosys
kraiskil has joined #yosys
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 265 seconds]
X-Scale` is now known as X-Scale
emeb has joined #yosys
<ZirconiumX> whitequark: I'm trying to understand the flowmap pass, and I'm trying to figure out where the LUT potential comes from
kraiskil has quit [Ping timeout: 268 seconds]
<tpb> Title: yosys/flowmap.cc at master · YosysHQ/yosys · GitHub (at github.com)
tlwoerner has joined #yosys
kraiskil has joined #yosys
strongsaxophone has joined #yosys
strongsaxophone has quit [Ping timeout: 240 seconds]
strongsaxophone has joined #yosys
citypw has quit [Ping timeout: 248 seconds]
develonepi3 has joined #yosys
<develonepi3> Hi all: Updated yosys yesterday. I have 2 systems with yosys installed. The first was built with clang Yosys 0.9+1706 (git sha1 34d2fbd, clang 3.8.0-2ubuntu4 -fPIC -Os), which is the one that fails creating my catzip.blif. The version created with gcc (Yosys 0.9+1706 (git sha1 34d2fbd2, gcc 9.2.0 -fPIC -Os) works okay.
emeb has quit [Quit: Leaving.]
indy has quit [Ping timeout: 240 seconds]
dys has quit [Ping timeout: 265 seconds]
rohitksingh has joined #yosys
m4ssi has quit [Remote host closed the connection]
fsasm has quit [Ping timeout: 260 seconds]
az0re has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 265 seconds]
kraiskil has quit [Ping timeout: 268 seconds]
rjo has quit [*.net *.split]
_florent_ has quit [*.net *.split]
esden has quit [*.net *.split]
bubble_buster has quit [*.net *.split]
emily has quit [*.net *.split]
flokli has quit [*.net *.split]
ZipCPU has quit [*.net *.split]
kristianpaul has quit [*.net *.split]
rjo has joined #yosys
ZipCPU has joined #yosys
bubble_buster has joined #yosys
esden has joined #yosys
emily has joined #yosys
_florent_ has joined #yosys
flokli has joined #yosys
kristianpaul has joined #yosys
anticw has quit [Remote host closed the connection]
anticw has joined #yosys
<develonepi3> Hi all: I went back to Yosys 0.9+1706 (git sha1 0488492, clang 3.8.0-2ubuntu4 -fPIC -Os) on clang build and the catzip.blif was created.
Jybz has joined #yosys
fsasm has joined #yosys
kraiskil has joined #yosys
strongsaxophone has quit [Ping timeout: 268 seconds]
kraiskil has quit [Ping timeout: 265 seconds]
Jybz has quit [Quit: Konversation terminated!]
rohitksingh has joined #yosys
<Xiretza> 34d2fbd2 "Add opt_lut_ins pass" seems to have broken nextpnr-xilinx routing. looking at the diff between the json dumps, inputs that are driven by a LUT that now got optimized away entirely have a wire ID of 0 - does that make sense?
<daveshah> That's a constant 0 - this is a nextpnr-xilinx issue definitely, I need to have more of a look
<daveshah> What is the problematic input?
<Xiretza> daveshah: here's the xdc and jsons before and after opt_lut_ins: https://misc.xiretza.xyz/repro/lutins_route_deadlock.tar.gz
<Xiretza> router2 starts off normal, but then reproducibly gets stuck at overused=147 for 20+ iterations
<daveshah> Yeah, I think the problem is to do with mux input legalisation
indy has joined #yosys
kraiskil has joined #yosys
fsasm has quit [Ping timeout: 268 seconds]
rohitksingh has quit [Ping timeout: 265 seconds]
<daveshah> In the end it seems to be actually a side effect of opt_lut_ins, that because a LUT in a mux structure could now be smaller than a LUT6, it would be possible in some cases to pack another LUT5 in - but in some cases this causes an output legality issue
<daveshah> About to push what is hopefully a fix
<daveshah> Xiretza: ok, fix pushed to xilinx-upstream, seems to route for me at least now
emeb has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
emeb has quit [Quit: Leaving.]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys