blob: 76d16ab805edebd1e9d627c4a7a07c98ad64f170 (
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
# Here is the result given by an old CLooG (the same was given up to 0.12.2),
# the difference with the new constant spreading technique of 0.14.0 is
# one of the most beautiful.
#
# /* Generated by CLooG v0.10.7 */
# for (i=2;i<=3;i++) {
# for (j=-i+6;j<=6;j++) {
# S1 ;
# }
# }
# for (j=4-1;j<=-(4)+8;j++) {
# S1(i = 4) ;
# }
# j = -(4)+9 ;
# S1(i = 4) ;
# S2(i = 4) ;
# for (j=-(4)+10;j<=6;j++) {
# S1(i = 4) ;
# }
# S1(i = 5,j = 4) ;
# S2(i = 5,j = 4) ;
# for (j=5;j<=6;j++) {
# S1(i = 5) ;
# }
# for (i=6;i<=7;i++) {
# j = -i+9 ;
# S2 ;
# for (j=i-1;j<=6;j++) {
# S1 ;
# }
# }
# S2(i = 8,j = 1) ;
# language: C
c
# Context
#{ | 1>=0}
1 2
1 1
0
2 # Number of statements
1
# {i,j | (-j+6,2)<=i<=j+1; 3<=j<=6}
5 4
# i j 1
1 1 1 -6
1 1 0 -2
1 0 1 -3
1 0 -1 6
1 -1 1 1
0 0 0
1
# {i,j | i=-j+9; 1<=j<=5}
3 4
0 1 1 -9
1 0 1 -1
1 0 -1 5
0 0 0
0
0 # Scattering functions
|
