src/v8/test/mjsunit/constant-folding-2.js

   1 // Copyright 2013 the V8 project authors. All rights reserved.
   2 // Redistribution and use in source and binary forms, with or without
   3 // modification, are permitted provided that the following conditions are
   4 // met:
   5 //
   6 //     * Redistributions of source code must retain the above copyright
   7 //       notice, this list of conditions and the following disclaimer.
   8 //     * Redistributions in binary form must reproduce the above
   9 //       copyright notice, this list of conditions and the following
  10 //       disclaimer in the documentation and/or other materials provided
  11 //       with the distribution.
  12 //     * Neither the name of Google Inc. nor the names of its
  13 //       contributors may be used to endorse or promote products derived
  14 //       from this software without specific prior written permission.
  15 //
  16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27
  28
  29 // Flags: --nodead-code-elimination --fold-constants --allow-natives-syntax
  30
  31 function test(f) {
  32   f();
  33   f();
  34   %OptimizeFunctionOnNextCall(f);
  35   f();
  36   // Assert that there has been no deopt.
  37   assertOptimized(f);
  38 }
  39
  40 test(function add() {
  41   assertEquals(2, 1 + 1);
  42   assertEquals(2.5, 1.25 + 1.25);
  43   assertEquals("Infinity", String(Infinity + Infinity));
  44   assertEquals("Infinity", String(Infinity + 3));
  45   assertEquals("NaN", String(Infinity + (-Infinity)));
  46   assertEquals("NaN", String(NaN + 2));
  47   assertEquals("-Infinity", String(1 / (-0.0 + (-0.0))));
  48   assertEquals("Infinity", String(1 / (-0.0 + 0.0)));
  49 });
  50
  51 test(function inc() {
  52   var a = 1;
  53   var b = Infinity;
  54   var c = -Infinity;
  55   var d = NaN;
  56   assertEquals(2, ++a);
  57   assertEquals("Infinity", String(++b));
  58   assertEquals("-Infinity", String(++c));
  59   assertEquals("NaN", String(++d));
  60 });
  61
  62 test(function dec() {
  63   var a = 1;
  64   var b = Infinity;
  65   var c = -Infinity;
  66   var d = NaN;
  67   assertEquals(0, --a);
  68   assertEquals("Infinity", String(--b));
  69   assertEquals("-Infinity", String(--c));
  70   assertEquals("NaN", String(--d));
  71 });
  72
  73 test(function sub() {
  74   assertEquals(0, 1 - 1);
  75   assertEquals(0.5, 1.5 - 1);
  76   assertEquals("Infinity", String(Infinity - (-Infinity)));
  77   assertEquals("Infinity", String(Infinity - 3));
  78   assertEquals("NaN", String(Infinity - Infinity));
  79   assertEquals("NaN", String(NaN - 2));
  80   assertEquals("-Infinity", String(1 / (-0.0 - 0.0)));
  81   assertEquals("Infinity", String(1 / (0.0 - 0.0)));
  82 });
  83
  84 test(function mul() {
  85   assertEquals(1, 1 * 1);
  86   assertEquals(2.25, 1.5 * 1.5);
  87   assertEquals("Infinity", String(Infinity * Infinity));
  88   assertEquals("-Infinity", String(Infinity * (-Infinity)));
  89   assertEquals("Infinity", String(Infinity * 3));
  90   assertEquals("-Infinity", String(Infinity * (-3)));
  91   assertEquals("NaN", String(NaN * 3));
  92   assertEquals("-Infinity", String(1 / (-0.0 * 0.0)));
  93   assertEquals("Infinity", String(1 / (0.0 * 0.0)));
  94 });
  95
  96 test(function div() {
  97   assertEquals(1, 1 / 1);
  98   assertEquals(1.5, 2.25 / 1.5);
  99   assertEquals("NaN", String(Infinity / Infinity));
 100   assertEquals("Infinity", String(Infinity / 3));
 101   assertEquals("-Infinity", String(Infinity / (-3)));
 102   assertEquals("NaN", String(NaN / 3));
 103   assertEquals("-Infinity", String(1 / (-0.0)));
 104   assertEquals("Infinity", String(Infinity/0.0));
 105 });
 106
 107 test(function mathMin() {
 108   assertEquals(1, Math.min(1, 10));
 109   assertEquals(1.5, Math.min(1.5, 2.5));
 110   assertEquals(0, Math.min(Infinity, 0));
 111   assertEquals("Infinity", String(Math.min(Infinity, Infinity)));
 112   assertEquals("-Infinity", String(Math.min(Infinity, -Infinity)));
 113   assertEquals("NaN", String(Math.min(NaN, 1)));
 114   assertEquals("Infinity", String(1 / Math.min(0.0, 0.0)));
 115   assertEquals("-Infinity", String(1 / Math.min(-0.0, -0.0)));
 116   assertEquals("-Infinity", String(1 / Math.min(0.0, -0.0)));
 117 });
 118
 119 test(function mathMax() {
 120   assertEquals(10, Math.max(1, 10));
 121   assertEquals(2.5, Math.max(1.5, 2.5));
 122   assertEquals(Infinity, Math.max(Infinity, 0));
 123   assertEquals("-Infinity", String(Math.max(-Infinity, -Infinity)));
 124   assertEquals("Infinity", String(Math.max(Infinity, -Infinity)));
 125   assertEquals("NaN", String(Math.max(NaN, 1)));
 126   assertEquals("Infinity", String(1 / Math.max(0.0, 0.0)));
 127   assertEquals("-Infinity", String(1 / Math.max(-0.0, -0.0)));
 128   assertEquals("Infinity", String(1 / Math.max(0.0, -0.0)));
 129 });
 130
 131 test(function mathExp() {
 132   assertEquals(1.0, Math.exp(0.0));
 133   assertTrue(2.7 < Math.exp(1) && Math.exp(1) < 2.8);
 134   assertEquals("Infinity", String(Math.exp(Infinity)));
 135   assertEquals("0", String(Math.exp(-Infinity)));
 136   assertEquals("NaN", String(Math.exp(NaN)));
 137 });
 138
 139 test(function mathLog() {
 140   assertEquals(0.0, Math.log(1.0));
 141   assertTrue(1 < Math.log(3) && Math.log(3) < 1.5);
 142   assertEquals("Infinity", String(Math.log(Infinity)));
 143   assertEquals("NaN", String(Math.log(-Infinity)));
 144   assertEquals("NaN", String(Math.exp(NaN)));
 145 });
 146
 147 test(function mathSqrt() {
 148   assertEquals(1.0, Math.sqrt(1.0));
 149   assertEquals("NaN", String(Math.sqrt(-1.0)));
 150   assertEquals("Infinity", String(Math.sqrt(Infinity)));
 151   assertEquals("NaN", String(Math.sqrt(-Infinity)));
 152   assertEquals("NaN", String(Math.sqrt(NaN)));
 153 });
 154
 155 test(function mathPowHalf() {
 156   assertEquals(1.0, Math.pow(1.0, 0.5));
 157   assertEquals("NaN", String(Math.sqrt(-1.0)));
 158   assertEquals("Infinity", String(Math.pow(Infinity, 0.5)));
 159   assertEquals("NaN", String(Math.sqrt(-Infinity, 0.5)));
 160   assertEquals(0, Math.pow(Infinity, -0.5));
 161   assertEquals("NaN", String(Math.sqrt(-Infinity, -0.5)));
 162   assertEquals("NaN", String(Math.sqrt(NaN, 0.5)));
 163 });
 164
 165 test(function mathAbs() {
 166   assertEquals(1.5, Math.abs(1.5));
 167   assertEquals(1.5, Math.abs(-1.5));
 168   assertEquals("Infinity", String(Math.abs(Infinity)));
 169   assertEquals("Infinity", String(Math.abs(-Infinity)));
 170   assertEquals("NaN", String(Math.abs(NaN)));
 171 });
 172
 173 test(function mathRound() {
 174   assertEquals(2, Math.round(1.5));
 175   assertEquals(-1, Math.round(-1.5));
 176   assertEquals("Infinity", String(Math.round(Infinity)));
 177   assertEquals("-Infinity", String(Math.round(-Infinity)));
 178   assertEquals("Infinity", String(1 / Math.round(0.0)));
 179   assertEquals("-Infinity", String(1 / Math.round(-0.0)));
 180   assertEquals("NaN", String(Math.round(NaN)));
 181   assertEquals(Math.pow(2, 52) + 1, Math.round(Math.pow(2, 52) + 1));
 182 });
 183
 184 test(function mathFround() {
 185   assertTrue(isNaN(Math.fround(NaN)));
 186   assertEquals("Infinity", String(1/Math.fround(0)));
 187   assertEquals("-Infinity", String(1/Math.fround(-0)));
 188   assertEquals("Infinity", String(Math.fround(Infinity)));
 189   assertEquals("-Infinity", String(Math.fround(-Infinity)));
 190   assertEquals("Infinity", String(Math.fround(1E200)));
 191   assertEquals("-Infinity", String(Math.fround(-1E200)));
 192   assertEquals(3.1415927410125732, Math.fround(Math.PI));
 193 });
 194
 195 test(function mathFloor() {
 196   assertEquals(1, Math.floor(1.5));
 197   assertEquals(-2, Math.floor(-1.5));
 198   assertEquals("Infinity", String(Math.floor(Infinity)));
 199   assertEquals("-Infinity", String(Math.floor(-Infinity)));
 200   assertEquals("Infinity", String(1 / Math.floor(0.0)));
 201   assertEquals("-Infinity", String(1 / Math.floor(-0.0)));
 202   assertEquals("NaN", String(Math.floor(NaN)));
 203   assertEquals(Math.pow(2, 52) + 1, Math.floor(Math.pow(2, 52) + 1));
 204 });
 205
 206 test(function mathPow() {
 207   assertEquals(2.25, Math.pow(1.5, 2));
 208   assertTrue(1.8 < Math.pow(1.5, 1.5) && Math.pow(1.5, 1.5) < 1.9);
 209   assertEquals("Infinity", String(Math.pow(Infinity, 0.5)));
 210   assertEquals("Infinity", String(Math.pow(-Infinity, 0.5)));
 211   assertEquals(0, Math.pow(Infinity, -0.5));
 212   assertEquals(0, Math.pow(Infinity, -0.5));
 213   assertEquals("Infinity", String(Math.pow(Infinity, Infinity)));
 214   assertEquals(0, Math.pow(Infinity, -Infinity));
 215   assertEquals("NaN", String(Math.pow(Infinity, NaN)));
 216   assertEquals("NaN", String(Math.pow(NaN, 2)));
 217 });
 218
 219 test(function stringAdd() {
 220   assertEquals("", "" + "");
 221   assertEquals("folded constant", "folded " + "constant");
 222   assertEquals("not folded constant1", "not folded constant" + 1);
 223 });
 224
 225 test(function stringLength() {
 226   assertEquals(6, "abcdef".length);
 227   assertEquals(0, "".length);
 228   assertEquals(-5, { length: -5 }.length);
 229 });
 230
 231 test(function stringCharCodeAt() {
 232   assertEquals(99, "abc".charCodeAt(2));
 233   assertEquals("NaN", String("abc".charCodeAt(-1)));
 234   assertEquals("NaN", String("abc".charCodeAt(4)));
 235   assertEquals(98, "abc".charCodeAt(1.1));
 236   assertEquals("NaN", String("abc".charCodeAt(4.1)));
 237 });
 238
 239 test(function stringCharAt() {
 240   assertEquals("c", "abc".charAt(2));
 241   assertEquals("", "abc".charAt(-1));
 242   assertEquals("", "abc".charAt(4));
 243   assertEquals("b", "abc".charAt(1.1));
 244   assertEquals("", "abc".charAt(4.1));
 245 });
 246
 247
 248 test(function int32Mod() {
 249   assertEquals(-0, -2147483648 % (-1));
 250 });
 251
 252 test(function int32Div() {
 253   assertEquals(2147483648, -2147483648 / (-1));
 254 });