test/not_equal.cloog


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

# language: C
c

# parameters {M, N | M>=1 N >=1}
2 4
1  1  0 -1
1  0  1 -1
0

1 # Number of statements

2
# {i, j | i=0 0<=i<=N 1<=j<=M}
4 6
1  1  0  0  0  0
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  1  0  0

4 6
1  1  0  0  0  0
1 -1  0  0  1  0
1  0 -1  0  0 -1
1  0  1  1  0  0
0  0  0

1
i j
 
1 # Scattering functions
2 8 
0  1  0 -1  0  0  0  0
0  0  1  0 -1  0  0  0

1
s0 s1