summaryrefslogtreecommitdiff
path: root/cloog-0.16.3/test/reservoir/stride2.cloog
blob: 5fb9b14c7e25fd35861a9d42da38c3226ea9d411 (plain)
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
#
# Stride-bug:
#
# for (i = 2; i <= N; i+=7) {
#   S(i);
# 
# becomes:
#
# for (i = 5; i <= N; i+=7) {
#   S(i);

# Language
c

# Context

    1 3
    1    0    1
0

# Number of statements
1

1

    4 5
    0    1   -7    0   -2  # i - 7j = 2
    1    1    0    0    0  # i >= 0
    1   -1    0    1    0  # i <= n
    1    0    0    0    1

0 0 0
0
# Scattering functions
1

    6 10
    0    1    0    0    0    0    0    0    0    0
    0    0    1    0    0    0   -1    0    0    0
    0    0    0    1    0    0    0    0    0    0
    0    0    0    0    1    0    0    0    0    0
    0    0    0    0    0    1    0    0    0    0
    1    0    0    0    0    0    0    0    0    1

0