tree2scop.c: scop_from_affine_if: check condition of conditional assignment
[pet.git] / tests / assume.scop
blobe4f8f049275771d8debccd44638ead9859367bba
1 start: 64
2 end: 206
3 indent: '        '
4 context: '[S, n, m] -> {  : m >= 1 + n and m <= 2147483648 - n and S >= 0 and S <=
5   2147483647 and n >= -2147483648 and m <= 2147483647 }'
6 arrays:
7 - context: '[S] -> {  : S >= 0 }'
8   extent: '[S, n, m] -> { D[i0] : i0 <= -1 + S and i0 >= 0 }'
9   element_type: int
10   element_size: 4
11 statements:
12 - line: 4
13   domain: '[S, n, m] -> { S_0[] }'
14   schedule: '{ S_0[] -> [0] }'
15   body:
16     type: expression
17     expr:
18       type: op
19       operation: assume
20       arguments:
21       - type: access
22         index: '[S, n, m] -> { S_0[] -> [(1)] }'
23         reference: __pet_ref_0
24         read: 1
25         write: 0
26 - line: 6
27   domain: '[S, n, m] -> { S_1[i] : i <= -1 + n and i >= 0 }'
28   schedule: '[n] -> { S_1[i] -> [1, i, 0] }'
29   body:
30     type: expression
31     expr:
32       type: op
33       operation: =
34       arguments:
35       - type: access
36         index: '[S, n, m] -> { S_1[i] -> D[(i)] }'
37         reference: __pet_ref_1
38         read: 0
39         write: 1
40       - type: access
41         index: '[S, n, m] -> { S_1[i] -> D[(m + i)] }'
42         reference: __pet_ref_2
43         read: 1
44         write: 0