| *** tpb has joined #yosys | 00:00 | |
| *** m_w has joined #yosys | 00:05 | |
| *** GenTooMan has quit IRC | 00:24 | |
| *** GenTooMan has joined #yosys | 00:24 | |
| *** emeb has quit IRC | 00:29 | |
| *** rohitksingh has joined #yosys | 00:49 | |
| *** rohitksingh has quit IRC | 01:03 | |
| *** develonepi3 has joined #yosys | 01:28 | |
| *** m_w has quit IRC | 02:28 | |
| *** citypw has joined #yosys | 02:44 | |
| *** citypw has quit IRC | 03:11 | |
| *** anticw has quit IRC | 03:14 | |
| *** rohitksingh has joined #yosys | 03:25 | |
| *** citypw has joined #yosys | 03:27 | |
| *** rohitksingh has quit IRC | 03:33 | |
| *** anticw has joined #yosys | 03:36 | |
| *** anticw has quit IRC | 03:51 | |
| *** rohitksingh has joined #yosys | 04:09 | |
| *** anticw has joined #yosys | 04:18 | |
| *** anticw has quit IRC | 04:29 | |
| *** anticw has joined #yosys | 04:30 | |
| *** anticw_ has joined #yosys | 04:39 | |
| *** dys has quit IRC | 04:42 | |
| *** anticw has quit IRC | 04:42 | |
| *** citypw has quit IRC | 05:04 | |
| *** rohitksingh has quit IRC | 05:12 | |
| *** Jybz has joined #yosys | 05:25 | |
| *** citypw has joined #yosys | 05:27 | |
| *** rohitksingh has joined #yosys | 05:36 | |
| *** Jybz has quit IRC | 06:05 | |
| *** anticw_ has quit IRC | 06:08 | |
| *** N2TOH has quit IRC | 06:09 | |
| *** N2TOH has joined #yosys | 06:10 | |
| *** N2TOH has joined #yosys | 06:12 | |
| *** anticw has joined #yosys | 06:15 | |
| *** N2TOH has quit IRC | 06:16 | |
| *** N2TOH has joined #yosys | 06:18 | |
| *** _whitelogger has quit IRC | 06:43 | |
| *** _whitelogger has joined #yosys | 06:45 | |
| *** dys has joined #yosys | 07:53 | |
| *** rohitksingh has quit IRC | 08:04 | |
| *** m4ssi has joined #yosys | 08:12 | |
| *** attie has joined #yosys | 08:35 | |
| *** citypw has quit IRC | 09:03 | |
| *** fsasm has joined #yosys | 09:15 | |
| *** citypw has joined #yosys | 09:19 | |
| *** citypw has quit IRC | 10:10 | |
| *** citypw has joined #yosys | 10:27 | |
| *** kraiskil has joined #yosys | 10:27 | |
| *** kraiskil has quit IRC | 10:33 | |
| *** kraiskil has joined #yosys | 10:46 | |
| *** develonepi3 has quit IRC | 11:14 | |
| *** rjo has quit IRC | 11:15 | |
| *** ebb has quit IRC | 11:15 | |
| *** srk has quit IRC | 11:15 | |
| *** simeonm has quit IRC | 11:15 | |
| *** cyrozap has quit IRC | 11:15 | |
| *** _florent_ has quit IRC | 11:15 | |
| *** esden has quit IRC | 11:15 | |
| *** marex-cloud has quit IRC | 11:15 | |
| *** bubble_buster has quit IRC | 11:15 | |
| *** emily has quit IRC | 11:15 | |
| *** flokli has quit IRC | 11:15 | |
| *** ZipCPU has quit IRC | 11:15 | |
| *** kristianpaul has quit IRC | 11:15 | |
| *** m4ssi has quit IRC | 11:15 | |
| *** N2TOH has quit IRC | 11:15 | |
| *** stzsch has quit IRC | 11:15 | |
| *** sorear has quit IRC | 11:15 | |
| *** unkraut has quit IRC | 11:15 | |
| *** somlo has quit IRC | 11:15 | |
| *** seraxis has quit IRC | 11:15 | |
| *** mmicko has quit IRC | 11:15 | |
| *** Twix has quit IRC | 11:15 | |
| *** daveshah has quit IRC | 11:15 | |
| *** tecepe has quit IRC | 11:15 | |
| *** corecode has quit IRC | 11:15 | |
| *** tmiw has quit IRC | 11:15 | |
| *** litghost has quit IRC | 11:15 | |
| *** pointfree has quit IRC | 11:15 | |
| *** Wolf480pl has quit IRC | 11:15 | |
| *** mwk has quit IRC | 11:15 | |
| *** mithro has quit IRC | 11:15 | |
| *** Kokjo has quit IRC | 11:15 | |
| *** citypw has quit IRC | 11:15 | |
| *** ZirconiumX has quit IRC | 11:15 | |
| *** Nazara has quit IRC | 11:15 | |
| *** shorne has quit IRC | 11:15 | |
| *** rektide has quit IRC | 11:15 | |
| *** Xark has quit IRC | 11:15 | |
| *** Kamilion has quit IRC | 11:15 | |
| *** phire has quit IRC | 11:15 | |
| *** _whitelogger has quit IRC | 11:15 | |
| *** tannewt has quit IRC | 11:15 | |
| *** elms has quit IRC | 11:15 | |
| *** Ultrasauce has quit IRC | 11:15 | |
| *** jhol has quit IRC | 11:15 | |
| *** mirage335 has quit IRC | 11:15 | |
| *** futarisIRCcloud has quit IRC | 11:15 | |
| *** zkms has quit IRC | 11:15 | |
| *** piegames has quit IRC | 11:15 | |
| *** heijligen has quit IRC | 11:15 | |
| *** rjeli has quit IRC | 11:15 | |
| *** fevv8[m] has quit IRC | 11:15 | |
| *** promach3 has quit IRC | 11:15 | |
| *** flammit has quit IRC | 11:15 | |
| *** benreynwar has quit IRC | 11:15 | |
| *** dkozel has quit IRC | 11:16 | |
| *** kraiskil has quit IRC | 11:16 | |
| *** fsasm has quit IRC | 11:16 | |
| *** alexhw has quit IRC | 11:16 | |
| *** nurelin has quit IRC | 11:16 | |
| *** tux3_ has quit IRC | 11:16 | |
| *** kbeckmann has quit IRC | 11:16 | |
| *** oldtopman has quit IRC | 11:16 | |
| *** awordnot has quit IRC | 11:16 | |
| *** markus-k has quit IRC | 11:16 | |
| *** Thorn has quit IRC | 11:16 | |
| *** fengling has quit IRC | 11:16 | |
| *** TheHolyC has quit IRC | 11:16 | |
| *** parport0 has quit IRC | 11:16 | |
| *** hackerfoo has quit IRC | 11:16 | |
| *** X-Scale has quit IRC | 11:16 | |
| *** Forty-Bot has quit IRC | 11:16 | |
| *** TD-Linux has quit IRC | 11:16 | |
| *** gorbak25 has quit IRC | 11:16 | |
| *** forrestv has quit IRC | 11:16 | |
| *** Ristovski has quit IRC | 11:16 | |
| *** bwidawsk has quit IRC | 11:16 | |
| *** pacak has quit IRC | 11:16 | |
| *** Ekho has quit IRC | 11:16 | |
| *** lukego has quit IRC | 11:16 | |
| *** m_hackerfoo has quit IRC | 11:16 | |
| *** anuejn has quit IRC | 11:16 | |
| *** OK_b00m3r has quit IRC | 11:16 | |
| *** adjtm_ has quit IRC | 11:16 | |
| *** jakobwenzel has quit IRC | 11:16 | |
| *** indy has quit IRC | 11:16 | |
| *** FL4SHK has quit IRC | 11:16 | |
| *** sandeepkr has quit IRC | 11:16 | |
| *** Xiretza has quit IRC | 11:16 | |
| *** thasti has quit IRC | 11:16 | |
| *** vup has quit IRC | 11:16 | |
| *** s_frit has quit IRC | 11:16 | |
| *** captain_morgan0 has quit IRC | 11:16 | |
| *** knielsen has quit IRC | 11:16 | |
| *** bluesceada has quit IRC | 11:16 | |
| *** cr1901_modern has quit IRC | 11:16 | |
| *** show1 has quit IRC | 11:16 | |
| *** pie_[bnc] has quit IRC | 11:16 | |
| *** rrika has quit IRC | 11:16 | |
| *** elGamal has quit IRC | 11:16 | |
| *** tnt has quit IRC | 11:16 | |
| *** Marex has quit IRC | 11:16 | |
| *** janrinze has quit IRC | 11:16 | |
| *** ktemkin has quit IRC | 11:16 | |
| *** emilazy has quit IRC | 11:16 | |
| *** kmehall_ has quit IRC | 11:16 | |
| *** kuldeep has quit IRC | 11:16 | |
| *** chipb has quit IRC | 11:16 | |
| *** awygle has quit IRC | 11:16 | |
| *** rqou has quit IRC | 11:16 | |
| *** filt3r has quit IRC | 11:16 | |
| *** tlwoerner has quit IRC | 11:16 | |
| *** smarter has quit IRC | 11:16 | |
| *** phantomcircuit has quit IRC | 11:16 | |
| *** grazfather has quit IRC | 11:16 | |
| *** Max-P has quit IRC | 11:16 | |
| *** blunaxela has quit IRC | 11:16 | |
| *** dxld has quit IRC | 11:16 | |
| *** gruetzkopf has quit IRC | 11:16 | |
| *** Stary has quit IRC | 11:16 | |
| *** ric96 has quit IRC | 11:16 | |
| *** nrossi has quit IRC | 11:16 | |
| *** jryans has quit IRC | 11:16 | |
| *** finnb has quit IRC | 11:16 | |
| *** pepijndevos has quit IRC | 11:16 | |
| *** whitequark has quit IRC | 11:16 | |
| *** orkim has quit IRC | 11:16 | |
| *** ovf has quit IRC | 11:18 | |
| *** rjo has joined #yosys | 11:20 | |
| *** kristianpaul has joined #yosys | 11:20 | |
| *** ZipCPU has joined #yosys | 11:20 | |
| *** flokli has joined #yosys | 11:20 | |
| *** emily has joined #yosys | 11:20 | |
| *** bubble_buster has joined #yosys | 11:20 | |
| *** marex-cloud has joined #yosys | 11:20 | |
| *** esden has joined #yosys | 11:20 | |
| *** _florent_ has joined #yosys | 11:20 | |
| *** kraiskil has joined #yosys | 11:20 | |
| *** citypw has joined #yosys | 11:20 | |
| *** fsasm has joined #yosys | 11:20 | |
| *** _whitelogger has joined #yosys | 11:20 | |
| *** adjtm_ has joined #yosys | 11:20 | |
| *** X-Scale has joined #yosys | 11:20 | |
| *** jakobwenzel has joined #yosys | 11:20 | |
| *** s_frit has joined #yosys | 11:20 | |
| *** dxld has joined #yosys | 11:20 | |
| *** captain_morgan0 has joined #yosys | 11:20 | |
| *** Forty-Bot has joined #yosys | 11:20 | |
| *** ZirconiumX has joined #yosys | 11:20 | |
| *** alexhw has joined #yosys | 11:20 | |
| *** shorne has joined #yosys | 11:20 | |
| *** Wolf480pl has joined #yosys | 11:20 | |
| *** indy has joined #yosys | 11:20 | |
| *** knielsen has joined #yosys | 11:20 | |
| *** tannewt has joined #yosys | 11:20 | |
| *** FL4SHK has joined #yosys | 11:20 | |
| *** elms has joined #yosys | 11:20 | |
| *** Nazara has joined #yosys | 11:20 | |
| *** piegames has joined #yosys | 11:20 | |
| *** TD-Linux has joined #yosys | 11:20 | |
| *** Ultrasauce has joined #yosys | 11:20 | |
| *** jhol has joined #yosys | 11:20 | |
| *** mirage335 has joined #yosys | 11:20 | |
| *** bluesceada has joined #yosys | 11:20 | |
| *** gorbak25 has joined #yosys | 11:20 | |
| *** nurelin has joined #yosys | 11:20 | |
| *** heijligen has joined #yosys | 11:20 | |
| *** tux3_ has joined #yosys | 11:20 | |
| *** cr1901_modern has joined #yosys | 11:20 | |
| *** rektide has joined #yosys | 11:20 | |
| *** futarisIRCcloud has joined #yosys | 11:20 | |
| *** zkms has joined #yosys | 11:20 | |
| *** gruetzkopf has joined #yosys | 11:20 | |
| *** ktemkin has joined #yosys | 11:20 | |
| *** Stary has joined #yosys | 11:20 | |
| *** ric96 has joined #yosys | 11:20 | |
| *** kbeckmann has joined #yosys | 11:20 | |
| *** mwk has joined #yosys | 11:20 | |
| *** forrestv has joined #yosys | 11:20 | |
| *** Ristovski has joined #yosys | 11:20 | |
| *** show1 has joined #yosys | 11:20 | |
| *** oldtopman has joined #yosys | 11:20 | |
| *** emilazy has joined #yosys | 11:20 | |
| *** rjeli has joined #yosys | 11:20 | |
| *** mithro has joined #yosys | 11:20 | |
| *** awygle has joined #yosys | 11:20 | |
| *** jryans has joined #yosys | 11:20 | |
| *** promach3 has joined #yosys | 11:20 | |
| *** nrossi has joined #yosys | 11:20 | |
| *** fevv8[m] has joined #yosys | 11:20 | |
| *** Kokjo has joined #yosys | 11:20 | |
| *** pie_[bnc] has joined #yosys | 11:20 | |
| *** awordnot has joined #yosys | 11:20 | |
| *** markus-k has joined #yosys | 11:20 | |
| *** sandeepkr has joined #yosys | 11:20 | |
| *** rrika has joined #yosys | 11:20 | |
| *** Thorn has joined #yosys | 11:20 | |
| *** bwidawsk has joined #yosys | 11:20 | |
| *** elGamal has joined #yosys | 11:20 | |
| *** fengling has joined #yosys | 11:20 | |
| *** Kamilion has joined #yosys | 11:20 | |
| *** Xark has joined #yosys | 11:20 | |
| *** pacak has joined #yosys | 11:20 | |
| *** Ekho has joined #yosys | 11:20 | |
| *** TheHolyC has joined #yosys | 11:20 | |
| *** flammit has joined #yosys | 11:20 | |
| *** lukego has joined #yosys | 11:20 | |
| *** benreynwar has joined #yosys | 11:20 | |
| *** Xiretza has joined #yosys | 11:20 | |
| *** thasti has joined #yosys | 11:20 | |
| *** phire has joined #yosys | 11:20 | |
| *** anuejn has joined #yosys | 11:20 | |
| *** parport0 has joined #yosys | 11:20 | |
| *** m_hackerfoo has joined #yosys | 11:20 | |
| *** hackerfoo has joined #yosys | 11:20 | |
| *** vup has joined #yosys | 11:20 | |
| *** OK_b00m3r has joined #yosys | 11:20 | |
| *** finnb has joined #yosys | 11:20 | |
| *** dkozel has joined #yosys | 11:20 | |
| *** Marex has joined #yosys | 11:20 | |
| *** tnt has joined #yosys | 11:20 | |
| *** janrinze has joined #yosys | 11:20 | |
| *** pepijndevos has joined #yosys | 11:20 | |
| *** whitequark has joined #yosys | 11:20 | |
| *** kmehall_ has joined #yosys | 11:20 | |
| *** kuldeep has joined #yosys | 11:20 | |
| *** chipb has joined #yosys | 11:20 | |
| *** orkim has joined #yosys | 11:20 | |
| *** rqou has joined #yosys | 11:20 | |
| *** filt3r has joined #yosys | 11:20 | |
| *** ebb has joined #yosys | 11:20 | |
| *** srk has joined #yosys | 11:20 | |
| *** simeonm has joined #yosys | 11:20 | |
| *** cyrozap has joined #yosys | 11:20 | |
| *** m4ssi has joined #yosys | 11:20 | |
| *** N2TOH has joined #yosys | 11:20 | |
| *** stzsch has joined #yosys | 11:20 | |
| *** sorear has joined #yosys | 11:20 | |
| *** unkraut has joined #yosys | 11:20 | |
| *** somlo has joined #yosys | 11:20 | |
| *** seraxis has joined #yosys | 11:20 | |
| *** Twix has joined #yosys | 11:20 | |
| *** mmicko has joined #yosys | 11:20 | |
| *** daveshah has joined #yosys | 11:20 | |
| *** tecepe has joined #yosys | 11:20 | |
| *** corecode has joined #yosys | 11:20 | |
| *** tmiw has joined #yosys | 11:20 | |
| *** litghost has joined #yosys | 11:20 | |
| *** pointfree has joined #yosys | 11:20 | |
| *** Max-P has joined #yosys | 11:20 | |
| *** show1 has quit IRC | 11:20 | |
| *** marex-cloud has quit IRC | 11:21 | |
| *** ric96 has quit IRC | 11:22 | |
| *** futarisIRCcloud has quit IRC | 11:23 | |
| *** sorear has quit IRC | 11:23 | |
| *** ovf has joined #yosys | 11:23 | |
| *** phantomcircuit has joined #yosys | 11:23 | |
| *** sorear has joined #yosys | 11:24 | |
| *** futarisIRCcloud has joined #yosys | 11:24 | |
| *** ric96 has joined #yosys | 11:24 | |
| *** citypw has quit IRC | 11:38 | |
| *** show1 has joined #yosys | 11:46 | |
| *** citypw has joined #yosys | 11:52 | |
| *** kraiskil has quit IRC | 13:10 | |
| *** proteusguy has joined #yosys | 13:20 | |
| *** kraiskil has joined #yosys | 13:26 | |
| *** X-Scale` has joined #yosys | 13:57 | |
| *** X-Scale has quit IRC | 13:59 | |
| *** X-Scale` is now known as X-Scale | 13:59 | |
| *** emeb has joined #yosys | 14:15 | |
| ZirconiumX | whitequark: I'm trying to understand the flowmap pass, and I'm trying to figure out where the LUT potential comes from | 14:17 |
|---|---|---|
| *** kraiskil has quit IRC | 14:17 | |
| ZirconiumX | https://github.com/YosysHQ/yosys/blob/master/passes/techmap/flowmap.cc#L1188 <-- is it the magical 100 here? | 14:18 |
| tpb | Title: yosys/flowmap.cc at master · YosysHQ/yosys · GitHub (at github.com) | 14:18 |
| *** tlwoerner has joined #yosys | 14:20 | |
| *** kraiskil has joined #yosys | 14:30 | |
| *** strongsaxophone has joined #yosys | 15:30 | |
| *** strongsaxophone has quit IRC | 15:45 | |
| *** strongsaxophone has joined #yosys | 15:48 | |
| *** citypw has quit IRC | 15:50 | |
| *** develonepi3 has joined #yosys | 15:55 | |
| 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. | 16:00 |
| *** emeb has quit IRC | 16:37 | |
| *** indy has quit IRC | 16:57 | |
| *** dys has quit IRC | 17:03 | |
| *** rohitksingh has joined #yosys | 17:09 | |
| *** m4ssi has quit IRC | 17:28 | |
| *** fsasm has quit IRC | 18:06 | |
| *** az0re has joined #yosys | 18:11 | |
| *** rohitksingh has quit IRC | 18:39 | |
| *** rohitksingh has joined #yosys | 18:45 | |
| *** rohitksingh has quit IRC | 18:53 | |
| *** kraiskil has quit IRC | 18:59 | |
| *** rjo has quit IRC | 19:01 | |
| *** _florent_ has quit IRC | 19:01 | |
| *** esden has quit IRC | 19:01 | |
| *** bubble_buster has quit IRC | 19:02 | |
| *** emily has quit IRC | 19:02 | |
| *** flokli has quit IRC | 19:02 | |
| *** ZipCPU has quit IRC | 19:02 | |
| *** kristianpaul has quit IRC | 19:02 | |
| *** rjo has joined #yosys | 19:03 | |
| *** _florent_ has joined #yosys | 19:03 | |
| *** esden has joined #yosys | 19:03 | |
| *** bubble_buster has joined #yosys | 19:03 | |
| *** emily has joined #yosys | 19:03 | |
| *** flokli has joined #yosys | 19:03 | |
| *** ZipCPU has joined #yosys | 19:03 | |
| *** kristianpaul has joined #yosys | 19:03 | |
| *** anticw has quit IRC | 19:21 | |
| *** anticw has joined #yosys | 19:26 | |
| 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. | 19:44 |
| *** Jybz has joined #yosys | 19:45 | |
| *** fsasm has joined #yosys | 19:59 | |
| *** kraiskil has joined #yosys | 20:05 | |
| *** strongsaxophone has quit IRC | 20:09 | |
| *** kraiskil has quit IRC | 20:22 | |
| *** Jybz has quit IRC | 20:37 | |
| *** rohitksingh has joined #yosys | 20:37 | |
| 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? | 20:39 |
| daveshah | That's a constant 0 - this is a nextpnr-xilinx issue definitely, I need to have more of a look | 20:42 |
| daveshah | What is the problematic input? | 20:42 |
| Xiretza | daveshah: here's the xdc and jsons before and after opt_lut_ins: https://misc.xiretza.xyz/repro/lutins_route_deadlock.tar.gz | 20:48 |
| Xiretza | router2 starts off normal, but then reproducibly gets stuck at overused=147 for 20+ iterations | 20:52 |
| daveshah | Yeah, I think the problem is to do with mux input legalisation | 20:53 |
| *** indy has joined #yosys | 20:54 | |
| *** kraiskil has joined #yosys | 21:13 | |
| *** fsasm has quit IRC | 21:17 | |
| *** rohitksingh has quit IRC | 21:29 | |
| 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 | 21:32 |
| daveshah | About to push what is hopefully a fix | 21:32 |
| daveshah | Xiretza: ok, fix pushed to xilinx-upstream, seems to route for me at least now | 21:38 |
| *** emeb has joined #yosys | 21:39 | |
| *** kraiskil has quit IRC | 23:56 | |
| *** emeb has quit IRC | 23:58 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!