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