1*9880d681SAndroid Build Coastguard Worker; This testcase consists of alias relations which should be completely 2*9880d681SAndroid Build Coastguard Worker; resolvable by basicaa, but require analysis of getelementptr constant exprs. 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Worker%T = type { i32, [10 x i8] } 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Worker@G = external global %T 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Worker; CHECK: Function: test 13*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: MayAlias: 14*9880d681SAndroid Build Coastguard Worker 15*9880d681SAndroid Build Coastguard Workerdefine void @test() { 16*9880d681SAndroid Build Coastguard Worker %D = getelementptr %T, %T* @G, i64 0, i32 0 17*9880d681SAndroid Build Coastguard Worker %E = getelementptr %T, %T* @G, i64 0, i32 1, i64 5 18*9880d681SAndroid Build Coastguard Worker %F = getelementptr i32, i32* getelementptr (%T, %T* @G, i64 0, i32 0), i64 0 19*9880d681SAndroid Build Coastguard Worker %X = getelementptr [10 x i8], [10 x i8]* getelementptr (%T, %T* @G, i64 0, i32 1), i64 0, i64 5 20*9880d681SAndroid Build Coastguard Worker 21*9880d681SAndroid Build Coastguard Worker ret void 22*9880d681SAndroid Build Coastguard Worker} 23