Teach LoopVectorize about address space sizes