5 schedule: '{ domain: "{ S_3[]; S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and
6 j <= 19 and k >= 0 and k <= 29 and l >= 0 and l <= 39; S_2[i, j, k, l] : i >= 0
7 and i <= 9 and j >= 0 and j <= 19 and k >= 0 and k <= 29 and l >= 0 and l <= 39;
8 S_0[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0 and k <= 29
9 and l >= 0 and l <= 39 }", child: { sequence: [ { filter: "{ S_1[i, j, k, l]; S_2[i,
10 j, k, l]; S_0[i, j, k, l] }", child: { schedule: "L_0[{ S_1[i, j, k, l] -> [(i)];
11 S_2[i, j, k, l] -> [(i)]; S_0[i, j, k, l] -> [(i)] }]", child: { schedule: "L_1[{
12 S_1[i, j, k, l] -> [(j)]; S_2[i, j, k, l] -> [(j)]; S_0[i, j, k, l] -> [(j)] }]",
13 child: { schedule: "L_2[{ S_1[i, j, k, l] -> [(k)]; S_2[i, j, k, l] -> [(k)]; S_0[i,
14 j, k, l] -> [(k)] }]", child: { schedule: "L_3[{ S_1[i, j, k, l] -> [(l)]; S_2[i,
15 j, k, l] -> [(l)]; S_0[i, j, k, l] -> [(l)] }]", child: { sequence: [ { filter:
16 "{ S_0[i, j, k, l] }" }, { filter: "{ S_1[i, j, k, l] }" }, { filter: "{ S_2[i,
17 j, k, l] }" } ] } } } } } }, { filter: "{ S_3[] }" } ] } }'
20 definition: "struct s {\n int a[30][40];\n}"
23 extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
24 element_type: struct s
28 extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1
29 <= 19 and i2 >= 0 and i3 >= 0 and i2 <= 29 and i3 <= 39 }'
34 domain: '{ S_0[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
35 and k <= 29 and l >= 0 and l <= 39 }'
43 index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }'
44 reference: __pet_ref_0
48 domain: '{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
49 and k <= 29 and l >= 0 and l <= 39 }'
57 may_read: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
58 may_write: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
60 index: '{ S_1[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k)]] }'
62 reference: __pet_ref_1
66 domain: '{ S_2[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
67 and k <= 29 and l >= 0 and l <= 39 }'
75 may_read: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
76 may_write: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
78 index: '{ S_2[i, j, k, l] -> s_a[s[(i), (j)] -> a[]] }'
80 reference: __pet_ref_2
92 killed: '{ S_3[] -> s[o0, o1] : o0 >= 0 and o1 >= 0 and o0 <= 9 and o1 <=
94 index: '{ S_3[] -> s[] }'
96 reference: __pet_ref_3