PetScan::extract_array: drop redundant isl_ctx argument
[pet.git] / tests / label2.scop
blob9a58fe2c7656f3327206bb9175ec643c95ce06ab
1 start: 30
2 end: 96
3 indent: 
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[i] : i >= 0 and i <= 9 }", child: { schedule: "L[{ S_0[i]
6   -> [(i)] }]" } }'
7 arrays:
8 - context: '{  :  }'
9   extent: '{ a[] }'
10   element_type: int
11   element_size: 4
12 statements:
13 - line: 8
14   domain: '{ S_0[i] : i >= 0 and i <= 9 }'
15   body:
16     type: expression
17     expr:
18       type: op
19       operation: =
20       arguments:
21       - type: access
22         index: '{ S_0[i] -> a[] }'
23         reference: __pet_ref_0
24         read: 0
25         write: 1
26       - type: int
27         value: 5