add pet_inliner
[pet.git] / tests / loop5.scop
blob214c01cd990cbea43efabe9cdc0859ef46b20b1a
1 start: 34
2 end: 110
3 indent: "\t"
4 context: '[n, m] -> {  : m <= 2147483645 and m >= -2147483648 and n <= 2147483646
5   and n >= -2147483648 }'
6 schedule: '{ domain: "[n, m] -> { S_0[i] : i >= n and i <= m }", child: { schedule:
7   "[n, m] -> L_0[{ S_0[i] -> [(i)] }]" } }'
8 arrays:
9 - context: '{  :  }'
10   extent: '[n, m] -> { a[] }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 7
15   domain: '[n, m] -> { S_0[i] : i >= n and i <= m }'
16   body:
17     type: expression
18     expr:
19       type: op
20       operation: =
21       arguments:
22       - type: access
23         index: '[n, m] -> { S_0[i] -> a[] }'
24         reference: __pet_ref_0
25         read: 0
26         write: 1
27       - type: int
28         value: 5