use implications to encode while and break filters
[pet.git] / tests / continue.scop
blob258f89968eeb6f58c507ac938e40af6c4ddd7c15
1 start: 33
2 end: 182
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
7   element_type: int
8   element_size: 4
9 statements:
10 - line: 8
11   domain: '{ S_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
12   schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
13   body:
14     type: binary
15     operation: =
16     arguments:
17     - type: access
18       relation: '{ S_0[i, j] -> a[i] }'
19       reference: __pet_ref_0
20       read: 0
21       write: 1
22     - type: access
23       relation: '{ S_0[i, j] -> [0] }'
24       reference: __pet_ref_1
25       read: 1
26       write: 0
27 - line: 11
28   domain: '{ S_1[i, j] : (i >= 0 and i <= 99 and j >= 0 and j <= 99 and j <= -1 +
29     i) or (i >= 0 and i <= 99 and j >= 0 and j <= 99 and j >= 1 + i) }'
30   schedule: '{ S_1[i, j] -> [0, i, j, 2] }'
31   body:
32     type: binary
33     operation: =
34     arguments:
35     - type: access
36       relation: '{ S_1[i, j] -> a[i] }'
37       reference: __pet_ref_2
38       read: 0
39       write: 1
40     - type: binary
41       operation: +
42       arguments:
43       - type: access
44         relation: '{ S_1[i, j] -> [i] }'
45         reference: __pet_ref_3
46         read: 1
47         write: 0
48       - type: access
49         relation: '{ S_1[i, j] -> [j] }'
50         reference: __pet_ref_4
51         read: 1
52         write: 0