t/op/lop.t

   1 #!./perl
   2
   3 #
   4 # test the logical operators '&&', '||', '!', 'and', 'or', , 'xor', 'not'
   5 #
   6
   7 BEGIN {
   8     chdir 't' if -d 't';
   9     require './test.pl';
  10     set_up_inc('../lib');
  11 }
  12
  13 plan tests => 33;
  14
  15 for my $i (undef, 0 .. 2, "", "0 but true") {
  16     my $true = 1;
  17     my $false = 0;
  18     for my $j (undef, 0 .. 2, "", "0 but true") {
  19         $true &&= !(
  20             ((!$i || !$j) != !($i && $j))
  21             or (!($i || $j) != (!$i && !$j))
  22             or (!!($i || $j) != !(!$i && !$j))
  23             or (!(!$i || !$j) != !!($i && $j))
  24         );
  25         $false ||= (
  26             ((!$i || !$j) == !!($i && $j))
  27             and (!!($i || $j) == (!$i && !$j))
  28             and ((!$i || $j) == ($i && !$j))
  29             and (($i || !$j) != (!$i && $j))
  30         );
  31     }
  32     my $m = ! defined $i ? 'undef'
  33        : $i eq ''   ? 'empty string'
  34        : $i;
  35     ok( $true, "true: $m");
  36     ok( ! $false, "false: $m");
  37 }
  38
  39 my $i = 0;
  40 (($i ||= 1) &&= 3) += 4;
  41 is( $i, 7, '||=, &&=');
  42
  43 my ($x, $y) = (1, 8);
  44 $i = !$x || $y;
  45 is( $i, 8, 'negation precedence with ||' );
  46
  47 ++$y;
  48 $i = !$x || !$x || !$x || $y;
  49 is( $i, 9, 'negation precedence with ||, multiple operands' );
  50
  51 $x = 0;
  52 ++$y;
  53 $i = !$x && $y;
  54 is( $i, 10, 'negation precedence with &&' );
  55
  56 ++$y;
  57 $i = !$x && !$x && !$x && $y;
  58 is( $i, 11, 'negation precedence with &&, multiple operands' );
  59
  60 # [perl #127952]. This relates to OP_AND and OP_OR with a negated constant
  61 # on the lhs (either a negated bareword, or a negation of a do{} containing
  62 # a constant) and a negated non-foldable expression on the rhs. These cases
  63 # yielded 42 or "Bare" or "str" before the bug was fixed.
  64 {
  65     $x = 42;
  66
  67     $i = !Bare || !$x;
  68     is( $i, '', 'neg-bareword on lhs of || with non-foldable neg-true on rhs' );
  69
  70     $i = !Bare && !$x;
  71     is( $i, '', 'neg-bareword on lhs of && with non-foldable neg-true on rhs' );
  72
  73     $i = do { !$x if !Bare };
  74     is( $i, '', 'neg-bareword on rhs of modifier-if with non-foldable neg-true on lhs' );
  75
  76     $i = do { !$x unless !Bare };
  77     is( $i, '', 'neg-bareword on rhs of modifier-unless with non-foldable neg-true on lhs' );
  78
  79     $i = !do { "str" } || !$x;
  80     is( $i, '', 'neg-do-const on lhs of || with non-foldable neg-true on rhs' );
  81
  82     $i = !do { "str" } && !$x;
  83     is( $i, '', 'neg-do-const on lhs of && with non-foldable neg-true on rhs' );
  84 }
  85
  86 # RT #131820
  87 #
  88 # It turns out that in 2017, 23 years after the release of perl5,
  89 # the 'xor' logical operator was still untested in core.
  90
  91 for my $test (
  92     [ 0, 0, '' ],
  93     [ 0, 1, 1  ],
  94     [ 1, 0, 1  ],
  95     [ 1, 1, '' ],
  96
  97     [ 0, 2, 1  ],
  98     [ 2, 0, 1  ],
  99     [ 2, 2, '' ],
 100
 101     [ 0, 3, 1  ],
 102     [ 3, 0, 1  ],
 103     [ 3, 4, '' ],
 104 ) {
 105     my ($a,$b, $exp) = @$test;
 106     is(($a xor $b), $exp, "($a xor $b) == '$exp'");
 107 }