| openpowerbot | [mattermost] <gayatri> Thanks luke. I got it. | 00:09 |
|---|---|---|
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 00:13 | |
| octavius | programmerjake, if you still have the chroot you've used to compile microwatt.bit for ECP5, can you let me know your yosys, ghdl, ghdl-yosys-plugin commits? | 01:32 |
| octavius | I tried a yosys one commit behind the one we use, and still have the same issue with | 01:33 |
| octavius | ERROR: cell type '$mem_v2' is unsupported (instantiated as 'soc0.processor_internal.processor.icache_0.itlb_tags') | 01:33 |
| *** octavius <octavius!~octavius@92.40.169.98.threembb.co.uk> has quit IRC | 01:38 | |
| programmerjake | i just used my main dev repo, but i enabled the DOCKER flag when building Microwatt, so i expect it used all the tools in whatever docker image it used, rather than the ones i installed for libre-soc | 01:54 |
| programmerjake | *main dev folders | 01:54 |
| programmerjake | lemme see if i can find which version that docker image was... | 01:55 |
| programmerjake | actually the flag is USE_DOCKER | 02:00 |
| programmerjake | here's the images I still have on my computer after removing the obviously unrelated ones: | 02:01 |
| programmerjake | debian 10 528ac3ebe420 6 weeks ago 114MB | 02:01 |
| programmerjake | hdlc/nextpnr ecp5 3af0d88e38c4 10 months ago 1.03GB | 02:01 |
| programmerjake | hdlc/ghdl yosys b2bb9f1fe687 10 months ago 801MB | 02:01 |
| programmerjake | hdlc/prjtrellis latest 3c29a6a46c18 10 months ago 924MB | 02:01 |
| programmerjake | debian buster ae8514941ea4 2 years ago 114MB | 02:01 |
| programmerjake | debian latest 971452c94376 2 years ago 114MB | 02:01 |
| programmerjake | header line: | 02:02 |
| programmerjake | REPOSITORY TAG IMAGE ID CREATED SIZE | 02:02 |
| programmerjake | the git commits I have for the repos outside of docker (they're unlikely to have been used when I built Microwatt): | 02:09 |
| programmerjake | yosys eb5f9d9de61411d22944c105cf3800f121f90666 | 02:09 |
| programmerjake | nextpnr 0a70b9c992c06a7553725b3742052eb95abd5f20 | 02:09 |
| programmerjake | prjtrellis 3ae21cf6a07f3883fafa5bf31e9104dfa6c9a63f | 02:09 |
| programmerjake | I don't have any ghdl repos cloned | 02:09 |
| programmerjake | I just used the one from that docker image | 02:10 |
| programmerjake | yosys version from b2bb9f1fe687: | 02:16 |
| programmerjake | Yosys 0.14+60 (git sha1 08c771078, clang 11.0.1-2 -fPIC -Os) | 02:16 |
| programmerjake | docker image ^ | 02:16 |
| programmerjake | nextpnr-ecp5 version from image 3af0d88e38c4: | 02:17 |
| programmerjake | nextpnr-ecp5 -- Next Generation Place and Route (Version nextpnr-0.2-25-g0a70b9c9) | 02:17 |
| programmerjake | ghdl version from image b2bb9f1fe687: | 02:19 |
| programmerjake | GHDL 2.0.0-dev (v1.0.0-1014-g480451e0) [Dunoon edition] | 02:19 |
| lkcl | programmerjake: octavius needs to start from the dev-scripts (and explicitly inform us that that is what he has done) | 02:29 |
| lkcl | it is wasting significant time - his, yours, everyone's - not knowing this information and him working from a completely unknown state | 02:29 |
| lkcl | (and him not being able to distinguish that because he doesn't read the error output, or more to the point know what it means) | 02:30 |
| lkcl | i'll speak with him about this in the morning (in about 8 hours time) on a conf call | 02:30 |
| programmerjake | k, though knowing commits that I got working would still be useful if the dev scripts are broken somehow...idk if that's the case | 02:30 |
| lkcl | please don't spend time on this - he should only be using the versions installed from the dev-scripts | 02:30 |
| lkcl | good point | 02:31 |
| lkcl | although they should be precisely-pinned explicit tags | 02:31 |
| lkcl | (except for the nmigen ones, which are deliberately a moving target. we need to sort that, for ls180, at some point, by retrospectively creating specific scripts for reproducible-ls180-FINAL7.) | 02:32 |
| programmerjake | I'm unable to determine the version of the ghdl yosys plugin by inspecting the docker image, only the .so file is copied to the image when it was made and that file doesn't seem to contain the git commit hash | 02:37 |
| programmerjake | I'll stop working on that now | 02:37 |
| programmerjake | if you really need it, a good guess would be taking the commit from master immediately before 2022-03-02T01:57:02.13301508Z when the image was built | 02:38 |
| *** gnucode <gnucode!~gnucode@user/jab> has quit IRC | 02:54 | |
| *** yambo <yambo!~yambo@069-145-120-113.biz.spectrum.com> has joined #libre-soc | 03:09 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 03:26 | |
| lkcl | this is good because you should under no circumstances be advising people to use anything other than the reproducible-build authorised and approved revisions of all and any tools and software | 03:33 |
| lkcl | if you do so it is absolutely critical and essential that you inform them at the time that they are on their own, operating with unauthorised software, and that they should expect to be told to stop requesting "support" on any libre-soc forums | 03:34 |
| lkcl | it is really, really important that you do not waste your time - or theirs - on anything other than authorised tools | 03:34 |
| lkcl | if you find someone using unauthorised tools and it is clear and obvious that they are completely out of their depth your first and ONLY response should be | 03:35 |
| lkcl | "please install the AUTHORISED tools and only get back to this forum once you have done so or you run into difficulties with the devscripts" | 03:35 |
| lkcl | if there turn out to be problems with the reproducible-build scripts | 03:36 |
| lkcl | and those *problems* are themselves reproducible | 03:36 |
| lkcl | THEN and ONLY then do we step "outside of the box" | 03:36 |
| lkcl | octavius has literally wasted an entire week of his time because he wasn't running the authorised tools | 03:36 |
| lkcl | he's also wasted several hours of your time | 03:37 |
| lkcl | i told him a few weeks ago that he is not to attempt to perform upgrades inside the chroots, but only to start again from scratch | 03:38 |
| lkcl | because the older devscripts created incorrect chroots | 03:38 |
| lkcl | (buster-updates *without* apt-pinning) | 03:38 |
| lkcl | that can only be corrected *if you know what you are doing* | 03:39 |
| lkcl | and he doesn't know what he's doing | 03:39 |
| lkcl | programmerjake, bottom line: you *MUST NOT* advise people to "install this, install that" | 03:39 |
| lkcl | the *only* thing - every time - is for you to ask, "have you run the dev-scripts from scratch" and if the answer is "no", instruct them to do so | 03:40 |
| lkcl | that is the *only* thing you must do | 03:40 |
| lkcl | anything else is wasting _your_ time - and theirs | 03:40 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 04:00 | |
| programmerjake | k | 04:04 |
| *** Ritish <Ritish!~Ritish@2401:4900:4aa8:c9ad:197:228a:4b1f:f347> has joined #libre-soc | 04:21 | |
| Ritish | ahh, Thanks lkcl, on it! | 04:21 |
| Ritish | didn't notice the message yesterday | 04:21 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 04:38 | |
| *** Ritish75 <Ritish75!~Ritish@2401:4900:4aa8:c9ad:197:228a:4b1f:f347> has joined #libre-soc | 04:42 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 05:06 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 06:26 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 06:46 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 07:37 | |
| *** Ritish <Ritish!~Ritish@2401:4900:4aa8:c9ad:197:228a:4b1f:f347> has quit IRC | 07:43 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 07:50 | |
| *** octavius <octavius!~octavius@92.40.168.206.threembb.co.uk> has joined #libre-soc | 08:20 | |
| octavius | programmerjake, lkcl, I'm sorry for wasting your time. | 08:26 |
| octavius | Instead of learning how to view the debug logs (or how to direct stdout to file to check the scripts themselves), I persisted trying to brute-force the flow to work. My stubbornness got the better of me. | 08:26 |
| octavius | As for starting with devscripts, that *is* what I'm doing, however as you said Luke, I'm not explaining *exactly* what I'm doing. | 08:26 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 08:37 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 09:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 09:56 | |
| *** Ritish <Ritish!~Ritish@2401:4900:4aa8:c9ad:cabe:370f:2b4c:18d4> has joined #libre-soc | 10:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 10:39 | |
| *** Ritish <Ritish!~Ritish@2401:4900:4aa8:c9ad:cabe:370f:2b4c:18d4> has quit IRC | 11:52 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 12:04 | |
| *** octavius <octavius!~octavius@92.40.168.206.threembb.co.uk> has quit IRC | 12:19 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 13:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 13:38 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 14:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.67> has joined #libre-soc | 14:27 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.67> has quit IRC | 14:55 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.67> has joined #libre-soc | 14:55 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.67> has quit IRC | 15:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.55.211> has joined #libre-soc | 15:02 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.55.211> has quit IRC | 15:13 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 15:16 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 15:21 | |
| lkcl | ok so if you ran the devscripts and you ended up with nmigen-0.2 from pypi that's a really serious problem with the devscripts that needs fixing. | 15:38 |
| lkcl | i'm going to run a new chroot to confirm | 15:38 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 15:47 | |
| * lkcl done chroot, installing deps | 15:49 | |
| lkcl | ah. i wonder if the installation of qemu from buster-backports does anything stupid | 16:07 |
| lkcl | (like, extra stupid that wasn't previously done, some time in the past... 4-5 months) | 16:07 |
| lkcl | install-hdl-apt-reqs done | 16:08 |
| * lkcl install-dev-repos next | 16:08 | |
| lkcl | although really should do hdl-tools-yosys first | 16:08 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 16:09 | |
| lkcl | wtf nmigen-0.1 being installed | 16:10 |
| lkcl | pypi is really, *really* getting on my wick | 16:11 |
| lkcl | nmigen 0.1.dev1205+g29dec30 /home/lkcl/src/nmigen | 16:13 |
| lkcl | nmigen-boards 0.1.dev217+ga949308 /home/lkcl/src/nmigen-boards | 16:13 |
| lkcl | nmigen-soc 0.1.dev53+gfd2aaa3 /home/lkcl/src/nmigen-soc | 16:13 |
| lkcl | nmigen-stdio 0.1.dev7+g475cb6f /home/lkcl/src/nmigen-stdio | 16:13 |
| lkcl | hmmm.... | 16:13 |
| lkcl | ok this is ok | 16:14 |
| lkcl | (pip3 list) | 16:14 |
| lkcl | libresoc-ieee754fpu 0.0.1 /home/lkcl/src/ieee754fpu/src | 16:14 |
| lkcl | libresoc-nmutil 0.0.1 /home/lkcl/src/nmutil/src | 16:14 |
| lkcl | libresoc-openpower-isa 0.0.3 /home/lkcl/src/openpower-isa/src | 16:14 |
| lkcl | c4m-jtag 0.1.dev152+gf5322d8 /home/lkcl/src/c4m-jtag | 16:14 |
| lkcl | octavius can you confirm that "pip3 list" in the chroot you are using shows those exact versions? | 16:15 |
| programmerjake | lkcl, that's not ok since later dependencies require v0.3...the issue is what we discovered earlier: the scripts delete the v0.2 tag hence the v0.1.0 version | 16:35 |
| programmerjake | for nmigen specifically ^ | 16:37 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 16:40 | |
| *** tplaten <tplaten!~isengaara@d536cd14.access.ecotel.net> has joined #libre-soc | 16:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 17:04 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 17:08 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 17:38 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 17:38 | |
| ghostmansd | setvl et al. are so fricking weird wrt non-zero operands | 17:39 |
| ghostmansd | It feels kinda unnatural and strange to increment variable temporarily | 17:39 |
| ghostmansd | Spent a lot of time trying to understand why sv.setvl behaves differently than I expected (I expected the value to be decremented upon entry to assembly) | 17:40 |
| ghostmansd | However, what we do, and what I did, too, for now, is temporarily incrementing the operand... to let it be decremented gracefully | 17:40 |
| ghostmansd | Sorry, I meant svstep | 17:50 |
| ghostmansd | BTW our assembly only covers svstep, not any operand which is non-zero. | 17:51 |
| ghostmansd | lkcl, answering `# FIXME(lkcl): should sv.svstep be like svstep?` | 18:01 |
| ghostmansd | Likely it should, otherwise it'll need a different operand class (why?) | 18:02 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 18:05 | |
| lkcl | programmerjake, i removed all dependencies from all setup.py configurations | 19:16 |
| lkcl | ghostmansd, i know. however there is only 7 bits - would it be preferable to store the value "128" as 0b0000000? and not be able to store the value "0" at all? | 19:18 |
| lkcl | and so on... | 19:18 |
| ghostmansd | You mean, kinda, overflowing? | 19:19 |
| ghostmansd | Well perhaps this would make more sense... | 19:19 |
| lkcl | yosys installed, nmigen, openpower-isa etc. installed | 19:19 |
| ghostmansd | Anyway, I did the same hack, just in a separate operand | 19:19 |
| lkcl | overflow-and-wrap, preventing and prohibiting the value "0" from being even express-able | 19:19 |
| ghostmansd | And added a check that this is "svstep", because somehow "setvl" does not follow the same logic | 19:20 |
| ghostmansd | This is perhaps the strangest part: they both have non-zero operands | 19:20 |
| ghostmansd | But handle them differently | 19:20 |
| ghostmansd | I think SVxz/SVxy/SVxz are also affected | 19:20 |
| lkcl | yes, i went through that thought-experiment 18+ months ago | 19:22 |
| lkcl | at the time restricted setvl to only allow values MAXVL=1..128 | 19:22 |
| lkcl | rather than (now) MAXVL=0..127 | 19:22 |
| lkcl | and likewise VL=1..128 | 19:23 |
| lkcl | rather than VL=0..127 | 19:23 |
| lkcl | but then it all went to hell in a handbasket when writing the fail-first specification | 19:23 |
| lkcl | because that *does* allow - require to be allowed - VL=0 | 19:24 |
| lkcl | and i went, "arrrrgh" and reversed the decision, sacrificing the ability to set MAXVL=128 in the process | 19:24 |
| ghostmansd | Let's keep it for a while. Since there is an explicit SVP64Operand subclass which does this hack, it is managable. | 19:25 |
| lkcl | SVx, SVy and SVz can all be thought of as "limit of the dimension inclusive in a for-loop" | 19:25 |
| lkcl | for i in [0..3] | 19:25 |
| ghostmansd | SVP64NonZeroOperand | 19:25 |
| lkcl | not "for i in range(4)" | 19:26 |
| lkcl | the assembler mnenomic/decode simply provides a "convenience", but of course requires the rule that the assembler mnemonic must throw a syntax error if the programmer attempts to set SVx=0 | 19:27 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 19:37 | |
| sadoon[m] | Are we meeting tonight? | 19:53 |
| programmerjake | yes, afaict | 19:53 |
| programmerjake | in 7min | 19:53 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:04 | |
| ghostmansd | I won't attend today, sorry | 20:15 |
| programmerjake | np, sleep well | 20:20 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 20:28 | |
| *** gnucode <gnucode!~gnucode@user/jab> has joined #libre-soc | 20:32 | |
| *** lx0 <lx0!~lxo@gateway/tor-sasl/lxo> has quit IRC | 20:59 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 21:05 | |
| *** yambo <yambo!~yambo@069-145-120-113.biz.spectrum.com> has quit IRC | 21:59 | |
| *** gnucode <gnucode!~gnucode@user/jab> has quit IRC | 22:20 | |
| *** gnucode <gnucode!~gnucode@user/jab> has joined #libre-soc | 22:21 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 22:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 23:08 | |
| *** gnucode <gnucode!~gnucode@user/jab> has quit IRC | 23:18 | |
| *** gnucode <gnucode!~gnucode@user/jab> has joined #libre-soc | 23:18 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 23:52 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!