tree2scop.c: map_to_previous: handle higher dimensional domains
[pet.git] / tests / inf3.scop
blob7907575a0cac48e7491c1de2f75803759b581e1e
1 start: 31
2 end: 104
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ A[i0] : i0 >= 0 }'
7   element_type: int
8   element_size: 4
9 - context: '{  :  }'
10   extent: '{ i[] }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 5
15   domain: '{ S_0[] }'
16   schedule: '{ S_0[] -> [0] }'
17   body:
18     type: op
19     operation: =
20     arguments:
21     - type: access
22       relation: '{ S_0[] -> i[] }'
23       index: '{ S_0[] -> i[] }'
24       reference: __pet_ref_0
25       read: 0
26       write: 1
27     - type: int
28       value: 5
29 - line: 7
30   domain: '{ S_1[t] : t >= 0 }'
31   schedule: '{ S_1[t] -> [1, t, 0] }'
32   body:
33     type: op
34     operation: =
35     arguments:
36     - type: access
37       relation: '{ [S_1[t] -> [i1]] -> A[i1] : i1 >= 0 }'
38       index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
39       reference: __pet_ref_2
40       read: 0
41       write: 1
42       arguments:
43       - type: access
44         relation: '{ S_1[t] -> i[] }'
45         index: '{ S_1[t] -> i[] }'
46         reference: __pet_ref_1
47         read: 1
48         write: 0
49     - type: int
50       value: 6
51 - line: 8
52   domain: '{ S_2[t] : t >= 0 }'
53   schedule: '{ S_2[t] -> [1, t, 1] }'
54   body:
55     type: op
56     operation: =
57     arguments:
58     - type: access
59       relation: '{ S_2[t] -> i[] }'
60       index: '{ S_2[t] -> i[] }'
61       reference: __pet_ref_3
62       read: 0
63       write: 1
64     - type: int
65       value: 7