5 schedule: '{ domain: "{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19
6 and k >= 0 and k <= 29 and l >= 0 and l <= 39; S_2[i, j, k, l] : i >= 0 and i <=
7 9 and j >= 0 and j <= 19 and k >= 0 and k <= 29 and l >= 0 and l <= 39; S_0[i, j,
8 k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0 and k <= 29 and l >=
9 0 and l <= 39 }", child: { schedule: "L_0[{ S_1[i, j, k, l] -> [(i)]; S_2[i, j,
10 k, l] -> [(i)]; S_0[i, j, k, l] -> [(i)] }]", child: { schedule: "L_1[{ S_1[i, j,
11 k, l] -> [(j)]; S_2[i, j, k, l] -> [(j)]; S_0[i, j, k, l] -> [(j)] }]", child: {
12 schedule: "L_2[{ S_1[i, j, k, l] -> [(k)]; S_2[i, j, k, l] -> [(k)]; S_0[i, j, k,
13 l] -> [(k)] }]", child: { schedule: "L_3[{ S_1[i, j, k, l] -> [(l)]; S_2[i, j, k,
14 l] -> [(l)]; S_0[i, j, k, l] -> [(l)] }]", child: { sequence: [ { filter: "{ S_0[i,
15 j, k, l] }" }, { filter: "{ S_1[i, j, k, l] }" }, { filter: "{ S_2[i, j, k, l] }"
19 definition: "struct s {\n int a[30][40];\n}"
22 extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
23 element_type: struct s
27 extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1
28 <= 19 and i2 >= 0 and i3 >= 0 and i2 <= 29 and i3 <= 39 }'
33 domain: '{ S_0[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
34 and k <= 29 and l >= 0 and l <= 39 }'
42 index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }'
43 reference: __pet_ref_0
47 domain: '{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
48 and k <= 29 and l >= 0 and l <= 39 }'
56 may_read: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
57 may_write: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
59 index: '{ S_1[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k)]] }'
61 reference: __pet_ref_1
65 domain: '{ S_2[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
66 and k <= 29 and l >= 0 and l <= 39 }'
74 may_read: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
75 may_write: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
77 index: '{ S_2[i, j, k, l] -> s_a[s[(i), (j)] -> a[]] }'
79 reference: __pet_ref_2