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