Search
Saturday, 16th of June 2018, 0:32:28 UTC
1:26:52
karlosz
delete instruction doesn't preserve predecessor order
1:26:58
karlosz
that's very bad for phi functions
1:27:24
karlosz
no wonder i had to recalculate the dominance relation every time i wanted to find the input associated with a predecessor
1:33:50
karlosz
i think ill special case delete instruction for phi instruction
1:34:10
Bike
what do you mean it doesn't preserve the order?
1:35:38
karlosz
like, if you delete a phi instruction that starts a cluster
1:35:47
karlosz
the phi functions after it will get the predecessors in a scrambled order
1:35:57
karlosz
and hence the inputs no longer ocrrespond to the predecessors
1:36:26
karlosz
so to work around the bug i had to recalculate which input corresponded to which predecssor every time
1:36:47
karlosz
basically everything involving phi calls nth and position a lot
1:36:59
karlosz
instead of checking dominance relationships all the time
1:38:25
karlosz
actually, im not sure special casing delte instruction is the right idea
1:38:38
karlosz
but the IR doesn't seem to take special care for phi
1:48:44
karlosz
okay, writing a case for it was the right thing to do
1:58:15
drmeister
Bike: Is there a way to turn debug frames on for all new compiled functions? I don't have the change I made earlier turned on yet.
1:58:47
drmeister
A declaim or something?
1:59:15
Bike
(declaim (optimize debug)) should work
3:53:51
karlosz
finally can optimize some forms that sbcl cant
3:54:49
karlosz
https://paste.gnome.org/po5rpykk1 and https://paste.gnome.org/pbhb5r6k4 can both be proved to be what they return in cleavir but sbcl still has to do the computation
7:24:13
beach
Good morning everyone!
Saturday, 16th of June 2018, 12:32:28 UTC