freenode/#clasp - IRC Chatlog

22:40:33 drmeister I wonder if clang would be able to figure out if I pass a constant to a function as in foo(false) and then deeper in if (first_arg) { ...} can be rewritten as if (false) { .... }

22:42:31 stassats that's like compiling 101

22:43:38 drmeister Well - then this costs me nothing if I duplicate core:make-vector and define a core:make-static-vector (which I'm doing right now)

22:43:49 drmeister Stas - you are making me a better person.

22:44:13 stassats just make sure the calle is marked inline, it might not decide to inline it on its own of it's too large

22:44:41 stassats (and naming yourself "inline" in programming channels is brave)

22:45:12 drmeister To really inline this properly we will have to move core:make-vector into Common Lisp so that type inference can get hold of it and elide out the unneeded cases at compile time - right?

22:45:49 drmeister Yeah - that's how it would have to be set up.

22:46:05 drmeister We are pretty close to being able to do this.

22:48:49 drmeister https://github.com/clasp-developers/clasp/blob/dev/src/core/array.cc#L2765

22:49:43 drmeister We would expose all of these constructors and put them in a big COND

22:57:15 drmeister Hmm, it only makes sense to have a separate core:make-static-vector - because they cannot be adjustable, they cannot have a fill-pointer and they cannot be displaced.

22:57:30 drmeister Does it make sense to have a static bit-vector?

22:57:43 drmeister No C code is going to recognize my bit layout - right?

23:00:48 stassats what's your bit layout? there's only one bit layout

23:00:52 stassats it's... bits

23:01:02 drmeister Endianness and whatnot.

23:01:12 drmeister Endianness and word size?

23:02:22 stassats well, it's running on the same machine

23:02:28 stassats so, these are equal

23:03:44 drmeister Does sbcl have static bit-vectors?

23:04:26 stassats there's no reason not to

23:04:45 drmeister Ok

23:04:46 stassats but i don't think static vectors are used much outside of sbcl

23:05:01 stassats the library for static vectors just mallocs stuff

23:05:27 drmeister Hmm, ok.

23:13:49 stassats as usual, i spotted a place where SBCL's out-of-line AREF could be improved

23:24:14 drmeister Clasp has static vectors now.

3:58:45 beach Good morning everyone!