1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -disable-basicaa -cfl-steens-aa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -aa-pipeline=cfl-steens-aa -passes=aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker 4*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Function: foo 5*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: i32* %A, i32* %B 6*9880d681SAndroid Build Coastguard Workerdefine void @foo(i32* %A, i32* %B) { 7*9880d681SAndroid Build Coastguard Workerentry: 8*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %A, align 4 9*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %B, align 4 10*9880d681SAndroid Build Coastguard Worker ret void 11*9880d681SAndroid Build Coastguard Worker} 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Function: bar 14*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: i32* %A, i32* %B 15*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: i32* %A, i32* %arrayidx 16*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: i32* %B, i32* %arrayidx 17*9880d681SAndroid Build Coastguard Workerdefine void @bar(i32* %A, i32* %B) { 18*9880d681SAndroid Build Coastguard Workerentry: 19*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %A, align 4 20*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %B, i64 1 21*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %arrayidx, align 4 22*9880d681SAndroid Build Coastguard Worker ret void 23*9880d681SAndroid Build Coastguard Worker} 24*9880d681SAndroid Build Coastguard Worker 25*9880d681SAndroid Build Coastguard Worker@G = global i32 0 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Function: baz 28*9880d681SAndroid Build Coastguard Worker; CHECK: MayAlias: i32* %A, i32* @G 29*9880d681SAndroid Build Coastguard Workerdefine void @baz(i32* %A) { 30*9880d681SAndroid Build Coastguard Workerentry: 31*9880d681SAndroid Build Coastguard Worker store i32 0, i32* %A, align 4 32*9880d681SAndroid Build Coastguard Worker store i32 0, i32* @G, align 4 33*9880d681SAndroid Build Coastguard Worker ret void 34*9880d681SAndroid Build Coastguard Worker} 35*9880d681SAndroid Build Coastguard Worker 36*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: Alias Analysis Evaluator Report 37*9880d681SAndroid Build Coastguard Worker; CHECK: 5 Total Alias Queries Performed 38*9880d681SAndroid Build Coastguard Worker; CHECK: 0 no alias responses 39*9880d681SAndroid Build Coastguard Worker; CHECK: 5 may alias responses 40