1#!./perl 2 3BEGIN { 4 if ($ENV{PERL_CORE}){ 5 chdir('t') if -d 't'; 6 @INC = ('.', '../lib'); 7 } else { 8 unshift @INC, 't'; 9 push @INC, "../../t"; 10 } 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 } 16 require 'test.pl'; # we use runperl from 'test.pl', so can't use Test::More 17 sub diag { print "# @_\n" } # but this is still handy 18} 19 20plan tests => 156; 21 22require_ok("B::Concise"); 23 24$out = runperl(switches => ["-MO=Concise"], prog => '$a', stderr => 1); 25 26# If either of the next two tests fail, it probably means you need to 27# fix the section labeled 'fragile kludge' in Concise.pm 28 29($op_base) = ($out =~ /^(\d+)\s*<0>\s*enter/m); 30 31is($op_base, 1, "Smallest OP sequence number"); 32 33($op_base_p1, $cop_base) 34 = ($out =~ /^(\d+)\s*<;>\s*nextstate\(main (-?\d+) /m); 35 36is($op_base_p1, 2, "Second-smallest OP sequence number"); 37 38is($cop_base, 1, "Smallest COP sequence number"); 39 40# test that with -exec B::Concise navigates past logops (bug #18175) 41 42$out = runperl( 43 switches => ["-MO=Concise,-exec"], 44 prog => q{$a=$b && print q/foo/}, 45 stderr => 1, 46); 47#diag($out); 48like($out, qr/print/, "'-exec' option output has print opcode"); 49 50######## API tests v.60 51 52use Config; # used for perlio check 53B::Concise->import(qw( set_style set_style_standard add_callback 54 add_style walk_output reset_sequence )); 55 56## walk_output argument checking 57 58# test that walk_output rejects non-HANDLE args 59foreach my $foo ("string", [], {}) { 60 eval { walk_output($foo) }; 61 isnt ($@, '', "walk_output() rejects arg '$foo'"); 62 $@=''; # clear the fail for next test 63} 64# test accessor mode when arg undefd or 0 65foreach my $foo (undef, 0) { 66 my $handle = walk_output($foo); 67 is ($handle, \*STDOUT, "walk_output set to STDOUT (default)"); 68} 69 70{ # any object that can print should be ok for walk_output 71 package Hugo; 72 sub new { my $foo = bless {} }; 73 sub print { CORE::print @_ } 74} 75my $foo = new Hugo; # suggested this API fix 76eval { walk_output($foo) }; 77is ($@, '', "walk_output() accepts obj that can print"); 78 79# test that walk_output accepts a HANDLE arg 80SKIP: { 81 skip("no perlio in this build", 4) 82 unless $Config::Config{useperlio}; 83 84 foreach my $foo (\*STDOUT, \*STDERR) { 85 eval { walk_output($foo) }; 86 is ($@, '', "walk_output() accepts STD* " . ref $foo); 87 } 88 89 # now test a ref to scalar 90 eval { walk_output(\my $junk) }; 91 is ($@, '', "walk_output() accepts ref-to-sprintf target"); 92 93 $junk = "non-empty"; 94 eval { walk_output(\$junk) }; 95 is ($@, '', "walk_output() accepts ref-to-non-empty-scalar"); 96} 97 98## add_style 99my @stylespec; 100$@=''; 101eval { add_style ('junk_B' => @stylespec) }; 102like ($@, 'expecting 3 style-format args', 103 "add_style rejects insufficient args"); 104 105@stylespec = (0,0,0); # right length, invalid values 106$@=''; 107eval { add_style ('junk' => @stylespec) }; 108is ($@, '', "add_style accepts: stylename => 3-arg-array"); 109 110$@=''; 111eval { add_style (junk => @stylespec) }; 112like ($@, qr/style 'junk' already exists, choose a new name/, 113 "add_style correctly disallows re-adding same style-name" ); 114 115# test new arg-checks on set_style 116$@=''; 117eval { set_style (@stylespec) }; 118is ($@, '', "set_style accepts 3 style-format args"); 119 120@stylespec = (); # bad style 121 122eval { set_style (@stylespec) }; 123like ($@, qr/expecting 3 style-format args/, 124 "set_style rejects bad style-format args"); 125 126#### for content with doc'd options 127 128our($a, $b); 129my $func = sub{ $a = $b+42 }; # canonical example asub 130 131sub render { 132 walk_output(\my $out); 133 eval { B::Concise::compile(@_)->() }; 134 # diag "rendering $@\n"; 135 return ($out, $@) if wantarray; 136 return $out; 137} 138 139SKIP: { 140 # tests output to GLOB, using perlio feature directly 141 skip "no perlio on this build", 127 142 unless $Config::Config{useperlio}; 143 144 set_style_standard('concise'); # MUST CALL before output needed 145 146 @options = qw( 147 -basic -exec -tree -compact -loose -vt -ascii 148 -base10 -bigendian -littleendian 149 ); 150 foreach $opt (@options) { 151 ($out) = render($opt, $func); 152 isnt($out, '', "got output with option $opt"); 153 } 154 155 ## test output control via walk_output 156 157 my $treegen = B::Concise::compile('-basic', $func); # reused 158 159 { # test output into a package global string (sprintf-ish) 160 our $thing; 161 walk_output(\$thing); 162 $treegen->(); 163 ok($thing, "walk_output to our SCALAR, output seen"); 164 } 165 166 # test walkoutput acceptance of a scalar-bound IO handle 167 open (my $fh, '>', \my $buf); 168 walk_output($fh); 169 $treegen->(); 170 ok($buf, "walk_output to GLOB, output seen"); 171 172 ## test B::Concise::compile error checking 173 174 # call compile on non-CODE ref items 175 if (0) { 176 # pending STASH splaying 177 178 foreach my $ref ([], {}) { 179 my $typ = ref $ref; 180 walk_output(\my $out); 181 eval { B::Concise::compile('-basic', $ref)->() }; 182 like ($@, qr/^err: not a coderef: $typ/, 183 "compile detects $typ-ref where expecting subref"); 184 is($out,'', "no output when errd"); # announcement prints 185 } 186 } 187 188 # test against a bogus autovivified subref. 189 # in debugger, it should look like: 190 # 1 CODE(0x84840cc) 191 # -> &CODE(0x84840cc) in ??? 192 193 my ($res,$err); 194 TODO: { 195 #local $TODO = "\tdoes this handling make sense ?"; 196 197 sub declared_only; 198 ($res,$err) = render('-basic', \&declared_only); 199 like ($res, qr/coderef CODE\(0x[0-9a-fA-F]+\) has no START/, 200 "'sub decl_only' seen as having no START"); 201 202 sub defd_empty {}; 203 ($res,$err) = render('-basic', \&defd_empty); 204 is(scalar split(/\n/, $res), 3, 205 "'sub defd_empty {}' seen as 3 liner"); 206 207 is(1, $res =~ /leavesub/ && $res =~ /(next|db)state/, 208 "'sub defd_empty {}' seen as 2 ops: leavesub,nextstate"); 209 210 ($res,$err) = render('-basic', \¬_even_declared); 211 like ($res, qr/coderef CODE\(0x[0-9a-fA-F]+\) has no START/, 212 "'\¬_even_declared' seen as having no START"); 213 214 { 215 package Bar; 216 our $AUTOLOAD = 'garbage'; 217 sub AUTOLOAD { print "# in AUTOLOAD body: $AUTOLOAD\n" } 218 } 219 ($res,$err) = render('-basic', Bar::auto_func); 220 like ($res, qr/unknown function \(Bar::auto_func\)/, 221 "Bar::auto_func seen as unknown function"); 222 223 ($res,$err) = render('-basic', \&Bar::auto_func); 224 like ($res, qr/coderef CODE\(0x[0-9a-fA-F]+\) has no START/, 225 "'\&Bar::auto_func' seen as having no START"); 226 227 ($res,$err) = render('-basic', \&Bar::AUTOLOAD); 228 like ($res, qr/in AUTOLOAD body: /, "found body of Bar::AUTOLOAD"); 229 230 } 231 ($res,$err) = render('-basic', Foo::bar); 232 like ($res, qr/unknown function \(Foo::bar\)/, 233 "BC::compile detects fn-name as unknown function"); 234 235 # v.62 tests 236 237 pass ("TEST POST-COMPILE OPTION-HANDLING IN WALKER SUBROUTINE"); 238 239 my $sample; 240 241 my $walker = B::Concise::compile('-basic', $func); 242 walk_output(\$sample); 243 $walker->('-exec'); 244 like($sample, qr/goto/m, "post-compile -exec"); 245 246 walk_output(\$sample); 247 $walker->('-basic'); 248 unlike($sample, qr/goto/m, "post-compile -basic"); 249 250 251 # bang at it combinatorically 252 my %combos; 253 my @modes = qw( -basic -exec ); 254 my @styles = qw( -concise -debug -linenoise -terse ); 255 256 # prep samples 257 for $style (@styles) { 258 for $mode (@modes) { 259 walk_output(\$sample); 260 reset_sequence(); 261 $walker->($style, $mode); 262 $combos{"$style$mode"} = $sample; 263 } 264 } 265 # crosscheck that samples are all text-different 266 @list = sort keys %combos; 267 for $i (0..$#list) { 268 for $j ($i+1..$#list) { 269 isnt ($combos{$list[$i]}, $combos{$list[$j]}, 270 "combos for $list[$i] and $list[$j] are different, as expected"); 271 } 272 } 273 274 # add samples with styles in different order 275 for $mode (@modes) { 276 for $style (@styles) { 277 reset_sequence(); 278 walk_output(\$sample); 279 $walker->($mode, $style); 280 $combos{"$mode$style"} = $sample; 281 } 282 } 283 # test commutativity of flags, ie that AB == BA 284 for $mode (@modes) { 285 for $style (@styles) { 286 is ( $combos{"$style$mode"}, 287 $combos{"$mode$style"}, 288 "results for $style$mode vs $mode$style are the same" ); 289 } 290 } 291 292 my %save = %combos; 293 %combos = (); # outputs for $mode=any($order) and any($style) 294 295 # add more samples with switching modes & sticky styles 296 for $style (@styles) { 297 walk_output(\$sample); 298 reset_sequence(); 299 $walker->($style); 300 for $mode (@modes) { 301 walk_output(\$sample); 302 reset_sequence(); 303 $walker->($mode); 304 $combos{"$style/$mode"} = $sample; 305 } 306 } 307 # crosscheck that samples are all text-different 308 @nm = sort keys %combos; 309 for $i (0..$#nm) { 310 for $j ($i+1..$#nm) { 311 isnt ($combos{$nm[$i]}, $combos{$nm[$j]}, 312 "results for $nm[$i] and $nm[$j] are different, as expected"); 313 } 314 } 315 316 # add samples with switching styles & sticky modes 317 for $mode (@modes) { 318 walk_output(\$sample); 319 reset_sequence(); 320 $walker->($mode); 321 for $style (@styles) { 322 walk_output(\$sample); 323 reset_sequence(); 324 $walker->($style); 325 $combos{"$mode/$style"} = $sample; 326 } 327 } 328 # test commutativity of flags, ie that AB == BA 329 for $mode (@modes) { 330 for $style (@styles) { 331 is ( $combos{"$style/$mode"}, 332 $combos{"$mode/$style"}, 333 "results for $style/$mode vs $mode/$style are the same" ); 334 } 335 } 336 337 338 #now do double crosschecks: commutativity across stick / nostick 339 %combos = (%combos, %save); 340 341 # test commutativity of flags, ie that AB == BA 342 for $mode (@modes) { 343 for $style (@styles) { 344 345 is ( $combos{"$style$mode"}, 346 $combos{"$style/$mode"}, 347 "$style$mode VS $style/$mode are the same" ); 348 349 is ( $combos{"$mode$style"}, 350 $combos{"$mode/$style"}, 351 "$mode$style VS $mode/$style are the same" ); 352 353 is ( $combos{"$style$mode"}, 354 $combos{"$mode/$style"}, 355 "$style$mode VS $mode/$style are the same" ); 356 357 is ( $combos{"$mode$style"}, 358 $combos{"$style/$mode"}, 359 "$mode$style VS $style/$mode are the same" ); 360 } 361 } 362} 363 364 365# test proper NULLING of pointer, derefd by CvSTART, when a coderef is 366# undefd. W/o this, the pointer can dangle into freed and reused 367# optree mem, which no longer points to opcodes. 368 369# Using B::Concise to render Config::AUTOLOAD's optree at BEGIN-time 370# triggers this obscure bug, cuz AUTOLOAD has a bootstrap version, 371# which is used at load-time then undeffed. It is normally 372# re-vivified later, but not in time for this (BEGIN/CHECK)-time 373# rendering. 374 375$out = runperl ( switches => ["-MO=Concise,Config::AUTOLOAD"], 376 prog => 'use Config; BEGIN { $Config{awk} }', 377 stderr => 1 ); 378 379like($out, qr/Config::AUTOLOAD exists in stash, but has no START/, 380 "coderef properly undefined"); 381 382$out = runperl ( switches => ["-MO=Concise,Config::AUTOLOAD"], 383 prog => 'use Config; CHECK { $Config{awk} }', 384 stderr => 1 ); 385 386like($out, qr/Config::AUTOLOAD exists in stash, but has no START/, 387 "coderef properly undefined"); 388 389# test -stash and -src rendering 390# todo: stderr=1 puts '-e syntax OK' into $out, 391# conceivably fouling one of the lines that are tested 392$out = runperl ( switches => ["-MO=Concise,-stash=B::Concise,-src"], 393 prog => '-e 1', stderr => 1 ); 394 395like($out, qr/FUNC: \*B::Concise::concise_cv_obj/, 396 "stash rendering of B::Concise includes Concise::concise_cv_obj"); 397 398like($out, qr/FUNC: \*B::Concise::walk_output/, 399 "stash rendering includes Concise::walk_output"); 400 401like($out, qr/FUNC: \*B::Concise::PAD_FAKELEX_MULTI/, 402 "stash rendering includes constant sub: PAD_FAKELEX_MULTI"); 403 404like($out, qr/PAD_FAKELEX_MULTI is a constant sub, optimized to a IV/, 405 "stash rendering identifies it as constant"); 406 407like($out, qr/\# 4\d\d: \s+ \$l->concise\(\$level\);/, 408 "src-line rendering works"); 409 410$out = runperl ( switches => ["-MO=Concise,-stash=Data::Dumper,-src,-exec"], 411 prog => '-e 1', stderr => 1 ); 412 413like($out, qr/FUNC: \*Data::Dumper::format_refaddr/, 414 "stash rendering loads package as needed"); 415 416my $prog = q{package FOO; sub bar { print "bar" } package main; FOO::bar(); }; 417 418# this would fail if %INC used for -stash test 419$out = runperl ( switches => ["-MO=Concise,-src,-stash=FOO,-main"], 420 prog => $prog, stderr => 1 ); 421 422like($out, qr/FUNC: \*FOO::bar/, 423 "stash rendering works on inlined package"); 424 425__END__ 426