freenode/#clasp - IRC Chatlog
Search
19:33:08
drmeister
I've been thinking about it and I realized that what the static analyzer generates is a database of pointer offsets into classes. That could be coalesced with other databases to combine extensions without having to run the static analyzer on every permutation of extensions.
19:34:26
frgo
I'd thought of some "mini static anlyzer run" only for the extensions and adding info to such a databsse
20:17:12
karlosz
the compile-cleavir function doesn't seem to be defined in the sbcl examples file either
20:26:34
Bike
(cleavir-ast-to-hir:compile-toplevel-unhoisted (let ((*macroexpand-hook* #'cleavir-sbcl-environment::cleavir-macroexpand)) (cleavir-cst-to-ast:cst-to-ast (cst:cst-from-expression expression) (sb-kernel:make-null-lexenv) nil)))
20:36:10
Bike
you can do (cleavir-ir-graphviz:draw-flowchart result "some filename") to get a dot file and actually look at it
20:46:59
Bike
it doesn't do anything cleavir identifies as an optimization, no, but there are a few things that could be considered optimizations
20:47:20
Bike
for example, if you do (block nil .. (return ..) some other stuff) the some other stuff will be silently eliminated.
20:49:01
Bike
cst to ast eliminates syntax. ast to hir puts it in a flowgraph and does stuff like that as it does.
20:49:40
Bike
the idea is that ASTs are something not dependent on the global environment, and then HIR is a flowgraph.
1:03:46
drmeister
You are working on inlining, we were getting source tracking working, Shiho worked on the topology file writer and octree's for add-ions. Anything else I'm missing?
1:15:25
Bike
i don't see anything super interesting in the commit history, if you're doing a report or something
2:28:55
Bike
honestly, you don't even need that. you pretty much just need methods on function-info and variable-info
2:37:38
Bike
it's a minimal thing that uses only cl accessors to do what it can from the host environment
2:39:56
karlosz
it tries to evaluate a bunch offorms to try to see whether a variable is special etc
3:30:03
karlosz
hurrah! some adjustments to hostile was able to get me a HIR for (lambda (x) x) in clisp
3:59:17
drmeister
::notify shiho Can you remind me that we MUST get building some molecular Lego with boronic esters?