| *** jab <jab!~jab@user/jab> has quit IRC | 00:12 | |
| *** jab <jab!~jab@user/jab> has joined #libre-soc | 00:13 | |
| *** jab <jab!~jab@user/jab> has quit IRC | 00:29 | |
| *** jab <jab!~jab@user/jab> has joined #libre-soc | 00:29 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 01:29 | |
| *** jab <jab!~jab@user/jab> has quit IRC | 01:48 | |
| *** jab <jab!~jab@user/jab> has joined #libre-soc | 01:48 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 02:08 | |
| *** jab <jab!~jab@user/jab> has quit IRC | 03:15 | |
| *** jn <jn!~quassel@user/jn/x-3390946> has quit IRC | 03:20 | |
| *** sauce <sauce!~sauce@omae.wa.mou.shindei.ru> has quit IRC | 03:20 | |
| *** awygle <awygle!~quassel@2604:a880:2:d0::5380:3001> has quit IRC | 03:20 | |
| *** mx08 <mx08!~mx08@user/mx08> has quit IRC | 03:20 | |
| *** awygle <awygle!~quassel@2604:a880:2:d0::5380:3001> has joined #libre-soc | 03:22 | |
| *** sauce <sauce!~sauce@omae.wa.mou.shindei.ru> has joined #libre-soc | 03:23 | |
| *** jn <jn!~quassel@2a02:908:1066:b7c0:20d:b9ff:fe49:15fc> has joined #libre-soc | 03:24 | |
| *** jn <jn!~quassel@user/jn/x-3390946> has joined #libre-soc | 03:24 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 07:38 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 07:57 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 08:23 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 08:40 | |
| *** markos <markos!~Konstanti@static062038151250.dsl.hol.gr> has quit IRC | 09:25 | |
| *** ghostmansd <ghostmansd!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 10:10 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 11:24 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 11:45 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 11:52 | |
| *** midnight <midnight!~midnight@user/midnight> has quit IRC | 11:55 | |
| *** midnight <midnight!~midnight@user/midnight> has joined #libre-soc | 11:57 | |
| lkcl | programmerjake, well spotted on the pseudocode for shadd. i took out the switch, it _should_ work to use SelectableInts as ranges | 12:18 |
|---|---|---|
| lkcl | soon find out | 12:18 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has quit IRC | 12:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.56.38> has joined #libre-soc | 12:57 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.56.38> has quit IRC | 13:11 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@broadband-188-32-220-156.ip.moscow.rt.ru> has joined #libre-soc | 13:12 | |
| *** openpowerbot_ <openpowerbot_!~openpower@94-226-188-34.access.telenet.be> has quit IRC | 13:29 | |
| *** openpowerbot_ <openpowerbot_!~openpower@94-226-188-34.access.telenet.be> has joined #libre-soc | 13:30 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 18:31 | |
| ghostmansd | > it _should_ work to use SelectableInts as ranges | 20:11 |
| ghostmansd | Doesn't seem to be the case, as if our parser lacked ([0] * ANY_BUT_INT_OR_XLEN) logic... | 20:13 |
| ghostmansd[m] | I'll re-check this idea, but logs show the error is somewhat related | 20:21 |
| lkcl | hmmm.... | 22:14 |
| lkcl | that sounds vaguely familiar | 22:15 |
| lkcl | there's a "identify xint_mul_pattern()" function which looks for exactly that scenario | 22:16 |
| lkcl | i think... | 22:16 |
| lkcl | yes | 22:17 |
| lkcl | RT = concat(n[m:self.XLEN - 1 + 1], [0] * m) + RA | 22:19 |
| lkcl | yep that's failing to recognise "[0] * m" in the parser | 22:19 |
| lkcl | "[0]*XLEN" however is fone | 22:20 |
| lkcl | fine | 22:20 |
| ghostmansd | yep | 22:20 |
| ghostmansd | that was indeed the case | 22:21 |
| lkcl | i know. have to check it's not a "name" rather than an Attribute as well in identify_sint_mul_pattern() | 22:21 |
| ghostmansd | case should work, perhaps I'll restore it | 22:21 |
| lkcl | 1 sec let me see if i end up breaking everything or not | 22:21 |
| ghostmansd | yep, I found this place | 22:21 |
| ghostmansd | but no patience changing pywriter for this task | 22:21 |
| lkcl | give me 5 mins to experiment | 22:21 |
| ghostmansd | sure | 22:22 |
| lkcl | got the pattern recognised, just need to run unit tests | 22:25 |
| lkcl | holy cow my new server's fast. | 22:31 |
| lkcl | 5 minutes to run the entire test_caller*.py suite | 22:31 |
| lkcl | ghostmansd, all good. | 22:37 |
| lkcl | RT = concat(n[m:self.XLEN - 1 + 1], concat(0, repeat=m)) + RA | 22:38 |
| *** josuah <josuah!~irc@46.23.94.12> has quit IRC | 22:38 | |
| lkcl | by "all good", i mean, "nothing existing broke by adding the pattern-match"... :) | 22:38 |
| *** josuah <josuah!~irc@46.23.94.12> has joined #libre-soc | 22:40 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!