| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 01:15 | |
| lkcl | ah, it was there as a general comment for that section | 02:33 |
|---|---|---|
| lkcl | i'll sort it | 02:33 |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 08:57 | |
| *** markos <markos!~Konstanti@178.59.250.4> has quit IRC | 09:15 | |
| *** markos <markos!~Konstanti@178.59.250.4> has joined #libre-soc | 09:28 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 09:49 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 10:17 | |
| *** octavius <octavius!~octavius@197.147.93.209.dyn.plus.net> has joined #libre-soc | 11:31 | |
| octavius | lkcl, I did wonder why budget-sync didn't work. Sorry about that | 11:34 |
| lkcl | octavius, you can see other bugreports for examples. all sorted | 12:10 |
| lkcl | btw can you fix URLs here https://bugs.libre-soc.org/show_bug.cgi?id=739 | 12:10 |
| lkcl | 404 not found on wiki | 12:10 |
| octavius | will do | 12:13 |
| lkcl | comment 0 is a main priority | 12:15 |
| lkcl | it gets submitted to FundingBox | 12:15 |
| octavius | updated the links | 12:19 |
| lkcl | magic | 12:21 |
| lkcl | i'll be putting in milestone 3 in the next 2-ish-or-so weeks | 12:21 |
| lkcl | but need everything in order first | 12:21 |
| octavius | nice | 12:21 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 12:26 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has joined #libre-soc | 12:27 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has quit IRC | 12:42 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has joined #libre-soc | 12:43 | |
| *** octavius <octavius!~octavius@197.147.93.209.dyn.plus.net> has quit IRC | 12:52 | |
| *** lx0 <lx0!~lxo@gateway/tor-sasl/lxo> has quit IRC | 13:41 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has quit IRC | 14:33 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has joined #libre-soc | 14:34 | |
| lkcl | programmerjake, on "setvl.", check test_caller_setvl.py - changing the behaviour of "svstep." is... dodgy | 14:41 |
| lkcl | and the "vertical-first" stepping, it's making me nervous | 14:44 |
| lkcl | 33 if Rc = 1 then | 14:44 |
| lkcl | 34 if step = 0 then c <- 0b001 | 14:44 |
| lkcl | further down? no problem | 14:44 |
| lkcl | 61 if Rc = 1 then | 14:45 |
| lkcl | 62 if VL = 0 then c <- 0b001 | 14:45 |
| lkcl | 63 else c <- 0b010 | 14:45 |
| lkcl | nope, thought about it: reverting | 14:52 |
| lkcl | handle_comparison should be the place - if at all - where Rc=1 is handled. | 14:53 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.93> has quit IRC | 15:15 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 15:16 | |
| lkcl | ok i found the source of the problem - GPR(_RT) <- xxxx instead of RT <- xxxx | 15:37 |
| lkcl | what i _did_ realise is, of course, an overflow flag is needed (to set CR0.SO) | 15:39 |
| lkcl | i'll have to update the spec for that | 15:39 |
| lkcl | gaaah | 16:02 |
| lkcl | simplev.mdwn has to go back to what it was, and, sigh, ISACaller.handle_comparison has to be handed a copy of SVSTATE.vl | 16:02 |
| lkcl | *NOT* RT | 16:03 |
| lkcl | this to cope with RT=0 - CR0 *still* has to be update when Rc=1 and RT=0 | 16:03 |
| lkcl | frickin 'ell :) | 16:03 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 16:31 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.120> has joined #libre-soc | 16:31 | |
| openpowerbot | [mattermost] <lkcl> https://cfp.openpower.foundation/openpowersummit2022/cfp - call for papers on openpower 2022 summit - 10th november, 2 weeks until CFP deadline | 17:02 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.162.120> has quit IRC | 17:22 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.52.246> has joined #libre-soc | 17:22 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 17:24 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 17:35 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 17:35 | |
| programmerjake | lkcl: your latest openpower-isa commit is broken: | 17:41 |
| programmerjake | > return (SVSTATE, CTR, overflow,) | 17:41 |
| programmerjake | E UnboundLocalError: local variable 'overflow' referenced before assignment | 17:41 |
| programmerjake | src/openpower/decoder/isa/simplev.py:67: UnboundLocalError | 17:42 |
| programmerjake | https://salsa.debian.org/Kazan-team/mirrors/openpower-isa/-/jobs/3150341#L2258 | 17:42 |
| programmerjake | imho this is why you should subscribe to build failure emails, you can just delete them after you get them, but you need some kind of active notification, since you don't seem to check CI that often... | 17:44 |
| programmerjake | lemme know if you want that and I'll send you a link to change your subscription | 17:45 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.52.246> has quit IRC | 17:45 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 17:45 | |
| programmerjake | i went to a lot of effort to get openpower-isa to pass CI specifically so it can catch stuff like this | 17:45 |
| *** octavius <octavius!~octavius@197.147.93.209.dyn.plus.net> has joined #libre-soc | 18:00 | |
| lkcl | programmerjake, i'm good | 19:31 |
| lkcl | v. tired. | 19:32 |
| lkcl | added two more setvl. (Rc=1) unit tests, these are for CTR-mode | 19:39 |
| programmerjake | also forgot declaring SO, OV and OV32 to be modified, assuming that's what overflow is for | 19:40 |
| lkcl | programmerjake, i'll pm you the secret URL for formal-proofs RFPs | 19:41 |
| programmerjake | imho setvl should *not* set SO, since that'll just make any following Rc=1 instruction block on the setvl unnecessarily | 19:42 |
| lkcl | fortunately in SFFS compliancy level XER.SO can be ignored completely. | 19:44 |
| programmerjake | well, not all cpus are only sffs, we need to not unnecessarily add stuff that makes it slower...knowing if setvl chose a value smaller than the input can easily be done with cmpldi for the very rare cases when that's necessary. the rest of the time not blocking on SO is imho more important | 19:48 |
| programmerjake | note that imho that's *not* setvl overflowing, because setvl is defined to take the min(input, MVL) and the output of the min won't ever overflow | 19:49 |
| lkcl | it's overflowing the limit of MAXVL. | 19:50 |
| lkcl | i can see that being useful to know. | 19:50 |
| lkcl | Power ISA scalar operations set XER.SO. | 19:51 |
| lkcl | an exception to that requires justification and it will be the sole exclusive scalar instruction which does not set XER.SO | 19:51 |
| programmerjake | power scalar operations only set SO if you use the *o instruction option, which they state is often quite slow. | 19:51 |
| lkcl | IBM defined the Linux/AIX Levels as requiring XER.SO to be set at all times from CR0.SO | 19:51 |
| lkcl | yes, because of hazard dependencies | 19:52 |
| lkcl | and nobody uses them | 19:52 |
| programmerjake | there are plenty of instructions that do not set SO, e.g. modulus | 19:52 |
| * lkcl thinks... | 19:52 | |
| lkcl | i need rest, urgently. i can see the case for not setting XER.SO. leave it with me. | 19:52 |
| * lkcl afk | 19:53 | |
| programmerjake | k | 19:53 |
| programmerjake | gn | 19:53 |
| programmerjake | lkcl: openpower-isa ci passed, thx for fixing it! | 20:07 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 22:23 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 22:30 | |
| *** octavius <octavius!~octavius@197.147.93.209.dyn.plus.net> has quit IRC | 22:38 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!