tree2scop.c: scop_from_affine_if: check condition of conditional assignment
[pet.git] / tests / forward_substitution2.scop
blob3a265eff932eeb5f07255edf6da0d0b3a66dec35
1 start: 36
2 end: 92
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ N[] }'
8   element_type: int
9   element_size: 4
10 - context: '{  :  }'
11   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
12   element_type: int
13   element_size: 4
14 - context: '{  :  }'
15   extent: '{ c[] }'
16   element_type: int
17   element_size: 4
18 statements:
19 - line: 5
20   domain: '{ S_0[] }'
21   schedule: '{ S_0[] -> [0] }'
22   body:
23     type: expression
24     expr:
25       type: op
26       operation: =
27       arguments:
28       - type: access
29         index: '{ S_0[] -> c[] }'
30         reference: __pet_ref_0
31         read: 0
32         write: 1
33       - type: access
34         index: '{ S_0[] -> N[] }'
35         reference: __pet_ref_1
36         read: 1
37         write: 0
38 - line: 6
39   domain: '{ S_1[] }'
40   schedule: '{ S_1[] -> [1] }'
41   body:
42     type: expression
43     expr:
44       type: op
45       operation: =
46       arguments:
47       - type: access
48         index: '{ S_1[] -> N[] }'
49         reference: __pet_ref_2
50         read: 0
51         write: 1
52       - type: int
53         value: 2
54 - line: 7
55   domain: '{ S_2[] }'
56   schedule: '{ S_2[] -> [2] }'
57   body:
58     type: expression
59     expr:
60       type: op
61       operation: =
62       arguments:
63       - type: access
64         index: '{ [S_2[] -> [i0]] -> a[((i0) : i0 >= 0)] }'
65         reference: __pet_ref_4
66         read: 0
67         write: 1
68         arguments:
69         - type: access
70           index: '{ S_2[] -> c[] }'
71           reference: __pet_ref_3
72           read: 1
73           write: 0
74       - type: int
75         value: 5