pet 0.11.8
[pet.git] / tests / if1.scop
blob31e0d0e6a5399e64b567684db2c025d6589c76bf
1 start: 22
2 end: 73
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6   S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } }'
7 arrays:
8 - context: '{  :  }'
9   extent: '{ __pet_test_0[] }'
10   value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
11   element_type: int
12   element_size: 4
13   uniquely_defined: 1
14 - context: '{  :  }'
15   extent: '{ a[] }'
16   element_type: int
17   element_size: 4
18 statements:
19 - line: 6
20   domain: '{ S_0[] }'
21   body:
22     type: expression
23     expr:
24       type: op
25       operation: =
26       arguments:
27       - type: access
28         index: '{ S_0[] -> __pet_test_0[] }'
29         reference: __pet_ref_0
30         read: 0
31         write: 1
32       - type: op
33         operation: <<
34         arguments:
35         - type: int
36           value: 1
37         - type: int
38           value: 0
39 - line: 7
40   domain: '{ [S_1[] -> [__pet_test_0 = 1]] }'
41   body:
42     type: expression
43     expr:
44       type: op
45       operation: =
46       arguments:
47       - type: access
48         index: '{ S_1[] -> a[] }'
49         reference: __pet_ref_2
50         read: 0
51         write: 1
52       - type: int
53         value: 1
54   arguments:
55   - type: access
56     index: '{ S_1[] -> __pet_test_0[] }'
57     reference: __pet_ref_1
58     read: 1
59     write: 0
60 - line: -1
61   domain: '{ S_2[] }'
62   body:
63     type: expression
64     expr:
65       type: op
66       operation: kill
67       arguments:
68       - type: access
69         killed: '{ S_2[] -> a[] }'
70         index: '{ S_2[] -> a[] }'
71         reference: __pet_ref_3
72         kill: 1