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