Welcome to the main channel on the development of MoarVM, a virtual machine for NQP and Rakudo (moarvm.org). This channel is being logged for historical purposes.
Set by lizmat on 24 May 2021.
00:06 reportable6 left 00:08 reportable6 joined
MasterDuke unless i hear any objections i'll merge my two prs in the next day or two 00:11
00:32 [Coke]___ joined 00:34 [Coke] left 02:09 [Coke] joined 02:11 [Coke]___ left 02:16 [Coke]__ joined 02:18 [Coke] left 03:19 reportable6 left, tellable6 left, committable6 left, bisectable6 left, squashable6 left, nativecallable6 left, linkable6 left, unicodable6 left, statisfiable6 left, evalable6 left, benchable6 left, bloatable6 left, greppable6 left, sourceable6 left, coverable6 left, quotable6 left, notable6 left, releasable6 left, shareable6 left 03:20 linkable6 joined, tellable6 joined, reportable6 joined, shareable6 joined, quotable6 joined, sourceable6 joined, benchable6 joined, nativecallable6 joined, squashable6 joined, bisectable6 joined 03:21 statisfiable6 joined, bloatable6 joined, notable6 joined 03:22 committable6 joined, coverable6 joined, evalable6 joined, unicodable6 joined, greppable6 joined 03:23 releasable6 joined 03:46 [Coke]_ joined 03:48 [Coke]__ left
MasterDuke i have a WIP patch to rakudo's static optimizer that rewrites `($a, $b) = ($c, $d);` into `$a = $c; $b = $d;`. it takes `MVM_SPESH_BLOCKING=1 raku -e 'my $a = 1; my $b = 2; for ^1_000_000 { ($a, $b) = ($_, $_ + 1) }; say "a = $a, b = $b"; say now - INIT now'` from ~0.8s down to ~0.3s. however, there are currently almost no restrictions on when it 04:01
kicks in (i haven't even tried a spectest yet). anyone have a suggestion on when we know this transformation is safe?
off to sleep, but i'll check back tomorrow evening 04:02
04:48 linkable6 left, evalable6 left, linkable6 joined 04:51 evalable6 joined
japhb Pretty sure it wouldn't be if $c is a Slip ... 05:12
05:51 evalable6 left, evalable6 joined 06:06 reportable6 left 06:08 reportable6 joined 07:18 vrurg_ joined, vrurg left 08:12 sena_kun joined 08:23 vrurg_ left, vrurg joined
nine MasterDuke: that optimization looks dangerous. I wouldn't risk it. You know what's not dangerous? Working on RakuAST! :D :D 08:29
.oO(One of these days, someone will do it, just to shut up my obnoxious advertising)
08:30
09:18 Altai-man joined 09:19 sena_kun left 09:39 squashable6 left 09:41 squashable6 joined
jnthn I think the optimization is pretty safe if you can see that the Scalar, since it creation, has only been assigned to, not rebound. 10:15
'cus in that case you know that it's a Scalar container and that the Scalar nature of it will beat any contained Slip, etc.
10:41 evalable6 left, linkable6 left 10:42 evalable6 joined 10:44 linkable6 joined 12:07 reportable6 left 12:08 reportable6 joined 13:07 vrurg left 13:08 vrurg joined 13:10 frost left 14:26 [Coke]_ is now known as [Coke] 15:01 discord-raku-bot left, discord-raku-bot joined
Kaipei MasterDuke, list assignments like those are ridiculously slow via List. if you can pull that without breaking lazy tails via `my ($, +/*/**)`, that'd be neat 15:14
be careful not to break ($a, $b) = ($b, $a) in the process 15:16
15:16 Kaipei is now known as Kaiepi
Kaiepi albeit risky, there is a subset of assignments that that would apply to that the optimizer could better figure out than List on its own 15:21
15:58 rypervenche left 16:00 [Coke]__ joined 16:03 [Coke] left 16:07 [Coke]__ is now known as [Coke] 16:21 harrow left, ilogger2 left, camelia left, bartolin_ left, jnthn left, leont left, leedo_ left, mst left, kjp left, coleman left, gfldex left 16:22 harrow joined, ilogger2 joined, camelia joined, mst joined, kjp joined, coleman joined, leedo_ joined, leont joined, jnthn joined, bartolin_ joined, gfldex joined 16:23 [Coke] joined, discord-raku-bot joined, vrurg joined, reportable6 joined, linkable6 joined, evalable6 joined, squashable6 joined, Altai-man joined, releasable6 joined, greppable6 joined, unicodable6 joined, coverable6 joined, committable6 joined, notable6 joined, bloatable6 joined, statisfiable6 joined, bisectable6 joined, nativecallable6 joined, benchable6 joined, sourceable6 joined, quotable6 joined, shareable6 joined, tellable6 joined, epony joined, dogbert17 joined, Kaiepi joined, MasterDuke joined 16:24 samcv joined, nine joined, japhb joined, Geth joined, RakuIRCLogger joined, nebuchadnezzar joined, psydroid joined, AlexDaniel joined, Techcable joined, lizmat joined, patrickb joined, timo joined, jjatria joined, JRaspass joined, Voldenet joined, Nicholas joined, SmokeMachine joined, jdv joined, tbrowder joined, rba joined 16:25 vrurg left 16:26 vrurg joined 17:29 coleman left 17:44 coleman joined 17:51 Altai-man left 18:07 reportable6 left 18:08 reportable6 joined 18:12 sena_kun joined 18:57 sena_kun left 18:59 sena_kun joined 20:34 linkable6 left, evalable6 left 20:36 linkable6 joined 20:37 evalable6 joined 20:40 sena_kun left 20:52 sena_kun joined 20:54 sena_kun left
MasterDuke nine: heh, i do intent to work on rakuast, but this was quick to implement...well, this POC was, i suspect a real implementation might be a bit longer though... 23:35
jnthn: thanks, good to know. however, that particular restriction is not one i've implemented before, and i don't see anything that jumps out at me in the rest of the optimizer code. any pointers to where something like that has been done before? 23:37
Kaiepi: yeah, that was what i was originally testing with and saw that it did in fact break with what i have now. that's why i'm trying to figure out when it's safe to do 23:38
jnthn: also, i currently have to have `self.visit_op_children($op);` before i build the new QAST, or i get something like `assign requires a concrete object (got a Rakudo::Internals::LoweredAwayLexical type object instead)` 23:43
oh, btw, making it a p6assign instead of regular assign dropped it down to ~0.05, about the same as writing the two assignments manually 23:55
23:58 epony left