add pet_expr_foreach_call_expr
[pet.git] / tests / arg.scop
blob17f8f69b3d076d46b038e44bc57976905ad8bb54
1 start: 72
2 end: 166
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ b[i0] : i0 >= 0 and i0 <= 10 }'
7   element_type: int
8   element_size: 4
9 - context: '{  :  }'
10   extent: '{ a[] }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 11
15   domain: '{ S_0[i] : i >= 0 and i <= 9 }'
16   schedule: '{ S_0[i] -> [0, i, 0] }'
17   body:
18     type: call
19     name: f
20     arguments:
21     - type: op
22       operation: '&'
23       arguments:
24       - type: access
25         relation: '{ S_0[i] -> a[] }'
26         index: '{ S_0[i] -> a[] }'
27         reference: __pet_ref_0
28         read: 1
29         write: 0
30     - type: op
31       operation: '&'
32       arguments:
33       - type: access
34         relation: '{ S_0[i] -> a[] }'
35         index: '{ S_0[i] -> a[] }'
36         reference: __pet_ref_1
37         read: 0
38         write: 1
39 - line: 12
40   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
41   schedule: '{ S_1[i] -> [0, i, 1] }'
42   body:
43     type: call
44     name: f
45     arguments:
46     - type: op
47       operation: '&'
48       arguments:
49       - type: access
50         relation: '{ S_1[i] -> b[i] }'
51         index: '{ S_1[i] -> b[(i)] }'
52         reference: __pet_ref_2
53         read: 1
54         write: 0
55     - type: op
56       operation: '&'
57       arguments:
58       - type: access
59         relation: '{ S_1[i] -> b[1 + i] }'
60         index: '{ S_1[i] -> b[(1 + i)] }'
61         reference: __pet_ref_3
62         read: 0
63         write: 1