Commit | Line | Data |
724aa791 |
1 | #!perl |
2 | |
3 | BEGIN { |
4 | chdir 't'; |
5 | @INC = ('../lib', '../ext/B/t'); |
6 | require './test.pl'; |
7 | } |
8 | use OptreeCheck; |
2ce64696 |
9 | use Config; |
724aa791 |
10 | plan tests => 22; |
2ce64696 |
11 | SKIP: { |
12 | skip "no perlio in this build", 22 unless $Config::Config{useperlio}; |
13 | |
724aa791 |
14 | pass("OPTIMIZER TESTS - VAR INITIALIZATION"); |
15 | |
16 | checkOptree ( name => 'sub {my $a}', |
17 | bcopts => '-exec', |
18 | code => sub {my $a}, |
19 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
20 | # 1 <;> nextstate(main 45 optree.t:23) v |
21 | # 2 <0> padsv[$a:45,46] M/LVINTRO |
22 | # 3 <1> leavesub[1 ref] K/REFC,1 |
23 | EOT_EOT |
24 | # 1 <;> nextstate(main 45 optree.t:23) v |
25 | # 2 <0> padsv[$a:45,46] M/LVINTRO |
26 | # 3 <1> leavesub[1 ref] K/REFC,1 |
27 | EONT_EONT |
28 | |
29 | checkOptree ( name => '-exec sub {my $a}', |
30 | bcopts => '-exec', |
31 | code => sub {my $a}, |
32 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
33 | # goto - |
34 | # 1 <;> nextstate(main 49 optree.t:52) v |
35 | # 2 <0> padsv[$a:49,50] M/LVINTRO |
36 | # 3 <1> leavesub[1 ref] K/REFC,1 |
37 | EOT_EOT |
38 | # goto - |
39 | # 1 <;> nextstate(main 49 optree.t:45) v |
40 | # 2 <0> padsv[$a:49,50] M/LVINTRO |
41 | # 3 <1> leavesub[1 ref] K/REFC,1 |
42 | EONT_EONT |
43 | |
44 | checkOptree ( name => 'sub {our $a}', |
45 | bcopts => '-exec', |
46 | code => sub {our $a}, |
47 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
48 | goto - |
49 | 1 <;> nextstate(main 21 optree.t:47) v |
50 | 2 <#> gvsv[*a] s/OURINTR |
51 | 3 <1> leavesub[1 ref] K/REFC,1 |
52 | EOT_EOT |
53 | # goto - |
54 | # 1 <;> nextstate(main 51 optree.t:56) v |
55 | # 2 <$> gvsv(*a) s/OURINTR |
56 | # 3 <1> leavesub[1 ref] K/REFC,1 |
57 | EONT_EONT |
58 | |
59 | checkOptree ( name => 'sub {local $a}', |
60 | bcopts => '-exec', |
61 | code => sub {local $a}, |
62 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
63 | goto - |
64 | 1 <;> nextstate(main 23 optree.t:57) v |
65 | 2 <#> gvsv[*a] s/LVINTRO |
66 | 3 <1> leavesub[1 ref] K/REFC,1 |
67 | EOT_EOT |
68 | # goto - |
69 | # 1 <;> nextstate(main 53 optree.t:67) v |
70 | # 2 <$> gvsv(*a) s/LVINTRO |
71 | # 3 <1> leavesub[1 ref] K/REFC,1 |
72 | EONT_EONT |
73 | |
74 | checkOptree ( name => 'my $a', |
75 | prog => 'my $a', |
76 | bcopts => '-basic', |
77 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
78 | # 4 <@> leave[1 ref] vKP/REFC ->(end) |
79 | # 1 <0> enter ->2 |
80 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
81 | # 3 <0> padsv[$a:1,2] vM/LVINTRO ->4 |
82 | EOT_EOT |
83 | # 4 <@> leave[1 ref] vKP/REFC ->(end) |
84 | # 1 <0> enter ->2 |
85 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
86 | # 3 <0> padsv[$a:1,2] vM/LVINTRO ->4 |
87 | EONT_EONT |
88 | |
89 | checkOptree ( name => 'our $a', |
90 | prog => 'our $a', |
91 | bcopts => '-basic', |
92 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
93 | 4 <@> leave[1 ref] vKP/REFC ->(end) |
94 | 1 <0> enter ->2 |
95 | 2 <;> nextstate(main 1 -e:1) v ->3 |
96 | - <1> ex-rv2sv vK/17 ->4 |
97 | 3 <#> gvsv[*a] s/OURINTR ->4 |
98 | EOT_EOT |
99 | # 4 <@> leave[1 ref] vKP/REFC ->(end) |
100 | # 1 <0> enter ->2 |
101 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
102 | # - <1> ex-rv2sv vK/17 ->4 |
103 | # 3 <$> gvsv(*a) s/OURINTR ->4 |
104 | EONT_EONT |
105 | |
106 | checkOptree ( name => 'local $a', |
107 | prog => 'local $a', |
108 | bcopts => '-basic', |
109 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
110 | 4 <@> leave[1 ref] vKP/REFC ->(end) |
111 | 1 <0> enter ->2 |
112 | 2 <;> nextstate(main 1 -e:1) v ->3 |
113 | - <1> ex-rv2sv vKM/129 ->4 |
114 | 3 <#> gvsv[*a] s/LVINTRO ->4 |
115 | EOT_EOT |
116 | # 4 <@> leave[1 ref] vKP/REFC ->(end) |
117 | # 1 <0> enter ->2 |
118 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
119 | # - <1> ex-rv2sv vKM/129 ->4 |
120 | # 3 <$> gvsv(*a) s/LVINTRO ->4 |
121 | EONT_EONT |
122 | |
123 | pass("MY, OUR, LOCAL, BOTH SUB AND MAIN, = undef"); |
124 | |
125 | checkOptree ( name => 'sub {my $a=undef}', |
126 | code => sub {my $a=undef}, |
127 | bcopts => '-basic', |
128 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
129 | 3 <1> leavesub[1 ref] K/REFC,1 ->(end) |
130 | - <@> lineseq KP ->3 |
131 | 1 <;> nextstate(main 24 optree.t:99) v ->2 |
132 | 2 <0> padsv[$a:24,25] sRM*/LVINTRO ->3 |
133 | EOT_EOT |
134 | # 3 <1> leavesub[1 ref] K/REFC,1 ->(end) |
135 | # - <@> lineseq KP ->3 |
136 | # 1 <;> nextstate(main 54 optree.t:149) v ->2 |
137 | # 2 <0> padsv[$a:54,55] sRM*/LVINTRO ->3 |
138 | EONT_EONT |
139 | |
140 | checkOptree ( name => 'sub {our $a=undef}', |
141 | code => sub {our $a=undef}, |
142 | note => 'the global must be reset', |
143 | bcopts => '-basic', |
144 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
145 | 5 <1> leavesub[1 ref] K/REFC,1 ->(end) |
146 | - <@> lineseq KP ->5 |
147 | 1 <;> nextstate(main 26 optree.t:109) v ->2 |
148 | 4 <2> sassign sKS/2 ->5 |
149 | 2 <0> undef s ->3 |
150 | - <1> ex-rv2sv sKRM*/17 ->4 |
151 | 3 <#> gvsv[*a] s/OURINTR ->4 |
152 | EOT_EOT |
153 | # 5 <1> leavesub[1 ref] K/REFC,1 ->(end) |
154 | # - <@> lineseq KP ->5 |
155 | # 1 <;> nextstate(main 446 optree_varinit.t:137) v ->2 |
156 | # 4 <2> sassign sKS/2 ->5 |
157 | # 2 <0> undef s ->3 |
158 | # - <1> ex-rv2sv sKRM*/17 ->4 |
159 | # 3 <$> gvsv(*a) s/OURINTR ->4 |
160 | EONT_EONT |
161 | |
162 | checkOptree ( name => 'sub {local $a=undef}', |
163 | code => sub {local $a=undef}, |
164 | note => 'local not used enough to bother', |
165 | bcopts => '-basic', |
166 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
167 | 5 <1> leavesub[1 ref] K/REFC,1 ->(end) |
168 | - <@> lineseq KP ->5 |
169 | 1 <;> nextstate(main 28 optree.t:122) v ->2 |
170 | 4 <2> sassign sKS/2 ->5 |
171 | 2 <0> undef s ->3 |
172 | - <1> ex-rv2sv sKRM*/129 ->4 |
173 | 3 <#> gvsv[*a] s/LVINTRO ->4 |
174 | EOT_EOT |
175 | # 5 <1> leavesub[1 ref] K/REFC,1 ->(end) |
176 | # - <@> lineseq KP ->5 |
177 | # 1 <;> nextstate(main 58 optree.t:141) v ->2 |
178 | # 4 <2> sassign sKS/2 ->5 |
179 | # 2 <0> undef s ->3 |
180 | # - <1> ex-rv2sv sKRM*/129 ->4 |
181 | # 3 <$> gvsv(*a) s/LVINTRO ->4 |
182 | EONT_EONT |
183 | |
184 | checkOptree ( name => 'my $a=undef', |
185 | prog => 'my $a=undef', |
186 | bcopts => '-basic', |
187 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
188 | 4 <@> leave[1 ref] vKP/REFC ->(end) |
189 | 1 <0> enter ->2 |
190 | 2 <;> nextstate(main 1 -e:1) v ->3 |
191 | 3 <0> padsv[$a:1,2] vRM*/LVINTRO ->4 |
192 | EOT_EOT |
193 | # 4 <@> leave[1 ref] vKP/REFC ->(end) |
194 | # 1 <0> enter ->2 |
195 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
196 | # 3 <0> padsv[$a:1,2] vRM*/LVINTRO ->4 |
197 | EONT_EONT |
198 | |
199 | checkOptree ( name => 'our $a=undef', |
200 | prog => 'our $a=undef', |
201 | note => 'global must be reassigned', |
202 | bcopts => '-basic', |
203 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
204 | 6 <@> leave[1 ref] vKP/REFC ->(end) |
205 | 1 <0> enter ->2 |
206 | 2 <;> nextstate(main 1 -e:1) v ->3 |
207 | 5 <2> sassign vKS/2 ->6 |
208 | 3 <0> undef s ->4 |
209 | - <1> ex-rv2sv sKRM*/17 ->5 |
210 | 4 <#> gvsv[*a] s/OURINTR ->5 |
211 | EOT_EOT |
212 | # 6 <@> leave[1 ref] vKP/REFC ->(end) |
213 | # 1 <0> enter ->2 |
214 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
215 | # 5 <2> sassign vKS/2 ->6 |
216 | # 3 <0> undef s ->4 |
217 | # - <1> ex-rv2sv sKRM*/17 ->5 |
218 | # 4 <$> gvsv(*a) s/OURINTR ->5 |
219 | EONT_EONT |
220 | |
221 | checkOptree ( name => 'local $a=undef', |
222 | prog => 'local $a=undef', |
223 | note => 'locals are rare, probly not worth doing', |
224 | bcopts => '-basic', |
225 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
226 | 6 <@> leave[1 ref] vKP/REFC ->(end) |
227 | 1 <0> enter ->2 |
228 | 2 <;> nextstate(main 1 -e:1) v ->3 |
229 | 5 <2> sassign vKS/2 ->6 |
230 | 3 <0> undef s ->4 |
231 | - <1> ex-rv2sv sKRM*/129 ->5 |
232 | 4 <#> gvsv[*a] s/LVINTRO ->5 |
233 | EOT_EOT |
234 | # 6 <@> leave[1 ref] vKP/REFC ->(end) |
235 | # 1 <0> enter ->2 |
236 | # 2 <;> nextstate(main 1 -e:1) v ->3 |
237 | # 5 <2> sassign vKS/2 ->6 |
238 | # 3 <0> undef s ->4 |
239 | # - <1> ex-rv2sv sKRM*/129 ->5 |
240 | # 4 <$> gvsv(*a) s/LVINTRO ->5 |
241 | EONT_EONT |
242 | |
243 | checkOptree ( name => 'sub {my $a=()}', |
244 | code => sub {my $a=()}, |
245 | todo => 'optimize', |
246 | bcopts => '-exec', |
247 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
248 | goto - |
249 | 1 <;> nextstate(main -439 optree.t:105) v |
250 | 2 <0> stub sP |
251 | 3 <0> padsv[$a:-439,-438] sRM*/LVINTRO |
252 | 4 <2> sassign sKS/2 |
253 | 5 <1> leavesub[1 ref] K/REFC,1 |
254 | EOT_EOT |
255 | # 1 <;> nextstate(main 438 optree_varinit.t:247) v |
256 | # 2 <0> stub sP |
257 | # 3 <0> padsv[$a:438,439] sRM*/LVINTRO |
258 | # 4 <2> sassign sKS/2 |
259 | # 5 <1> leavesub[1 ref] K/REFC,1 |
260 | EONT_EONT |
261 | |
262 | checkOptree ( name => 'sub {our $a=()}', |
263 | code => sub {our $a=()}, |
264 | #todo => 'probly not worth doing', |
265 | bcopts => '-exec', |
266 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
267 | 1 <;> nextstate(main 31 optree.t:177) v |
268 | 2 <0> stub sP |
269 | 3 <#> gvsv[*a] s/OURINTR |
270 | 4 <2> sassign sKS/2 |
271 | 5 <1> leavesub[1 ref] K/REFC,1 |
272 | EOT_EOT |
273 | # 1 <;> nextstate(main 440 optree_varinit.t:262) v |
274 | # 2 <0> stub sP |
275 | # 3 <$> gvsv(*a) s/OURINTR |
276 | # 4 <2> sassign sKS/2 |
277 | # 5 <1> leavesub[1 ref] K/REFC,1 |
278 | EONT_EONT |
279 | |
280 | checkOptree ( name => 'sub {local $a=()}', |
281 | code => sub {local $a=()}, |
282 | #todo => 'probly not worth doing', |
283 | bcopts => '-exec', |
284 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
285 | goto - |
286 | 1 <;> nextstate(main 33 optree.t:190) v |
287 | 2 <0> stub sP |
288 | 3 <#> gvsv[*a] s/LVINTRO |
289 | 4 <2> sassign sKS/2 |
290 | 5 <1> leavesub[1 ref] K/REFC,1 |
291 | EOT_EOT |
292 | # goto - |
293 | # 1 <;> nextstate(main 63 optree.t:225) v |
294 | # 2 <0> stub sP |
295 | # 3 <$> gvsv(*a) s/LVINTRO |
296 | # 4 <2> sassign sKS/2 |
297 | # 5 <1> leavesub[1 ref] K/REFC,1 |
298 | EONT_EONT |
299 | |
300 | checkOptree ( name => 'my $a=()', |
301 | prog => 'my $a=()', |
302 | todo => 'optimize ? its one of the idioms', |
303 | bcopts => '-exec', |
304 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
305 | 1 <0> enter |
306 | 2 <;> nextstate(main 1 -e:1) v |
307 | 3 <0> stub sP |
308 | 4 <0> padsv[$a:1,2] sRM*/LVINTRO |
309 | 5 <2> sassign vKS/2 |
310 | 6 <@> leave[1 ref] vKP/REFC |
311 | EOT_EOT |
312 | # 1 <0> enter |
313 | # 2 <;> nextstate(main 1 -e:1) v |
314 | # 3 <0> stub sP |
315 | # 4 <0> padsv[$a:1,2] sRM*/LVINTRO |
316 | # 5 <2> sassign vKS/2 |
317 | # 6 <@> leave[1 ref] vKP/REFC |
318 | EONT_EONT |
319 | |
320 | checkOptree ( name => 'our $a=()', |
321 | prog => 'our $a=()', |
322 | #todo => 'probly not worth doing', |
323 | bcopts => '-exec', |
324 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
325 | 1 <0> enter |
326 | 2 <;> nextstate(main 1 -e:1) v |
327 | 3 <0> stub sP |
328 | 4 <#> gvsv[*a] s/OURINTR |
329 | 5 <2> sassign vKS/2 |
330 | 6 <@> leave[1 ref] vKP/REFC |
331 | EOT_EOT |
332 | # 1 <0> enter |
333 | # 2 <;> nextstate(main 1 -e:1) v |
334 | # 3 <0> stub sP |
335 | # 4 <$> gvsv(*a) s/OURINTR |
336 | # 5 <2> sassign vKS/2 |
337 | # 6 <@> leave[1 ref] vKP/REFC |
338 | EONT_EONT |
339 | |
340 | checkOptree ( name => 'local $a=()', |
341 | prog => 'local $a=()', |
342 | #todo => 'probly not worth doing', |
343 | bcopts => '-exec', |
344 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
345 | 1 <0> enter |
346 | 2 <;> nextstate(main 1 -e:1) v |
347 | 3 <0> stub sP |
348 | 4 <#> gvsv[*a] s/LVINTRO |
349 | 5 <2> sassign vKS/2 |
350 | 6 <@> leave[1 ref] vKP/REFC |
351 | EOT_EOT |
352 | # 1 <0> enter |
353 | # 2 <;> nextstate(main 1 -e:1) v |
354 | # 3 <0> stub sP |
355 | # 4 <$> gvsv(*a) s/LVINTRO |
356 | # 5 <2> sassign vKS/2 |
357 | # 6 <@> leave[1 ref] vKP/REFC |
358 | EONT_EONT |
359 | |
360 | checkOptree ( name => 'my ($a,$b)=()', |
361 | prog => 'my ($a,$b)=()', |
362 | #todo => 'probly not worth doing', |
363 | bcopts => '-exec', |
364 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
365 | # 1 <0> enter |
366 | # 2 <;> nextstate(main 1 -e:1) v |
367 | # 3 <0> pushmark s |
368 | # 4 <0> pushmark sRM*/128 |
369 | # 5 <0> padsv[$a:1,2] lRM*/LVINTRO |
370 | # 6 <0> padsv[$b:1,2] lRM*/LVINTRO |
371 | # 7 <2> aassign[t3] vKS |
372 | # 8 <@> leave[1 ref] vKP/REFC |
373 | EOT_EOT |
374 | # 1 <0> enter |
375 | # 2 <;> nextstate(main 1 -e:1) v |
376 | # 3 <0> pushmark s |
377 | # 4 <0> pushmark sRM*/128 |
378 | # 5 <0> padsv[$a:1,2] lRM*/LVINTRO |
379 | # 6 <0> padsv[$b:1,2] lRM*/LVINTRO |
380 | # 7 <2> aassign[t3] vKS |
381 | # 8 <@> leave[1 ref] vKP/REFC |
382 | EONT_EONT |
383 | |
2ce64696 |
384 | } #skip |
385 | |
724aa791 |
386 | __END__ |
387 | |