Commit | Line | Data |
---|---|---|
724aa791 JC |
1 | #!perl |
2 | ||
3 | BEGIN { | |
5638aaac SM |
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 NC |
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 JC |
17 | } |
18 | use OptreeCheck; | |
2ce64696 | 19 | use Config; |
724aa791 JC |
20 | plan tests => 11; |
21 | ||
2ce64696 JC |
22 | SKIP: { |
23 | skip "no perlio in this build", 11 unless $Config::Config{useperlio}; | |
24 | ||
724aa791 JC |
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 JC |
33 | # 3 <#> gv[*a] s |
34 | # 4 <1> rv2av[t2] lK/1 | |
724aa791 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
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 JC |
304 | |
305 | __END__ | |
306 |