1 ; RUN: llvm-as < %s | opt -gvn -instcombine | llvm-dis | grep sub
3 ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
5 define i32 @test(i32 *%Ptr, i64 %V) {
6 %P2 = getelementptr i32* %Ptr, i64 1
7 %P1 = getelementptr i32* %Ptr, i64 %V