Skip to content

Commit 05ff760

Browse files
nikicnikic
committed
[BasicAA] Convert some tests to opaque pointers (NFC)
1 parent 7217346 commit 05ff760

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

51 files changed

+456
-482
lines changed

‎llvm/test/Analysis/BasicAA/2003-03-04-GEPCrash.ll‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -disable-output 2>/dev/null
22
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
3-
define void @test({[2 x i32],[2 x i32]}* %A, i64 %X, i64 %Y) {
4-
%P1 = getelementptr {[2 x i32],[2 x i32]}, {[2 x i32],[2 x i32]}* %A, i64 0, i32 0, i64 %X
5-
%P2 = getelementptr {[2 x i32],[2 x i32]}, {[2 x i32],[2 x i32]}* %A, i64 0, i32 1, i64 %Y
3+
define void @test(ptr %A, i64 %X, i64 %Y) {
4+
%P1 = getelementptr {[2 x i32],[2 x i32]}, ptr %A, i64 0, i32 0, i64 %X
5+
%P2 = getelementptr {[2 x i32],[2 x i32]}, ptr %A, i64 0, i32 1, i64 %Y
66
ret void
77
}

‎llvm/test/Analysis/BasicAA/2003-04-22-GEPProblem.ll‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,13 +2,13 @@
22

33
; BasicAA was incorrectly concluding that P1 and P2 didn't conflict!
44

5-
define i32 @test(i32 *%Ptr, i64 %V) {
5+
define i32 @test(ptr %Ptr, i64 %V) {
66
; CHECK: sub i32 %X, %Y
7-
%P2 = getelementptr i32, i32* %Ptr, i64 1
8-
%P1 = getelementptr i32, i32* %Ptr, i64 %V
9-
%X = load i32, i32* %P1
10-
store i32 5, i32* %P2
11-
%Y = load i32, i32* %P1
7+
%P2 = getelementptr i32, ptr %Ptr, i64 1
8+
%P1 = getelementptr i32, ptr %Ptr, i64 %V
9+
%X = load i32, ptr %P1
10+
store i32 5, ptr %P2
11+
%Y = load i32, ptr %P1
1212
%Z = sub i32 %X, %Y
1313
ret i32 %Z
1414
}

‎llvm/test/Analysis/BasicAA/2003-04-25-GEPCrash.ll‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -disable-output 2>/dev/null
22
; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2
3-
define void @test([17 x i16]* %mask_bits) {
4-
%P1 = getelementptr [17 x i16], [17 x i16]* %mask_bits, i64 0, i64 0
5-
%P2 = getelementptr [17 x i16], [17 x i16]* %mask_bits, i64 252645134, i64 0
3+
define void @test(ptr %mask_bits) {
4+
%P2 = getelementptr [17 x i16], ptr %mask_bits, i64 252645134, i64 0
65
ret void
76
}

‎llvm/test/Analysis/BasicAA/2003-05-21-GEP-Problem.ll‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,19 @@
11
; RUN: opt < %s -aa-pipeline=basic-aa -passes=licm -disable-output
2-
%struct..apr_array_header_t = type { i32*, i32, i32, i32, i8* }
2+
%struct..apr_array_header_t = type { ptr, i32, i32, i32, ptr }
33
%struct..apr_table_t = type { %struct..apr_array_header_t, i32, [32 x i32], [32 x i32] }
44

5-
define void @table_reindex(%struct..apr_table_t* %t.1) { ; No predecessors!
5+
define void @table_reindex(ptr %t.1) { ; No predecessors!
66
br label %loopentry
77

88
loopentry: ; preds = %0, %no_exit
9-
%tmp.101 = getelementptr %struct..apr_table_t, %struct..apr_table_t* %t.1, i64 0, i32 0, i32 2
10-
%tmp.11 = load i32, i32* %tmp.101 ; <i32> [#uses=0]
9+
%tmp.101 = getelementptr %struct..apr_table_t, ptr %t.1, i64 0, i32 0, i32 2
10+
%tmp.11 = load i32, ptr %tmp.101 ; <i32> [#uses=0]
1111
br i1 false, label %no_exit, label %UnifiedExitNode
1212

1313
no_exit: ; preds = %loopentry
1414
%tmp.25 = sext i32 0 to i64 ; <i64> [#uses=1]
15-
%tmp.261 = getelementptr %struct..apr_table_t, %struct..apr_table_t* %t.1, i64 0, i32 3, i64 %tmp.25 ; <i32*> [#uses=1]
16-
store i32 0, i32* %tmp.261
15+
%tmp.261 = getelementptr %struct..apr_table_t, ptr %t.1, i64 0, i32 3, i64 %tmp.25 ; <ptr> [#uses=1]
16+
store i32 0, ptr %tmp.261
1717
br label %loopentry
1818

1919
UnifiedExitNode: ; preds = %loopentry

‎llvm/test/Analysis/BasicAA/2003-06-01-AliasCrash.ll‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -disable-output 2>/dev/null
22

3-
define i32 @MTConcat([3 x i32]* %a.1) {
4-
%tmp.961 = getelementptr [3 x i32], [3 x i32]* %a.1, i64 0, i64 4
5-
%tmp.97 = load i32, i32* %tmp.961
6-
%tmp.119 = getelementptr [3 x i32], [3 x i32]* %a.1, i64 1, i64 0
7-
%tmp.120 = load i32, i32* %tmp.119
8-
%tmp.1541 = getelementptr [3 x i32], [3 x i32]* %a.1, i64 0, i64 4
9-
%tmp.155 = load i32, i32* %tmp.1541
3+
define i32 @MTConcat(ptr %a.1) {
4+
%tmp.961 = getelementptr [3 x i32], ptr %a.1, i64 0, i64 4
5+
%tmp.97 = load i32, ptr %tmp.961
6+
%tmp.119 = getelementptr [3 x i32], ptr %a.1, i64 1, i64 0
7+
%tmp.120 = load i32, ptr %tmp.119
8+
%tmp.1541 = getelementptr [3 x i32], ptr %a.1, i64 0, i64 4
9+
%tmp.155 = load i32, ptr %tmp.1541
1010
ret i32 0
1111
}

‎llvm/test/Analysis/BasicAA/2003-07-03-BasicAACrash.ll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
%struct..RefRect = type { %struct..RefPoint, %struct..RefPoint }
55

66
define i32 @BMT_CommitPartDrawObj() {
7-
%tmp.19111 = getelementptr %struct..RefRect, %struct..RefRect* null, i64 0, i32 0, i32 1, i32 2
8-
%tmp.20311 = getelementptr %struct..RefRect, %struct..RefRect* null, i64 0, i32 1, i32 1, i32 2
7+
%tmp.19111 = getelementptr %struct..RefRect, ptr null, i64 0, i32 0, i32 1, i32 2
8+
%tmp.20311 = getelementptr %struct..RefRect, ptr null, i64 0, i32 1, i32 1, i32 2
99
ret i32 0
1010
}

‎llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@
55
; CHECK: define i32 @test
66
; CHECK-NEXT: ret i32 0
77

8-
define i32 @test(i32* %P) {
8+
define i32 @test(ptr %P) {
99
%X = alloca i32
10-
%V1 = load i32, i32* %P
11-
store i32 0, i32* %X
12-
%V2 = load i32, i32* %P
10+
%V1 = load i32, ptr %P
11+
store i32 0, ptr %X
12+
%V2 = load i32, ptr %P
1313
%Diff = sub i32 %V1, %V2
1414
ret i32 %Diff
1515
}

‎llvm/test/Analysis/BasicAA/2003-11-04-SimpleCases.ll‎

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,9 @@ target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
1010
; CHECK: Function: test
1111
; CHECK-NOT: MayAlias:
1212

13-
define void @test(%T* %P) {
14-
%A = getelementptr %T, %T* %P, i64 0
15-
%B = getelementptr %T, %T* %P, i64 0, i32 0
16-
%C = getelementptr %T, %T* %P, i64 0, i32 1
17-
%D = getelementptr %T, %T* %P, i64 0, i32 1, i64 0
18-
%E = getelementptr %T, %T* %P, i64 0, i32 1, i64 5
13+
define void @test(ptr %P) {
14+
%C = getelementptr %T, ptr %P, i64 0, i32 1
15+
%D = getelementptr %T, ptr %P, i64 0, i32 1, i64 0
16+
%E = getelementptr %T, ptr %P, i64 0, i32 1, i64 5
1917
ret void
2018
}

‎llvm/test/Analysis/BasicAA/2003-12-11-ConstExprGEP.ll‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,8 @@ target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
1313
; CHECK-NOT: MayAlias:
1414

1515
define void @test() {
16-
%D = getelementptr %T, %T* @G, i64 0, i32 0
17-
%E = getelementptr %T, %T* @G, i64 0, i32 1, i64 5
18-
%F = getelementptr i32, i32* getelementptr (%T, %T* @G, i64 0, i32 0), i64 0
19-
%X = getelementptr [10 x i8], [10 x i8]* getelementptr (%T, %T* @G, i64 0, i32 1), i64 0, i64 5
16+
%E = getelementptr %T, ptr @G, i64 0, i32 1, i64 5
17+
%X = getelementptr [10 x i8], ptr getelementptr (%T, ptr @G, i64 0, i32 1), i64 0, i64 5
2018

2119
ret void
2220
}

‎llvm/test/Analysis/BasicAA/2006-03-03-BadArraySubscript.ll‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -6,28 +6,28 @@ target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:1
66

77
define void @test(i32 %N) {
88
entry:
9-
%X = alloca [3 x [3 x i32]] ; <[3 x [3 x i32]]*> [#uses=4]
9+
%X = alloca [3 x [3 x i32]] ; <ptr> [#uses=4]
1010
%tmp.24 = icmp sgt i32 %N, 0 ; <i1> [#uses=1]
1111
br i1 %tmp.24, label %no_exit, label %loopexit
1212

1313
no_exit: ; preds = %no_exit, %entry
1414
%i.0.0 = phi i32 [ 0, %entry ], [ %inc, %no_exit ] ; <i32> [#uses=2]
15-
%tmp.6 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0, i32 %i.0.0 ; <i32*> [#uses=1]
16-
store i32 1, i32* %tmp.6
17-
%tmp.8 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0, i32 0 ; <i32*> [#uses=1]
18-
%tmp.9 = load i32, i32* %tmp.8 ; <i32> [#uses=1]
19-
%tmp.11 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 1, i32 0 ; <i32*> [#uses=1]
20-
%tmp.12 = load i32, i32* %tmp.11 ; <i32> [#uses=1]
15+
%tmp.6 = getelementptr [3 x [3 x i32]], ptr %X, i32 0, i32 0, i32 %i.0.0 ; <ptr> [#uses=1]
16+
store i32 1, ptr %tmp.6
17+
%tmp.8 = getelementptr [3 x [3 x i32]], ptr %X, i32 0, i32 0, i32 0 ; <ptr> [#uses=1]
18+
%tmp.9 = load i32, ptr %tmp.8 ; <i32> [#uses=1]
19+
%tmp.11 = getelementptr [3 x [3 x i32]], ptr %X, i32 0, i32 1, i32 0 ; <ptr> [#uses=1]
20+
%tmp.12 = load i32, ptr %tmp.11 ; <i32> [#uses=1]
2121
%tmp.13 = add i32 %tmp.12, %tmp.9 ; <i32> [#uses=1]
2222
%inc = add i32 %i.0.0, 1 ; <i32> [#uses=2]
2323
%tmp.2 = icmp slt i32 %inc, %N ; <i1> [#uses=1]
2424
br i1 %tmp.2, label %no_exit, label %loopexit
2525

2626
loopexit: ; preds = %no_exit, %entry
2727
%Y.0.1 = phi i32 [ 0, %entry ], [ %tmp.13, %no_exit ] ; <i32> [#uses=1]
28-
%tmp.4 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0 ; <[3 x i32]*> [#uses=1]
29-
load [3 x i32], [3 x i32]* %tmp.4
30-
%tmp.15 = call i32 (...) @foo( [3 x i32]* %tmp.4, i32 %Y.0.1 ) ; <i32> [#uses=0]
28+
%tmp.4 = getelementptr [3 x [3 x i32]], ptr %X, i32 0, i32 0 ; <ptr> [#uses=1]
29+
load [3 x i32], ptr %tmp.4
30+
%tmp.15 = call i32 (...) @foo( ptr %tmp.4, i32 %Y.0.1 ) ; <i32> [#uses=0]
3131
ret void
3232
}
3333

0 commit comments

Comments
 (0)