[PATCH] Don't use runtime bounds check between different address space pointers

[Duncan Sands]

Hi Matt,

On 02/10/13 04:14, Matt Arsenault wrote:
> Hi nadav,
>
> Don't vectorize with a runtime check if it requires a comparison between pointers with different address spaces. The values can't be assumed to be directly comparable. Previously it would create an illegal bitcast.

I don't know what this check is doing exactly, but if two pointers are in
different address spaces, doesn't that automatically mean they don't alias?
If so, then maybe here they should be considered to compare as "not equal".

Ciao, Duncan.

>
> http://llvm-reviews.chandlerc.com/D1804
>
> Files:
>    lib/Transforms/Vectorize/LoopVectorize.cpp
>    test/Transforms/LoopVectorize/runtime-check-address-space.ll
>    test/Transforms/LoopVectorize/runtime-check-readonly-address-space.ll
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>