pet 0.11.8
[pet.git] / tests / iterator_declaration.scop
blob14a327e3d20f08a3184c23a9dd03e5796774e12f
1 start: 38
2 end: 111
3 indent: "\t"
4 context: '[N] -> {  : 0 <= N <= 2147483647 }'
5 schedule: '{ domain: "[N] -> { S_1[]; S_0[i] : 0 <= i < N }", child: { sequence: [
6   { filter: "[N] -> { S_0[i] }", child: { schedule: "[N] -> L_0[{ S_0[i] -> [(i)]
7   }]" } }, { filter: "[N] -> { S_1[] }" } ] } }'
8 arrays:
9 - context: '[N] -> {  : N >= 0 }'
10   extent: '[N] -> { a[i0] : 0 <= i0 < N }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 8
15   domain: '[N] -> { S_0[i] : 0 <= i < N }'
16   body:
17     type: expression
18     expr:
19       type: op
20       operation: =
21       arguments:
22       - type: access
23         index: '[N] -> { S_0[i] -> a[(i)] }'
24         reference: __pet_ref_0
25         read: 0
26         write: 1
27       - type: access
28         index: '[N] -> { S_0[i] -> [(i)] }'
29         reference: __pet_ref_1
30         read: 1
31         write: 0
32 - line: -1
33   domain: '[N] -> { S_1[] }'
34   body:
35     type: expression
36     expr:
37       type: op
38       operation: kill
39       arguments:
40       - type: access
41         killed: '[N] -> { S_1[] -> a[o0] : 0 <= o0 < N }'
42         index: '[N] -> { S_1[] -> a[] }'
43         depth: 1
44         reference: __pet_ref_2
45         kill: 1