cloog-0.16.3/test/reservoir/stride2.cloog

#
# 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