<Wanda[cis]>
this thing can synthesize working unmodified Glasgow uart applet now
<whitequark[cis]>
not just UART, it can utilize all of the RAM and i verified it works via the benchmark applet
<whitequark[cis]>
passes timing too (60 MHz vs 100 MHz on Yosys, and with almost twice the amount of LUTs, but it does)
<mupuf>
whitequark[cis]: Already???? Damn, that is impressive!
<Wanda[cis]>
well I did write the memory lowering pass today
<Wanda[cis]>
it was the last major missing part
<whitequark[cis]>
FPGA toolchains are really not as complicated as one might think
<Wanda[cis]>
now starts the long fun part of optimizing this shit
<Wanda[cis]>
(okay I lied a bit; for iCE40 we still want to have DSP and SPRAM lowering)
<mei[m]>
is the plan to keep using nextpnr for now?
<Wanda[cis]>
(but even that only matters for iCE40 Ultra)
<Wanda[cis]>
mei: so the current plan is
<Wanda[cis]>
well. as you know, I start the trip back home in 20h or so, then lock myself in our cave until we have prjcombine-siliconblue in the Proper shape for starting work on P&R
<Wanda[cis]>
I expect it to take around a month
<Wanda[cis]>
Cat has its own things to do in the meantime
<Wanda[cis]>
then we reconvene to design the P&R part
<mei[m]>
Wanda[cis]: thunderscope?
<Wanda[cis]>
(this involves finishing actual prjcombine-siliconblue, but also a bunch of general work to clean up prjcombine interface and make it actually usable from unnamed)
<whitequark[cis]>
mei[m]: yea
<mupuf>
Wanda[cis]: congrats! Are you happier with this implementation than with the one you did for yosys?
<Wanda[cis]>
yes
<Wanda[cis]>
it's structured significantly better (I talked about it at length previously), it's not going to involve a load-bearing SAT solver, and it's actually testable
<mupuf>
good to hear :)
<Wanda[cis]>
(I'm finishing up writing tests for the core part now)
<mupuf>
Please rest before the trip though
<Wanda[cis]>
mupuf: haahaha lmao.
<Wanda[cis]>
no rest for the wicked.
<Wanda[cis]>
well. I do intend to basically sleep all day, at least
<Wanda[cis]>
and then catch whatever sleep I can on trains tomorrow
<_whitenotifier-4>
[prjunnamed/amaranth] whitequark ea1dbf4 - back.unnamed: start metadata from !0.
<whitequark[cis]>
now that yosys doesn't pollute nextpnr reports with completely useless pointers into techmap files, i can appreciate how violently useless half of the source locations produced by amaranth are
<whitequark[cis]>
nice, just a single line is enough to cause metadata to appear on both SB_RAM40_4K cell and the SB_DFFs that were used for legalizing it
povikMartinPovie has joined #prjunnamed
<povikMartinPovie>
the metadata guard? I want to do something similar in yosys-slang
<whitequark[cis]>
yep
<whitequark[cis]>
it's a blunt instrument, but... most of the time you actually want a big hammer
<whitequark[cis]>
meanwhile the thing that yosys does makes no sense whatsoever
<whitequark[cis]>
the NEW_ID
<whitequark[cis]>
like yes technically in some cases it may be useful to know that. but i'm not sure if i ever encountered those cases
<mei[m]>
<whitequark[cis]> "wanna write it?" <- atm i don't know what the actual issue is that this fixes
<whitequark[cis]>
oh. if you add an io, apply, then add another io, the second one will overlap with the first
<whitequark[cis]>
(they will both start at 0)
<mei[m]>
<_whitenotifier-4> "[prjunnamed/prjunnamed] whitequa..." <- btw, maybe we should have our own unionfind impl? it's not a complicated algorithm, i don't think it makes sense to pull in an unmaintained dependency for this
<Wanda[cis]>
(note: Cat just went upstairs to be horizontal; may not reply for a while)
<Wanda[cis]>
well
<Wanda[cis]>
the pope has died, and so I shall leave for the train
<galibert[m]>
Err, the pope, really, or is that just an expression of?
<galibert[m]>
-of
<Wanda[cis]>
mei: can you enlighten our friend, I have to go
<mei[m]>
sure thing
<mei[m]>
galibert: i assume you're not familiar with the Polish tradition of pope slander?
<galibert[m]>
I am not
<galibert[m]>
Sound like an interesting tradition
<mei[m]>
so, John Paul II, the polish pope
<galibert[m]>
Yeah
<mei[m]>
when he was alive, there was kind of a cult of personality around him
<mei[m]>
or, at least, the mainstream media tried to make it so
<galibert[m]>
Oh yeah, in France too actually
<mei[m]>
when he died, they covered it like poland's own 9/11
<mei[m]>
or, idk, queen elizabeth dying
<mei[m]>
and they kinda overdid it
<galibert[m]>
Oh, that must have been annoying
<mei[m]>
spawning an entire genre of memes
<galibert[m]>
Fun
<mei[m]>
said genre got further amplified when the whole pedophilia in the catholic church debacle happened
<galibert[m]>
Heh
<mei[m]>
so, you have 21:37, the time of death of the pope, being widely considered a "funny number" in poland, much like 69 or 420 in other parts of the world
<mei[m]>
there's also JP2GMD, which is kind of like ACAB in spirit, and stands for "John Paul the 2nd raped young children"
<mei[m]>
common pope memes often involve making the face of the pope more yellow
<mei[m]>
i am not sure how that particular part happened
<galibert[m]>
The 21:37 one is fascinating
<cr1901>
Wait, did the Pope actually die and it's not been reported over here (US EST) yet?
<galibert[m]>
No
<galibert[m]>
Scrollback, you’ll see.
<galibert[m]>
mei was explaining the memes, much thanks for that
<cr1901>
I'm aware of the Polish memes. Thought it was the meme being used ironically
<cr1901>
(as in, Polish meme plus "Oh wait, he actually died")
<Wanda[cis]>
it is customary to insult the dead pope every day at 21:37
<galibert[m]>
Funny custom
<cr1901>
Probably Wanda was the one who told me about the meme in the first place, for all I remember
<Wanda[cis]>
(note: it is also illegal to insult the pope in Poland)
<cr1901>
And we know you obey laws, no matter how just :)
<cr1901>
unjust* even
<galibert[m]>
Aren’t you in the uk?
<mei[m]>
Wanda[cis]: oh right, a friend of ours got sued for that
<Wanda[cis]>
not for long
<mei[m]>
any idea how that ended?
<galibert[m]>
So you’re allowed to insult Teacher but the buck stops at Diana, I think
<mei[m]>
you mean thatcher?
<galibert[m]>
Yeah sorry typoed
<Wanda[cis]>
mei[m]: not really
<Wanda[cis]>
but also she got raided for the crime of embarassing polish government, the pope stuff was just what they could charge her with
<galibert[m]>
Ok, just lived something fascinating