sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv | Matrix: #riscv:catircservices.org
wingsorc has joined #riscv
aburgess has quit [Remote host closed the connection]
aburgess has joined #riscv
Laurence_b has joined #riscv
Laurence_b has quit [Client Quit]
rvalles has joined #riscv
Jackneill has quit [Ping timeout: 258 seconds]
prabhakarlad has quit [Ping timeout: 250 seconds]
prabhakar has quit [Ping timeout: 264 seconds]
EchelonX has quit [Quit: Leaving]
billchenchina has quit [Remote host closed the connection]
billchenchina has joined #riscv
sakman has joined #riscv
sakman_ has joined #riscv
rvalles has quit [Ping timeout: 245 seconds]
sakman has quit [Ping timeout: 240 seconds]
sunn has quit [Ping timeout: 250 seconds]
heat has quit [Ping timeout: 246 seconds]
rvalles has joined #riscv
Tenkawa has quit [Quit: Was I really ever here?]
averymt has quit [Ping timeout: 255 seconds]
handsome_feng has quit [Quit: Connection closed for inactivity]
billchenchina has quit [Remote host closed the connection]
billchenchina has joined #riscv
sunn has joined #riscv
sunn has quit [Ping timeout: 250 seconds]
sunn has joined #riscv
la_mettrie has quit [Server closed connection]
la_mettrie has joined #riscv
jacklsw has joined #riscv
edf0 has quit [Server closed connection]
edf0 has joined #riscv
jljusten has quit [Server closed connection]
troglodito has quit [Server closed connection]
jljusten has joined #riscv
troglodito has joined #riscv
alexfanqi has quit [Server closed connection]
alexfanqi has joined #riscv
edr has quit [Quit: Leaving]
crabbedhaloablut has joined #riscv
davidlt has joined #riscv
billchenchina has quit [Quit: Leaving]
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
frkzoid has joined #riscv
freakazoid332 has joined #riscv
frkazoid333 has quit [Ping timeout: 260 seconds]
frkzoid has quit [Ping timeout: 245 seconds]
muurkha has quit [Server closed connection]
muurkha has joined #riscv
grgy has quit [Server closed connection]
grgy has joined #riscv
raym has quit [Quit: Upgrade to FreeBSD 14.0-RELEASE]
davidlt has quit [Ping timeout: 268 seconds]
Sofia has quit [Server closed connection]
Sofia has joined #riscv
wbx has quit [Server closed connection]
wbx has joined #riscv
bbyoume has quit [Server closed connection]
sakman_ has quit [Quit: Leaving]
sakman has joined #riscv
wigyori has quit [Server closed connection]
wigyori has joined #riscv
GreaseMonkey has quit [Remote host closed the connection]
greaser|q has joined #riscv
wingsorc has quit [Ping timeout: 240 seconds]
riktw_ has quit [Server closed connection]
riktw has joined #riscv
mturquette has quit [Server closed connection]
mturquette has joined #riscv
BootLayer has joined #riscv
ncopa has quit [Server closed connection]
ncopa has joined #riscv
conchuod has quit [Server closed connection]
ConorDooley has joined #riscv
shamoe has quit [Quit: Connection closed for inactivity]
sunn has quit [Ping timeout: 250 seconds]
davidlt has joined #riscv
geist has quit [Server closed connection]
geist has joined #riscv
qwestion has quit [Server closed connection]
kgz has quit [Server closed connection]
kgz has joined #riscv
Galihom has quit [Server closed connection]
Galihom has joined #riscv
danilogondolfo has joined #riscv
pecastro has joined #riscv
jmdaemon has joined #riscv
prabhakarlad has joined #riscv
prabhakar has joined #riscv
seds has quit [Server closed connection]
seds has joined #riscv
cronos has quit [Server closed connection]
cronos has joined #riscv
zapb_ has quit [Ping timeout: 258 seconds]
edef has quit [Ping timeout: 240 seconds]
zapb__ has joined #riscv
_catircservices has quit [Ping timeout: 258 seconds]
edef has joined #riscv
jacklsw has quit [Ping timeout: 240 seconds]
ezulian has joined #riscv
elastic_dog has quit [Ping timeout: 252 seconds]
_catircservices has joined #riscv
simpl_e has quit [Remote host closed the connection]
simpl_e has joined #riscv
elastic_dog has joined #riscv
Jackneill has joined #riscv
paulbarker has quit [Server closed connection]
paulbarker has joined #riscv
zx2c4 has quit [Server closed connection]
zx2c4 has joined #riscv
agraf has quit [Server closed connection]
agraf has joined #riscv
mcfrdy has quit [Server closed connection]
mcfrdy has joined #riscv
paulk has quit [Server closed connection]
paulk has joined #riscv
mlaga97 has quit [Server closed connection]
mlaga97 has joined #riscv
Andre_Z has joined #riscv
Andre_Z has quit [Quit: Leaving.]
psydroid2 has joined #riscv
obrut has quit [Server closed connection]
obrut has joined #riscv
gkalsi has quit [Server closed connection]
gkalsi has joined #riscv
awita has joined #riscv
elms has quit [Server closed connection]
elms has joined #riscv
mlw has quit [Ping timeout: 252 seconds]
psydroid2 has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]
mlw has joined #riscv
psydroid2 has joined #riscv
roxell has quit [Server closed connection]
pavelow has quit [Server closed connection]
roxell has joined #riscv
pavelow has joined #riscv
notgull has quit [Ping timeout: 260 seconds]
notgull has joined #riscv
Nixkernal has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
Nixkernal has joined #riscv
Andre_Z has joined #riscv
jmdaemon has quit [Ping timeout: 260 seconds]
cow321 has quit [Server closed connection]
cow321 has joined #riscv
dogukan has joined #riscv
khilman has quit [Server closed connection]
khilman has joined #riscv
q66 has quit [Server closed connection]
q66 has joined #riscv
sunn has joined #riscv
dlan has quit [Server closed connection]
dlan has joined #riscv
jacklsw has joined #riscv
deathmist has quit [Ping timeout: 246 seconds]
hrberg has quit [Server closed connection]
hrberg has joined #riscv
deathmist has joined #riscv
BootLayer has quit [Quit: Leaving]
jn has quit [Server closed connection]
jn has joined #riscv
jn has joined #riscv
sunn has quit [Ping timeout: 250 seconds]
octav1a has quit [Server closed connection]
octav1a has joined #riscv
deathmist has quit [Ping timeout: 260 seconds]
danielinux has quit [Server closed connection]
danielinux has joined #riscv
deathmist has joined #riscv
sunn has joined #riscv
dogukan has quit [Remote host closed the connection]
koolazer has quit [Server closed connection]
koolazer has joined #riscv
obrut has quit [Changing host]
obrut has joined #riscv
crest has quit [Server closed connection]
crest has joined #riscv
felixonmars has quit [Server closed connection]
tanami has quit [Server closed connection]
tanami has joined #riscv
felixonmars has joined #riscv
yongxiang has quit [Server closed connection]
yongxiang has joined #riscv
EchelonX has joined #riscv
EchelonX has quit [Client Quit]
EchelonX has joined #riscv
BootLayer has joined #riscv
awita has quit [Ping timeout: 268 seconds]
NishanthMenon has quit [Server closed connection]
NishanthMenon has joined #riscv
lagash has quit [Ping timeout: 260 seconds]
nathanchance has quit [Server closed connection]
nathanchance has joined #riscv
hmw has joined #riscv
Irvise has quit [Server closed connection]
Irvise has joined #riscv
tafa has quit [Server closed connection]
tafa has joined #riscv
unnick has quit [Ping timeout: 255 seconds]
heat has joined #riscv
shamoe has joined #riscv
sauce has quit [Server closed connection]
sauce has joined #riscv
Forty-Bot has quit [Server closed connection]
Forty-Bot has joined #riscv
ntwk has quit [Quit: ntwk]
jacklsw has quit [Remote host closed the connection]
unnick has joined #riscv
prabhakarlad has quit [Quit: Client closed]
gianluca has quit [Read error: Connection reset by peer]
gianluca has joined #riscv
puranjaymohan has quit [Read error: Connection reset by peer]
puranjaymohan has joined #riscv
tucanae47 has quit [Read error: Connection reset by peer]
tucanae47 has joined #riscv
unnick has quit []
unnick has joined #riscv
prabhakarlad has joined #riscv
sunn has quit [Remote host closed the connection]
sunn has joined #riscv
Starfoxxes has quit [Server closed connection]
Starfoxxes has joined #riscv
<unlord> courmisch: has anyone managed to boot a more modern kernel on the K230?
<courmisch> unlord: I didn't give my image to anybody, so the trojan that I put in it cannot track anybody else's kernel version :)
<unlord> courmisch: lol
lagash has joined #riscv
<courmisch> palmer and drewfustini strike me as more likely people to make build newer kernels, but not giving any names (just IRC handles)
<unlord> no one will ever know who palmer is
<courmisch> poor you and him, getting business travel to LPC, and not having time to work on the K230
<drewfustini> Unfortunately I've not tried anything with K230 yet, still trying to finish some projects on TH1520 upsteaming
<unlord> courmisch: I drove 4h yesterday (to and from), I'm back home now
<courmisch> make sure you don't steam it too much that it doesn't melt
sunn has quit [Remote host closed the connection]
<courmisch> and I bought an apartment literally next to the metro station, so I can commute in under 20 minutes and have more free time for RISC-V and other hobbies
sunn has joined #riscv
jonmasters has quit [Server closed connection]
jonmasters has joined #riscv
<courmisch> unlord: I think you're asking for the cart before the horses. First, figure out how to boot on a proper /boot so you can actually change the kernel and u-boot
<courmisch> but maybe real men just update their kernel directly on raw block device, I don't know
<bjdooks> in my day we had to xmodem it down a serial port at 115200
<courmisch> my first Linux had to be booted off a 3.5" floppy even though it was installed on the hard drive
<courmisch> that was before I figured LOADLIN.EXE was a thing
<courmisch> fun times, copying the vmlinuz to the DOS partition and updating CONFIG.SYS for every new kernel version
<courmisch> but I diggress
awita has joined #riscv
<courmisch> unlord: I don't know. Probably people at Canaan or T-Head did manage
<courmisch> unlord: what do you want newer kernel for? riscv_hwprobe?
sunn has quit [Ping timeout: 250 seconds]
vagrantc has joined #riscv
djdelorie has quit [Server closed connection]
raghavgururajan has quit [Server closed connection]
raghavgururajan has joined #riscv
djdelorie has joined #riscv
<courmisch> where is VWSLL.VX when you need it
<unlord> courmisch: exactly
awita has quit [Remote host closed the connection]
ezulian has quit [Quit: ezulian]
<unlord> getauxval() supports 'V' but someone pointed said there was a way to check for integer but not floating-point vector support
<courmisch> unlord: do you suddendly care about embedded subsets?
<unlord> reading up on it, I definitely don't
<unlord> Zve64x is not Zvl128b
<unlord> yeah, this is a good point
<courmisch> well, FFmpeg does support all 3 subsets (Zve32x, Zve64x, Zve32f), as well as Zvl32b and Zvl64b, in principles.
aredridel has quit [Read error: Connection reset by peer]
<sorear> courmisch: part of Zvbb
<sorear> nominally a crypto extension :|
aredridel has joined #riscv
<courmisch> sorear: you mean widening shift left?
<sorear> yes
<courmisch> sigh, why ever
<sorear> depending on the core you may get the same throughput with vwmul...
<courmisch> FLAC decorrelate is going to be satisfied with 60% performance gains
<courmisch> s/to be/to have to be/
<unlord> courmisch: is FFmpeg going to have embedded code?
<courmisch> I'm not sure what that means in your head
<unlord> courmisch: is FFmpeg going to have code for embedded subsets of V?
<courmisch> it already does
<courmisch> every function is correctly tagged to a subset
<courmisch> in practice, nobody uses that though
<sorear> no support in hwprobe
<courmisch> well, nobody uses FFmpeg on RVV hardware anyway
<unlord> courmisch: we're talking about RVV optimizations right?
<courmisch> sorear: yeah, but since it's for embedded, I suppose compile time check is good enough (and that is supported)
<unlord> ahh
<sorear> are there ffmpeg rvv macrobenchmarks? "X function is Y% faster" is one thing but "X end-user operation is Y% faster" would be neat to see
<courmisch> at least GCC has predefs for each subset
<courmisch> sorear: thanks for volunteering
<sorear> no promises re. schedule
<courmisch> that was a joke but *I* am *not* doing macrobenchmarks on a K230 and on my freetime
<sorear> too slow?
<unlord> what is a macrobenchmark?
<unlord> like, scaling a video v the scale function?
<courmisch> unlord: run an actual decoder, not just a DSP function
<unlord> yah ok
<courmisch> sorear: single core, little RAM, and I just can't be bothered as a hobbyist TBH
<unlord> courmisch: I'm still fixing this gentoo img and I was going to run perf on dav1d :)
<sorear> hopefully it has more than k210's 8MB
<courmisch> Debian debootstrap worked without any work. I just had a little bit of trouble turning of hvc0 in systemd
<unlord> 512M
<courmisch> off*
<unlord> courmisch: every program I run from the prompt hangs
<unlord> which makes me think the programs I rebuilt are not matching the hardware
<courmisch> it should throw a SIGILL, not hang
<unlord> how do I debug?
<courmisch> well if gdb hangs, you're kinda screwed
<unlord> I was going to restart with a fresh gentoo stage3 from upstream and make sure that owrks
<courmisch> install Debian and try to chroot into Gentoo from there?
<unlord> yeah, I could do that
<courmisch> sorear: only 64 times more
tux3 has quit [Server closed connection]
tux3 has joined #riscv
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
shreyasminocha has quit [Server closed connection]
shreyasminocha has joined #riscv
jleightcap has quit [Server closed connection]
jleightcap has joined #riscv
ntwk has joined #riscv
notgull has quit [Ping timeout: 240 seconds]
notgull has joined #riscv
motherfsck has quit [Ping timeout: 264 seconds]
hl has quit [Server closed connection]
hl has joined #riscv
Andre_Z has quit [Quit: Leaving.]
edr has joined #riscv
freakazoid332 has quit [Ping timeout: 245 seconds]
MoeIcenowy has quit [Server closed connection]
frkazoid333 has joined #riscv
MoeIcenowy has joined #riscv
frkzoid has joined #riscv
frkazoid333 has quit [Ping timeout: 246 seconds]
shachaf has quit [Server closed connection]
shachaf has joined #riscv
<smaeul> prabhakarlad: noncoherent_supported is __ro_after_init. the bug is that Andes errata processing should not happen at module load time
<courmisch> I wish there was a vredsum.vx and I could just pass zero as the accumulator...
<courmisch> it seems that whenever I have a use for sum, the scalar source is zero
dzaima[m] has joined #riscv
<dzaima[m]> yeah, it's a weird operation. Scalable plus not being the thing to use for a loop (elementwise adds & a sum at the end is clearly better) makes a poor combo
<dzaima[m]> I'd imagine it might also have extra latency from that on some impls, which is extra sad for the common case of zero
<sorear> it would also be nice if the reductions matched other operations and had implementation-defined vstart rules, instead of mandating in the spec that vstart not be supported
<sorear> at least for vf(w)redosum which has rather painful latency at SEW=16 LMUL=8
<courmisch> as a user space dude, I pretend that vstart does not exist :)
<courmisch> sorear: are you saying that it is faster to manually reduce from M=8 to M=1 before using the sum?
<courmisch> (I mean, using three consecutive vector-adds)
<dzaima[m]> can't do that if you want to do exactly vfredosum and not vfredusum
psydroid has quit [Server closed connection]
psydroid has joined #riscv
ldevulder has quit [Read error: No route to host]
ldevulder_ has joined #riscv
<courmisch> I'm not a compiler, I don't use vredosum :P
motherfsck has joined #riscv
zkrx has quit [Server closed connection]
<dzaima[m]> an LMUL=8 vfredusum implementation can choose to internally reduce to LMUL=1 via 3 vfadd-s, but there's no guarantee it will
zkrx has joined #riscv
pld has quit [Server closed connection]
pld has joined #riscv
davidlt has quit [Ping timeout: 245 seconds]
<dzaima[m]> camel-cdr's K230 results for vfredusum follow (time_of_lmul_1 + 6 * (lmul - 1)), i.e. some base cost that depends on the type, plus 6 cycles/register (whereas vfredosum has a cost of 3 cycles/_element_), so I believe a single LMUL=4 vfadd before vfredusum would be better on it. vfwredosum and vfwredusum are both the same and bad (4 cycles/element)
<courmisch> I'm a bit wary of microoptimising too much for C908 only for other designs to end up with worse perfs
<dzaima[m]> right
sm2n has quit [Server closed connection]
sm2n has joined #riscv
BootLayer has quit [Quit: Leaving]
<dzaima[m]> I'd imagine you couldn't make it much worse by the manual LMUL=4-ification; the best hardware could really do is an equivalent of that itself, and at that high of an LMUL, the cost of a separate instruction probably doesn't matter much. Going to LMUL=2 or 1 would be more questionable, especially with the vtype changes
<courmisch> it's not clear to me how expensive vsetvli would be, especially whilst changing VL
Perflosopher has quit [Server closed connection]
Perflosopher has joined #riscv
<sorear> courmisch: i'm saying interrupt latency is needlessly bad because vfredosum, and only vfredosum, can do 100+ cycles of work without any architectural resume mechanism
<dzaima[m]> it could also just be aborted (only a single elements worth of in-progress data), but then you might run into forward progress issues or something
<courmisch> sorear: yes that does not sound very good especially for real-time, but I don't care about those use cases atm :)
<courmisch> and besides, I don't do redosum
<sorear> (let's assume lmul=8 vlen=128 sew=16, so that's 64 dependent adds, which have 3-5 cycle latency on most designs... extremely large register file designs will have it worse, or you can cut it in half by not implementing Zvfh, or ignoring forward progress)
<courmisch> even the spec says that redosum is for compilers who can't violate IEEE rounding rules
arcade_droid has quit [Server closed connection]
arcade_droid has joined #riscv
Leopold has quit [Server closed connection]
<ConorDooley> Do we know the set of CPUs that have the broken underflow detection?
Leopold has joined #riscv
<Esmil> ConorDooley: i think it's at least all the "1st gen" t-head cores. c906 (Allwinner D1), c910 (TH1520) and c920 (SG2042)
<courmisch> ConorDooley: is that another name for the missing FPU exception bug?
danilogondolfo has quit [Remote host closed the connection]
danilogondolfo has joined #riscv
<courmisch> I can try on C908 if somebody has a small C test case
<ConorDooley> Devils advocate - I should send a patch deleting FD from their devicetrees
<Esmil> courmisch: that would be interesting: https://github.com/revyos/revyos/issues/17
<courmisch> Esmil: it says success
<courmisch> at least on the big core
<Esmil> yeah, a bit down the thread someone agrees
sevan has joined #riscv
sevan has quit [Changing host]
<sorear> the IEEE rules for default handling of underflow exceptions are very confusing and I don't think C906 will be the last core to make that mistake
<courmisch> there's no conformance test for that?
<ConorDooley> Self certification baby
<sorear> last I checked the risc-v first party conformance tests were not particularly complete, but that was several years ago
<courmisch> WhatCouldPossiblyGoWrong
<sorear> there's a bit of a moral hazard given the number of members that sell conformance tests
<courmisch> stricter tests means more opportunities to upsell customers
mlw has quit [Ping timeout: 245 seconds]
<ConorDooley> courmisch: so you say the k230's FPU is okay?
<courmisch> ConorDooley: teh big core FPU at least yes
<sorear> 2^192*4*5*2 possible combinations of inputs and rounding modes for the four FMA-type instructions alone...
<courmisch> in my previous job, you'd see a single test box for six digits and you'd need several of them
<courmisch> but 2^200 combos may be a little much
<sorear> if you're testing the manufactured article you only need to know that every gate and wire functions as intended, not look for design flaws...
prabhakarlad has quit [Quit: Client closed]
Laurence_b has joined #riscv
prabhakarlad has joined #riscv
catcream_ has quit [Server closed connection]
catcream__ has joined #riscv
sumoon has quit [Server closed connection]
sumoon has joined #riscv
jmdaemon has joined #riscv
frkzoid has quit [Read error: Connection reset by peer]
jfsimon has quit [Remote host closed the connection]
ikke has quit [Server closed connection]
ikke has joined #riscv
psydroid2 has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]
Laurence_b has quit [Quit: Client closed]
yyp has quit [Server closed connection]
yyp has joined #riscv
agent314 has joined #riscv
flatmush has quit [Server closed connection]
flatmush has joined #riscv
wingsorc has joined #riscv
crabbedhaloablut has quit []
agent314 has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
agent314 has joined #riscv
frkazoid333 has joined #riscv
vagrantc has quit [Quit: leaving]