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 -disable-output \
   5 ; RUN: |& not grep May:
   6
   7 %T = type { i32, [10 x i8] }
   8
   9 define void @test(%T* %P) {
  10   %A = getelementptr %T* %P, i64 0
  11   %B = getelementptr %T* %P, i64 0, i32 0
  12   %C = getelementptr %T* %P, i64 0, i32 1
  13   %D = getelementptr %T* %P, i64 0, i32 1, i64 0
  14   %E = getelementptr %T* %P, i64 0, i32 1, i64 5
  15   ret void
  16 }