freenode/#clasp - IRC Chatlog
Search
14:52:30
beach
What do people here think of the idea of introducing HIR "instructions" to mark the beginning and the end of the execution of a form?
14:55:10
heisig
Is that an improvement over having the precise source location attached to each instruction? And what would be the rules for reordering these instructions during optimization?
14:56:12
beach
The reason I am thinking about it is that I want support for the step-over command in the debugger.
14:56:28
beach
So, given the beginning of a form, it must find the PC value corresponding to the end of the form.
15:00:03
heisig
Since the debugger is not performance-critical, can it not just search all instructions and choose the one with the most appropriate source location?
15:02:58
heisig
I am not sure. But I think one could develop a robust heuristic for what is "appropriate".
15:22:41
nivpgir
Hi, so apparently building on my machine still fails, any special dependencies on arch linux I should know of?
15:23:48
nivpgir
And if not, can someone help me find the error, I'm not exactly proficient with waf
16:01:56
kpoeck
@nivpgir: I must have built clasp more times that had birthdays. If the problem is easy, I might be able to help, if not easy than you would need the real experts
16:26:53
nivpgir
Kpoeck: thanks, I'll be in front of my pc soon and I'll send here the error message?
16:27:44
Colleen
Unknown command. Possible matches: 8, set, say, mop, roll, get, search, login, award, time,
17:22:48
jackdaniel
this may be affecting clasp too: https://gitlab.com/embeddable-common-lisp/ecl/issues/445
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
19:50:34
karlosz
so partial inlining generated a graph where an eq instructions two successors are the same
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
20:02:47
karlosz
maybe it can be done somewhere in inlining, since thats how they are introduced, i think
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