<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] e696eac - Deploying to main from @ amaranth-lang/amaranth@855545b6ff9c33f836812bdcf4d62023d5f48edc 🚀
<whitequark[cis]>
actually, the behavior seems to be even more bizarre than I thought
<whitequark[cis]>
for some reason that is completely beyond me, setting do_build=False and running build_top.sh manually succeeds (with the sadness)
<whitequark[cis]>
but letting Amaranth run the build makes it fail
<whitequark[cis]>
batshit behaivor
<whitequark[cis]>
oh... it doesn't re-run the synthesis, and therefore does not display the message I'm looking for facepalm
<whitequark[cis]>
touching top.v does make a useful reproducer
<anuejn>
that would be next level cursed
<whitequark[cis]>
ok so after further testing, Diamond does require the quirk, but it also requires using the canonical net, i.e. bypassing all the aliases
<whitequark[cis]>
setting syn_keep, syn_preserve, keep, and dont_touch on that net has no effect, I guess frontend removes it
<whitequark[cis]>
Wanda: do you think we could add a lookup for the canonical net name in the design? there are multiple toolchains affected by this, unfortunately
Wanda[cis] has joined #amaranth-lang
<Wanda[cis]>
... meow?
<Wanda[cis]>
what aliases?
<Wanda[cis]>
hm.
<whitequark[cis]>
like wire \clk$2 = clk;
<Wanda[cis]>
don't we kinda already have it via name_lut that convert_whatever returns?
<whitequark[cis]>
hm.
<whitequark[cis]>
do we?
<Wanda[cis]>
I ... think so? I don't really remember right now
<Wanda[cis]>
but I believe that it should have the information
<Wanda[cis]>
and if it doesn't, we need to fix it up so it does
<whitequark[cis]>
naturally if you use a Verilog net \clk\$2 Diamond names it clk\\\$2
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 1c4a9c1 - Deploying to main from @ amaranth-lang/amaranth@8da55299a5810fcb3b3a80d51c11e41798d736ca 🚀
<_whitenotifier-9>
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 07eb625 - Deploying to main from @ amaranth-lang/amaranth@f49074f439f8a017a2e119cda4bc1d2d141ddda8 🚀