tree2scop.c: scop_from_affine_if: check condition of conditional assignment
[pet.git] / tests / break5.scop
blobc516e82d871cc0440ed856a725a169313358947e
1 start: 33
2 end: 269
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
8   element_type: int
9   element_size: 4
10 statements:
11 - line: 8
12   domain: '{ S_0[i, j] : (i <= 89 and j >= 0 and j <= i) or (i <= 9 and i >= 0 and
13     j >= 1 + i and j <= 99) or (i <= 99 and i >= 90 and j <= 150 - i and j >= 0) }'
14   schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
15   body:
16     type: expression
17     expr:
18       type: op
19       operation: =
20       arguments:
21       - type: access
22         index: '{ S_0[i, j] -> a[(i)] }'
23         reference: __pet_ref_0
24         read: 0
25         write: 1
26       - type: int
27         value: 0
28 - line: 17
29   domain: '{ S_1[i, j] : (i <= 89 and i >= 10 and j <= 60 and j >= 0 and j <= -1 +
30     i) or (i <= 99 and i >= 90 and j <= 149 - i and j >= 0) }'
31   schedule: '{ S_1[i, j] -> [0, i, j, 5] }'
32   body:
33     type: expression
34     expr:
35       type: op
36       operation: =
37       arguments:
38       - type: access
39         index: '{ S_1[i, j] -> a[(i)] }'
40         reference: __pet_ref_1
41         read: 0
42         write: 1
43       - type: op
44         operation: +
45         arguments:
46         - type: access
47           index: '{ S_1[i, j] -> [(i)] }'
48           reference: __pet_ref_2
49           read: 1
50           write: 0
51         - type: access
52           index: '{ S_1[i, j] -> [(j)] }'
53           reference: __pet_ref_3
54           read: 1
55           write: 0