support empty statements
[pet.git] / tests / unsigned1.scop
blobc518ff7ca3f50838e81490cbab89f62c6bdc580b
1 start: 60
2 end: 256
3 indent: '        '
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_3[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >=
6   256 - i or (i >= 0 and 0 <= j <= 255 - i and k < i + j)); S_10[]; S_0[]; S_6[i]
7   : 0 <= i <= 199; S_7[]; S_4[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >=
8   256 - i or (i >= 0 and 0 <= j <= 255 - i and k < i + j)); S_8[]; S_2[i, j] : 0 <=
9   i <= 199 and 0 <= j <= 199; S_9[]; S_5[i, j] : 0 <= i <= 199 and 0 <= j <= 199;
10   S_1[i] : 0 <= i <= 199 }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter:
11   "{ S_3[i, j, k]; S_6[i]; S_4[i, j, k]; S_2[i, j]; S_5[i, j]; S_1[i] }", child: {
12   schedule: "L_0[{ S_4[i, j, k] -> [(i)]; S_6[i] -> [(i)]; S_1[i] -> [(i)]; S_2[i,
13   j] -> [(i)]; S_5[i, j] -> [(i)]; S_3[i, j, k] -> [(i)] }]", child: { sequence: [
14   { filter: "{ S_1[i] }" }, { filter: "{ S_3[i, j, k]; S_4[i, j, k]; S_2[i, j]; S_5[i,
15   j] }", child: { schedule: "L_1[{ S_3[i, j, k] -> [(j)]; S_4[i, j, k] -> [(j)]; S_5[i,
16   j] -> [(j)]; S_2[i, j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_2[i, j]
17   }" }, { filter: "{ S_3[i, j, k]; S_4[i, j, k] }", child: { schedule: "L_2[{ S_3[i,
18   j, k] -> [(k)]; S_4[i, j, k] -> [(k)] }]", child: { sequence: [ { filter: "{ S_3[i,
19   j, k] }" }, { filter: "{ S_4[i, j, k] }" } ] } } }, { filter: "{ S_5[i, j] }" }
20   ] } } }, { filter: "{ S_6[i] }" } ] } } }, { filter: "{ S_10[]; S_7[]; S_8[]; S_9[]
21   }", child: { set: [ { filter: "{ S_7[] }" }, { filter: "{ S_8[] }" }, { filter:
22   "{ S_9[] }" }, { filter: "{ S_10[] }" } ] } } ] } }'
23 arrays:
24 - context: '{  :  }'
25   extent: '{ a[] }'
26   element_type: int
27   element_size: 4
28 - context: '{  :  }'
29   extent: '{ i[] }'
30   element_type: unsigned char
31   element_size: 1
32 - context: '{  :  }'
33   extent: '{ j[] }'
34   element_type: unsigned char
35   element_size: 1
36 - context: '{  :  }'
37   extent: '{ k[] }'
38   element_type: unsigned char
39   element_size: 1
40 statements:
41 - line: 7
42   domain: '{ S_0[] }'
43   body:
44     type: expression
45     expr:
46       type: op
47       operation: =
48       arguments:
49       - type: access
50         index: '{ S_0[] -> i[] }'
51         reference: __pet_ref_0
52         read: 0
53         write: 1
54       - type: int
55         value: 0
56 - line: 8
57   domain: '{ S_1[i] : 0 <= i <= 199 }'
58   body:
59     type: expression
60     expr:
61       type: op
62       operation: =
63       arguments:
64       - type: access
65         index: '{ S_1[i] -> j[] }'
66         reference: __pet_ref_1
67         read: 0
68         write: 1
69       - type: int
70         value: 0
71 - line: 9
72   domain: '{ S_2[i, j] : 0 <= i <= 199 and 0 <= j <= 199 }'
73   body:
74     type: expression
75     expr:
76       type: op
77       operation: =
78       arguments:
79       - type: access
80         index: '{ S_2[i, j] -> k[] }'
81         reference: __pet_ref_2
82         read: 0
83         write: 1
84       - type: int
85         value: 0
86 - line: 10
87   domain: '{ S_3[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >= 256 - i or
88     (i >= 0 and 0 <= j <= 255 - i and k < i + j)) }'
89   body:
90     type: expression
91     expr:
92       type: op
93       operation: =
94       arguments:
95       - type: access
96         index: '{ S_3[i, j, k] -> a[] }'
97         reference: __pet_ref_3
98         read: 0
99         write: 1
100       - type: int
101         value: 5
102 - line: 9
103   domain: '{ S_4[i, j, k] : i <= 199 and j <= 199 and k >= 0 and (j >= 256 - i or
104     (i >= 0 and 0 <= j <= 255 - i and k < i + j)) }'
105   body:
106     type: expression
107     expr:
108       type: op
109       operation: =
110       arguments:
111       - type: access
112         index: '{ S_4[i, j, k] -> k[] }'
113         reference: __pet_ref_4
114         read: 0
115         write: 1
116       - type: access
117         index: '{ S_4[i, j, k] -> [(1 + k - 256*floor((1 + k)/256))] }'
118         reference: __pet_ref_5
119         read: 1
120         write: 0
121 - line: 8
122   domain: '{ S_5[i, j] : 0 <= i <= 199 and 0 <= j <= 199 }'
123   body:
124     type: expression
125     expr:
126       type: op
127       operation: =
128       arguments:
129       - type: access
130         index: '{ S_5[i, j] -> j[] }'
131         reference: __pet_ref_6
132         read: 0
133         write: 1
134       - type: access
135         index: '{ S_5[i, j] -> [(1 + j)] }'
136         reference: __pet_ref_7
137         read: 1
138         write: 0
139 - line: 7
140   domain: '{ S_6[i] : 0 <= i <= 199 }'
141   body:
142     type: expression
143     expr:
144       type: op
145       operation: =
146       arguments:
147       - type: access
148         index: '{ S_6[i] -> i[] }'
149         reference: __pet_ref_8
150         read: 0
151         write: 1
152       - type: access
153         index: '{ S_6[i] -> [(1 + i)] }'
154         reference: __pet_ref_9
155         read: 1
156         write: 0
157 - line: -1
158   domain: '{ S_7[] }'
159   body:
160     type: expression
161     expr:
162       type: op
163       operation: kill
164       arguments:
165       - type: access
166         killed: '{ S_7[] -> i[] }'
167         index: '{ S_7[] -> i[] }'
168         reference: __pet_ref_10
169         kill: 1
170 - line: -1
171   domain: '{ S_8[] }'
172   body:
173     type: expression
174     expr:
175       type: op
176       operation: kill
177       arguments:
178       - type: access
179         killed: '{ S_8[] -> j[] }'
180         index: '{ S_8[] -> j[] }'
181         reference: __pet_ref_11
182         kill: 1
183 - line: -1
184   domain: '{ S_9[] }'
185   body:
186     type: expression
187     expr:
188       type: op
189       operation: kill
190       arguments:
191       - type: access
192         killed: '{ S_9[] -> k[] }'
193         index: '{ S_9[] -> k[] }'
194         reference: __pet_ref_12
195         kill: 1
196 - line: -1
197   domain: '{ S_10[] }'
198   body:
199     type: expression
200     expr:
201       type: op
202       operation: kill
203       arguments:
204       - type: access
205         killed: '{ S_10[] -> a[] }'
206         index: '{ S_10[] -> a[] }'
207         reference: __pet_ref_13
208         kill: 1