hphp/test/quick/float-overflow.php

   1 <?php
   2
   3 class C {
   4   public $max = PHP_INT_MAX;
   5 }
   6
   7 function main() {
   8   $add = function($a,$b) { return $a + $b; };
   9   $sub = function($a,$b) { return $a - $b; };
  10   $mul = function($a,$b) { return $a * $b; };
  11
  12   $max = PHP_INT_MAX;
  13   $min = 1 << 63;
  14
  15   // some initial cases for the simplifier
  16   var_dump($max + 1);
  17   var_dump($min - 1);
  18   var_dump($max * 5);
  19
  20   $ops = array(
  21     // initial sanity checks for no overflow
  22     array($add, 3, 5),
  23     array($sub, 3, 5),
  24     array($mul, 7, 4),
  25
  26     // check runtime operators on just ints
  27     array($add, $max, 1),
  28     array($add, $min, -1),
  29
  30     array($sub, $min, 1),
  31     array($sub, $max, -1),
  32
  33     array($mul, $max / 2, 3),
  34     array($mul, $min, 2),
  35     array($mul, $max, -2),
  36     array($mul, $min, -3),
  37
  38     // check numeric strings
  39     array($add, "$max", 1),
  40     array($add, $max, '1'),
  41     array($add, "$max", '1'),
  42
  43     // check lexer
  44     array($add, 987654321987654321987654321, 1),
  45   );
  46
  47   foreach ($ops as list($op, $lhs, $rhs)) {
  48     $res = $op($lhs, $rhs);
  49     var_dump($res);
  50   }
  51
  52   $unary = array($min, $max, -4, 0, 5, "12", 5.2, "1.5", "abc", "", null);
  53
  54   // inc/dec
  55   foreach ($unary as $val) {
  56     $x = $val;
  57     var_dump(++$x);
  58     var_dump($x);
  59
  60     $x = $val;
  61     var_dump($x++);
  62     var_dump($x);
  63
  64     $x = $val;
  65     var_dump(--$x);
  66     var_dump($x);
  67
  68     $x = $val;
  69     var_dump($x--);
  70     var_dump($x);
  71   }
  72
  73   // arrays
  74   $array = $unary;
  75   for ($i = 0; $i < count($array); ++$i) {
  76     var_dump($array[$i]);
  77     var_dump($array[$i]++);
  78     var_dump($array[$i]);
  79   }
  80
  81   $array = $unary;
  82   for ($i = 0; $i < count($array); ++$i) {
  83     var_dump($array[$i]);
  84     var_dump(++$array[$i]);
  85     var_dump($array[$i]);
  86   }
  87
  88   $array = $unary;
  89   for ($i = 0; $i < count($array); ++$i) {
  90     var_dump($array[$i]);
  91     var_dump($array[$i]--);
  92     var_dump($array[$i]);
  93   }
  94
  95   $array = $unary;
  96   for ($i = 0; $i < count($array); ++$i) {
  97     var_dump($array[$i]);
  98     var_dump(--$array[$i]);
  99     var_dump($array[$i]);
 100   }
 101
 102   // properties
 103
 104   $c = new C;
 105   var_dump($c->max);
 106   var_dump($c->max++);
 107   var_dump($c->max);
 108
 109   $c = new C;
 110   var_dump($c->max);
 111   var_dump(++$c->max);
 112   var_dump($c->max);
 113
 114   $c = new C;
 115   var_dump($c->max);
 116   var_dump($c->max--);
 117   var_dump($c->max);
 118
 119   $c = new C;
 120   var_dump($c->max);
 121   var_dump(--$c->max);
 122   var_dump($c->max);
 123 }
 124
 125 main();