extract out pet_not
[pet.git] / tests / if1.scop
blobe3c7a0f511b158c4acb13c15f9e3f61c4d6555fb
1 start: 22
2 end: 73
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ __pet_test_0[] }'
7   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
8   element_type: int
9   element_size: 4
10   uniquely_defined: 1
11 - context: '{  :  }'
12   extent: '{ a[] }'
13   element_type: int
14   element_size: 4
15 statements:
16 - line: 6
17   domain: '{ S_0[] }'
18   schedule: '{ S_0[] -> [0, 0] }'
19   body:
20     type: op
21     operation: =
22     arguments:
23     - type: access
24       relation: '{ S_0[] -> __pet_test_0[] }'
25       index: '{ S_0[] -> __pet_test_0[] }'
26       reference: __pet_ref_0
27       read: 0
28       write: 1
29     - type: op
30       operation: <<
31       arguments:
32       - type: int
33         value: 1
34       - type: int
35         value: 0
36 - line: 7
37   domain: '{ [S_1[] -> [1]] }'
38   schedule: '{ S_1[] -> [0, 1] }'
39   body:
40     type: op
41     operation: =
42     arguments:
43     - type: access
44       relation: '{ S_1[] -> a[] }'
45       index: '{ S_1[] -> a[] }'
46       reference: __pet_ref_2
47       read: 0
48       write: 1
49     - type: int
50       value: 1
51   arguments:
52   - type: access
53     relation: '{ S_1[] -> __pet_test_0[] }'
54     index: '{ S_1[] -> __pet_test_0[] }'
55     reference: __pet_ref_1
56     read: 1
57     write: 0