use an isl_multi_pw_aff to represent a skip condition
[pet.git] / tests / floord2.scop
blob36bbe6211dad4a30f94c103523a524c8c9a631dc
1 start: 101
2 end: 178
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: 10
11   domain: '[N] -> { S_0[i] : 2i <= -2 + N and i >= 0 }'
12   schedule: '[N] -> { S_0[i] -> [0, i] }'
13   body:
14     type: binary
15     operation: =
16     arguments:
17     - type: access
18       relation: '[N] -> { S_0[i] -> a[i] }'
19       reference: __pet_ref_0
20       read: 0
21       write: 1
22     - type: access
23       relation: '[N] -> { S_0[i] -> [i] }'
24       reference: __pet_ref_1
25       read: 1
26       write: 0