Search
13:28:02
stassats
i'd want (lambda (x y) (declare (simple-vector x)) (when (< y (length x)) (svref x y))) to eliminate the bound check
13:28:27
stassats
i kinda see how to recognize that constraint, but not how to use that information
13:30:50
stassats
some kind of a special cast or something
13:31:01
stassats
but wait, how are the (< x y) constraints used
13:32:02
stassats
i guess they are only used when there are concrete types, like (< x 10)
13:37:00
stassats
make it (lambda (x y) (declare (simple-vector x)) (when (array-in-bounds-p x y) (svref x y))) then
14:03:38
stassats
so far i can only make (svref x y) not check for Y being a fixnum
14:05:33
stassats
actually, that is already the case, but i had to bring it back after introducing a new in-bounds-p VOP
19:46:56
dougk_
who wrote 'voplife.el', nyef ?
19:47:11
dougk_
i (or a friend) want to send a fix
23:20:16
pfdietz
stassats: polyhedral compilation might be useful for that sort of thing. http://polyhedral.info/