aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis/BasicAA
diff options
context:
space:
mode:
authorReid Spencer <rspencer@reidspencer.com>2006-11-23 15:14:52 +0000
committerReid Spencer <rspencer@reidspencer.com>2006-11-23 15:14:52 +0000
commite5d4efa63ec2c1296e3a1a3e70763df02cd1a7ab (patch)
tree8d911b30b965f442bda5d3372328d7c093438a6b /test/Analysis/BasicAA
parent565706b93e3695da49aee8d2eb67006ffdb2591f (diff)
downloadexternal_llvm-e5d4efa63ec2c1296e3a1a3e70763df02cd1a7ab.zip
external_llvm-e5d4efa63ec2c1296e3a1a3e70763df02cd1a7ab.tar.gz
external_llvm-e5d4efa63ec2c1296e3a1a3e70763df02cd1a7ab.tar.bz2
Promote GEP ubyte indices to uint. Backwards compatibility for 1.2 and
older features will be dropped soon and these test cases must not rely on the upgrade capability. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31896 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA')
-rw-r--r--test/Analysis/BasicAA/2003-03-04-GEPCrash.ll4
-rw-r--r--test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll4
-rw-r--r--test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll4
-rw-r--r--test/Analysis/BasicAA/2003-11-04-SimpleCases.ll8
-rw-r--r--test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll8
-rw-r--r--test/Analysis/BasicAA/featuretest.ll6
6 files changed, 17 insertions, 17 deletions
diff --git a/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll b/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll
index 1f48327..8a25031 100644
--- a/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll
+++ b/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll
@@ -1,7 +1,7 @@
; RUN: llvm-as < %s | opt -basicaa -aa-eval -disable-output
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
void %test({[2 x int],[2 x int]}* %A, long %X, long %Y) {
- %P1 = getelementptr {[2 x int],[2 x int]}* %A, long 0, ubyte 0, long %X
- %P2 = getelementptr {[2 x int],[2 x int]}* %A, long 0, ubyte 1, long %Y
+ %P1 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 0, long %X
+ %P2 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 1, long %Y
ret void
}
diff --git a/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll b/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll
index 7322e63..2e95261 100644
--- a/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll
+++ b/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll
@@ -6,13 +6,13 @@ void %table_reindex(%struct..apr_table_t* %t.1) { ; No predecessors!
br label %loopentry
loopentry: ; preds = %0, %no_exit
- %tmp.101 = getelementptr %struct..apr_table_t* %t.1, long 0, ubyte 0, ubyte 2 ; <int*> [#uses=1]
+ %tmp.101 = getelementptr %struct..apr_table_t* %t.1, long 0, uint 0, uint 2
%tmp.11 = load int* %tmp.101 ; <int> [#uses=0]
br bool false, label %no_exit, label %UnifiedExitNode
no_exit: ; preds = %loopentry
%tmp.25 = cast int 0 to long ; <long> [#uses=1]
- %tmp.261 = getelementptr %struct..apr_table_t* %t.1, long 0, ubyte 3, long %tmp.25 ; <int*> [#uses=1]
+ %tmp.261 = getelementptr %struct..apr_table_t* %t.1, long 0, uint 3, long %tmp.25 ; <int*> [#uses=1]
store int 0, int* %tmp.261
br label %loopentry
diff --git a/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll b/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll
index 916b523..942fe9f 100644
--- a/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll
+++ b/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll
@@ -6,7 +6,7 @@
implementation ; Functions:
uint %BMT_CommitPartDrawObj() {
- %tmp.19111 = getelementptr %struct..RefRect* null, long 0, ubyte 0, ubyte 1, ubyte 2
- %tmp.20311 = getelementptr %struct..RefRect* null, long 0, ubyte 1, ubyte 1, ubyte 2
+ %tmp.19111 = getelementptr %struct..RefRect* null, long 0, uint 0, uint 1, uint 2
+ %tmp.20311 = getelementptr %struct..RefRect* null, long 0, uint 1, uint 1, uint 2
ret uint 0
}
diff --git a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll
index 2b6c7e1..c030c06 100644
--- a/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll
+++ b/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll
@@ -7,9 +7,9 @@
void %test(%T* %P) {
%A = getelementptr %T* %P, long 0
- %B = getelementptr %T* %P, long 0, ubyte 0
- %C = getelementptr %T* %P, long 0, ubyte 1
- %D = getelementptr %T* %P, long 0, ubyte 1, long 0
- %E = getelementptr %T* %P, long 0, ubyte 1, long 5
+ %B = getelementptr %T* %P, long 0, uint 0
+ %C = getelementptr %T* %P, long 0, uint 1
+ %D = getelementptr %T* %P, long 0, uint 1, long 0
+ %E = getelementptr %T* %P, long 0, uint 1, long 5
ret void
}
diff --git a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll
index 3b37b2c..f751928 100644
--- a/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll
+++ b/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll
@@ -8,10 +8,10 @@
%G = external global %T
void %test() {
- %D = getelementptr %T* %G, long 0, ubyte 0
- %E = getelementptr %T* %G, long 0, ubyte 1, long 5
- %F = getelementptr uint* getelementptr (%T* %G, long 0, ubyte 0), long 0
- %X = getelementptr [10 x ubyte]* getelementptr (%T* %G, long 0, ubyte 1), long 0, long 5
+ %D = getelementptr %T* %G, long 0, uint 0
+ %E = getelementptr %T* %G, long 0, uint 1, long 5
+ %F = getelementptr uint* getelementptr (%T* %G, long 0, uint 0), long 0
+ %X = getelementptr [10 x ubyte]* getelementptr (%T* %G, long 0, uint 1), long 0, long 5
ret void
}
diff --git a/test/Analysis/BasicAA/featuretest.ll b/test/Analysis/BasicAA/featuretest.ll
index 7fc129d..d7bec22 100644
--- a/test/Analysis/BasicAA/featuretest.ll
+++ b/test/Analysis/BasicAA/featuretest.ll
@@ -55,9 +55,9 @@ int %gep_distance_test(int* %A) {
; Test that if two pointers are spaced out by a constant offset, that they
; cannot alias, even if there is a variable offset between them...
int %gep_distance_test2({int,int}* %A, long %distance) {
- %A = getelementptr {int,int}* %A, long 0, ubyte 0
+ %A = getelementptr {int,int}* %A, long 0, uint 0
%REMOVEu = load int* %A
- %B = getelementptr {int,int}* %A, long %distance, ubyte 1
+ %B = getelementptr {int,int}* %A, long %distance, uint 1
store int 7, int* %B ; B cannot alias A, it's at least 4 bytes away
%REMOVEv = load int* %A
%r = sub int %REMOVEu, %REMOVEv
@@ -78,7 +78,7 @@ int %gep_distance_test3(int * %A) {
int %constexpr_test() {
%X = alloca int
%Y = load int* %X
- store int 5, int* getelementptr ({ int }* %Global, long 0, ubyte 0)
+ store int 5, int* getelementptr ({ int }* %Global, long 0, uint 0)
%REMOVE = load int* %X
%retval = sub int %Y, %REMOVE
ret int %retval