Get rid of the warning about ignoring the return value of fgets
[cloog.git] / test / openscop / matmult.scop
blob4a248a613afe419bf416db47d9263aa7f09be38f
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   -1    ## N-1 >= 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 4 5 2 0 0 1
31 # e/i|  i    j |  N |  1  
32    1    1    0    0    0    ## i >= 0
33    1   -1    0    1   -1    ## -i+N-1 >= 0
34    1    0    1    0    0    ## j >= 0
35    1    0   -1    1   -1    ## -j+N-1 >= 0
37 # ----------------------------------------------  1.2 Scattering
38 SCATTERING
39 5 10 5 2 0 1
40 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1  
41    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
42    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
43    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
44    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
45    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
47 # ----------------------------------------------  1.3 Access
48 WRITE
49 3 8 3 2 0 1
50 # e/i| A1   [1]  [2]|  i    j |  N |  1  
51    0   -1    0    0    0    0    0    1    ## A1
52    0    0   -1    0    1    0    0    0    ## [1] == i
53    0    0    0   -1    0    1    0    0    ## [2] == j
55 # ----------------------------------------------  1.4 Body
56 # Statement body is provided
58 <body>
59 # Number of original iterators
61 # Original iterators
62 i j
63 # Body expression
64 C[i][j] = 0.0;
65 </body>
68 # =============================================== Statement 2
69 # Number of relations describing the statement:
72 # ----------------------------------------------  2.1 Domain
73 DOMAIN
74 6 6 3 0 0 1
75 # e/i|  i    j    k |  N |  1  
76    1    1    0    0    0    0    ## i >= 0
77    1   -1    0    0    1   -1    ## -i+N-1 >= 0
78    1    0    1    0    0    0    ## j >= 0
79    1    0   -1    0    1   -1    ## -j+N-1 >= 0
80    1    0    0    1    0    0    ## k >= 0
81    1    0    0   -1    1   -1    ## -k+N-1 >= 0
83 # ----------------------------------------------  2.2 Scattering
84 SCATTERING
85 7 13 7 3 0 1
86 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N |  1  
87    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
88    0    0   -1    0    0    0    0    0    1    0    0    0    0    ## c2 == i
89    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c3 == 0
90    0    0    0    0   -1    0    0    0    0    1    0    0    0    ## c4 == j
91    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c5 == 1
92    0    0    0    0    0    0   -1    0    0    0    1    0    0    ## c6 == k
93    0    0    0    0    0    0    0   -1    0    0    0    0    0    ## c7 == 0
95 # ----------------------------------------------  2.3 Access
96 WRITE
97 3 9 3 3 0 1
98 # e/i| A1   [1]  [2]|  i    j    k |  N |  1  
99    0   -1    0    0    0    0    0    0    1    ## A1
100    0    0   -1    0    1    0    0    0    0    ## [1] == i
101    0    0    0   -1    0    1    0    0    0    ## [2] == j
103 READ
104 3 9 3 3 0 1
105 # e/i| A1   [1]  [2]|  i    j    k |  N |  1  
106    0   -1    0    0    0    0    0    0    1    ## A1
107    0    0   -1    0    1    0    0    0    0    ## [1] == i
108    0    0    0   -1    0    1    0    0    0    ## [2] == j
110 READ
111 3 9 3 3 0 1
112 # e/i| A2   [1]  [2]|  i    j    k |  N |  1  
113    0   -1    0    0    0    0    0    0    2    ## A2
114    0    0   -1    0    1    0    0    0    0    ## [1] == i
115    0    0    0   -1    0    0    1    0    0    ## [2] == k
117 READ
118 3 9 3 3 0 1
119 # e/i| A3   [1]  [2]|  i    j    k |  N |  1  
120    0   -1    0    0    0    0    0    0    3    ## A3
121    0    0   -1    0    0    0    1    0    0    ## [1] == k
122    0    0    0   -1    0    1    0    0    0    ## [2] == j
124 # ----------------------------------------------  2.4 Body
125 # Statement body is provided
127 <body>
128 # Number of original iterators
130 # Original iterators
131 i j k
132 # Body expression
133 C[i][j] = C[i][j] + A[i][k] * B[k][j];
134 </body>
137 # =============================================== Extensions
139 </OpenScop>