Hi, Andy Wingo <wi...@pobox.com> skribis:
> On Mon 11 Jun 2012 13:55, l...@gnu.org (Ludovic Courtès) writes: > >> What about using copying (or rather, copy-on-write) sub-bytevectors to >> start with? That would avoid the aliasing issue; OTOH COW would make >> the implementation more complex. > > Not a bad idea. The FFI can still introduce aliasing, though I don't > know if that matters. Alignment is still a problem though. Plus it's a > bit more complexity, though an optimizer should be able to do something > about that. Currently alignment is more of a theoretical problem because we are not yet at a point where such an optimization matters (and I think it wouldn’t matter on x86 anyway), no? :-) Though in principle, I agree we should avoid preventing future optimizations. Ludo’.
