test/Analysis/BasicAA/2003-11-04-SimpleCases.ll

   1 ; This testcase consists of alias relations which should be completely
   2 ; resolvable by basicaa.
   3
   4 ; RUN: llvm-as < %s | opt -aa-eval -print-may-aliases 2>&1 -disable-output | not grep May:
   5
   6 %T = type { uint, [10 x ubyte] }
   7
   8 void %test(%T* %P) {
   9   %A = getelementptr %T* %P, long 0
  10   %B = getelementptr %T* %P, long 0, uint 0
  11   %C = getelementptr %T* %P, long 0, uint 1
  12   %D = getelementptr %T* %P, long 0, uint 1, long 0
  13   %E = getelementptr %T* %P, long 0, uint 1, long 5
  14   ret void
  15 }