pet_scop_add_boolean_array: allow specification of domain constraints
[pet.git] / tests / filter.scop
blobd1fc23ec963978185845b532e2a85ba9955332a0
1 start: 46
2 end: 102
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ a[] }'
7   element_type: int
8   element_size: 4
9 - context: '{  :  }'
10   extent: '{ test[i0] : i0 >= 0 }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 7
15   domain: '{ [S_0[] -> [test]] : test <= -1 or test >= 1 }'
16   schedule: '{ S_0[] -> [0] }'
17   body:
18     type: op
19     operation: =
20     arguments:
21     - type: access
22       relation: '{ S_0[] -> a[] }'
23       index: '{ S_0[] -> a[] }'
24       reference: __pet_ref_1
25       read: 0
26       write: 1
27     - type: int
28       value: 5
29   arguments:
30   - type: access
31     relation: '[index] -> { S_0[] -> test[index] : index >= 0 }'
32     index: '[index] -> { S_0[] -> test[((index) : index >= 0)] }'
33     reference: __pet_ref_0
34     read: 1
35     write: 0