freenode/#clasp - IRC Chatlog
Search
15:38:26
karlosz
new benchmark comparison with type inference compared to w/o type inference here: https://paste.gnome.org/pqovcpgbm
15:39:01
karlosz
< represents w/o type inference clasp, > represents with the latest type inference code
15:40:11
karlosz
overall it looks like there are some massive improvements in the numerical area due to use of less generic arithmetic operations
15:56:29
lukego
drmeister: maybe a bit obscure. it's the "recipe" of sorts for installing clasp on NixOS Linux distribution. https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/clasp/default.nix
16:01:44
karlosz
yep. once Bike is back this is all ready to get merged in on the sicl sie and then clasp side. then should be no problem to turn on by default always
16:05:03
drmeister
lukego: The instructions for building clasp are here - they may also not be perfect. It's about getting the dependencies setup properly.
16:05:47
karlosz
beach: everything is all in one file in value-type-infer.lisp in hir-transformations in cleavir1. the code is not pretty but there are some large toplevel comments describing the basic idea
16:06:34
karlosz
it's sort of what you expect: abstract interpretation to figure out the relationship of temporary variables (i.e. some form of value numbering) and then dataflow analysis on the types
16:10:44
karlosz
and basically makes the point about basic block granularity being less precise incorrect
17:22:43
drmeister
Bike might be back today or tomorrow. I'll give him a call. He's waiting for internet to be hooked up.