Search
Tuesday, 18th of September 2018, 10:05:41 UTC
13:35:10
pfdietz
New random tester bug submitted.
15:28:07
francogrex
can someone give me pointers as to how investigate and correct this problem here, it's doing my head in: https://pastebin.com/Ke1rXaVN
15:28:25
francogrex
I had no problems in a previous version of that library, but the new one causes errors
15:36:51
stassats
pfdietz: i'm fixing it, but fixing the cause not the symptom
15:37:15
stassats
so throw some more IFs and CASTs together
15:37:51
pfdietz
I can bias test generation to do that.
15:39:19
stassats
also casts receiving more than just two branches
15:39:31
stassats
which was the case here
15:49:40
stassats
haven't built on sparc-solaris in a long time, let's see what's broken
16:01:03
stassats
can't build the runtime
16:01:59
stassats
and sparc-linux dies in genesis, wonder if that's due to 1.0.28 as the host
16:02:32
stassats
can't build sparc-assem.S...
16:04:18
pfdietz
Another failure like that previous one, not fixed by what you just changed. Submitted.
16:05:41
stassats
i guess i'll have to make it more robust in the end, but would like to pick up all the causes first
20:57:48
stassats
ugh, turned out to be a grep failure when removing the old uses of block-type-check
21:38:25
stassats
it's ultimately caused by misoptimization, but it's a tricky one
21:39:33
stassats
the one that turns (the vector (if x y #())) into (if x (the vector y) #())
21:40:38
stassats
it can't hoist the cast if there are some intervening nodes, even if they're without side-effects
21:42:51
stassats
what if i change just the data flow but not the control flow
21:50:16
stassats
doesn't work, for some reason
21:52:25
stassats
additional passes after the cast is converted do optimize things away, but i obviously don't want to perform them
21:52:55
stassats
>This is not a INTEGER
21:57:27
stassats
ok, some reason is that it has to change the control flow as well
22:05:39
stassats
filed into notes, maybe i'll have the energy to optimize it later
Tuesday, 18th of September 2018, 22:05:41 UTC