scop.c: stmt_filter: drop unused variable
[pet.git] / tests / struct4.scop
blob78118930ef7e848f3d330540dac07564c1bc8cec
1 start: 75
2 end: 189
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9; S_1[] }", child:
6   { sequence: [ { filter: "{ S_0[i, j] }", child: { schedule: "L_0[{ S_0[i, j] ->
7   [(i)] }]", child: { schedule: "L_1[{ S_0[i, j] -> [(j)] }]" } } }, { filter: "{
8   S_1[] }" } ] } }'
9 types:
10 - name: s
11   definition: "struct s {\n    struct {\n        int a[10];\n    } f[10];\n}"
12 arrays:
13 - context: '{  :  }'
14   extent: '{ s[] }'
15   element_type: struct s
16   element_size: 400
17   element_is_record: 1
18 - context: '{  :  }'
19   extent: '{ s_f[s[] -> f[i0]] : 0 <= i0 <= 9 }'
20   element_type: <subfield>
21   element_size: 40
22   element_is_record: 1
23 - context: '{  :  }'
24   extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : 0 <= i0 <= 9 and 0 <= i1 <= 9 }'
25   element_type: int
26   element_size: 4
27 statements:
28 - line: 14
29   domain: '{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9 }'
30   body:
31     type: expression
32     expr:
33       type: op
34       operation: =
35       arguments:
36       - type: access
37         index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
38         reference: __pet_ref_0
39         read: 0
40         write: 1
41       - type: op
42         operation: '*'
43         arguments:
44         - type: access
45           index: '{ S_0[i, j] -> [(i)] }'
46           reference: __pet_ref_1
47           read: 1
48           write: 0
49         - type: access
50           index: '{ S_0[i, j] -> [(j)] }'
51           reference: __pet_ref_2
52           read: 1
53           write: 0
54 - line: -1
55   domain: '{ S_1[] }'
56   body:
57     type: expression
58     expr:
59       type: op
60       operation: kill
61       arguments:
62       - type: access
63         killed: '{ S_1[] -> s[] }'
64         index: '{ S_1[] -> s[] }'
65         reference: __pet_ref_3
66         kill: 1