diff --git a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll index 768411e9d35..f2b06cb8143 100644 --- a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll +++ b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll @@ -3,10 +3,12 @@ ; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + %T = type { i32, [10 x i8] } ; CHECK: Function: test -; CHECK-NOT: May: +; CHECK-NOT: MayAlias: define void @test(%T* %P) { %A = getelementptr %T* %P, i64 0 diff --git a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll index b7bbf7732f9..42512b8f6bf 100644 --- a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll +++ b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll @@ -3,12 +3,14 @@ ; RUN: opt < %s -basicaa -aa-eval -print-may-aliases -disable-output 2>&1 | FileCheck %s +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + %T = type { i32, [10 x i8] } @G = external global %T ; CHECK: Function: test -; CHECK-NOT: May: +; CHECK-NOT: MayAlias: define void @test() { %D = getelementptr %T* @G, i64 0, i32 0 diff --git a/test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll b/test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll index 4be793ec416..d11e75dfb7d 100644 --- a/test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll +++ b/test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll @@ -1,9 +1,11 @@ ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + ; CHECK: Function: foo -; CHECK: MayAlias: i32* %Ipointer, i32* %Jpointer +; CHECK: PartialAlias: i32* %Ipointer, i32* %Jpointer ; CHECK: 9 no alias responses -; CHECK: 6 may alias responses +; CHECK: 6 partial alias responses define void @foo(i32* noalias %p, i32* noalias %q, i32 %i, i32 %j) { %Ipointer = getelementptr i32* %p, i32 %i diff --git a/test/Analysis/BasicAA/constant-over-index.ll b/test/Analysis/BasicAA/constant-over-index.ll index 232533cc73e..aeb068b24aa 100644 --- a/test/Analysis/BasicAA/constant-over-index.ll +++ b/test/Analysis/BasicAA/constant-over-index.ll @@ -1,10 +1,13 @@ ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s ; PR4267 -; CHECK: MayAlias: double* %p.0.i.0, double* %p3 +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +; CHECK: PartialAlias: double* %p.0.i.0, double* %p3 ; %p3 is equal to %p.0.i.0 on the second iteration of the loop, -; so MayAlias is needed. +; so MayAlias is needed. In practice, basicaa returns PartialAlias +; for GEPs to ignore TBAA. define void @foo([3 x [3 x double]]* noalias %p) { entry: