test/Analysis/BasicAA/2003-04-22-GEPProblem.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | grep sub
   2
   3 ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
   4
   5 int %test(int *%Ptr, long %V) {
   6         %P2 = getelementptr int* %Ptr, long 1
   7         %P1 = getelementptr int* %Ptr, long %V
   8         %X = load int* %P1
   9         store int 5, int* %P2
  10
  11         %Y = load int* %P1
  12
  13         %Z = sub int %X, %Y
  14         ret int %Z
  15 }