update test case outputs
[pet.git] / tests / inf.scop
blob9fb59bc6c5bd0b66381e282ad32ed832f4d10096
1 start: 74
2 end: 207
3 indent: '    '
4 context: '[N] -> {  : N >= 8 and N <= 16 }'
5 arrays:
6 - context: '[N] -> {  : N >= 0 }'
7   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
8   element_type: int
9   element_size: 4
10 - context: '[N] -> {  : N >= 0 }'
11   extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
12   element_type: int
13   element_size: 4
14 statements:
15 - line: 12
16   domain: '[N] -> { S_0[t, j] : j >= 0 and j <= -1 + N and t >= 0 }'
17   schedule: '[N] -> { S_0[t, j] -> [0, t, 0, j] }'
18   body:
19     type: expression
20     expr:
21       type: op
22       operation: =
23       arguments:
24       - type: access
25         index: '[N] -> { S_0[t, j] -> a[(j)] }'
26         reference: __pet_ref_0
27         read: 0
28         write: 1
29       - type: int
30         value: 0
31 - line: 14
32   domain: '[N] -> { S_1[t, j] : j >= 0 and j <= -1 + N and t >= 0 }'
33   schedule: '[N] -> { S_1[t, j] -> [0, t, 1, j] }'
34   body:
35     type: expression
36     expr:
37       type: op
38       operation: =
39       arguments:
40       - type: access
41         index: '[N] -> { S_1[t, j] -> b[(j)] }'
42         reference: __pet_ref_1
43         read: 0
44         write: 1
45       - type: access
46         index: '[N] -> { S_1[t, j] -> a[(j)] }'
47         reference: __pet_ref_2
48         read: 1
49         write: 0