Search
Thursday, 19th of July 2018, 16:34:37 UTC
16:48:28
Kevslinger
Colleen: award Kevslinger
16:48:33
Colleen
I can't let you do that, Kevslinger.
16:55:11
Shinmera
::award Kevslinger "no award"
16:55:11
Colleen
Congratulations, Kevslinger! You have been awarded the no award medal.
16:55:38
Kevslinger
Thanks Shinmera and Colleen!
16:55:44
Kevslinger
Do I get an acceptance speech?
16:56:28
Shinmera
Yes: please write a better way for Colleen to suggest appropriate commands, tia
17:22:48
jackdaniel
this may be affecting clasp too: https://gitlab.com/embeddable-common-lisp/ecl/issues/445
17:23:13
jackdaniel
("normal" and displaced bitvectors are not equal)
17:29:51
kpoeck
@jackdaniel, will test your example. Also found some equalp errors in clasp, but that code in clasp is not easy
17:30:40
Bike
yeah, we kind of have our own definitions for a lot of that stuff, but thanks for the heads up
17:32:38
jackdaniel
sure. it happens to be in ECL's C code and I know that Clasp core was more-or-less rewritten to C++ verbatim algorithm-wise
17:33:40
jackdaniel
fwiw I've added test for that to ansi-test repository
18:17:29
kpoeck
So i have to remember how to merge from upstream, cool
18:19:47
jackdaniel
kpoeck: git pull upstream-origin/branch-name
18:20:01
jackdaniel
or even better: git rebase upstream-origin/branch-name
18:20:23
jackdaniel
(but if you do rebase, first do `git fetch upstream-origin')
18:21:41
Bike
you can also pass --rebase to git-pull.
18:22:10
jackdaniel
oh, didn't know that
18:23:31
specbot
http://www.lispworks.com/reference/HyperSpec/Body/f_add_me.htm
18:27:20
kpoeck
Worked w/o pain, thank you both
18:47:52
kpoeck
@jackdaniel, what is the right forum to discuss validity of tests?
18:49:31
kpoeck
I believe pushnew.13 and 14 are wrong
18:49:57
kpoeck
Assuming undefined behaviour
19:50:34
karlosz
so partial inlining generated a graph where an eq instructions two successors are the same
19:50:45
karlosz
i've been assuming that that can't happen in HIR
19:50:57
Bike
i don't see why it couldn't happen.
19:55:02
karlosz
okay, then i need to fix the basic blocks code to not use pushnew when calculating preds and successors
19:55:41
karlosz
it would be nice to eliminate those eq instructions though, i think they can just be deleted
19:59:55
Bike
Really? I would think they could be
20:01:41
karlosz
they can preSSA i think. but not with phi instructions
20:02:26
karlosz
yeah. deleting those branches preSSA would still be useful
20:02:47
karlosz
maybe it can be done somewhere in inlining, since thats how they are introduced, i think
20:19:40
Bike
a lot of transforms could introducethem, hypothetically.
20:23:46
karlosz
thats true. it seems like an easy invariant to enforce, and it probably doesnt warrant an entire separate pass like delete-superfluous-branches or something
20:24:04
karlosz
so maybe transforms should just enforce it instead
20:24:33
karlosz
https://paste.gnome.org/phxeq5vfu
20:24:37
karlosz
seems easy enough though
20:33:27
Bike
could be done for any branch instruction that doesn't have an output, i would think.
21:21:43
Bike
drmeister: why does the core package use the ext package?
21:59:20
Bike
(let () #'adfasdfasdf) => #<FUNCTION NIL>,whoops
3:34:24
beach
Good morning everyone!
Friday, 20th of July 2018, 4:34:37 UTC