freenode/#clasp - IRC Chatlog
Search
11:33:42
heisig
Interesting news: I will be in Philadelphia next week, where I present Petalisp at the ARRAY 2018 workshop.
11:34:29
heisig
If anyone of you is at Temple University on June 20, I could stop by for a cup of coffee.
11:44:21
drmeister
::notify karlosz I think you forgot to add some files to your git repo - to start cleavir-generate-ast.asd is missing.
12:00:12
drmeister
heisig: Everyone will be around other than myself - my lab is 15 people - so please plan to visit us.
12:24:00
drmeister
I think I was wrong about the missing files in clisp - I need to install sicl the way that karlosz has.
12:28:06
drmeister
I gotta figure out how to get asdf configured to find sicl systems on clisp - grrr
15:06:58
karlosz
drmeister: you're right, i forgot to tell you the sicl asdf stuff. you'll have to get asdf working on clisp and finding sicl. also, i still use generate ast, so checkout commit b4af6f3fd
15:06:58
Colleen
karlosz: drmeister said 3 hours, 22 minutes ago: I think you forgot to add some files to your git repo - to start cleavir-generate-ast.asd is missing.
15:20:38
karlosz
after the commit i mentioned, i keep getting no-appicable-method when calling cst:listify
15:21:56
karlosz
beach: looks like its one of your commits regarding replacing certain parts of the reader with cst
15:24:08
karlosz
try calling cleavir-generate-ast:generate-ast on '(lambda (x) (if (+ x 1) (= x 1) (* 2 x)))
15:34:43
beach
When I pull the latest version of Concrete-Syntax-Tree, I can create an environment (I think, it is still working).
16:03:31
karlosz
and how doesn one pull the latest version on concerte cst? is it not in the sicl repo already?
16:05:14
karlosz
but after changing cst-to-ast to generate-ast in one of my methods everything works again on master
16:12:58
davidlovemore
I would like to build a development version of clasp on MacOS. Where do I start? Are there instructions?
16:29:00
Bike
i'd like to really merge itinto dev, but i'll need to update sicl, and probably stop it from building alexandria and eclector
16:44:25
Bike
I think for the inlining efficiency thing, we could just not update the ENTER as we go, and then at the end of the process update it with whatever is live at the stopping point.
16:49:08
karlosz
eliminate catches doesnt actually eliminate catches from the instruction graph anymore
16:50:07
karlosz
er, when i call cleavir-ir:predecessors on an instruction after eliminate catches, that instruction will still have catch instruction as a predecssor
16:51:01
karlosz
and then when i look at the predecessors of some instructions the eliminated catches are still there
16:54:54
Bike
Technically it's not, it's just that the case in which you wouldn't have to do it is uncommon.
16:55:05
Bike
The issue is that bypass instruction can cleave off a good part of the instruction graph.
16:55:55
karlosz
oh, i see. can bypass instruction not keep the IR consistent when its doing that though?
16:56:33
Bike
It would have to check through the cleaved part looking for reconnections to the part that's still reachable.
16:57:45
karlosz
so the user doesnt have to look inside the transformations to see whether he/she has to call set-predesccesors or not
16:58:20
Bike
I didn't do that because it could be possible to run multiple transformations back to back that would makeit redundant.
17:01:14
karlosz
true. it would still be nice to have every module keep the IR consistent, but thats a tradeoff i guess. same with reinitialize-data
17:43:56
Bike
beach: in cst-to-ast, the restart to consider unknown variables special is called RECOVER, instead of CONSIDER-SPECIAL like it was in generate-ast. But the cst-to-ast package exports CONSIDER-SPECIAL and not RECOVER. Should it be renamed back to CONSIDER-SPECIAL or should i fix the package?
17:46:20
beach
Bike: Good question. I think the recover restart should be there. It is more general. But maybe we should add a consider-special restart too.
17:48:46
beach
But consider-special is more accurately named. The recover restart is for use by Second Climacs where it doesn't matter how the recovery is made.
17:49:37
Bike
So do you want me to put in another restart called consider-special that duplicates the action?
17:57:02
Bike
i guess we sort of could with restart-bind, which would be my first use of restart-bind
18:01:47
karlosz
beach: i wrote a new basic block representation represented as a class with additional slots holding successor and predecessor block information.i also added functions like map-basic-block-instructions and functions to compute an instructions containing/create a has table map of that information, since ive been using those in my compiler for a while.
18:02:35
karlosz
maybe about 3x (when i stored predecessor and successor information in the block itself)