*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 02:21 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 02:25 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 02:25 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 03:11 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 03:12 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 03:16 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 03:17 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 04:05 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 04:05 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 05:01 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 05:02 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 05:27 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 05:27 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 06:40 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 06:41 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 08:14 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 08:15 | |
Veera[m] | Have any new work me!! | 09:42 |
---|---|---|
*** octavius <octavius!~octavius@168.147.93.209.dyn.plus.net> has joined #libre-soc | 10:57 | |
programmerjake | ghostmansd: you should be able to copy the values for `darn` from: https://github.com/antonblanchard/microwatt/blob/de8fd492c8909f45f83a4cbbb5993156a5077b1c/decode1.vhdl#L238 | 11:50 |
programmerjake | that's where the csvs originally came from | 11:51 |
ghostmansd | Yes, I know this was generated. | 11:51 |
ghostmansd | How about having a list of identifiers to be skipped? | 11:51 |
ghostmansd | Likely in the same place where CVSs reside. | 11:51 |
ghostmansd | Sorry, but hard-coding these in the code is a really bad option. | 11:52 |
programmerjake | i meant you could take the values from the line i linked and use them to fill in the csv fields... | 11:52 |
ghostmansd | Don't we have a generator for this? | 11:54 |
ghostmansd | I mean, if we generated the file, shouldn't we keep generating it from decode1.vhdl? | 11:54 |
programmerjake | yes, but it goes the other way, from csv to vhdl | 11:54 |
programmerjake | we started from decode1.vhdl then edited it by hand | 11:55 |
programmerjake | edited the csv | 11:55 |
ghostmansd | So we took decode1.vhdl, then generated the CSV, then edited it? | 11:57 |
programmerjake | yup | 11:57 |
programmerjake | iirc | 11:58 |
ghostmansd | Why don't generate this CSV from VHDL and at the same time have some special CSV which only overrides entries which need to be overridden? | 11:58 |
ghostmansd | Changing the artifacts (and this includes the generated code) is a really strange option. | 11:58 |
ghostmansd | I guess at some point there was no darn insn in decode1.vhdl, right? Is it why this was added in CSV? | 11:59 |
programmerjake | yes, we converted before darn was added | 11:59 |
ghostmansd | If we haven't touched the generated artifact at all and simply had a custom CSV, that one would be a great field for experiments. | 12:00 |
programmerjake | original commit: https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=f1b3aff57eed74fd8b7afb74de84b562778518eb | 12:01 |
ghostmansd | And perhaps we even could restrict custom CSV with only new names. That is, when the code opens the generated CSV and a custom one, it could check if a custom CSV tries to update the insn already present in the generated one. | 12:01 |
ghostmansd | But OK, I will skip these entries for now. | 12:02 |
programmerjake | lkcl would know if he still has whatever script generated the csv lying around... | 12:02 |
ghostmansd | Still this is bad, because it's silent and non-obvious, and requires a manual intervention and intimate knowledge of the sources. | 12:02 |
ghostmansd | One of rules I've constantly been sticking to is never EVER edit the autogenerated files. | 12:03 |
programmerjake | yeah, we definitely need more error checking...if we were using rust this would be more likely to be error checked because we'd just parse it into a struct... | 12:04 |
programmerjake | serde's pretty awesome in that respect | 12:04 |
ghostmansd | Well, basically all the recent comments are caused by the fact I started adding these checks | 12:08 |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 12:11 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 12:12 | |
octavius | lkcl, the Pin class doesn't include the bank information. Should I add a parameter to indicate the bank (0/1/2/3)? | 14:13 |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 14:13 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.122> has joined #libre-soc | 14:14 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.122> has quit IRC | 14:18 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.157> has joined #libre-soc | 14:20 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.157> has quit IRC | 14:29 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 14:29 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 14:41 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 14:41 | |
*** tplaten <tplaten!~isengaara@55d4ae55.access.ecotel.net> has joined #libre-soc | 16:02 | |
markos | programmerjake, iirc you pasted a list of RVV intrinsics some time ago, but I cannot find the link, it was probably in jitsi, would you mind sharing this again? or even better a parsable/mineable file with the full intrinsics list? | 16:03 |
markos | or rather a link to that | 16:04 |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 16:27 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.162> has joined #libre-soc | 16:27 | |
*** octavius <octavius!~octavius@168.147.93.209.dyn.plus.net> has quit IRC | 17:26 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.162> has quit IRC | 17:57 | |
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 17:58 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 19:06 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 19:06 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 19:18 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 19:19 | |
*** octavius <octavius!~octavius@168.147.93.209.dyn.plus.net> has joined #libre-soc | 19:29 | |
*** tplaten <tplaten!~isengaara@55d4ae55.access.ecotel.net> has quit IRC | 20:23 | |
ghostmansd | markos, something like this? https://raw.githubusercontent.com/riscv-non-isa/rvv-intrinsic-doc/master/intrinsic_funcs/05_vector_fixed-point_arithmetic_functions.md | 22:11 |
ghostmansd | well, rather this: https://github.com/riscv-non-isa/rvv-intrinsic-doc/tree/master/intrinsic_funcs | 22:11 |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 22:43 | |
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 22:44 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!