From d04f83361d43e373fa7c593a69a33b785f9e9fc0 Mon Sep 17 00:00:00 2001 From: Ahmed Bougacha Date: Thu, 5 Feb 2015 21:10:14 +0000 Subject: [PATCH] [BasicAA] Add datalayouts to make some tests more useful. NFC. Fixes PR22462: two of the tests have regressed for a while, but were using CHECK-NOT to match "May:". The actual output was changed to "MayAlias:" at some point, which made the tests useless. Two others return MayAlias only because of a lack of analysis; BasicAA returns PartialAlias in those cases, when a datalayout is present. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228346 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/BasicAA/2003-11-04-SimpleCases.ll | 4 +++- test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll | 4 +++- test/Analysis/BasicAA/2007-08-01-NoAliasAndGEP.ll | 6 ++++-- test/Analysis/BasicAA/constant-over-index.ll | 7 +++++-- 4 files changed, 15 insertions(+), 6 deletions(-) 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: -- 2.34.1