CLooG 0.18.4
[cloog.git] / test / openscop / clay.scop
blob967d93e6a573a9c82d0c175759efd5128dda5831
1 # [File generated by the OpenScop Library 0.9.0]
3 <OpenScop>
5 # =============================================== Global
6 # Language
9 # Context
10 CONTEXT
11 0 2 0 0 0 0
13 # Parameters are not provided
17 # Number of statements
20 # =============================================== Statement 1
21 # Number of relations describing the statement:
24 # ----------------------------------------------  1.1 Domain
25 DOMAIN
26 2 3 1 0 0 0
27 # e/i|  i |  1  
28    1    1    0    ## i >= 0
29    1   -1   41    ## -i+41 >= 0
31 # ----------------------------------------------  1.2 Scattering
32 SCATTERING
33 6 8 5 1 0 0
34 # e/i| c1   c2   c3   c4   c5 |  i |  1  
35    0   -1    0    0    0    0    0    0    ## c1 == 0
36    1    0   -4    0    1    0    0    0    ## -4*c2+c4 >= 0
37    1    0    4    0   -1    0    0    3    ## 4*c2-c4+3 >= 0
38    0    0    0   -1    0    0    0    0    ## c3 == 0
39    0    0    0    0   -1    0    1    0    ## c4 == i
40    0    0    0    0    0   -1    0    0    ## c5 == 0
42 # ----------------------------------------------  1.3 Access
43 READ
44 1 4 1 1 0 0
45 # e/i| Arr|  i |  1  
46    0   -1    0    1    ## Arr == i
48 # ----------------------------------------------  1.4 Statement Extensions
49 # Number of Statement Extensions
51 <identifier>
53 </identifier>
55 <body>
56 # Number of original iterators
58 # List of original iterators
60 # Statement body expression
61 S(i);
62 </body>
64 # =============================================== Extensions
65 <scatnames>
66 __b0 __ii0 b0 i b1
67 </scatnames>
69 <arrays>
70 # Number of arrays
72 # Mapping array-identifiers/array-names
73 1 i
74 2 S
75 </arrays>
77 <coordinates>
78 # File name
79 clay_orig.c
80 # Starting line and column
81 3 0
82 # Ending line and column
83 9 0
84 # Indentation
86 </coordinates>
88 </OpenScop>