support modulo operation in statements
[pet.git] / tests / loop5.scop
blob23951f84506e6e2addd78c0dc547a74fdd68715a
1 context: '[m, n] -> {  : m <= 2147483645 and n <= 2147483646 and n >= -2147483648
2   and m >= -2147483648 }'
3 arrays:
4 - context: '{  :  }'
5   extent: '[m, n] -> { a[] }'
6   element_type: int
7   element_size: 4
8 statements:
9 - line: 7
10   domain: '[m, n] -> { S_0[i] : i <= m and i >= n }'
11   schedule: '[n, m] -> { S_0[i] -> [0, i] }'
12   body:
13     type: binary
14     operation: =
15     arguments:
16     - type: access
17       relation: '[m, n] -> { S_0[i] -> a[] }'
18       read: 0
19       write: 1
20     - type: access
21       relation: '[m, n] -> { S_0[i] -> [5] }'
22       read: 1
23       write: 0