scop.c: schedule_embed: drop unused variable
[pet.git] / tests / call5.scop
blob9d90da5637764ff0b1bf28d2120aa6e7a4327c5f
1 start: 141
2 end: 208
3 indent: "\t"
4 context: '[n] -> {  : 4 <= n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_0[]; S_1[] }", child: { sequence: [ { filter: "{
6   S_0[] }" }, { filter: "{ S_1[] }" } ] } }'
7 arrays:
8 - context: '[n] -> {  : n >= 0 }'
9   extent: '[n] -> { A[i0] : 0 <= i0 < n }'
10   element_type: int
11   element_size: 4
12 statements:
13 - line: 10
14   domain: '[n] -> { S_0[] }'
15   body:
16     type: expression
17     expr:
18       type: op
19       operation: assume
20       arguments:
21       - type: access
22         index: '[n] -> { S_0[] -> [(1)] }'
23         reference: __pet_ref_0
24         read: 1
25         write: 0
26 - line: 11
27   domain: '[n] -> { S_1[] }'
28   body:
29     type: expression
30     expr:
31       type: call
32       name: foo
33       arguments:
34       - type: int
35         value: 0
36       - type: access
37         may_read: '[n] -> { S_1[] -> A[o0] : 0 <= o0 <= 3 }'
38         may_write: '[n] -> { S_1[] -> A[o0] : 0 <= o0 <= 3 }'
39         must_write: '[n] -> { S_1[] -> A[o0] : 0 <= o0 <= 3 }'
40         index: '[n] -> { S_1[] -> A[] }'
41         depth: 1
42         reference: __pet_ref_1
43         read: 1
44         write: 1