| lkcl | indeed | 00:08 |
|---|---|---|
| * lkcl thinks | 00:08 | |
| lkcl | it doesn't matter "per se" because RA=0 is an illegal instruction | 00:20 |
| lkcl | ghostmansd, hang on, reading the spec it looks like RA_OR_ZERO for ldu is a bug | 00:23 |
| lkcl | it should just be "RA" | 00:25 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 05:45 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 05:45 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 08:43 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 09:43 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.172.13> has joined #libre-soc | 09:44 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.172.13> has quit IRC | 09:50 | |
| programmerjake | oh, it just occurred to me, since memory accesses aren't overridden by elwid, we'll need 16-bit fp loads/stores | 10:18 |
| programmerjake | lkcl: what do you think? | 10:18 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@46.39.229.42> has joined #libre-soc | 10:27 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@46.39.229.42> has quit IRC | 10:34 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.244> has joined #libre-soc | 10:35 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.244> has quit IRC | 10:39 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.13> has joined #libre-soc | 10:39 | |
| ghostmansd[m] | lkcl, please also check this: https://libre-soc.org/irclog/%23libre-soc.2023-05-30.log.html#t2023-05-30T18:32:28 | 12:15 |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 12:44 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.13> has quit IRC | 13:03 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 13:03 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 13:57 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 13:57 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 14:02 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 14:48 | |
| lkcl | programmerjake, arrrgh good point | 16:06 |
| lkcl | ghostmansd, it is a bug. | 16:06 |
| lkcl | reading the spec you cannot have RA=0 for ldu or ldux | 16:08 |
| lkcl | those instructions *both* need to have their csv lines changed to ...,RA,....,RA,... | 16:08 |
| lkcl | ghostmansd, i'm doing EXTRA332 at the moment | 16:09 |
| lkcl | programmerjake, ok actually now i think about it that's not such a bad idea | 16:34 |
| *** yambo <yambo!~yambo@069-145-110-003.biz.spectrum.com> has quit IRC | 17:51 | |
| *** yambo <yambo!~yambo@069-145-110-003.biz.spectrum.com> has joined #libre-soc | 18:04 | |
| ghostmansd | lkcl, you reply demonstrates that you didn't read the question. | 18:20 |
| ghostmansd | I understand you have a lot to do besides that. | 18:20 |
| ghostmansd | So I discovered the reply on my own. | 18:20 |
| ghostmansd | Please read the thread before replying, otherwise it just wastes your time. | 18:22 |
| ghostmansd | And wastes mine too. | 18:22 |
| ghostmansd | The reply is: yes there can be different extras for the same operand. Example is rlwimi instruction, probably others. | 18:23 |
| ghostmansd | 20,SHIFT_ROT,OP_RLC,RA,CONST_SH32,RS,RA,NONE,CR0,0,0,ZERO,0,NONE,0,0,0,0,1,0,RC_ONLY,0,0,rlwimi,M, | 18:23 |
| ghostmansd | Or, well, the correct is "not different extras", but rather same extra appearing twice on different indexes. | 18:24 |
| ghostmansd | rlwimi,NORMAL,,1P,EXTRA3,NO,d:RA;d:CR0,s:RA,s:RS,0,RA,0,RS,RA,0,CR0,0 | 18:25 |
| ghostmansd | d:RA leads to extra0, s:RA leads to extra1. | 18:26 |
| ghostmansd | That was the original question. | 18:26 |
| ghostmansd | And, by the way, this leads to failure: $(echo "sv.rlwimi 3, 1, 5, 20, 6" | SILENCELOG=true pysvp64asm) | 18:30 |
| ghostmansd | Triggering the exact assertion error which checks for different extras. | 18:30 |
| ghostmansd | I'm adding a test for this instruction into disassembly tests. | 18:31 |
| ghostmansd | List of broken instructions is here: https://bugs.libre-soc.org/show_bug.cgi?id=1093#c2 | 18:42 |
| ghostmansd | Raised a separate task: https://bugs.libre-soc.org/show_bug.cgi?id=1098 | 18:44 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 18:52 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.169> has joined #libre-soc | 18:52 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.169> has quit IRC | 18:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.169> has joined #libre-soc | 18:57 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.57.169> has quit IRC | 19:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 19:00 | |
| *** octavius <octavius!~octavius@92.40.169.131.threembb.co.uk> has joined #libre-soc | 19:54 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 19:55 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 19:58 | |
| *** ghostmansd[hexch <ghostmansd[hexch!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:05 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 20:07 | |
| *** ghostmansd[hexch <ghostmansd[hexch!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 20:12 | |
| *** ghostmansd[hexch <ghostmansd[hexch!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:12 | |
| *** octavius <octavius!~octavius@92.40.169.131.threembb.co.uk> has quit IRC | 20:21 | |
| *** octavius <octavius!~igloo@31.94.7.128> has joined #libre-soc | 20:46 | |
| octavius | I'll be about 10min late for the meeting today | 20:46 |
| *** octavius <octavius!~igloo@31.94.7.128> has quit IRC | 20:47 | |
| *** ghostmansd[hexch <ghostmansd[hexch!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 20:50 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 20:50 | |
| programmerjake | submitted https://bugs.libre-soc.org/show_bug.cgi?id=1099 for 16-bit fp load/stores, didn't have time to add see-also/blocks yet | 21:03 |
| programmerjake | i'll be a few min late | 21:04 |
| lkcl | ghostmansd, so sorry massive headache | 21:16 |
| lkcl | ghostmansd, brilliant will talke a look | 21:17 |
| ghostmansd | that's OK, np | 21:17 |
| ghostmansd | do we have a meeting today? | 21:17 |
| ghostmansd | I've been thinking of finally participating :-) | 21:17 |
| lkcl | good idea to put in test_pysvp64dis.py | 21:18 |
| ghostmansd | I'm refactoring extras to simplify the visitor idea and fix RA0/RT0 issues | 21:18 |
| ghostmansd | so please don't touch these places now | 21:19 |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 21:25 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 21:31 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 22:09 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 22:10 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 22:12 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 22:12 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 22:16 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has joined #libre-soc | 22:22 | |
| programmerjake | lkcl, thx for adding see-alsos! | 22:40 |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-109-173-83-100.ip.moscow.rt.ru> has quit IRC | 22:41 | |
| lkcl | always needed otherwise the bugs get lost as noise | 22:46 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 23:29 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 23:44 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!