This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
bump $Time::HiRes::VERSION
[perl5.git] / ext / B / t / optree_sort.t
1 #!perl
2
3 BEGIN {
4     unshift @INC, 't';
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     }
10     if (!$Config::Config{useperlio}) {
11         print "1..0 # Skip -- need perlio to walk the optree\n";
12         exit 0;
13     }
14 }
15 use OptreeCheck;
16 use Config;
17 plan tests => 21;
18
19 pass("SORT OPTIMIZATION");
20
21 checkOptree ( name      => 'sub {sort @a}',
22               code      => sub {sort @a},
23               bcopts    => '-exec',
24               strip_open_hints => 1,
25               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
26 # 1  <;> nextstate(main 424 optree_sort.t:14) v:>,<,%
27 # 2  <0> pushmark s
28 # 3  <#> gv[*a] s
29 # 4  <1> rv2av[t2] lK/1
30 # 5  <@> sort K
31 # 6  <1> leavesub[1 ref] K/REFC,1
32 EOT_EOT
33 # 1  <;> nextstate(main 424 optree_sort.t:14) v:>,<,%
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
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',
47               strip_open_hints => 1,
48               expect => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
49 1  <0> enter 
50 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
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 
58 # 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
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',
69               strip_open_hints => 1,
70               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
71 1  <;> nextstate(main -438 optree.t:244) v:>,<,%
72 2  <0> pushmark s
73 3  <0> pushmark s
74 4  <#> gv[*a] s
75 5  <1> rv2av[t4] lK/1
76 6  <@> sort lK
77 7  <0> pushmark s
78 8  <#> gv[*a] s
79 9  <1> rv2av[t2] lKRM*/1
80 a  <2> aassign[t5] KS/COM_AGG
81 b  <1> leavesub[1 ref] K/REFC,1
82 EOT_EOT
83 # 1  <;> nextstate(main 65 optree.t:311) v:>,<,%
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/COM_AGG
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',
99               strip_open_hints => 1,
100               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
101 1  <0> enter 
102 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
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 
111 # 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
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',
123               strip_open_hints => 1,
124               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
125 1  <;> nextstate(main -438 optree.t:286) v:>,<,%
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
131 7  <;> nextstate(main -438 optree.t:288) v:>,<,%
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
138 # 1  <;> nextstate(main 66 optree.t:345) v:>,<,%
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
144 # 7  <;> nextstate(main 66 optree.t:346) v:>,<,%
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',
154               errs      => ['Useless use of reverse in void context at -e line 1.'],
155               bcopts    => '-exec',
156               strip_open_hints => 1,
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               strip_open_hints => 1,
191               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
192 1  <;> nextstate(main -437 optree.t:254) v:>,<,%
193 2  <0> padav[@a:-437,-436] vM/LVINTRO
194 3  <;> nextstate(main -436 optree.t:256) v:>,<,%
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*
201 a  <2> aassign[t2] KS/COM_AGG
202 b  <1> leavesub[1 ref] K/REFC,1
203 EOT_EOT
204 # 1  <;> nextstate(main 427 optree_sort.t:172) v:>,<,%
205 # 2  <0> padav[@a:427,428] vM/LVINTRO
206 # 3  <;> nextstate(main 428 optree_sort.t:173) v:>,<,%
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:-437,-436] lRM*
213 # a  <2> aassign[t2] KS/COM_AGG
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',
220               strip_open_hints => 1,
221               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
222 1  <0> enter 
223 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
224 3  <0> padav[@a:1,2] vM/LVINTRO
225 4  <;> nextstate(main 2 -e:1) v:>,<,%,{
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 
233 # 2  <;> nextstate(main 1 -e:1) v:>,<,%,{
234 # 3  <0> padav[@a:1,2] vM/LVINTRO
235 # 4  <;> nextstate(main 2 -e:1) v:>,<,%,{
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,
247               strip_open_hints => 1,
248               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
249 1  <;> nextstate(main -437 optree.t:325) v:>,<,%
250 2  <0> padav[@a:-437,-436] vM/LVINTRO
251 3  <;> nextstate(main -436 optree.t:325) v:>,<,%
252 4  <0> pushmark s
253 5  <0> pushmark s
254 6  <0> padav[@a:-437,-436] lRM*
255 7  <@> sort lK/INPLACE
256 8  <;> nextstate(main -436 optree.t:325) v:>,<,%,{
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
263 # 1  <;> nextstate(main 429 optree_sort.t:219) v:>,<,%
264 # 2  <0> padav[@a:429,430] vM/LVINTRO
265 # 3  <;> nextstate(main 430 optree_sort.t:220) v:>,<,%
266 # 4  <0> pushmark s
267 # 5  <0> pushmark s
268 # 6  <0> padav[@a:429,430] lRM*
269 # 7  <@> sort lK/INPLACE
270 # 8  <;> nextstate(main 430 optree_sort.t:220) v:>,<,%,{
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,
282               strip_open_hints => 1,
283               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
284 1  <;> nextstate(main -437 optree.t:325) v:>,<,%
285 2  <0> padav[@a:-437,-436] vM/LVINTRO
286 3  <;> nextstate(main -436 optree.t:325) v:>,<,%
287 4  <0> pushmark s
288 5  <0> pushmark s
289 6  <0> padav[@a:-437,-436] lRM*
290 7  <@> sort lK/INPLACE
291 8  <;> nextstate(main -436 optree.t:346) v:>,<,%,{
292 9  <$> const[IV 1] s
293 a  <1> leavesub[1 ref] K/REFC,1
294 EOT_EOT
295 # 1  <;> nextstate(main 431 optree_sort.t:250) v:>,<,%
296 # 2  <0> padav[@a:431,432] vM/LVINTRO
297 # 3  <;> nextstate(main 432 optree_sort.t:251) v:>,<,%
298 # 4  <0> pushmark s
299 # 5  <0> pushmark s
300 # 6  <0> padav[@a:431,432] lRM*
301 # 7  <@> sort lK/INPLACE
302 # 8  <;> nextstate(main 432 optree_sort.t:251) v:>,<,%,{
303 # 9  <$> const(IV 1) s
304 # a  <1> leavesub[1 ref] K/REFC,1
305 EONT_EONT