test/Analysis/CFLAliasAnalysis/Steensgaard/gep-index-no-alias.ll

   1 ; This testcase ensures that gep result does not alias gep indices
   2
   3 ; RUN: opt < %s -disable-basicaa -cfl-steens-aa -aa-eval -print-no-aliases -disable-output 2>&1 | FileCheck %s
   4 ; RUN: opt < %s -aa-pipeline=cfl-steens-aa -passes=aa-eval -print-no-aliases -disable-output 2>&1 | FileCheck %s
   5
   6 ; CHECK: Function: foo
   7 ; CHECK: [2 x i32]* %a, [2 x i32]* %b
   8 define void @foo(i32 %n) {
   9   %a = alloca [2 x i32], align 4
  10   %b = alloca [2 x i32], align 4
  11   %c = getelementptr inbounds [2 x i32], [2 x i32]* %a, i32 0, i32 %n
  12   %d = getelementptr inbounds [2 x i32], [2 x i32]* %b, i32 0, i32 %n
  13   ret void
  14 }