add PetScan::add_new_used_names
[pet.git] / tests / shortcut1.scop
blobf6eb9cd3d40ea108d48f4904521e8f80e9c85378
1 start: 26
2 end: 91
3 indent: "\t"
4 context: '[N] -> {  : N >= -429496729 and N <= 2147483647 }'
5 schedule: '{ domain: "[N] -> { S_0[] : N <= 99 and N >= 1 }" }'
6 arrays:
7 - context: '{  :  }'
8   extent: '[N] -> { a[] }'
9   element_type: int
10   element_size: 4
11 statements:
12 - line: 6
13   domain: '[N] -> { S_0[] : N <= 99 and N >= 1 }'
14   body:
15     type: expression
16     expr:
17       type: op
18       operation: =
19       arguments:
20       - type: access
21         index: '[N] -> { S_0[] -> a[] }'
22         reference: __pet_ref_0
23         read: 0
24         write: 1
25       - type: int
26         value: 1