pet_expr: merge unary, binary and ternary types into operation type
[pet.git] / tests / dec2.scop
blobf2de269b3a320510941be4a99a049009f0ca1be2
1 start: 38
2 end: 112
3 context: '[N] -> {  : N >= 0 and N <= 2147483647 }'
4 arrays:
5 - context: '[N] -> {  : N >= 0 }'
6   extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
7   element_type: int
8   element_size: 4
9 statements:
10 - line: 8
11   domain: '[N] -> { S_0[i] : i <= -1 + N and i >= 0 }'
12   schedule: '[N] -> { S_0[i] -> [0, -i] }'
13   body:
14     type: op
15     operation: =
16     arguments:
17     - type: access
18       relation: '[N] -> { S_0[i] -> a[i] }'
19       index: '[N] -> { S_0[i] -> a[(i)] }'
20       reference: __pet_ref_0
21       read: 0
22       write: 1
23     - type: access
24       relation: '[N] -> { S_0[i] -> [i] }'
25       index: '[N] -> { S_0[i] -> [(i)] }'
26       reference: __pet_ref_1
27       read: 1
28       write: 0