scop.c: schedule_embed: drop unused variable
[pet.git] / tests / inline7.scop
blob9a4ffc449e720221ac778b088f2f3fc4bad9827c
1 start: 286
2 end: 356
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19; S_2[i] : 0 <=
6   i <= 9; S_0[i] : 0 <= i <= 9; S_1[i] : 0 <= i <= 9 }", child: { schedule: "L_0[{
7   S_3[i, i''] -> [(i)]; S_2[i] -> [(i)]; S_1[i] -> [(i)]; S_0[i] -> [(i)] }]", child:
8   { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter: "{ S_3[i,
9   i''] }", child: { schedule: "L_1[{ S_3[i, i''] -> [(i'')] }]" } }, { filter: "{
10   S_2[i] }" } ] } } }'
11 types:
12 - name: s
13   definition: "struct s {\n    int a[30][40];\n    int b[50];\n}"
14 arrays:
15 - context: '{  :  }'
16   extent: '{ __pet_arg_0[] }'
17   element_type: int
18   element_size: 4
19   declared: 1
20 - context: '{  :  }'
21   extent: '{ s[i0, i1] : 0 <= i0 <= 9 and 0 <= i1 <= 19 }'
22   element_type: struct s
23   element_size: 5000
24   element_is_record: 1
25 - context: '{  :  }'
26   extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <=
27     i2 <= 29 and 0 <= i3 <= 39 }'
28   element_type: int
29   element_size: 4
30 - context: '{  :  }'
31   extent: '{ s_b[s[i0, i1] -> b[i2]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <= i2
32     <= 49 }'
33   element_type: int
34   element_size: 4
35 statements:
36 - line: -1
37   domain: '{ S_0[i] : 0 <= i <= 9 }'
38   body:
39     type: expression
40     expr:
41       type: op
42       operation: kill
43       arguments:
44       - type: access
45         killed: '{ S_0[i] -> __pet_arg_0[] }'
46         index: '{ S_0[i] -> __pet_arg_0[] }'
47         reference: __pet_ref_0
48         kill: 1
49 - line: -1
50   domain: '{ S_1[i] : 0 <= i <= 9 }'
51   body:
52     type: expression
53     expr:
54       type: op
55       operation: =
56       arguments:
57       - type: access
58         index: '{ S_1[i] -> __pet_arg_0[] }'
59         reference: __pet_ref_1
60         read: 0
61         write: 1
62       - type: access
63         index: '{ S_1[i] -> [(i)] }'
64         reference: __pet_ref_2
65         read: 1
66         write: 0
67 - line: 17
68   domain: '{ S_3[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19 }'
69   body:
70     type: expression
71     expr:
72       type: call
73       name: g
74       arguments:
75       - type: op
76         operation: '&'
77         arguments:
78         - type: access
79           may_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <= 19
80             and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
81           must_write: '{ S_3[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <=
82             19 and 20 <= o3 <= 29; S_3[i, i''] -> s_b[s[i, i''] -> b[5]] }'
83           index: '{ S_3[i, i''] -> s[(i), (i'')] }'
84           reference: __pet_ref_3
85           read: 0
86           write: 1
87 - line: -1
88   domain: '{ S_2[i] : 0 <= i <= 9 }'
89   body:
90     type: expression
91     expr:
92       type: op
93       operation: kill
94       arguments:
95       - type: access
96         killed: '{ S_2[i] -> __pet_arg_0[] }'
97         index: '{ S_2[i] -> __pet_arg_0[] }'
98         reference: __pet_ref_4
99         kill: 1