Commit | Line | Data |
724aa791 |
1 | #!perl |
2 | |
3 | BEGIN { |
5638aaac |
4 | if ($ENV{PERL_CORE}){ |
5 | chdir('t') if -d 't'; |
6 | @INC = ('.', '../lib', '../ext/B/t'); |
7 | } else { |
8 | unshift @INC, 't'; |
9 | push @INC, "../../t"; |
10 | } |
9cd8f857 |
11 | require Config; |
12 | if (($Config::Config{'extensions'} !~ /\bB\b/) ){ |
13 | print "1..0 # Skip -- Perl configured without B module\n"; |
14 | exit 0; |
15 | } |
19e169bf |
16 | # require 'test.pl'; # now done by OptreeCheck |
724aa791 |
17 | } |
18 | use OptreeCheck; |
2ce64696 |
19 | use Config; |
724aa791 |
20 | plan tests => 11; |
21 | |
2ce64696 |
22 | SKIP: { |
23 | skip "no perlio in this build", 11 unless $Config::Config{useperlio}; |
24 | |
724aa791 |
25 | pass("SORT OPTIMIZATION"); |
26 | |
27 | checkOptree ( name => 'sub {sort @a}', |
28 | code => sub {sort @a}, |
29 | bcopts => '-exec', |
30 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
31 | # 1 <;> nextstate(main 424 optree_sort.t:14) v |
32 | # 2 <0> pushmark s |
cc02ea56 |
33 | # 3 <#> gv[*a] s |
34 | # 4 <1> rv2av[t2] lK/1 |
724aa791 |
35 | # 5 <@> sort K |
36 | # 6 <1> leavesub[1 ref] K/REFC,1 |
37 | EOT_EOT |
38 | # 1 <;> nextstate(main 424 optree_sort.t:14) v |
39 | # 2 <0> pushmark s |
40 | # 3 <$> gv(*a) s |
41 | # 4 <1> rv2av[t1] lK/1 |
42 | # 5 <@> sort K |
43 | # 6 <1> leavesub[1 ref] K/REFC,1 |
44 | EONT_EONT |
45 | |
19e169bf |
46 | checkOptree ( name => 'sort @a', |
47 | prog => 'sort @a', |
48 | errs => [ 'Useless use of sort in void context at -e line 1.', |
49 | 'Name "main::a" used only once: possible typo at -e line 1.', |
50 | ], |
51 | bcopts => '-exec', |
52 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
53 | 1 <0> enter |
54 | 2 <;> nextstate(main 1 -e:1) v |
55 | 3 <0> pushmark s |
56 | 4 <#> gv[*a] s |
57 | 5 <1> rv2av[t2] lK/1 |
58 | 6 <@> sort vK |
59 | 7 <@> leave[1 ref] vKP/REFC |
60 | EOT_EOT |
61 | # 1 <0> enter |
62 | # 2 <;> nextstate(main 1 -e:1) v |
63 | # 3 <0> pushmark s |
64 | # 4 <$> gv(*a) s |
65 | # 5 <1> rv2av[t1] lK/1 |
66 | # 6 <@> sort vK |
67 | # 7 <@> leave[1 ref] vKP/REFC |
68 | EONT_EONT |
69 | |
70 | checkOptree ( name => 'sub {@a = sort @a}', |
71 | code => sub {@a = sort @a}, |
72 | bcopts => '-exec', |
73 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
74 | 1 <;> nextstate(main -438 optree.t:244) v |
75 | 2 <0> pushmark s |
76 | 3 <0> pushmark s |
77 | 4 <#> gv[*a] s |
cc02ea56 |
78 | 5 <1> rv2av[t4] lK/1 |
724aa791 |
79 | 6 <@> sort lK |
80 | 7 <0> pushmark s |
81 | 8 <#> gv[*a] s |
82 | 9 <1> rv2av[t2] lKRM*/1 |
19e169bf |
83 | a <2> aassign[t5] KS/COMMON |
724aa791 |
84 | b <1> leavesub[1 ref] K/REFC,1 |
85 | EOT_EOT |
86 | # 1 <;> nextstate(main 65 optree.t:311) v |
87 | # 2 <0> pushmark s |
88 | # 3 <0> pushmark s |
89 | # 4 <$> gv(*a) s |
90 | # 5 <1> rv2av[t2] lK/1 |
91 | # 6 <@> sort lK |
92 | # 7 <0> pushmark s |
93 | # 8 <$> gv(*a) s |
94 | # 9 <1> rv2av[t1] lKRM*/1 |
95 | # a <2> aassign[t3] KS/COMMON |
96 | # b <1> leavesub[1 ref] K/REFC,1 |
97 | EONT_EONT |
98 | |
99 | checkOptree ( name => '@a = sort @a', |
100 | prog => '@a = sort @a', |
101 | bcopts => '-exec', |
102 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
103 | 1 <0> enter |
104 | 2 <;> nextstate(main 1 -e:1) v |
105 | 3 <0> pushmark s |
106 | 4 <0> pushmark s |
107 | 5 <#> gv[*a] s |
108 | 6 <1> rv2av[t4] lKRM*/1 |
109 | 7 <@> sort lK/INPLACE |
110 | 8 <@> leave[1 ref] vKP/REFC |
111 | EOT_EOT |
112 | # 1 <0> enter |
113 | # 2 <;> nextstate(main 1 -e:1) v |
114 | # 3 <0> pushmark s |
115 | # 4 <0> pushmark s |
116 | # 5 <$> gv(*a) s |
117 | # 6 <1> rv2av[t2] lKRM*/1 |
118 | # 7 <@> sort lK/INPLACE |
119 | # 8 <@> leave[1 ref] vKP/REFC |
120 | EONT_EONT |
121 | |
122 | checkOptree ( name => 'sub {@a = sort @a; reverse @a}', |
123 | code => sub {@a = sort @a; reverse @a}, |
124 | bcopts => '-exec', |
125 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
126 | 1 <;> nextstate(main -438 optree.t:286) v |
127 | 2 <0> pushmark s |
128 | 3 <0> pushmark s |
129 | 4 <#> gv[*a] s |
130 | 5 <1> rv2av[t4] lKRM*/1 |
131 | 6 <@> sort lK/INPLACE |
132 | 7 <;> nextstate(main -438 optree.t:288) v |
133 | 8 <0> pushmark s |
134 | 9 <#> gv[*a] s |
135 | a <1> rv2av[t7] lK/1 |
136 | b <@> reverse[t8] K/1 |
137 | c <1> leavesub[1 ref] K/REFC,1 |
138 | EOT_EOT |
139 | # 1 <;> nextstate(main 66 optree.t:345) v |
140 | # 2 <0> pushmark s |
141 | # 3 <0> pushmark s |
142 | # 4 <$> gv(*a) s |
143 | # 5 <1> rv2av[t2] lKRM*/1 |
144 | # 6 <@> sort lK/INPLACE |
145 | # 7 <;> nextstate(main 66 optree.t:346) v |
146 | # 8 <0> pushmark s |
147 | # 9 <$> gv(*a) s |
148 | # a <1> rv2av[t4] lK/1 |
149 | # b <@> reverse[t5] K/1 |
150 | # c <1> leavesub[1 ref] K/REFC,1 |
151 | EONT_EONT |
152 | |
153 | checkOptree ( name => '@a = sort @a; reverse @a', |
154 | prog => '@a = sort @a; reverse @a', |
19e169bf |
155 | errs => ['Useless use of reverse in void context at -e line 1.'], |
724aa791 |
156 | bcopts => '-exec', |
157 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
158 | 1 <0> enter |
159 | 2 <;> nextstate(main 1 -e:1) v |
160 | 3 <0> pushmark s |
161 | 4 <0> pushmark s |
162 | 5 <#> gv[*a] s |
163 | 6 <1> rv2av[t4] lKRM*/1 |
164 | 7 <@> sort lK/INPLACE |
165 | 8 <;> nextstate(main 1 -e:1) v |
166 | 9 <0> pushmark s |
167 | a <#> gv[*a] s |
168 | b <1> rv2av[t7] lK/1 |
169 | c <@> reverse[t8] vK/1 |
170 | d <@> leave[1 ref] vKP/REFC |
171 | EOT_EOT |
172 | # 1 <0> enter |
173 | # 2 <;> nextstate(main 1 -e:1) v |
174 | # 3 <0> pushmark s |
175 | # 4 <0> pushmark s |
176 | # 5 <$> gv(*a) s |
177 | # 6 <1> rv2av[t2] lKRM*/1 |
178 | # 7 <@> sort lK/INPLACE |
179 | # 8 <;> nextstate(main 1 -e:1) v |
180 | # 9 <0> pushmark s |
181 | # a <$> gv(*a) s |
182 | # b <1> rv2av[t4] lK/1 |
183 | # c <@> reverse[t5] vK/1 |
184 | # d <@> leave[1 ref] vKP/REFC |
185 | EONT_EONT |
186 | |
187 | checkOptree ( name => 'sub {my @a; @a = sort @a}', |
188 | code => sub {my @a; @a = sort @a}, |
189 | bcopts => '-exec', |
190 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
191 | 1 <;> nextstate(main -437 optree.t:254) v |
192 | 2 <0> padav[@a:-437,-436] vM/LVINTRO |
193 | 3 <;> nextstate(main -436 optree.t:256) v |
194 | 4 <0> pushmark s |
195 | 5 <0> pushmark s |
196 | 6 <0> padav[@a:-437,-436] l |
197 | 7 <@> sort lK |
198 | 8 <0> pushmark s |
199 | 9 <0> padav[@a:-437,-436] lRM* |
19e169bf |
200 | a <2> aassign[t2] KS/COMMON |
724aa791 |
201 | b <1> leavesub[1 ref] K/REFC,1 |
202 | EOT_EOT |
203 | # 1 <;> nextstate(main 427 optree_sort.t:172) v |
204 | # 2 <0> padav[@a:427,428] vM/LVINTRO |
205 | # 3 <;> nextstate(main 428 optree_sort.t:173) v |
206 | # 4 <0> pushmark s |
207 | # 5 <0> pushmark s |
208 | # 6 <0> padav[@a:427,428] l |
209 | # 7 <@> sort lK |
210 | # 8 <0> pushmark s |
211 | # 9 <0> padav[@a:427,428] lRM* |
212 | # a <2> aassign[t2] KS/COMMON |
213 | # b <1> leavesub[1 ref] K/REFC,1 |
214 | EONT_EONT |
215 | |
216 | checkOptree ( name => 'my @a; @a = sort @a', |
217 | prog => 'my @a; @a = sort @a', |
218 | bcopts => '-exec', |
219 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
220 | 1 <0> enter |
221 | 2 <;> nextstate(main 1 -e:1) v |
222 | 3 <0> padav[@a:1,2] vM/LVINTRO |
223 | 4 <;> nextstate(main 2 -e:1) v |
224 | 5 <0> pushmark s |
225 | 6 <0> pushmark s |
226 | 7 <0> padav[@a:1,2] lRM* |
227 | 8 <@> sort lK/INPLACE |
228 | 9 <@> leave[1 ref] vKP/REFC |
229 | EOT_EOT |
230 | # 1 <0> enter |
231 | # 2 <;> nextstate(main 1 -e:1) v |
232 | # 3 <0> padav[@a:1,2] vM/LVINTRO |
233 | # 4 <;> nextstate(main 2 -e:1) v |
234 | # 5 <0> pushmark s |
235 | # 6 <0> pushmark s |
236 | # 7 <0> padav[@a:1,2] lRM* |
237 | # 8 <@> sort lK/INPLACE |
238 | # 9 <@> leave[1 ref] vKP/REFC |
239 | EONT_EONT |
240 | |
241 | checkOptree ( name => 'sub {my @a; @a = sort @a; push @a, 1}', |
242 | code => sub {my @a; @a = sort @a; push @a, 1}, |
243 | bcopts => '-exec', |
244 | debug => 0, |
245 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
246 | 1 <;> nextstate(main -437 optree.t:325) v |
247 | 2 <0> padav[@a:-437,-436] vM/LVINTRO |
248 | 3 <;> nextstate(main -436 optree.t:325) v |
249 | 4 <0> pushmark s |
250 | 5 <0> pushmark s |
251 | 6 <0> padav[@a:-437,-436] lRM* |
252 | 7 <@> sort lK/INPLACE |
253 | 8 <;> nextstate(main -436 optree.t:325) v |
254 | 9 <0> pushmark s |
255 | a <0> padav[@a:-437,-436] lRM |
256 | b <$> const[IV 1] s |
257 | c <@> push[t3] sK/2 |
258 | d <1> leavesub[1 ref] K/REFC,1 |
259 | EOT_EOT |
260 | # 1 <;> nextstate(main 429 optree_sort.t:219) v |
261 | # 2 <0> padav[@a:429,430] vM/LVINTRO |
262 | # 3 <;> nextstate(main 430 optree_sort.t:220) v |
263 | # 4 <0> pushmark s |
264 | # 5 <0> pushmark s |
265 | # 6 <0> padav[@a:429,430] lRM* |
266 | # 7 <@> sort lK/INPLACE |
267 | # 8 <;> nextstate(main 430 optree_sort.t:220) v |
268 | # 9 <0> pushmark s |
269 | # a <0> padav[@a:429,430] lRM |
270 | # b <$> const(IV 1) s |
271 | # c <@> push[t3] sK/2 |
272 | # d <1> leavesub[1 ref] K/REFC,1 |
273 | EONT_EONT |
274 | |
275 | checkOptree ( name => 'sub {my @a; @a = sort @a; 1}', |
276 | code => sub {my @a; @a = sort @a; 1}, |
277 | bcopts => '-exec', |
278 | debug => 0, |
279 | expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT'); |
724aa791 |
280 | 1 <;> nextstate(main -437 optree.t:325) v |
281 | 2 <0> padav[@a:-437,-436] vM/LVINTRO |
282 | 3 <;> nextstate(main -436 optree.t:325) v |
283 | 4 <0> pushmark s |
284 | 5 <0> pushmark s |
285 | 6 <0> padav[@a:-437,-436] lRM* |
286 | 7 <@> sort lK/INPLACE |
287 | 8 <;> nextstate(main -436 optree.t:346) v |
288 | 9 <$> const[IV 1] s |
289 | a <1> leavesub[1 ref] K/REFC,1 |
290 | EOT_EOT |
291 | # 1 <;> nextstate(main 431 optree_sort.t:250) v |
292 | # 2 <0> padav[@a:431,432] vM/LVINTRO |
293 | # 3 <;> nextstate(main 432 optree_sort.t:251) v |
294 | # 4 <0> pushmark s |
295 | # 5 <0> pushmark s |
296 | # 6 <0> padav[@a:431,432] lRM* |
297 | # 7 <@> sort lK/INPLACE |
298 | # 8 <;> nextstate(main 432 optree_sort.t:251) v |
299 | # 9 <$> const(IV 1) s |
300 | # a <1> leavesub[1 ref] K/REFC,1 |
301 | EONT_EONT |
302 | |
2ce64696 |
303 | } #skip |
724aa791 |
304 | |
305 | __END__ |
306 | |