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-upgrade < %s | llvm-as | \
   5 ; RUN:   opt -aa-eval -print-may-aliases -disable-output |& not grep May:
   6
   7 %T = type { uint, [10 x ubyte] }
   8
   9 void %test(%T* %P) {
  10   %A = getelementptr %T* %P, long 0
  11   %B = getelementptr %T* %P, long 0, uint 0
  12   %C = getelementptr %T* %P, long 0, uint 1
  13   %D = getelementptr %T* %P, long 0, uint 1, long 0
  14   %E = getelementptr %T* %P, long 0, uint 1, long 5
  15   ret void
  16 }