Home | History | Annotate | Download | only in BasicAA
      1 ; RUN: opt < %s -basicaa -gvn -instcombine -S | grep sub
      2 
      3 ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
      4 
      5 define i32 @test(i32 *%Ptr, i64 %V) {
      6 	%P2 = getelementptr i32* %Ptr, i64 1
      7 	%P1 = getelementptr i32* %Ptr, i64 %V
      8 	%X = load i32* %P1
      9 	store i32 5, i32* %P2
     10 
     11 	%Y = load i32* %P1
     12 
     13 	%Z = sub i32 %X, %Y
     14 	ret i32 %Z
     15 }
     16