source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/LoopAccessAnalysis/forward-loop-carried.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 1.3 KB
Line 
1; RUN: opt -loop-accesses -analyze < %s | FileCheck %s
2
3;   for (unsigned i = 0; i < 100; i++) {
4;     A[i+8] = B[i] + 2;
5;     C[i] = A[i] * 2;
6;   }
7
8target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
9
10define void @f(i32* %A, i32* %B, i32* %C, i64 %N) {
11
12; CHECK: Dependences:
13; CHECK-NEXT: Forward:
14; CHECK-NEXT:   store i32 %a_p1, i32* %Aidx_ahead, align 4 ->
15; CHECK-NEXT:   %a = load i32, i32* %Aidx, align 4
16
17entry:
18  br label %for.body
19
20for.body:                                         ; preds = %for.body, %entry
21  %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
22  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
23
24  %idx = add nuw nsw i64 %indvars.iv, 8
25
26  %Aidx_ahead = getelementptr inbounds i32, i32* %A, i64 %idx
27  %Bidx = getelementptr inbounds i32, i32* %B, i64 %indvars.iv
28  %Cidx = getelementptr inbounds i32, i32* %C, i64 %indvars.iv
29  %Aidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
30
31  %b = load i32, i32* %Bidx, align 4
32  %a_p1 = add i32 %b, 2
33  store i32 %a_p1, i32* %Aidx_ahead, align 4
34
35  %a = load i32, i32* %Aidx, align 4
36  %c = mul i32 %a, 2
37  store i32 %c, i32* %Cidx, align 4
38
39  %exitcond = icmp eq i64 %indvars.iv.next, %N
40  br i1 %exitcond, label %for.end, label %for.body
41
42for.end:                                          ; preds = %for.body
43  ret void
44}
Note: See TracBrowser for help on using the repository browser.