CLooG 0.18.4
[cloog.git] / test / openscop / union.scop
blob35efe4f56ec9542f19dc54792ac664f7db13faa8
1 # [File generated by the OpenScop Library 0.8.0]
3 <OpenScop>
5 # =============================================== Global
6 # Language
9 # Context
10 CONTEXT
11 1 3 0 0 0 1
12 # e/i|  N |  1  
13    1    1    3    ## N+3 >= 0
15 # Parameters are provided
17 <strings>
19 </strings>
21 # Number of statements
24 # =============================================== Statement 1
25 # Number of relations describing the statement:
28 # ----------------------------------------------  1.1 Domain
29 DOMAIN
30 # Union with 2 parts
32 # Union part No.1
33 5 5 2 0 0 1
34 # e/i|  i    j |  N |  1  
35    1    1    0    0    0    ## i >= 0
36    1   -1    0    1   -1    ## -i+N-1 >= 0
37    1    0    1    0    0    ## j >= 0
38    1    0   -1    1   -1    ## -j+N-1 >= 0
39    1    0    1    0  -20    ## j-20 >= 0
40 # Union part No.2
41 5 5 2 0 0 1
42 # e/i|  i    j |  N |  1  
43    1    1    0    0    0    ## i >= 0
44    1   -1    0    1   -1    ## -i+N-1 >= 0
45    1    0    1    0    0    ## j >= 0
46    1    0   -1    1   -1    ## -j+N-1 >= 0
47    1    0   -1    0   10    ## -j+10 >= 0
49 # ----------------------------------------------  1.2 Scattering
50 SCATTERING
51 5 10 5 2 0 1
52 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1  
53    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
54    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
55    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
56    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
57    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
59 # ----------------------------------------------  1.3 Access
60 READ
61 2 7 2 2 0 1
62 # e/i| A1   [1]|  i    j |  N |  1  
63    0   -1    0    0    0    0    1    ## A1
64    0    0   -1    1    1    0    0    ## [1] == i+j
66 READ
67 2 7 2 2 0 1
68 # e/i| A2   [1]|  i    j |  N |  1  
69    0   -1    0    0    0    0    2    ## A2
70    0    0   -1    1    0    0    0    ## [1] == i
72 READ
73 2 7 2 2 0 1
74 # e/i| A3   [1]|  i    j |  N |  1  
75    0   -1    0    0    0    0    3    ## A3
76    0    0   -1    0    1    0    0    ## [1] == j
78 WRITE
79 2 7 2 2 0 1
80 # e/i| A1   [1]|  i    j |  N |  1  
81    0   -1    0    0    0    0    1    ## A1
82    0    0   -1    1    1    0    0    ## [1] == i+j
84 # ----------------------------------------------  1.4 Body
85 # Statement body is provided
87 <body>
88 # Number of original iterators
90 # Original iterators
91 i j
92 # Body expression
93 C[i+j]+=A[i]*B[j];
94 </body>
97 # =============================================== Extensions
98 <comment>
99 hello, world
101 HELLO WORLD I SAID
102 </comment>
104 </OpenScop>