1start: 38
2end: 121
3indent: "\t"
4context: '[N] -> {  : 0 <= N <= 1073741823 }'
5schedule: '{ domain: "[N] -> { S_4[]; S_0[]; S_3[]; S_1[i] : 0 <= i < N and i <= -11
6  + 2N; S_2[i] : 0 <= i < N and i <= -11 + 2N }", child: { sequence: [ { filter: "[N]
7  -> { S_0[] }" }, { filter: "[N] -> { S_1[i]; S_2[i] }", child: { schedule: "[N]
8  -> L_0[{ S_1[i] -> [(i)]; S_2[i] -> [(i)] }]", child: { sequence: [ { filter: "[N]
9  -> { S_1[i] }" }, { filter: "[N] -> { S_2[i] }" } ] } } }, { filter: "[N] -> { S_4[];
10  S_3[] }", child: { set: [ { filter: "{ S_3[] }" }, { filter: "{ S_4[] }" } ] } }
11  ] } }'
12arrays:
13- context: '[N] -> {  : N >= 0 }'
14  extent: '[N] -> { a[i0] : 0 <= i0 < N }'
15  element_type: int
16  element_size: 4
17- context: '{  :  }'
18  extent: '[N] -> { i[] }'
19  element_type: int
20  element_size: 4
21statements:
22- line: 7
23  domain: '[N] -> { S_0[] }'
24  body:
25    type: expression
26    expr:
27      type: op
28      operation: =
29      arguments:
30      - type: access
31        index: '[N] -> { S_0[] -> i[] }'
32        reference: __pet_ref_0
33        read: 0
34        write: 1
35      - type: int
36        value: 0
37- line: 8
38  domain: '[N] -> { S_1[i] : 0 <= i < N and i <= -11 + 2N }'
39  body:
40    type: expression
41    expr:
42      type: op
43      operation: =
44      arguments:
45      - type: access
46        index: '[N] -> { S_1[i] -> a[(i)] }'
47        reference: __pet_ref_1
48        read: 0
49        write: 1
50      - type: access
51        index: '[N] -> { S_1[i] -> [(i)] }'
52        reference: __pet_ref_2
53        read: 1
54        write: 0
55- line: 7
56  domain: '[N] -> { S_2[i] : 0 <= i < N and i <= -11 + 2N }'
57  body:
58    type: expression
59    expr:
60      type: op
61      operation: =
62      arguments:
63      - type: access
64        index: '[N] -> { S_2[i] -> i[] }'
65        reference: __pet_ref_3
66        read: 0
67        write: 1
68      - type: access
69        index: '[N] -> { S_2[i] -> [(1 + i)] }'
70        reference: __pet_ref_4
71        read: 1
72        write: 0
73- line: -1
74  domain: '[N] -> { S_3[] }'
75  body:
76    type: expression
77    expr:
78      type: op
79      operation: kill
80      arguments:
81      - type: access
82        killed: '[N] -> { S_3[] -> i[] }'
83        index: '[N] -> { S_3[] -> i[] }'
84        reference: __pet_ref_5
85        kill: 1
86- line: -1
87  domain: '[N] -> { S_4[] }'
88  body:
89    type: expression
90    expr:
91      type: op
92      operation: kill
93      arguments:
94      - type: access
95        killed: '[N] -> { S_4[] -> a[o0] : 0 <= o0 < N }'
96        index: '[N] -> { S_4[] -> a[] }'
97        depth: 1
98        reference: __pet_ref_6
99        kill: 1
100