pet 0.03
[pet.git] / tests / piecewise.scop
blob54462bfd382bc97cc26667bad5e338b224b50c77
1 context: '[N] -> {  : N >= 0 and N <= 2147483647 }'
2 arrays:
3 - context: '[N] -> {  : N >= 0 }'
4   extent: '[N] -> { a[i0, i1] : i0 >= 0 and i1 >= 0 and i1 <= -1 + N }'
5   element_type: int
6 statements:
7 - line: 8
8   domain: '[N] -> { S_0[i, j] : i >= 0 and j >= i and j <= -1 + N }'
9   schedule: '[N] -> { S_0[i, j] -> [0, i, j] }'
10   body:
11     type: binary
12     operation: =
13     arguments:
14     - type: access
15       relation: '[N] -> { S_0[i, j] -> a[i, j] }'
16       read: 0
17       write: 1
18     - type: access
19       relation: '[N] -> { S_0[i, j] -> a[-1 + i, 0] : i >= 1; S_0[0, j] -> a[0, 0]
20         }'
21       read: 1
22       write: 0