1 ; RUN: opt < %s -analyze -basicaa -da | FileCheck %s 2 3 ; Test that the dependence analysis generates the correct results when using 4 ; an aliased object that points to a different element in the same array. 5 ; PR33567 - https://bugs.llvm.org/show_bug.cgi?id=33567 6 7 ; void test1(int *A, int *B, int N) { 8 ; int *top = A; 9 ; int *bot = A + N/2; 10 ; for (int i = 0; i < N; i++) 11 ; B[i] = top[i] + bot[i]; 12 ; } 13 14 ; CHECK-LABEL: test1 15 ; CHECK: da analyze - input [*|<]! 16 17 define void @test1(i32* nocapture %A, i32* nocapture %B, i32 %N) #0 { 18 entry: 19 %cmp9 = icmp sgt i32 %N, 0 20 br i1 %cmp9, label %for.body.lr.ph, label %for.end 21 22 for.body.lr.ph: 23 %div = sdiv i32 %N, 2 24 %bot.gep = getelementptr i32, i32* %A, i32 %div 25 br label %for.body 26 27 for.body: 28 %i = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ] 29 %gep.0 = getelementptr i32, i32* %A, i32 %i 30 %gep.1 = getelementptr i32, i32* %bot.gep, i32 %i 31 %gep.B = getelementptr i32, i32* %B, i32 %i 32 %0 = load i32, i32* %gep.0, align 4 33 %1 = load i32, i32* %gep.1, align 4 34 %add = add nsw i32 %1, %0 35 store i32 %add, i32* %gep.B, align 4 36 %inc = add nsw i32 %i, 1 37 %exitcond = icmp eq i32 %inc, %N 38 br i1 %exitcond, label %for.end, label %for.body 39 40 for.end: 41 ret void 42 } 43 44 45 ; void test2(int *A, unsigned n) { 46 ; int *B = A + 1; 47 ; for (unsigned i = 0; i < n; ++i) { 48 ; A[i] = B[i]; 49 ; } 50 ; } 51 52 ; CHECK-LABEL: test2 53 ; CHECK: da analyze - consistent anti [1]! 54 55 define void @test2(i32*, i32) #3 { 56 %3 = getelementptr inbounds i32, i32* %0, i64 1 57 br label %4 58 59 ; <label>:4: 60 %.0 = phi i32 [ 0, %2 ], [ %14, %13 ] 61 %5 = sub i32 %1, 1 62 %6 = icmp ult i32 %.0, %5 63 br i1 %6, label %7, label %15 64 65 ; <label>:7: 66 %8 = zext i32 %.0 to i64 67 %9 = getelementptr inbounds i32, i32* %3, i64 %8 68 %10 = load i32, i32* %9, align 4 69 %11 = zext i32 %.0 to i64 70 %12 = getelementptr inbounds i32, i32* %0, i64 %11 71 store i32 %10, i32* %12, align 4 72 br label %13 73 74 ; <label>:13: 75 %14 = add i32 %.0, 1 76 br label %4 77 78 ; <label>:15: 79 ret void 80 } 81
