xref: /aosp_15_r20/external/llvm/test/Analysis/CFLAliasAnalysis/Steensgaard/gep-index-no-alias.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; This testcase ensures that gep result does not alias gep indices
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -disable-basicaa -cfl-steens-aa -aa-eval -print-no-aliases -disable-output 2>&1 | FileCheck %s
4*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -aa-pipeline=cfl-steens-aa -passes=aa-eval -print-no-aliases -disable-output 2>&1 | FileCheck %s
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Worker; CHECK: Function: foo
7*9880d681SAndroid Build Coastguard Worker; CHECK: [2 x i32]* %a, [2 x i32]* %b
8*9880d681SAndroid Build Coastguard Workerdefine void @foo(i32 %n) {
9*9880d681SAndroid Build Coastguard Worker  %a = alloca [2 x i32], align 4
10*9880d681SAndroid Build Coastguard Worker  %b = alloca [2 x i32], align 4
11*9880d681SAndroid Build Coastguard Worker  %c = getelementptr inbounds [2 x i32], [2 x i32]* %a, i32 0, i32 %n
12*9880d681SAndroid Build Coastguard Worker  %d = getelementptr inbounds [2 x i32], [2 x i32]* %b, i32 0, i32 %n
13*9880d681SAndroid Build Coastguard Worker  ret void
14*9880d681SAndroid Build Coastguard Worker}
15