pet_expr: document the read and write fields
[pet.git] / tests / break7.scop
blob57321972094db5156708583cd582c551a02e1cb4
1 start: 40
2 end: 146
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ __pet_test_0[0] }'
8   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
9   element_type: int
10   element_size: 4
11   uniquely_defined: 1
12 - context: '{  :  }'
13   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
14   element_type: int
15   element_size: 4
16 - context: '{  :  }'
17   extent: '{ i[] }'
18   element_type: int
19   element_size: 4
20 statements:
21 - line: 8
22   domain: '{ S_0[] }'
23   schedule: '{ S_0[] -> [0, 0] }'
24   body:
25     type: expression
26     expr:
27       type: op
28       operation: =
29       arguments:
30       - type: access
31         index: '{ S_0[] -> i[] }'
32         reference: __pet_ref_0
33         read: 0
34         write: 1
35       - type: call
36         name: f
37 - line: 8
38   domain: '{ [S_1[0] -> [1]] }'
39   schedule: '{ S_1[t] -> [0, 1, t, 0] }'
40   body:
41     type: expression
42     expr:
43       type: op
44       operation: =
45       arguments:
46       - type: access
47         index: '{ S_1[t] -> __pet_test_0[(0)] }'
48         reference: __pet_ref_2
49         read: 0
50         write: 1
51       - type: op
52         operation: <
53         arguments:
54         - type: access
55           index: '{ S_1[t] -> i[] }'
56           reference: __pet_ref_3
57           read: 1
58           write: 0
59         - type: int
60           value: 100
61   arguments:
62   - type: access
63     index: '{ S_1[t] -> __pet_test_0[(0 : 1 = 0)] }'
64     reference: __pet_ref_1
65     read: 1
66     write: 0
67 - line: 9
68   domain: '{ [S_2[0] -> [1]] }'
69   schedule: '{ S_2[t] -> [0, 1, t, 1, 0] }'
70   body:
71     type: expression
72     expr:
73       type: op
74       operation: =
75       arguments:
76       - type: access
77         index: '{ [S_2[t] -> [i1]] -> a[((i1) : i1 >= 0)] }'
78         reference: __pet_ref_6
79         read: 0
80         write: 1
81         arguments:
82         - type: access
83           index: '{ S_2[t] -> i[] }'
84           reference: __pet_ref_5
85           read: 1
86           write: 0
87       - type: int
88         value: 0
89   arguments:
90   - type: access
91     index: '{ S_2[t] -> __pet_test_0[(0)] }'
92     reference: __pet_ref_4
93     read: 1
94     write: 0
95 - line: 12
96   domain: '{ [S_3[t] -> [__pet_test_0]] : 1 = 0 }'
97   schedule: '{ S_3[t] -> [0, 1, t, 1, 2] }'
98   body:
99     type: expression
100     expr:
101       type: op
102       operation: =
103       arguments:
104       - type: access
105         index: '{ [S_3[t] -> [i1]] -> a[(0 : 1 = 0)] }'
106         reference: __pet_ref_9
107         read: 0
108         write: 1
109         arguments:
110         - type: access
111           index: '{ S_3[t] -> i[] }'
112           reference: __pet_ref_8
113           read: 1
114           write: 0
115       - type: int
116         value: 1
117   arguments:
118   - type: access
119     index: '{ S_3[t] -> __pet_test_0[(0 : 1 = 0)] }'
120     reference: __pet_ref_7
121     read: 1
122     write: 0
123 - line: 8
124   domain: '{ [S_4[t] -> [__pet_test_0]] : 1 = 0 }'
125   schedule: '{ S_4[t] -> [0, 1, t, 2] }'
126   body:
127     type: expression
128     expr:
129       type: op
130       operation: +=
131       arguments:
132       - type: access
133         index: '{ S_4[t] -> i[] }'
134         reference: __pet_ref_11
135         read: 0
136         write: 1
137       - type: int
138         value: 1
139   arguments:
140   - type: access
141     index: '{ S_4[t] -> __pet_test_0[(0 : 1 = 0)] }'
142     reference: __pet_ref_10
143     read: 1
144     write: 0
145 implications:
146 - satisfied: 1
147   extension: '{ __pet_test_0[t] -> __pet_test_0[0] : t >= 0 }'