ext/B/t/optree_varinit.t

   1 #!perl
   2
   3 BEGIN {
   4     chdir 't';
   5     @INC = ('../lib', '../ext/B/t');
   6     require Config;
   7     if (($Config::Config{'extensions'} !~ /\bB\b/) ){
   8         print "1..0 # Skip -- Perl configured without B module\n";
   9         exit 0;
  10     }
  11     require './test.pl';
  12 }
  13 use OptreeCheck;
  14 use Config;
  15 plan tests      => 22;
  16 SKIP: {
  17 skip "no perlio in this build", 22 unless $Config::Config{useperlio};
  18
  19 pass("OPTIMIZER TESTS - VAR INITIALIZATION");
  20
  21 checkOptree ( name      => 'sub {my $a}',
  22               bcopts    => '-exec',
  23               code      => sub {my $a},
  24               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  25 # 1  <;> nextstate(main 45 optree.t:23) v
  26 # 2  <0> padsv[$a:45,46] M/LVINTRO
  27 # 3  <1> leavesub[1 ref] K/REFC,1
  28 EOT_EOT
  29 # 1  <;> nextstate(main 45 optree.t:23) v
  30 # 2  <0> padsv[$a:45,46] M/LVINTRO
  31 # 3  <1> leavesub[1 ref] K/REFC,1
  32 EONT_EONT
  33
  34 checkOptree ( name      => '-exec sub {my $a}',
  35               bcopts    => '-exec',
  36               code      => sub {my $a},
  37               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  38 # 1  <;> nextstate(main 49 optree.t:52) v
  39 # 2  <0> padsv[$a:49,50] M/LVINTRO
  40 # 3  <1> leavesub[1 ref] K/REFC,1
  41 EOT_EOT
  42 # 1  <;> nextstate(main 49 optree.t:45) v
  43 # 2  <0> padsv[$a:49,50] M/LVINTRO
  44 # 3  <1> leavesub[1 ref] K/REFC,1
  45 EONT_EONT
  46
  47 checkOptree ( name      => 'sub {our $a}',
  48               bcopts    => '-exec',
  49               code      => sub {our $a},
  50               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  51 1  <;> nextstate(main 21 optree.t:47) v
  52 2  <#> gvsv[*a] s/OURINTR
  53 3  <1> leavesub[1 ref] K/REFC,1
  54 EOT_EOT
  55 # 1  <;> nextstate(main 51 optree.t:56) v
  56 # 2  <$> gvsv(*a) s/OURINTR
  57 # 3  <1> leavesub[1 ref] K/REFC,1
  58 EONT_EONT
  59
  60 checkOptree ( name      => 'sub {local $a}',
  61               bcopts    => '-exec',
  62               code      => sub {local $a},
  63               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  64 1  <;> nextstate(main 23 optree.t:57) v
  65 2  <#> gvsv[*a] s/LVINTRO
  66 3  <1> leavesub[1 ref] K/REFC,1
  67 EOT_EOT
  68 # 1  <;> nextstate(main 53 optree.t:67) v
  69 # 2  <$> gvsv(*a) s/LVINTRO
  70 # 3  <1> leavesub[1 ref] K/REFC,1
  71 EONT_EONT
  72
  73 checkOptree ( name      => 'my $a',
  74               prog      => 'my $a',
  75               bcopts    => '-basic',
  76               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  77 # 4  <@> leave[1 ref] vKP/REFC ->(end)
  78 # 1     <0> enter ->2
  79 # 2     <;> nextstate(main 1 -e:1) v ->3
  80 # 3     <0> padsv[$a:1,2] vM/LVINTRO ->4
  81 EOT_EOT
  82 # 4  <@> leave[1 ref] vKP/REFC ->(end)
  83 # 1     <0> enter ->2
  84 # 2     <;> nextstate(main 1 -e:1) v ->3
  85 # 3     <0> padsv[$a:1,2] vM/LVINTRO ->4
  86 EONT_EONT
  87
  88 checkOptree ( name      => 'our $a',
  89               prog      => 'our $a',
  90               bcopts    => '-basic',
  91               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
  92 4  <@> leave[1 ref] vKP/REFC ->(end)
  93 1     <0> enter ->2
  94 2     <;> nextstate(main 1 -e:1) v ->3
  95 -     <1> ex-rv2sv vK/17 ->4
  96 3        <#> gvsv[*a] s/OURINTR ->4
  97 EOT_EOT
  98 # 4  <@> leave[1 ref] vKP/REFC ->(end)
  99 # 1     <0> enter ->2
 100 # 2     <;> nextstate(main 1 -e:1) v ->3
 101 # -     <1> ex-rv2sv vK/17 ->4
 102 # 3        <$> gvsv(*a) s/OURINTR ->4
 103 EONT_EONT
 104
 105 checkOptree ( name      => 'local $a',
 106               prog      => 'local $a',
 107               bcopts    => '-basic',
 108               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 109 4  <@> leave[1 ref] vKP/REFC ->(end)
 110 1     <0> enter ->2
 111 2     <;> nextstate(main 1 -e:1) v ->3
 112 -     <1> ex-rv2sv vKM/129 ->4
 113 3        <#> gvsv[*a] s/LVINTRO ->4
 114 EOT_EOT
 115 # 4  <@> leave[1 ref] vKP/REFC ->(end)
 116 # 1     <0> enter ->2
 117 # 2     <;> nextstate(main 1 -e:1) v ->3
 118 # -     <1> ex-rv2sv vKM/129 ->4
 119 # 3        <$> gvsv(*a) s/LVINTRO ->4
 120 EONT_EONT
 121
 122 pass("MY, OUR, LOCAL, BOTH SUB AND MAIN, = undef");
 123
 124 checkOptree ( name      => 'sub {my $a=undef}',
 125               code      => sub {my $a=undef},
 126               bcopts    => '-basic',
 127               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 128 3  <1> leavesub[1 ref] K/REFC,1 ->(end)
 129 -     <@> lineseq KP ->3
 130 1        <;> nextstate(main 24 optree.t:99) v ->2
 131 2        <0> padsv[$a:24,25] sRM*/LVINTRO ->3
 132 EOT_EOT
 133 # 3  <1> leavesub[1 ref] K/REFC,1 ->(end)
 134 # -     <@> lineseq KP ->3
 135 # 1        <;> nextstate(main 54 optree.t:149) v ->2
 136 # 2        <0> padsv[$a:54,55] sRM*/LVINTRO ->3
 137 EONT_EONT
 138
 139 checkOptree ( name      => 'sub {our $a=undef}',
 140               code      => sub {our $a=undef},
 141               note      => 'the global must be reset',
 142               bcopts    => '-basic',
 143               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 144 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
 145 -     <@> lineseq KP ->5
 146 1        <;> nextstate(main 26 optree.t:109) v ->2
 147 4        <2> sassign sKS/2 ->5
 148 2           <0> undef s ->3
 149 -           <1> ex-rv2sv sKRM*/17 ->4
 150 3              <#> gvsv[*a] s/OURINTR ->4
 151 EOT_EOT
 152 # 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
 153 # -     <@> lineseq KP ->5
 154 # 1        <;> nextstate(main 446 optree_varinit.t:137) v ->2
 155 # 4        <2> sassign sKS/2 ->5
 156 # 2           <0> undef s ->3
 157 # -           <1> ex-rv2sv sKRM*/17 ->4
 158 # 3              <$> gvsv(*a) s/OURINTR ->4
 159 EONT_EONT
 160
 161 checkOptree ( name      => 'sub {local $a=undef}',
 162               code      => sub {local $a=undef},
 163               note      => 'local not used enough to bother',
 164               bcopts    => '-basic',
 165               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 166 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
 167 -     <@> lineseq KP ->5
 168 1        <;> nextstate(main 28 optree.t:122) v ->2
 169 4        <2> sassign sKS/2 ->5
 170 2           <0> undef s ->3
 171 -           <1> ex-rv2sv sKRM*/129 ->4
 172 3              <#> gvsv[*a] s/LVINTRO ->4
 173 EOT_EOT
 174 # 5  <1> leavesub[1 ref] K/REFC,1 ->(end)
 175 # -     <@> lineseq KP ->5
 176 # 1        <;> nextstate(main 58 optree.t:141) v ->2
 177 # 4        <2> sassign sKS/2 ->5
 178 # 2           <0> undef s ->3
 179 # -           <1> ex-rv2sv sKRM*/129 ->4
 180 # 3              <$> gvsv(*a) s/LVINTRO ->4
 181 EONT_EONT
 182
 183 checkOptree ( name      => 'my $a=undef',
 184               prog      => 'my $a=undef',
 185               bcopts    => '-basic',
 186               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 187 4  <@> leave[1 ref] vKP/REFC ->(end)
 188 1     <0> enter ->2
 189 2     <;> nextstate(main 1 -e:1) v ->3
 190 3     <0> padsv[$a:1,2] vRM*/LVINTRO ->4
 191 EOT_EOT
 192 # 4  <@> leave[1 ref] vKP/REFC ->(end)
 193 # 1     <0> enter ->2
 194 # 2     <;> nextstate(main 1 -e:1) v ->3
 195 # 3     <0> padsv[$a:1,2] vRM*/LVINTRO ->4
 196 EONT_EONT
 197
 198 checkOptree ( name      => 'our $a=undef',
 199               prog      => 'our $a=undef',
 200               note      => 'global must be reassigned',
 201               bcopts    => '-basic',
 202               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 203 6  <@> leave[1 ref] vKP/REFC ->(end)
 204 1     <0> enter ->2
 205 2     <;> nextstate(main 1 -e:1) v ->3
 206 5     <2> sassign vKS/2 ->6
 207 3        <0> undef s ->4
 208 -        <1> ex-rv2sv sKRM*/17 ->5
 209 4           <#> gvsv[*a] s/OURINTR ->5
 210 EOT_EOT
 211 # 6  <@> leave[1 ref] vKP/REFC ->(end)
 212 # 1     <0> enter ->2
 213 # 2     <;> nextstate(main 1 -e:1) v ->3
 214 # 5     <2> sassign vKS/2 ->6
 215 # 3        <0> undef s ->4
 216 # -        <1> ex-rv2sv sKRM*/17 ->5
 217 # 4           <$> gvsv(*a) s/OURINTR ->5
 218 EONT_EONT
 219
 220 checkOptree ( name      => 'local $a=undef',
 221               prog      => 'local $a=undef',
 222               note      => 'locals are rare, probly not worth doing',
 223               bcopts    => '-basic',
 224               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 225 6  <@> leave[1 ref] vKP/REFC ->(end)
 226 1     <0> enter ->2
 227 2     <;> nextstate(main 1 -e:1) v ->3
 228 5     <2> sassign vKS/2 ->6
 229 3        <0> undef s ->4
 230 -        <1> ex-rv2sv sKRM*/129 ->5
 231 4           <#> gvsv[*a] s/LVINTRO ->5
 232 EOT_EOT
 233 # 6  <@> leave[1 ref] vKP/REFC ->(end)
 234 # 1     <0> enter ->2
 235 # 2     <;> nextstate(main 1 -e:1) v ->3
 236 # 5     <2> sassign vKS/2 ->6
 237 # 3        <0> undef s ->4
 238 # -        <1> ex-rv2sv sKRM*/129 ->5
 239 # 4           <$> gvsv(*a) s/LVINTRO ->5
 240 EONT_EONT
 241
 242 checkOptree ( name      => 'sub {my $a=()}',
 243               code      => sub {my $a=()},
 244               todo      => 'apparently done, by patch #?',
 245               bcopts    => '-exec',
 246               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 247 1  <;> nextstate(main -439 optree.t:105) v
 248 2  <0> stub sP
 249 3  <0> padsv[$a:-439,-438] sRM*/LVINTRO
 250 4  <2> sassign sKS/2
 251 5  <1> leavesub[1 ref] K/REFC,1
 252 EOT_EOT
 253 # 1  <;> nextstate(main 438 optree_varinit.t:247) v
 254 # 2  <0> stub sP
 255 # 3  <0> padsv[$a:438,439] sRM*/LVINTRO
 256 # 4  <2> sassign sKS/2
 257 # 5  <1> leavesub[1 ref] K/REFC,1
 258 EONT_EONT
 259
 260 checkOptree ( name      => 'sub {our $a=()}',
 261               code      => sub {our $a=()},
 262               #todo     => 'probly not worth doing',
 263               bcopts    => '-exec',
 264               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 265 1  <;> nextstate(main 31 optree.t:177) v
 266 2  <0> stub sP
 267 3  <#> gvsv[*a] s/OURINTR
 268 4  <2> sassign sKS/2
 269 5  <1> leavesub[1 ref] K/REFC,1
 270 EOT_EOT
 271 # 1  <;> nextstate(main 440 optree_varinit.t:262) v
 272 # 2  <0> stub sP
 273 # 3  <$> gvsv(*a) s/OURINTR
 274 # 4  <2> sassign sKS/2
 275 # 5  <1> leavesub[1 ref] K/REFC,1
 276 EONT_EONT
 277
 278 checkOptree ( name      => 'sub {local $a=()}',
 279               code      => sub {local $a=()},
 280               #todo     => 'probly not worth doing',
 281               bcopts    => '-exec',
 282               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 283 1  <;> nextstate(main 33 optree.t:190) v
 284 2  <0> stub sP
 285 3  <#> gvsv[*a] s/LVINTRO
 286 4  <2> sassign sKS/2
 287 5  <1> leavesub[1 ref] K/REFC,1
 288 EOT_EOT
 289 # 1  <;> nextstate(main 63 optree.t:225) v
 290 # 2  <0> stub sP
 291 # 3  <$> gvsv(*a) s/LVINTRO
 292 # 4  <2> sassign sKS/2
 293 # 5  <1> leavesub[1 ref] K/REFC,1
 294 EONT_EONT
 295
 296 checkOptree ( name      => 'my $a=()',
 297               prog      => 'my $a=()',
 298               todo      => 'apparently done, by patch #?',
 299               bcopts    => '-exec',
 300               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 301 1  <0> enter
 302 2  <;> nextstate(main 1 -e:1) v
 303 3  <0> stub sP
 304 4  <0> padsv[$a:1,2] sRM*/LVINTRO
 305 5  <2> sassign vKS/2
 306 6  <@> leave[1 ref] vKP/REFC
 307 EOT_EOT
 308 # 1  <0> enter
 309 # 2  <;> nextstate(main 1 -e:1) v
 310 # 3  <0> stub sP
 311 # 4  <0> padsv[$a:1,2] sRM*/LVINTRO
 312 # 5  <2> sassign vKS/2
 313 # 6  <@> leave[1 ref] vKP/REFC
 314 EONT_EONT
 315
 316 checkOptree ( name      => 'our $a=()',
 317               prog      => 'our $a=()',
 318               #todo     => 'probly not worth doing',
 319               bcopts    => '-exec',
 320               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 321 1  <0> enter
 322 2  <;> nextstate(main 1 -e:1) v
 323 3  <0> stub sP
 324 4  <#> gvsv[*a] s/OURINTR
 325 5  <2> sassign vKS/2
 326 6  <@> leave[1 ref] vKP/REFC
 327 EOT_EOT
 328 # 1  <0> enter
 329 # 2  <;> nextstate(main 1 -e:1) v
 330 # 3  <0> stub sP
 331 # 4  <$> gvsv(*a) s/OURINTR
 332 # 5  <2> sassign vKS/2
 333 # 6  <@> leave[1 ref] vKP/REFC
 334 EONT_EONT
 335
 336 checkOptree ( name      => 'local $a=()',
 337               prog      => 'local $a=()',
 338               #todo     => 'probly not worth doing',
 339               bcopts    => '-exec',
 340               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 341 1  <0> enter
 342 2  <;> nextstate(main 1 -e:1) v
 343 3  <0> stub sP
 344 4  <#> gvsv[*a] s/LVINTRO
 345 5  <2> sassign vKS/2
 346 6  <@> leave[1 ref] vKP/REFC
 347 EOT_EOT
 348 # 1  <0> enter
 349 # 2  <;> nextstate(main 1 -e:1) v
 350 # 3  <0> stub sP
 351 # 4  <$> gvsv(*a) s/LVINTRO
 352 # 5  <2> sassign vKS/2
 353 # 6  <@> leave[1 ref] vKP/REFC
 354 EONT_EONT
 355
 356 checkOptree ( name      => 'my ($a,$b)=()',
 357               prog      => 'my ($a,$b)=()',
 358               #todo     => 'probly not worth doing',
 359               bcopts    => '-exec',
 360               expect    => <<'EOT_EOT', expect_nt => <<'EONT_EONT');
 361 # 1  <0> enter
 362 # 2  <;> nextstate(main 1 -e:1) v
 363 # 3  <0> pushmark s
 364 # 4  <0> pushmark sRM*/128
 365 # 5  <0> padsv[$a:1,2] lRM*/LVINTRO
 366 # 6  <0> padsv[$b:1,2] lRM*/LVINTRO
 367 # 7  <2> aassign[t3] vKS
 368 # 8  <@> leave[1 ref] vKP/REFC
 369 EOT_EOT
 370 # 1  <0> enter
 371 # 2  <;> nextstate(main 1 -e:1) v
 372 # 3  <0> pushmark s
 373 # 4  <0> pushmark sRM*/128
 374 # 5  <0> padsv[$a:1,2] lRM*/LVINTRO
 375 # 6  <0> padsv[$b:1,2] lRM*/LVINTRO
 376 # 7  <2> aassign[t3] vKS
 377 # 8  <@> leave[1 ref] vKP/REFC
 378 EONT_EONT
 379
 380 } #skip
 381
 382 __END__
 383