take into account that unsigned iterators may wrap
[pet.git] / tests / scalar.scop
blob0ed486b4a9662e88ae26b0d30573c30d0ef5c593
1 context: '{ [] }'
2 arrays:
3 - context: '{ [] }'
4   extent: '{ a[] }'
5   element_type: int
6 statements:
7 - line: 6
8   domain: '{ S_0[] }'
9   schedule: '{ S_0[] -> [0] }'
10   body:
11     type: binary
12     operation: =
13     arguments:
14     - type: access
15       relation: '{ S_0[] -> a[] }'
16       read: 0
17       write: 1
18     - type: access
19       relation: '{ S_0[] -> [5] }'
20       read: 1
21       write: 0