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