1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
| ; RUN: opt %loadPolly -polly-scops -polly-rtc-max-parameters=8 -analyze < %s | FileCheck %s --check-prefix=MAX8
; RUN: opt %loadPolly -polly-scops -polly-rtc-max-parameters=7 -analyze < %s | FileCheck %s --check-prefix=MAX7
;
; Check that we allow this SCoP even though it has 10 parameters involved in posisbly aliasing accesses.
; However, only 7 are involved in accesses through B, 8 through C and none in accesses through A.
;
; MAX8-LABEL: Function: jd
; MAX8-NEXT: Region: %for.cond---%for.end
; MAX7: Invalid Scop!
;
; void jd(int *A, int *B, int *C, long p1, long p2, long p3, long p4, long p5,
; long p6, long p7, long p8, long p9, long p10) {
; for (int i = 0; i < 1024; i++)
; A[i] = B[p1] - B[p2] + B[-p3] - B[p4] + B[p5] - B[-p6] + B[p7] - C[p3] +
; C[-p4] - C[p5] + C[p6] - C[-p7] + C[p8] - C[p9] + C[-p10];
; }
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @jd(i32* %A, i32* %B, i32* %C, i64 %p1, i64 %p2, i64 %p3, i64 %p4, i64 %p5, i64 %p6, i64 %p7, i64 %p8, i64 %p9, i64 %p10) {
entry:
br label %for.cond
for.cond: ; preds = %for.inc, %entry
%indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
%exitcond = icmp ne i64 %indvars.iv, 1024
br i1 %exitcond, label %for.body, label %for.end
for.body: ; preds = %for.cond
%arrayidx = getelementptr inbounds i32, i32* %B, i64 %p1
%tmp = load i32, i32* %arrayidx, align 4
%arrayidx1 = getelementptr inbounds i32, i32* %B, i64 %p2
%tmp1 = load i32, i32* %arrayidx1, align 4
%sub = sub nsw i32 %tmp, %tmp1
%sub2 = sub nsw i64 0, %p3
%arrayidx3 = getelementptr inbounds i32, i32* %B, i64 %sub2
%tmp2 = load i32, i32* %arrayidx3, align 4
%add = add nsw i32 %sub, %tmp2
%arrayidx4 = getelementptr inbounds i32, i32* %B, i64 %p4
%tmp3 = load i32, i32* %arrayidx4, align 4
%sub5 = sub nsw i32 %add, %tmp3
%arrayidx6 = getelementptr inbounds i32, i32* %B, i64 %p5
%tmp4 = load i32, i32* %arrayidx6, align 4
%add7 = add nsw i32 %sub5, %tmp4
%sub8 = sub nsw i64 0, %p6
%arrayidx9 = getelementptr inbounds i32, i32* %B, i64 %sub8
%tmp5 = load i32, i32* %arrayidx9, align 4
%sub10 = sub nsw i32 %add7, %tmp5
%arrayidx11 = getelementptr inbounds i32, i32* %B, i64 %p7
%tmp6 = load i32, i32* %arrayidx11, align 4
%add12 = add nsw i32 %sub10, %tmp6
%arrayidx13 = getelementptr inbounds i32, i32* %C, i64 %p3
%tmp7 = load i32, i32* %arrayidx13, align 4
%sub14 = sub nsw i32 %add12, %tmp7
%sub15 = sub nsw i64 0, %p4
%arrayidx16 = getelementptr inbounds i32, i32* %C, i64 %sub15
%tmp8 = load i32, i32* %arrayidx16, align 4
%add17 = add nsw i32 %sub14, %tmp8
%arrayidx18 = getelementptr inbounds i32, i32* %C, i64 %p5
%tmp9 = load i32, i32* %arrayidx18, align 4
%sub19 = sub nsw i32 %add17, %tmp9
%arrayidx20 = getelementptr inbounds i32, i32* %C, i64 %p6
%tmp10 = load i32, i32* %arrayidx20, align 4
%add21 = add nsw i32 %sub19, %tmp10
%sub22 = sub nsw i64 0, %p7
%arrayidx23 = getelementptr inbounds i32, i32* %C, i64 %sub22
%tmp11 = load i32, i32* %arrayidx23, align 4
%sub24 = sub nsw i32 %add21, %tmp11
%arrayidx25 = getelementptr inbounds i32, i32* %C, i64 %p8
%tmp12 = load i32, i32* %arrayidx25, align 4
%add26 = add nsw i32 %sub24, %tmp12
%arrayidx27 = getelementptr inbounds i32, i32* %C, i64 %p9
%tmp13 = load i32, i32* %arrayidx27, align 4
%sub28 = sub nsw i32 %add26, %tmp13
%sub29 = sub nsw i64 0, %p10
%arrayidx30 = getelementptr inbounds i32, i32* %C, i64 %sub29
%tmp14 = load i32, i32* %arrayidx30, align 4
%add31 = add nsw i32 %sub28, %tmp14
%arrayidx32 = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
store i32 %add31, i32* %arrayidx32, align 4
br label %for.inc
for.inc: ; preds = %for.body
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
br label %for.cond
for.end: ; preds = %for.cond
ret void
}
|